this repo has no description
at develop 13 kB view raw
1% init_area = 5256656; 2% Read 86412 lines of neighbourhoods! 3objective = 15791; 4period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, 2, 2]; 5% time elapsed: 0.27 s 6---------- 7objective = 15286; 8period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 2, 2]; 9% time elapsed: 0.27 s 10---------- 11objective = 14567; 12period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 3, 2]; 13% time elapsed: 0.27 s 14---------- 15objective = 14423; 16period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 3, 2, 1, 1, 2, 2, 3, 2]; 17% time elapsed: 0.27 s 18---------- 19objective = 14134; 20period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 3, 2, 1, 1, 2, 2, 4, 2]; 21% time elapsed: 0.27 s 22---------- 23objective = 13919; 24period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 2, 3, 2, 1, 1, 2, 2, 3, 2]; 25% time elapsed: 0.28 s 26---------- 27objective = 12982; 28period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, 3, 2, 1, 1, 2, 2, 3, 2]; 29% time elapsed: 0.28 s 30---------- 31objective = 12693; 32period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, 3, 2, 1, 1, 2, 2, 4, 2]; 33% time elapsed: 0.28 s 34---------- 35objective = 12406; 36period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 2, 2, 2, 2, 3, 2, 1, 1, 2, 2, 4, 2]; 37% time elapsed: 0.28 s 38---------- 39objective = 12263; 40period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 41% time elapsed: 0.28 s 42---------- 43objective = 11975; 44period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 3, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 45% time elapsed: 0.28 s 46---------- 47objective = 11974; 48period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 3, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2]; 49% time elapsed: 0.28 s 50---------- 51objective = 11615; 52period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 3, 2, 3, 5, 2, 1, 1, 2, 3, 4, 2]; 53% time elapsed: 0.28 s 54---------- 55objective = 11542; 56period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 2, 3, 2, 2, 3, 2, 1, 1, 2, 2, 4, 2]; 57% time elapsed: 0.28 s 58---------- 59objective = 11399; 60period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 2, 3, 2, 3, 3, 2, 1, 1, 2, 2, 4, 2]; 61% time elapsed: 0.29 s 62---------- 63objective = 11111; 64period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 2, 3, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2]; 65% time elapsed: 0.29 s 66---------- 67objective = 10894; 68period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 3, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2]; 69% time elapsed: 0.29 s 70---------- 71objective = 10753; 72period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 1, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 73% time elapsed: 0.29 s 74---------- 75objective = 10392; 76period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 2, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 77% time elapsed: 0.29 s 78---------- 79objective = 10391; 80period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 4, 2, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 81% time elapsed: 0.29 s 82---------- 83objective = 10030; 84period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 4, 2, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 85% time elapsed: 0.29 s 86---------- 87objective = 9672; 88period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 4, 2, 3, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 89% time elapsed: 0.29 s 90---------- 91objective = 9530; 92period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 4, 3, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 93% time elapsed: 0.30 s 94---------- 95objective = 8809; 96period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 3, 4, 3, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 97% time elapsed: 0.30 s 98---------- 99objective = 8593; 100period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 3, 3, 4, 3, 3, 4, 2, 1, 1, 2, 2, 5, 2]; 101% time elapsed: 0.30 s 102---------- 103objective = 8592; 104period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 3, 3, 4, 3, 3, 6, 2, 1, 1, 2, 2, 5, 2]; 105% time elapsed: 0.30 s 106---------- 107objective = 8448; 108period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 3, 4, 3, 3, 6, 2, 1, 1, 2, 2, 5, 2]; 109% time elapsed: 0.30 s 110---------- 111objective = 8447; 112period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 3, 5, 3, 3, 6, 2, 1, 1, 2, 2, 5, 2]; 113% time elapsed: 0.30 s 114---------- 115objective = 8446; 116period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 3, 5, 3, 4, 6, 2, 1, 1, 2, 2, 5, 2]; 117% time elapsed: 0.30 s 118---------- 119objective = 8158; 120period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 4, 1, 3, 3, 5, 3, 4, 6, 2, 1, 1, 2, 2, 5, 2]; 121% time elapsed: 0.31 s 122---------- 123objective = 7797; 124period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 4, 1, 3, 3, 5, 4, 4, 6, 2, 1, 1, 2, 2, 5, 2]; 125% time elapsed: 0.31 s 126---------- 127objective = 7796; 128period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 4, 1, 3, 4, 5, 4, 4, 6, 2, 1, 1, 2, 2, 5, 2]; 129% time elapsed: 0.32 s 130---------- 131objective = 7437; 132period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 4, 1, 3, 4, 5, 4, 4, 6, 2, 1, 1, 2, 3, 5, 2]; 133% time elapsed: 0.32 s 134---------- 135objective = 7436; 136period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 4, 1, 3, 4, 5, 4, 4, 6, 2, 1, 1, 2, 4, 5, 2]; 137% time elapsed: 0.32 s 138---------- 139objective = 7076; 140period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 4, 1, 3, 4, 5, 4, 4, 6, 2, 1, 1, 5, 4, 5, 2]; 141% time elapsed: 0.33 s 142---------- 143objective = 6935; 144period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 4, 5, 6, 3, 6, 2, 1, 1, 5, 3, 5, 2]; 145% time elapsed: 0.33 s 146---------- 147objective = 6934; 148period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 3, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 149% time elapsed: 0.34 s 150---------- 151objective = 6503; 152period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 2, 1, 3, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 153% time elapsed: 0.34 s 154---------- 155objective = 5926; 156period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 2, 2, 2, 1, 3, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 157% time elapsed: 0.36 s 158---------- 159objective = 5853; 160period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 1, 2, 4, 1, 3, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 161% time elapsed: 0.36 s 162---------- 163objective = 5638; 164period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 2, 2, 4, 1, 3, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 165% time elapsed: 0.37 s 166---------- 167objective = 5422; 168period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 2, 2, 4, 1, 3, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 169% time elapsed: 0.37 s 170---------- 171objective = 5349; 172period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 173% time elapsed: 0.37 s 174---------- 175objective = 5134; 176period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 3, 2, 2, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 177% time elapsed: 0.39 s 178---------- 179objective = 5133; 180period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 2, 2, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 2, 1, 1, 5, 3, 5, 2]; 181% time elapsed: 0.39 s 182---------- 183objective = 5132; 184period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 2, 2, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 2, 1, 1, 5, 4, 5, 2]; 185% time elapsed: 0.40 s 186---------- 187objective = 4987; 188period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 2, 2, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 189% time elapsed: 0.40 s 190---------- 191objective = 4845; 192period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 2, 3, 3, 4, 2, 4, 1, 1, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 193% time elapsed: 0.42 s 194---------- 195objective = 4844; 196period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 2, 5, 3, 4, 2, 4, 1, 1, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 197% time elapsed: 0.42 s 198---------- 199objective = 4701; 200period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 3, 5, 3, 4, 2, 4, 1, 1, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 201% time elapsed: 0.43 s 202---------- 203objective = 4484; 204period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 4, 3, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 205% time elapsed: 0.45 s 206---------- 207objective = 3837; 208period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 4, 3, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 209% time elapsed: 0.47 s 210---------- 211objective = 3333; 212period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 2, 2, 4, 3, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 213% time elapsed: 0.48 s 214---------- 215objective = 3045; 216period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 2, 2, 4, 3, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 217% time elapsed: 0.48 s 218---------- 219objective = 2974; 220period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 2, 6, 4, 3, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 221% time elapsed: 0.48 s 222---------- 223objective = 2254; 224period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 2, 6, 4, 3, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 225% time elapsed: 0.49 s 226---------- 227objective = 2181; 228period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 1, 3, 6, 4, 3, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 229% time elapsed: 0.49 s 230---------- 231objective = 1965; 232period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 3, 6, 4, 3, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 233% time elapsed: 0.49 s 234---------- 235objective = 1822; 236period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 3, 6, 4, 3, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 237% time elapsed: 0.50 s 238---------- 239objective = 1750; 240period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 4, 6, 4, 3, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 241% time elapsed: 0.55 s 242---------- 243objective = 1678; 244period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 4, 4, 6, 4, 3, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 245% time elapsed: 0.57 s 246---------- 247objective = 1677; 248period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 249% time elapsed: 0.58 s 250---------- 251objective = 1317; 252period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 253% time elapsed: 0.59 s 254---------- 255objective = 1246; 256period_of = [1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 257% time elapsed: 0.59 s 258---------- 259objective = 1245; 260period_of = [1, 1, 1, 1, 2, 3, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 261% time elapsed: 0.59 s 262---------- 263objective = 1244; 264period_of = [1, 1, 1, 2, 2, 3, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 265% time elapsed: 0.59 s 266---------- 267objective = 1173; 268period_of = [1, 1, 3, 2, 2, 3, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 269% time elapsed: 0.62 s 270---------- 271objective = 1172; 272period_of = [1, 1, 4, 2, 2, 1, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 2, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 273% time elapsed: 0.62 s 274---------- 275objective = 1100; 276period_of = [1, 1, 4, 2, 2, 1, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 277% time elapsed: 0.67 s 278---------- 279objective = 1028; 280period_of = [1, 1, 4, 6, 2, 1, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 3, 4, 2, 4, 1, 3, 4, 5, 6, 4, 6, 3, 1, 1, 5, 4, 5, 2]; 281% time elapsed: 0.69 s 282---------- 283%%%mzn-stat: initTime=0.265038 284%%%mzn-stat: solveTime=120 285%%%mzn-stat: solutions=70 286%%%mzn-stat: variables=677 287%%%mzn-stat: propagators=579 288%%%mzn-stat: propagations=676268698 289%%%mzn-stat: nodes=5798767 290%%%mzn-stat: failures=2849957 291%%%mzn-stat: restarts=44161 292%%%mzn-stat: peakDepth=34 293%%%mzn-stat-end 294%% copies: 2993044