/work/tschiex/CPD-Janvier-2013/toulbar2 version : 0.9.6.0, copyright (c) INRA 2013 loading wcsp file: 2CI2.matrix.51p.18aa.usingEref_self_digit8.wcsp 786432 Bytes allocated for Value stack. 1048576 Bytes allocated for Domain stack. 1048576 Bytes allocated for Cost stack. 1048576 Bytes allocated for Constraint stack. 1048576 Bytes allocated for Variable stack. 1048576 Bytes allocated for Separator stack. 1572864 Bytes allocated for BigInteger stack. Read 51 variables, with 183 values at most, and 1326 cost functions, with maximum arity 2. Cost function decomposition time : 0 seconds. Preprocessing Time : 9.56 seconds. 51 unassigned variables, 3486 values in all current domains (med. size:34, max size:183) and 1275 non-unary cost functions (med. degree:50) Initial lower and upper bounds: [6295378821976,1537228672809129301[ --- [1] LDS 0 --- (0 nodes) 2097152 Bytes allocated for Cost stack. 4194304 Bytes allocated for Cost stack. 8388608 Bytes allocated for Cost stack. 16777216 Bytes allocated for Cost stack. 33554432 Bytes allocated for Cost stack. 67108864 Bytes allocated for Cost stack. 134217728 Bytes allocated for Cost stack. 268435456 Bytes allocated for Cost stack. 536870912 Bytes allocated for Cost stack. New solution: 6300750843236 (0 backtracks, 48 nodes, depth 2) 65 45 70 65 56 34 124 4 22 64 69 15 12 0 59 67 68 44 6 56 67 4 63 65 71 6 21 6 28 1 16 67 165 0 30 62 0 24 1 28 4 2 2 1 4 4 5 6 3 1 1 --- [1] LDS 1 --- (48 nodes) New solution: 6300627776409 (4 backtracks, 199 nodes, depth 3) 45 68 71 42 64 34 124 4 22 64 69 15 12 7 62 67 70 25 6 56 67 4 63 65 71 6 22 6 28 1 16 67 165 0 30 62 0 24 1 28 4 2 2 1 4 4 5 6 3 1 1 New solution: 6300212658387 (6 backtracks, 263 nodes, depth 3) 45 68 71 164 56 34 124 4 22 64 69 15 12 3 62 67 68 25 6 56 67 4 116 86 173 6 22 6 28 1 16 67 165 0 30 45 4 24 1 28 4 2 2 1 4 4 5 6 3 1 1 --- [1] LDS 2 --- (292 nodes) --- [1] Search with no discrepancy limit --- (1195 nodes) 1073741824 Bytes allocated for Cost stack. New solution: 6300190622131 (87281 backtracks, 175603 nodes, depth 32) 68 59 63 65 56 34 124 4 22 64 69 15 12 7 62 103 70 25 6 127 67 4 117 168 167 6 18 6 12 1 16 67 165 0 9 67 4 24 1 28 4 2 2 1 4 4 5 6 3 1 1 1572864 Bytes allocated for Value stack.