/work/tschiex/CPD-Janvier-2013/toulbar2 version : 0.9.6.0, copyright (c) INRA 2013 loading wcsp file: 1CSP.matrix.30p.17aa.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 30 variables, with 182 values at most, and 465 cost functions, with maximum arity 2. Cost function decomposition time : 0 seconds. Preprocessing Time : 0.44 seconds. 28 unassigned variables, 984 values in all current domains (med. size:6, max size:182) and 378 non-unary cost functions (med. degree:27) Initial lower and upper bounds: [2520445517189,1537228672809129301[ --- [1] LDS 0 --- (0 nodes) 2097152 Bytes allocated for Cost stack. 4194304 Bytes allocated for Cost stack. New solution: 2521239619999 (0 backtracks, 25 nodes, depth 2) 118 67 9 1 0 1 0 2 5 0 4 1 1 0 3 0 5 8 4 2 122 2 3 0 5 1 1 119 31 62 --- [1] LDS 1 --- (25 nodes) New solution: 2521216129390 (1 backtracks, 35 nodes, depth 3) 118 15 9 1 0 1 0 2 6 0 4 1 1 0 3 0 5 8 4 7 170 2 7 0 5 1 1 67 63 67 New solution: 2521039487743 (2 backtracks, 52 nodes, depth 3) 118 70 9 1 0 1 0 2 5 1 4 1 1 0 3 0 5 8 4 7 97 2 13 0 5 1 1 67 63 62 New solution: 2521015227907 (5 backtracks, 64 nodes, depth 3) 126 70 9 1 0 1 0 2 5 0 4 1 1 0 3 0 5 8 4 7 97 2 13 0 4 1 1 67 63 62 New solution: 2520998461806 (7 backtracks, 69 nodes, depth 3) 119 70 9 1 0 1 0 2 5 0 4 1 1 0 3 0 5 8 4 7 97 2 13 0 5 1 1 67 63 62 New solution: 2520993936708 (8 backtracks, 72 nodes, depth 3) 118 62 9 1 0 1 0 2 5 0 4 1 1 0 3 0 5 8 4 7 66 2 7 0 5 1 1 67 63 67 New solution: 2520943478627 (10 backtracks, 77 nodes, depth 3) 118 71 9 1 0 1 0 2 5 0 4 1 1 0 3 0 5 8 4 7 97 2 13 0 5 1 1 67 63 62 New solution: 2520935606755 (11 backtracks, 78 nodes, depth 2) 118 70 9 1 0 1 0 2 5 0 4 1 1 0 3 0 5 8 4 7 97 2 13 0 5 1 1 67 63 62 --- [1] LDS 2 --- (78 nodes) --- [1] Search with no discrepancy limit --- (98 nodes) Optimum: 2520935606755 in 39 backtracks and 140 nodes and 0.84 seconds. end.