/work/tschiex/CPD-Janvier-2013/toulbar2 version : 0.9.6.0, copyright (c) INRA 2013 loading wcsp file: 1CSE.matrix.97p.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 97 variables, with 183 values at most, and 4753 cost functions, with maximum arity 2. Cost function decomposition time : 0 seconds. Preprocessing Time : 0.82 seconds. 97 unassigned variables, 1043 values in all current domains (med. size:5, max size:183) and 4656 non-unary cost functions (med. degree:96) Initial lower and upper bounds: [18604039022018,1537228672809129301[ --- [1] LDS 0 --- (0 nodes) New solution: 18604039022018 (0 backtracks, 94 nodes, depth 2) 3 4 1 1 1 6 2 91 64 81 71 1 1 3 0 1 5 2 3 4 4 2 3 4 13 2 1 13 1 4 2 1 1 2 2 4 1 10 2 4 5 1 5 3 10 4 1 0 3 9 17 0 4 2 1 1 1 1 4 2 5 6 16 1 5 1 2 0 6 17 2 1 3 2 11 1 15 1 2 3 5 15 10 11 5 1 4 5 4 9 1 2 1 5 1 1 1 --- [1] LDS 1 --- (94 nodes) Optimum: 18604039022018 in 0 backtracks and 94 nodes and 1 seconds. end.