Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 30105621 | 1800.01 | 1800.66 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb |
MD5SUM | 76c0eb5e4f8bf9449c4bca06a067ffea |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15595520 |
Best CPU time to get the best result obtained on this benchmark | 1801.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15325184 |
Optimality of the best value was proved | NO |
Number of variables | 3100 |
Total number of constraints | 120 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4831838208 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 515495338528 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 515495338528 |
Number of bits of the biggest sum of numbers | 39 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.08 c INFO: OSL Context initialized. 0.08 c BIG Int formula... 0.15 c Initial problem consists of 3100 variables and 140 constraints. 0.15 c No problem reductions applied in OPT. instance. 0.15 c preprocess terminated. Elapsed time: 0.082 0.15 c After prepocess the problem consists of 1387 variables and 140 constraints. 0.15 c Initial Lower Bound: 0 0.20 c Restart #1 #Var: 1387 LB: 0 @ 0.129 0.29 c Restart #2 #Var: 1387 LB: 0 @ 0.218 0.41 c Restart #3 #Var: 1387 LB: 0 @ 0.344 0.61 c Restart #4 #Var: 1387 LB: 0 @ 0.542 0.82 c Restart #5 #Var: 1387 LB: 0 @ 0.755 1.08 c Restart #6 #Var: 1387 LB: 0 @ 1.006 1.36 c Restart #7 #Var: 1387 LB: 0 @ 1.295 1.71 c Restart #8 #Var: 1387 LB: 0 @ 1.638 2.11 c Restart #9 #Var: 1387 LB: 0 @ 2.044 2.50 c Restart #10 #Var: 1387 LB: 0 @ 2.426 2.89 c Restart #11 #Var: 1387 LB: 0 @ 2.816 3.45 c Restart #12 #Var: 1387 LB: 0 @ 3.379 3.90 c Restart #13 #Var: 1387 LB: 0 @ 3.829 4.40 c Restart #14 #Var: 1387 LB: 0 @ 4.329 5.00 c Restart #15 #Var: 1387 LB: 0 @ 4.926 5.60 c Restart #16 #Var: 1387 LB: 0 @ 5.524 6.19 c Restart #17 #Var: 1387 LB: 0 @ 6.116 6.91 c Restart #18 #Var: 1387 LB: 0 @ 6.839 7.64 c Restart #19 #Var: 1387 LB: 0 @ 7.567 8.41 c Restart #20 #Var: 1387 LB: 0 @ 8.339 9.23 c Restart #21 #Var: 1387 LB: 0 @ 9.153 10.14 c Restart #22 #Var: 1387 LB: 0 @ 10.059 11.07 c Restart #23 #Var: 1387 LB: 0 @ 10.991 12.08 c Restart #24 #Var: 1387 LB: 0 @ 11.998 13.04 c Restart #25 #Var: 1387 LB: 0 @ 12.964 14.04 c Restart #26 #Var: 1387 LB: 0 @ 13.962 15.14 c Restart #27 #Var: 1387 LB: 0 @ 15.066 16.21 c Restart #28 #Var: 1387 LB: 0 @ 16.135 17.50 c Restart #29 #Var: 1387 LB: 0 @ 17.422 18.80 c Restart #30 #Var: 1387 LB: 0 @ 18.717 19.96 c Restart #31 #Var: 1387 LB: 0 @ 19.885 21.22 c Restart #32 #Var: 1387 LB: 0 @ 21.142 22.54 c Restart #33 #Var: 1387 LB: 0 @ 22.464 23.80 c Restart #34 #Var: 1387 LB: 0 @ 23.722 23.82 c Sol. found (all assignments made)... 23.82 o 78200561 23.82 c NEW SOLUTION FOUND: 78200561 @ 23.74 23.83 c Sol. found (all assignments made)... 23.83 o 78200525 23.83 c NEW SOLUTION FOUND: 78200525 @ 23.75 23.84 c Sol. found (all assignments made)... 23.85 c Sol. found (all assignments made)... 23.95 c Sol. found (all assignments made)... 23.95 o 78200434 23.95 c NEW SOLUTION FOUND: 78200434 @ 23.869 23.95 c Sol. found (all assignments made)... 23.95 o 78200431 23.95 c NEW SOLUTION FOUND: 78200431 @ 23.87 23.96 c Sol. found (all assignments made)... 23.96 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 23.98 c Sol. found (all assignments made)... 24.01 c Sol. found (all assignments made)... 24.01 o 78200427 24.01 c NEW SOLUTION FOUND: 78200427 @ 23.931 24.01 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.02 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.12 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.14 o 78200423 24.14 c NEW SOLUTION FOUND: 78200423 @ 24.062 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 o 78200407 24.15 c NEW SOLUTION FOUND: 78200407 @ 24.071 24.15 c Sol. found (all assignments made)... 24.17 c Sol. found (all assignments made)... 24.17 c Sol. found (all assignments made)... 24.18 c Sol. found (all assignments made)... 24.18 c Sol. found (all assignments made)... 24.19 c Sol. found (all assignments made)... 24.20 c Sol. found (all assignments made)... 24.20 c Sol. found (all assignments made)... 24.21 c Sol. found (all assignments made)... 24.21 o 78200396 24.21 c NEW SOLUTION FOUND: 78200396 @ 24.128 24.28 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.30 c Sol. found (all assignments made)... 24.33 c Sol. found (all assignments made)... 24.34 c Sol. found (all assignments made)... 24.34 o 78200387 24.34 c NEW SOLUTION FOUND: 78200387 @ 24.257 24.34 c Sol. found (all assignments made)... 24.35 c Sol. found (all assignments made)... 24.36 c Sol. found (all assignments made)... 24.36 c Sol. found (all assignments made)... 24.37 c Sol. found (all assignments made)... 24.37 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.39 c Sol. found (all assignments made)... 24.41 c Sol. found (all assignments made)... 24.41 o 78200379 24.41 c NEW SOLUTION FOUND: 78200379 @ 24.332 24.42 c Sol. found (all assignments made)... 24.42 c Sol. found (all assignments made)... 24.43 c Sol. found (all assignments made)... 24.43 o 78200378 24.43 c NEW SOLUTION FOUND: 78200378 @ 24.35 24.44 c Sol. found (all assignments made)... 24.45 c Sol. found (all assignments made)... 24.46 c Sol. found (all assignments made)... 24.46 c Sol. found (all assignments made)... 24.47 c Sol. found (all assignments made)... 24.48 c Sol. found (all assignments made)... 24.49 c Sol. found (all assignments made)... 24.51 c Sol. found (all assignments made)... 24.52 c Sol. found (all assignments made)... 24.53 c Sol. found (all assignments made)... 24.57 c Sol. found (all assignments made)... 24.81 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.90 c Sol. found (all assignments made)... 24.91 c Sol. found (all assignments made)... 24.92 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.94 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.95 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.97 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.09 o 78199659 25.09 c NEW SOLUTION FOUND: 78199659 @ 25.009 25.09 c Sol. found (all assignments made)... 25.09 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.11 o 78199643 25.11 c NEW SOLUTION FOUND: 78199643 @ 25.03 25.11 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.12 c Sol. found (all assignments made)... 25.14 c Sol. found (all assignments made)... 25.15 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.80 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.81 o 78199640 25.81 c NEW SOLUTION FOUND: 78199640 @ 25.725 25.82 c Sol. found (all assignments made)... 25.82 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 25.85 c Sol. found (all assignments made)... 26.00 c Sol. found (all assignments made)... 26.22 c Sol. found (all assignments made)... 26.26 c Sol. found (all assignments made)... 26.29 c Sol. found (all assignments made)... 26.29 o 78199618 26.29 c NEW SOLUTION FOUND: 78199618 @ 26.208 26.29 c Sol. found (all assignments made)... 26.30 c Sol. found (all assignments made)... 26.30 o 78199615 26.30 c NEW SOLUTION FOUND: 78199615 @ 26.219 26.32 c Sol. found (all assignments made)... 26.33 c Sol. found (all assignments made)... 26.35 c Sol. found (all assignments made)... 26.35 c Sol. found (all assignments made)... 26.37 c Sol. found (all assignments made)... 26.37 c Sol. found (all assignments made)... 26.38 c Sol. found (all assignments made)... 26.39 c Sol. found (all assignments made)... 26.39 c Sol. found (all assignments made)... 26.40 c Sol. found (all assignments made)... 26.41 c Sol. found (all assignments made)... 26.41 c Sol. found (all assignments made)... 26.42 c Sol. found (all assignments made)... 26.45 c Sol. found (all assignments made)... 26.45 c Sol. found (all assignments made)... 26.48 c Sol. found (all assignments made)... 26.48 c Sol. found (all assignments made)... 26.49 c Sol. found (all assignments made)... 26.50 c Sol. found (all assignments made)... 26.50 c Sol. found (all assignments made)... 26.52 c Sol. found (all assignments made)... 26.52 c Sol. found (all assignments made)... 26.53 c Sol. found (all assignments made)... 26.55 c Sol. found (all assignments made)... 26.55 c Sol. found (all assignments made)... 26.56 c Sol. found (all assignments made)... 26.56 c Sol. found (all assignments made)... 26.57 c Sol. found (all assignments made)... 26.58 c Sol. found (all assignments made)... 26.58 c Sol. found (all assignments made)... 26.62 c Sol. found (all assignments made)... 26.63 c Sol. found (all assignments made)... 26.63 c Sol. found (all assignments made)... 26.66 c Sol. found (all assignments made)... 26.66 c Sol. found (all assignments made)... 26.68 c Sol. found (all assignments made)... 26.68 c Sol. found (all assignments made)... 26.68 c Sol. found (all assignments made)... 26.70 c Sol. found (all assignments made)... 26.71 c Sol. found (all assignments made)... 26.71 c Sol. found (all assignments made)... 26.74 c Sol. found (all assignments made)... 26.75 c Sol. found (all assignments made)... 26.75 c Sol. found (all assignments made)... 26.76 c Sol. found (all assignments made)... 26.76 c Sol. found (all assignments made)... 26.77 c Sol. found (all assignments made)... 26.81 c Sol. found (all assignments made)... 26.82 c Sol. found (all assignments made)... 26.82 c Sol. found (all assignments made)... 26.82 o 78199613 26.82 c NEW SOLUTION FOUND: 78199613 @ 26.743 26.83 c Sol. found (all assignments made)... 26.84 c Sol. found (all assignments made)... 26.85 c Sol. found (all assignments made)... 26.85 o 78199612 26.85 c NEW SOLUTION FOUND: 78199612 @ 26.767 26.88 c Sol. found (all assignments made)... 26.89 c Sol. found (all assignments made)... 26.90 c Sol. found (all assignments made)... 26.91 c Sol. found (all assignments made)... 26.92 c Sol. found (all assignments made)... 26.93 c Sol. found (all assignments made)... 26.94 c Sol. found (all assignments made)... 26.94 c Sol. found (all assignments made)... 26.95 c Sol. found (all assignments made)... 26.96 c Sol. found (all assignments made)... 26.98 c Sol. found (all assignments made)... 26.99 c Sol. found (all assignments made)... 27.03 c Sol. found (all assignments made)... 27.05 c Sol. found (all assignments made)... 27.06 c Sol. found (all assignments made)... 27.07 c Sol. found (all assignments made)... 27.28 c Sol. found (all assignments made)... 27.31 c Sol. found (all assignments made)... 27.66 c Sol. found (all assignments made)... 27.71 c Sol. found (all assignments made)... 27.72 c Sol. found (all assignments made)... 27.88 c Sol. found (all assignments made)... 27.89 c Sol. found (all assignments made)... 28.27 c Sol. found (all assignments made)... 28.37 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.88 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.95 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 29.20 c Sol. found (all assignments made)... 29.96 c Sol. found (all assignments made)... 30.05 c Sol. found (all assignments made)... 30.06 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.36 c Sol. found (all assignments made)... 30.50 c Sol. found (all assignments made)... 30.52 c Sol. found (all assignments made)... 30.53 c Sol. found (all assignments made)... 30.53 c Sol. found (all assignments made)... 30.54 c Sol. found (all assignments made)... 30.55 c Sol. found (all assignments made)... 30.56 c Sol. found (all assignments made)... 30.57 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.58 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.60 c Sol. found (all assignments made)... 30.60 c Sol. found (all assignments made)... 30.61 c Sol. found (all assignments made)... 30.63 c Sol. found (all assignments made)... 30.63 c Sol. found (all assignments made)... 30.64 c Sol. found (all assignments made)... 30.65 c Sol. found (all assignments made)... 30.66 c Sol. found (all assignments made)... 30.67 c Sol. found (all assignments made)... 30.69 c Sol. found (all assignments made)... 30.70 c Sol. found (all assignments made)... 30.71 c Sol. found (all assignments made)... 30.72 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.75 c Sol. found (all assignments made)... 30.90 c Sol. found (all assignments made)... 31.43 c Sol. found (all assignments made)... 31.44 c Sol. found (all assignments made)... 31.91 c Sol. found (all assignments made)... 32.35 c Sol. found (all assignments made)... 32.36 c Sol. found (all assignments made)... 32.40 c Sol. found (all assignments made)... 32.44 c Sol. found (all assignments made)... 32.46 c Sol. found (all assignments made)... 32.48 c Sol. found (all assignments made)... 32.50 c Sol. found (all assignments made)... 32.50 c Sol. found (all assignments made)... 32.52 c Sol. found (all assignments made)... 32.56 c Sol. found (all assignments made)... 32.59 c Sol. found (all assignments made)... 32.62 c Sol. found (all assignments made)... 32.62 c Sol. found (all assignments made)... 32.73 c Sol. found (all assignments made)... 33.16 c Sol. found (all assignments made)... 33.17 c Sol. found (all assignments made)... 33.19 c Sol. found (all assignments made)... 33.22 c Sol. found (all assignments made)... 33.24 c Sol. found (all assignments made)... 33.26 c Sol. found (all assignments made)... 33.27 c Sol. found (all assignments made)... 33.30 c Sol. found (all assignments made)... 33.32 c Sol. found (all assignments made)... 33.33 c Sol. found (all assignments made)... 33.36 c Sol. found (all assignments made)... 33.38 c Sol. found (all assignments made)... 33.38 c Sol. found (all assignments made)... 33.85 c Sol. found (all assignments made)... 33.87 c Sol. found (all assignments made)... 34.33 c Sol. found (all assignments made)... 34.39 c Sol. found (all assignments made)... 34.58 c Sol. found (all assignments made)... 34.90 c Sol. found (all assignments made)... 34.91 c Sol. found (all assignments made)... 35.02 c Sol. found (all assignments made)... 35.08 c Sol. found (all assignments made)... 35.39 c Sol. found (all assignments made)... 35.39 c Sol. found (all assignments made)... 35.40 c Sol. found (all assignments made)... 35.41 c Sol. found (all assignments made)... 35.42 c Sol. found (all assignments made)... 35.44 c Sol. found (all assignments made)... 35.47 c Sol. found (all assignments made)... 35.48 c Sol. found (all assignments made)... 35.49 c Sol. found (all assignments made)... 35.49 c Sol. found (all assignments made)... 35.50 c Sol. found (all assignments made)... 35.52 c Sol. found (all assignments made)... 35.52 c Sol. found (all assignments made)... 35.53 c Sol. found (all assignments made)... 35.55 c Sol. found (all assignments made)... 35.57 c Sol. found (all assignments made)... 35.58 c Sol. found (all assignments made)... 35.61 c Sol. found (all assignments made)... 35.62 c Sol. found (all assignments made)... 35.63 c Sol. found (all assignments made)... 35.64 c Sol. found (all assignments made)... 35.64 c Sol. found (all assignments made)... 35.69 c Sol. found (all assignments made)... 35.70 c Sol. found (all assignments made)... 35.72 c Sol. found (all assignments made)... 35.72 c Sol. found (all assignments made)... 35.73 c Sol. found (all assignments made)... 35.73 c Sol. found (all assignments made)... 35.74 c Sol. found (all assignments made)... 35.76 c Sol. found (all assignments made)... 35.76 c Sol. found (all assignments made)... 35.77 c Sol. found (all assignments made)... 35.78 c Sol. found (all assignments made)... 35.79 c Sol. found (all assignments made)... 35.82 c Sol. found (all assignments made)... 35.83 c Sol. found (all assignments made)... 35.85 c Sol. found (all assignments made)... 35.86 c Sol. found (all assignments made)... 35.86 c Sol. found (all assignments made)... 35.86 c Sol. found (all assignments made)... 35.87 c Sol. found (all assignments made)... 35.88 c Sol. found (all assignments made)... 35.88 c Sol. found (all assignments made)... 35.89 c Sol. found (all assignments made)... 35.90 c Sol. found (all assignments made)... 35.91 c Sol. found (all assignments made)... 35.92 c Sol. found (all assignments made)... 35.92 c Sol. found (all assignments made)... 35.93 c Sol. found (all assignments made)... 35.93 c Sol. found (all assignments made)... 35.96 c Sol. found (all assignments made)... 35.96 c Sol. found (all assignments made)... 35.97 c Sol. found (all assignments made)... 36.01 c Sol. found (all assignments made)... 36.02 c Sol. found (all assignments made)... 36.03 c Sol. found (all assignments made)... 36.04 c Sol. found (all assignments made)... 36.38 c Sol. found (all assignments made)... 36.54 c Sol. found (all assignments made)... 36.91 c Sol. found (all assignments made)... 36.92 c Sol. found (all assignments made)... 36.95 c Sol. found (all assignments made)... 36.96 c Sol. found (all assignments made)... 36.98 c Sol. found (all assignments made)... 36.99 c Sol. found (all assignments made)... 37.02 c Sol. found (all assignments made)... 37.03 c Sol. found (all assignments made)... 37.04 c Sol. found (all assignments made)... 37.05 c Sol. found (all assignments made)... 37.07 c Sol. found (all assignments made)... 37.08 c Sol. found (all assignments made)... 37.10 c Sol. found (all assignments made)... 37.11 c Sol. found (all assignments made)... 37.14 c Sol. found (all assignments made)... 37.15 c Sol. found (all assignments made)... 37.19 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.79 c Sol. found (all assignments made)... 37.80 c Sol. found (all assignments made)... 37.81 c Sol. found (all assignments made)... 37.82 c Sol. found (all assignments made)... 37.84 c Sol. found (all assignments made)... 37.87 c Sol. found (all assignments made)... 37.89 c Sol. found (all assignments made)... 37.90 c Sol. found (all assignments made)... 37.92 c Sol. found (all assignments made)... 37.97 c Sol. found (all assignments made)... 37.98 c Sol. found (all assignments made)... 38.02 c Sol. found (all assignments made)... 38.03 c Sol. found (all assignments made)... 38.04 c Sol. found (all assignments made)... 38.05 c Sol. found (all assignments made)... 38.07 c Sol. found (all assignments made)... 38.08 c Sol. found (all assignments made)... 38.09 c Sol. found (all assignments made)... 38.10 c Sol. found (all assignments made)... 38.11 c Sol. found (all assignments made)... 38.12 c Sol. found (all assignments made)... 38.13 c Sol. found (all assignments made)... 38.14 c Sol. found (all assignments made)... 38.16 c Sol. found (all assignments made)... 38.17 c Sol. found (all assignments made)... 38.17 c Sol. found (all assignments made)... 38.18 c Sol. found (all assignments made)... 38.20 c Sol. found (all assignments made)... 38.20 c Sol. found (all assignments made)... 38.22 c Sol. found (all assignments made)... 38.23 c Sol. found (all assignments made)... 38.24 c Sol. found (all assignments made)... 38.24 c Sol. found (all assignments made)... 38.26 c Sol. found (all assignments made)... 38.28 c Sol. found (all assignments made)... 38.30 c Sol. found (all assignments made)... 38.32 c Sol. found (all assignments made)... 38.33 c Sol. found (all assignments made)... 38.34 c Sol. found (all assignments made)... 38.35 c Sol. found (all assignments made)... 38.36 c Sol. found (all assignments made)... 38.38 c Sol. found (all assignments made)... 38.39 c Sol. found (all assignments made)... 38.40 c Sol. found (all assignments made)... 38.42 c Sol. found (all assignments made)... 38.44 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.47 c Sol. found (all assignments made)... 38.47 c Sol. found (all assignments made)... 38.49 c Sol. found (all assignments made)... 39.19 c Sol. found (all assignments made)... 39.23 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.48 c Sol. found (all assignments made)... 39.51 c Sol. found (all assignments made)... 39.52 c Sol. found (all assignments made)... 39.54 c Restart #35 #Var: 1387 LB: 0 @ 39.455 44.31 c Restart #36 #Var: 1387 LB: 0 @ 44.226 44.33 c Sol. found (all assignments made)... 44.33 o 55283640 44.33 c NEW SOLUTION FOUND: 55283640 @ 44.241 44.33 c Sol. found (all assignments made)... 44.35 c Sol. found (all assignments made)... 44.36 c Sol. found (all assignments made)... 44.36 o 55283128 44.36 c NEW SOLUTION FOUND: 55283128 @ 44.27 44.37 c Sol. found (all assignments made)... 44.38 c Sol. found (all assignments made)... 44.39 c Sol. found (all assignments made)... 44.40 c Sol. found (all assignments made)... 44.41 c Sol. found (all assignments made)... 44.42 c Sol. found (all assignments made)... 44.46 c Sol. found (all assignments made)... 44.46 c Sol. found (all assignments made)... 44.52 c Sol. found (all assignments made)... 44.53 c Sol. found (all assignments made)... 44.53 o 54352310 44.53 c NEW SOLUTION FOUND: 54352310 @ 44.444 44.56 c Sol. found (all assignments made)... 44.56 c Sol. found (all assignments made)... 44.62 c Sol. found (all assignments made)... 44.63 c Sol. found (all assignments made)... 44.64 c Sol. found (all assignments made)... 44.65 c Sol. found (all assignments made)... 44.66 c Sol. found (all assignments made)... 44.67 c Sol. found (all assignments made)... 44.84 c Sol. found (all assignments made)... 44.85 c Sol. found (all assignments made)... 44.86 c Sol. found (all assignments made)... 44.87 c Sol. found (all assignments made)... 45.13 c Sol. found (all assignments made)... 45.20 c Sol. found (all assignments made)... 45.27 c Sol. found (all assignments made)... 45.28 c Sol. found (all assignments made)... 45.30 c Sol. found (all assignments made)... 45.30 c Sol. found (all assignments made)... 45.59 c Sol. found (all assignments made)... 45.64 c Sol. found (all assignments made)... 45.97 c Sol. found (all assignments made)... 45.98 c Sol. found (all assignments made)... 46.02 c Sol. found (all assignments made)... 46.03 c Sol. found (all assignments made)... 46.09 c Sol. found (all assignments made)... 46.10 c Sol. found (all assignments made)... 46.12 c Sol. found (all assignments made)... 46.13 c Sol. found (all assignments made)... 46.20 c Sol. found (all assignments made)... 46.21 c Sol. found (all assignments made)... 46.25 c Sol. found (all assignments made)... 46.25 c Sol. found (all assignments made)... 46.36 c Sol. found (all assignments made)... 46.37 c Sol. found (all assignments made)... 46.40 c Sol. found (all assignments made)... 46.40 c Sol. found (all assignments made)... 46.64 c Sol. found (all assignments made)... 46.65 c Sol. found (all assignments made)... 46.71 c Sol. found (all assignments made)... 46.72 c Sol. found (all assignments made)... 46.87 c Sol. found (all assignments made)... 46.88 c Sol. found (all assignments made)... 46.95 c Sol. found (all assignments made)... 46.96 c Sol. found (all assignments made)... 47.03 c Sol. found (all assignments made)... 47.03 c Sol. found (all assignments made)... 47.09 c Sol. found (all assignments made)... 47.09 c Sol. found (all assignments made)... 47.12 c Sol. found (all assignments made)... 47.13 c Sol. found (all assignments made)... 47.23 c Sol. found (all assignments made)... 47.24 c Sol. found (all assignments made)... 47.26 c Sol. found (all assignments made)... 47.27 c Sol. found (all assignments made)... 47.28 c Sol. found (all assignments made)... 47.29 c Sol. found (all assignments made)... 47.38 c Sol. found (all assignments made)... 47.38 c Sol. found (all assignments made)... 47.42 c Sol. found (all assignments made)... 47.42 c Sol. found (all assignments made)... 47.48 c Sol. found (all assignments made)... 47.48 c Sol. found (all assignments made)... 47.53 c Sol. found (all assignments made)... 47.54 c Sol. found (all assignments made)... 47.58 c Sol. found (all assignments made)... 47.59 c Sol. found (all assignments made)... 47.62 c Sol. found (all assignments made)... 47.63 c Sol. found (all assignments made)... 47.69 c Sol. found (all assignments made)... 47.70 c Sol. found (all assignments made)... 47.76 c Sol. found (all assignments made)... 47.77 c Sol. found (all assignments made)... 48.11 c Sol. found (all assignments made)... 48.11 c Sol. found (all assignments made)... 48.13 c Sol. found (all assignments made)... 48.13 c Sol. found (all assignments made)... 48.20 c Sol. found (all assignments made)... 48.20 c Sol. found (all assignments made)... 48.23 c Sol. found (all assignments made)... 48.24 c Sol. found (all assignments made)... 48.39 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.43 c Sol. found (all assignments made)... 48.43 c Sol. found (all assignments made)... 48.55 c Sol. found (all assignments made)... 48.56 c Sol. found (all assignments made)... 48.56 c Sol. found (all assignments made)... 48.57 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 o 54324140 48.60 c NEW SOLUTION FOUND: 54324140 @ 48.518 48.61 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.66 c Sol. found (all assignments made)... 48.67 c Sol. found (all assignments made)... 48.67 c Sol. found (all assignments made)... 48.68 c Sol. found (all assignments made)... 48.75 c Sol. found (all assignments made)... 48.75 c Sol. found (all assignments made)... 48.78 c Sol. found (all assignments made)... 48.79 c Sol. found (all assignments made)... 48.87 c Sol. found (all assignments made)... 48.88 c Sol. found (all assignments made)... 48.90 c Sol. found (all assignments made)... 48.90 c Sol. found (all assignments made)... 49.01 c Sol. found (all assignments made)... 49.02 c Sol. found (all assignments made)... 49.07 c Sol. found (all assignments made)... 49.08 c Sol. found (all assignments made)... 49.10 c Sol. found (all assignments made)... 49.11 c Sol. found (all assignments made)... 49.16 c Sol. found (all assignments made)... 49.17 c Sol. found (all assignments made)... 49.20 c Sol. found (all assignments made)... 49.21 c Sol. found (all assignments made)... 49.24 c Sol. found (all assignments made)... 49.24 c Sol. found (all assignments made)... 49.29 c Sol. found (all assignments made)... 49.30 c Sol. found (all assignments made)... 49.32 c Sol. found (all assignments made)... 49.33 c Sol. found (all assignments made)... 49.43 c Sol. found (all assignments made)... 49.43 c Sol. found (all assignments made)... 49.47 c Sol. found (all assignments made)... 49.47 c Sol. found (all assignments made)... 49.50 c Sol. found (all assignments made)... 49.51 c Sol. found (all assignments made)... 49.57 c Sol. found (all assignments made)... 49.58 c Sol. found (all assignments made)... 49.86 c Sol. found (all assignments made)... 49.87 c Sol. found (all assignments made)... 49.90 c Sol. found (all assignments made)... 49.91 c Sol. found (all assignments made)... 49.92 c Sol. found (all assignments made)... 49.93 c Sol. found (all assignments made)... 49.95 c Sol. found (all assignments made)... 49.96 c Sol. found (all assignments made)... 49.97 c Sol. found (all assignments made)... 49.97 c Sol. found (all assignments made)... 49.99 c Sol. found (all assignments made)... 49.99 c Sol. found (all assignments made)... 50.02 c Sol. found (all assignments made)... 50.02 c Sol. found (all assignments made)... 50.04 c Sol. found (all assignments made)... 50.05 c Sol. found (all assignments made)... 50.10 c Sol. found (all assignments made)... 50.11 c Sol. found (all assignments made)... 50.12 c Sol. found (all assignments made)... 50.13 c Sol. found (all assignments made)... 50.16 c Sol. found (all assignments made)... 50.17 c Sol. found (all assignments made)... 50.21 c Sol. found (all assignments made)... 50.22 c Sol. found (all assignments made)... 50.23 c Sol. found (all assignments made)... 50.24 c Sol. found (all assignments made)... 50.26 c Sol. found (all assignments made)... 50.27 c Sol. found (all assignments made)... 50.31 c Sol. found (all assignments made)... 50.32 c Sol. found (all assignments made)... 50.33 c Sol. found (all assignments made)... 50.34 c Sol. found (all assignments made)... 50.40 c Sol. found (all assignments made)... 50.41 c Sol. found (all assignments made)... 50.42 c Sol. found (all assignments made)... 50.43 c Sol. found (all assignments made)... 50.49 c Sol. found (all assignments made)... 50.50 c Sol. found (all assignments made)... 50.50 c Sol. found (all assignments made)... 50.51 c Sol. found (all assignments made)... 50.64 c Sol. found (all assignments made)... 50.65 c Sol. found (all assignments made)... 50.66 c Sol. found (all assignments made)... 50.67 c Sol. found (all assignments made)... 50.71 c Sol. found (all assignments made)... 50.72 c Sol. found (all assignments made)... 50.72 c Sol. found (all assignments made)... 50.73 c Sol. found (all assignments made)... 50.96 c Sol. found (all assignments made)... 50.96 c Sol. found (all assignments made)... 51.01 c Sol. found (all assignments made)... 51.02 c Sol. found (all assignments made)... 51.03 c Sol. found (all assignments made)... 51.04 c Sol. found (all assignments made)... 51.08 c Sol. found (all assignments made)... 51.09 c Sol. found (all assignments made)... 51.16 c Sol. found (all assignments made)... 51.17 c Sol. found (all assignments made)... 51.17 c Sol. found (all assignments made)... 51.18 c Sol. found (all assignments made)... 51.27 c Sol. found (all assignments made)... 51.27 c Sol. found (all assignments made)... 51.29 c Sol. found (all assignments made)... 51.30 c Sol. found (all assignments made)... 51.33 c Sol. found (all assignments made)... 51.34 c Sol. found (all assignments made)... 51.37 c Sol. found (all assignments made)... 51.37 c Sol. found (all assignments made)... 51.42 c Sol. found (all assignments made)... 51.43 c Sol. found (all assignments made)... 51.45 c Sol. found (all assignments made)... 51.46 c Sol. found (all assignments made)... 51.49 c Sol. found (all assignments made)... 51.49 c Sol. found (all assignments made)... 51.51 c Sol. found (all assignments made)... 51.51 c Sol. found (all assignments made)... 51.73 c Sol. found (all assignments made)... 51.74 c Sol. found (all assignments made)... 51.79 c Sol. found (all assignments made)... 51.79 c Sol. found (all assignments made)... 51.81 c Sol. found (all assignments made)... 51.81 c Sol. found (all assignments made)... 51.82 c Sol. found (all assignments made)... 51.83 c Sol. found (all assignments made)... 51.91 c Sol. found (all assignments made)... 51.91 c Sol. found (all assignments made)... 51.92 c Sol. found (all assignments made)... 51.93 c Sol. found (all assignments made)... 52.00 c Sol. found (all assignments made)... 52.01 c Sol. found (all assignments made)... 52.05 c Sol. found (all assignments made)... 52.05 c Sol. found (all assignments made)... 52.33 c Sol. found (all assignments made)... 52.34 c Sol. found (all assignments made)... 52.37 c Sol. found (all assignments made)... 52.38 c Sol. found (all assignments made)... 52.39 c Sol. found (all assignments made)... 52.40 c Sol. found (all assignments made)... 52.40 c Sol. found (all assignments made)... 52.41 c Sol. found (all assignments made)... 52.45 c Sol. found (all assignments made)... 52.46 c Sol. found (all assignments made)... 52.47 c Sol. found (all assignments made)... 52.48 c Sol. found (all assignments made)... 52.52 c Sol. found (all assignments made)... 52.53 c Sol. found (all assignments made)... 52.54 c Sol. found (all assignments made)... 52.54 c Sol. found (all assignments made)... 52.60 c Sol. found (all assignments made)... 52.61 c Sol. found (all assignments made)... 52.63 c Sol. found (all assignments made)... 52.64 c Sol. found (all assignments made)... 52.65 c Sol. found (all assignments made)... 52.66 c Sol. found (all assignments made)... 52.68 c Sol. found (all assignments made)... 52.69 c Sol. found (all assignments made)... 52.76 c Sol. found (all assignments made)... 52.77 c Sol. found (all assignments made)... 52.83 c Sol. found (all assignments made)... 52.84 c Sol. found (all assignments made)... 52.87 c Sol. found (all assignments made)... 52.87 c Sol. found (all assignments made)... 52.89 c Sol. found (all assignments made)... 52.89 c Sol. found (all assignments made)... 53.47 c Restart #37 #Var: 1387 LB: 0 @ 53.38 55.80 c Restart #38 #Var: 1387 LB: 0 @ 55.712 57.37 c Restart #39 #Var: 1387 LB: 0 @ 57.281 61.85 c Restart #40 #Var: 1387 LB: 0 @ 61.753 62.52 c Sol. found (all assignments made)... 62.52 o 40132398 62.52 c NEW SOLUTION FOUND: 40132398 @ 62.429 62.52 c Sol. found (all assignments made)... 62.53 c Sol. found (all assignments made)... 62.53 c Sol. found (all assignments made)... 62.53 c Sol. found (all assignments made)... 62.53 c Sol. found (all assignments made)... 62.54 c Sol. found (all assignments made)... 62.54 c Sol. found (all assignments made)... 62.55 c Sol. found (all assignments made)... 62.55 c Sol. found (all assignments made)... 62.55 c Sol. found (all assignments made)... 62.56 c Sol. found (all assignments made)... 62.57 c Sol. found (all assignments made)... 62.57 c Sol. found (all assignments made)... 62.57 c Sol. found (all assignments made)... 62.57 o 40132394 62.57 c NEW SOLUTION FOUND: 40132394 @ 62.478 62.57 c Sol. found (all assignments made)... 62.58 c Sol. found (all assignments made)... 62.58 c Sol. found (all assignments made)... 62.58 c Sol. found (all assignments made)... 62.59 c Sol. found (all assignments made)... 62.59 c Sol. found (all assignments made)... 62.59 c Sol. found (all assignments made)... 62.60 c Sol. found (all assignments made)... 62.60 c Sol. found (all assignments made)... 62.60 c Sol. found (all assignments made)... 62.62 c Sol. found (all assignments made)... 62.63 c Sol. found (all assignments made)... 62.63 c Sol. found (all assignments made)... 62.63 c Sol. found (all assignments made)... 62.64 c Sol. found (all assignments made)... 62.64 c Sol. found (all assignments made)... 62.64 c Sol. found (all assignments made)... 62.65 c Sol. found (all assignments made)... 62.65 c Sol. found (all assignments made)... 62.65 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 62.67 c Sol. found (all assignments made)... 62.67 c Sol. found (all assignments made)... 62.67 c Sol. found (all assignments made)... 62.67 c Sol. found (all assignments made)... 62.68 c Sol. found (all assignments made)... 62.68 c Sol. found (all assignments made)... 62.68 c Sol. found (all assignments made)... 62.68 c Sol. found (all assignments made)... 62.70 c Sol. found (all assignments made)... 62.70 c Sol. found (all assignments made)... 62.70 c Sol. found (all assignments made)... 62.71 c Sol. found (all assignments made)... 62.71 c Sol. found (all assignments made)... 62.72 c Sol. found (all assignments made)... 62.72 c Sol. found (all assignments made)... 62.72 c Sol. found (all assignments made)... 62.72 c Sol. found (all assignments made)... 62.73 c Sol. found (all assignments made)... 62.73 c Sol. found (all assignments made)... 62.73 c Sol. found (all assignments made)... 62.74 c Sol. found (all assignments made)... 62.74 c Sol. found (all assignments made)... 62.75 c Sol. found (all assignments made)... 62.75 c Sol. found (all assignments made)... 62.76 c Sol. found (all assignments made)... 62.76 c Sol. found (all assignments made)... 62.77 c Sol. found (all assignments made)... 62.77 c Sol. found (all assignments made)... 62.77 c Sol. found (all assignments made)... 62.77 c Sol. found (all assignments made)... 62.78 c Sol. found (all assignments made)... 62.79 c Sol. found (all assignments made)... 62.79 c Sol. found (all assignments made)... 62.80 c Sol. found (all assignments made)... 62.81 c Sol. found (all assignments made)... 62.81 c Sol. found (all assignments made)... 62.81 c Sol. found (all assignments made)... 62.81 o 39058216 62.81 c NEW SOLUTION FOUND: 39058216 @ 62.721 62.82 c Sol. found (all assignments made)... 62.82 c Sol. found (all assignments made)... 62.82 c Sol. found (all assignments made)... 62.82 c Sol. found (all assignments made)... 62.83 c Sol. found (all assignments made)... 62.84 c Sol. found (all assignments made)... 62.84 o 38367611 62.84 c NEW SOLUTION FOUND: 38367611 @ 62.748 62.84 c Sol. found (all assignments made)... 62.85 c Sol. found (all assignments made)... 62.85 c Sol. found (all assignments made)... 62.85 o 38254965 62.85 c NEW SOLUTION FOUND: 38254965 @ 62.755 62.85 c Sol. found (all assignments made)... 62.86 c Sol. found (all assignments made)... 62.86 o 38184285 62.86 c NEW SOLUTION FOUND: 38184285 @ 62.762 62.87 c Sol. found (all assignments made)... 62.87 c Sol. found (all assignments made)... 62.88 c Sol. found (all assignments made)... 62.88 c Sol. found (all assignments made)... 62.88 o 38071609 62.88 c NEW SOLUTION FOUND: 38071609 @ 62.786 62.88 c Sol. found (all assignments made)... 62.90 c Sol. found (all assignments made)... 62.91 c Sol. found (all assignments made)... 62.92 c Sol. found (all assignments made)... 63.04 c Sol. found (all assignments made)... 63.04 c Sol. found (all assignments made)... 63.15 c Sol. found (all assignments made)... 63.15 c Sol. found (all assignments made)... 63.18 c Sol. found (all assignments made)... 63.19 c Sol. found (all assignments made)... 63.25 c Sol. found (all assignments made)... 63.26 c Sol. found (all assignments made)... 63.27 c Sol. found (all assignments made)... 63.29 c Sol. found (all assignments made)... 63.29 o 38051025 63.29 c NEW SOLUTION FOUND: 38051025 @ 63.193 63.31 c Sol. found (all assignments made)... 63.31 c Sol. found (all assignments made)... 63.33 c Sol. found (all assignments made)... 63.33 c Sol. found (all assignments made)... 63.39 c Sol. found (all assignments made)... 63.40 c Sol. found (all assignments made)... 63.40 c Sol. found (all assignments made)... 63.47 c Sol. found (all assignments made)... 63.47 c Sol. found (all assignments made)... 63.53 c Sol. found (all assignments made)... 63.55 c Sol. found (all assignments made)... 63.58 c Sol. found (all assignments made)... 63.58 c Sol. found (all assignments made)... 63.62 c Sol. found (all assignments made)... 63.62 c Sol. found (all assignments made)... 63.63 c Sol. found (all assignments made)... 63.63 c Sol. found (all assignments made)... 63.64 c Sol. found (all assignments made)... 63.64 c Sol. found (all assignments made)... 63.64 c Sol. found (all assignments made)... 63.65 c Sol. found (all assignments made)... 63.68 c Sol. found (all assignments made)... 63.69 c Sol. found (all assignments made)... 63.69 c Sol. found (all assignments made)... 63.75 c Sol. found (all assignments made)... 63.78 c Sol. found (all assignments made)... 63.78 c Sol. found (all assignments made)... 63.79 c Sol. found (all assignments made)... 63.80 c Sol. found (all assignments made)... 63.80 c Sol. found (all assignments made)... 63.81 c Sol. found (all assignments made)... 63.84 c Sol. found (all assignments made)... 63.85 c Sol. found (all assignments made)... 63.88 c Sol. found (all assignments made)... 63.89 c Sol. found (all assignments made)... 63.90 c Sol. found (all assignments made)... 63.93 c Sol. found (all assignments made)... 63.93 c Sol. found (all assignments made)... 63.93 o 38051021 63.93 c NEW SOLUTION FOUND: 38051021 @ 63.84 63.94 c Sol. found (all assignments made)... 63.96 c Sol. found (all assignments made)... 64.01 c Sol. found (all assignments made)... 64.01 c Sol. found (all assignments made)... 64.01 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.06 c Sol. found (all assignments made)... 64.07 c Sol. found (all assignments made)... 64.09 c Sol. found (all assignments made)... 64.10 c Sol. found (all assignments made)... 64.10 c Sol. found (all assignments made)... 64.10 c Sol. found (all assignments made)... 64.12 c Sol. found (all assignments made)... 64.20 c Sol. found (all assignments made)... 64.21 c Sol. found (all assignments made)... 64.22 c Sol. found (all assignments made)... 64.23 c Sol. found (all assignments made)... 64.25 c Sol. found (all assignments made)... 64.26 c Sol. found (all assignments made)... 64.28 c Sol. found (all assignments made)... 64.29 c Sol. found (all assignments made)... 64.31 c Sol. found (all assignments made)... 64.32 c Sol. found (all assignments made)... 64.35 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.39 c Sol. found (all assignments made)... 64.41 c Sol. found (all assignments made)... 64.41 c Sol. found (all assignments made)... 64.45 c Sol. found (all assignments made)... 64.46 c Sol. found (all assignments made)... 64.46 c Sol. found (all assignments made)... 64.46 c Sol. found (all assignments made)... 64.47 c Sol. found (all assignments made)... 64.50 c Sol. found (all assignments made)... 64.50 c Sol. found (all assignments made)... 64.53 c Sol. found (all assignments made)... 64.54 c Sol. found (all assignments made)... 64.55 c Sol. found (all assignments made)... 64.55 c Sol. found (all assignments made)... 64.55 c Sol. found (all assignments made)... 64.55 c Sol. found (all assignments made)... 64.56 c Sol. found (all assignments made)... 64.56 c Sol. found (all assignments made)... 64.59 c Sol. found (all assignments made)... 64.60 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.61 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.62 c Sol. found (all assignments made)... 64.64 c Sol. found (all assignments made)... 64.66 c Sol. found (all assignments made)... 64.68 c Sol. found (all assignments made)... 64.71 c Sol. found (all assignments made)... 64.72 c Sol. found (all assignments made)... 64.72 c Sol. found (all assignments made)... 64.72 c Sol. found (all assignments made)... 64.73 c Sol. found (all assignments made)... 64.73 c Sol. found (all assignments made)... 64.73 c Sol. found (all assignments made)... 64.76 c Sol. found (all assignments made)... 64.77 c Sol. found (all assignments made)... 64.79 c Sol. found (all assignments made)... 64.80 c Sol. found (all assignments made)... 64.83 c Sol. found (all assignments made)... 64.84 c Sol. found (all assignments made)... 64.85 c Sol. found (all assignments made)... 64.86 c Sol. found (all assignments made)... 64.86 c Sol. found (all assignments made)... 64.87 c Sol. found (all assignments made)... 64.88 c Sol. found (all assignments made)... 64.88 c Sol. found (all assignments made)... 64.88 c Sol. found (all assignments made)... 64.89 c Sol. found (all assignments made)... 64.96 c Sol. found (all assignments made)... 64.96 c Sol. found (all assignments made)... 64.97 c Sol. found (all assignments made)... 64.98 c Sol. found (all assignments made)... 65.02 c Sol. found (all assignments made)... 65.03 c Sol. found (all assignments made)... 65.03 c Sol. found (all assignments made)... 65.03 c Sol. found (all assignments made)... 65.03 c Sol. found (all assignments made)... 65.03 c Sol. found (all assignments made)... 65.04 c Sol. found (all assignments made)... 65.04 c Sol. found (all assignments made)... 65.05 c Sol. found (all assignments made)... 65.05 c Sol. found (all assignments made)... 65.05 c Sol. found (all assignments made)... 65.05 c Sol. found (all assignments made)... 65.06 c Sol. found (all assignments made)... 65.06 c Sol. found (all assignments made)... 65.06 c Sol. found (all assignments made)... 65.07 c Sol. found (all assignments made)... 65.08 c Sol. found (all assignments made)... 65.08 c Sol. found (all assignments made)... 65.11 c Sol. found (all assignments made)... 65.12 c Sol. found (all assignments made)... 65.14 c Sol. found (all assignments made)... 65.16 c Sol. found (all assignments made)... 65.29 c Sol. found (all assignments made)... 65.30 c Sol. found (all assignments made)... 65.33 c Sol. found (all assignments made)... 65.33 c Sol. found (all assignments made)... 65.36 c Sol. found (all assignments made)... 65.37 c Sol. found (all assignments made)... 65.41 c Sol. found (all assignments made)... 65.41 c Sol. found (all assignments made)... 65.43 c Sol. found (all assignments made)... 65.43 c Sol. found (all assignments made)... 65.45 c Sol. found (all assignments made)... 65.48 c Sol. found (all assignments made)... 65.48 c Sol. found (all assignments made)... 65.49 c Sol. found (all assignments made)... 65.50 c Sol. found (all assignments made)... 65.52 c Sol. found (all assignments made)... 65.52 c Sol. found (all assignments made)... 65.54 c Sol. found (all assignments made)... 65.55 c Sol. found (all assignments made)... 65.56 c Sol. found (all assignments made)... 65.57 c Sol. found (all assignments made)... 65.57 c Sol. found (all assignments made)... 65.59 c Sol. found (all assignments made)... 65.64 c Sol. found (all assignments made)... 65.64 c Sol. found (all assignments made)... 65.64 c Sol. found (all assignments made)... 65.66 c Sol. found (all assignments made)... 65.67 c Sol. found (all assignments made)... 65.67 c Sol. found (all assignments made)... 65.67 c Sol. found (all assignments made)... 65.68 c Sol. found (all assignments made)... 65.70 c Sol. found (all assignments made)... 65.70 c Sol. found (all assignments made)... 65.73 c Sol. found (all assignments made)... 65.74 c Sol. found (all assignments made)... 65.75 c Sol. found (all assignments made)... 65.77 c Sol. found (all assignments made)... 65.80 c Sol. found (all assignments made)... 65.81 c Sol. found (all assignments made)... 65.81 c Sol. found (all assignments made)... 65.83 c Sol. found (all assignments made)... 65.84 c Sol. found (all assignments made)... 65.87 c Sol. found (all assignments made)... 65.88 c Sol. found (all assignments made)... 65.89 c Sol. found (all assignments made)... 65.91 c Sol. found (all assignments made)... 65.91 c Sol. found (all assignments made)... 65.92 c Sol. found (all assignments made)... 65.93 c Sol. found (all assignments made)... 65.94 c Sol. found (all assignments made)... 65.94 c Sol. found (all assignments made)... 65.95 c Sol. found (all assignments made)... 65.96 c Sol. found (all assignments made)... 65.96 c Sol. found (all assignments made)... 65.97 c Sol. found (all assignments made)... 65.97 c Sol. found (all assignments made)... 65.98 c Sol. found (all assignments made)... 66.00 c Sol. found (all assignments made)... 66.01 c Sol. found (all assignments made)... 66.01 c Sol. found (all assignments made)... 66.02 c Sol. found (all assignments made)... 66.03 c Sol. found (all assignments made)... 66.04 c Sol. found (all assignments made)... 66.04 c Sol. found (all assignments made)... 66.06 c Sol. found (all assignments made)... 66.08 c Sol. found (all assignments made)... 66.08 c Sol. found (all assignments made)... 66.09 c Sol. found (all assignments made)... 66.11 c Sol. found (all assignments made)... 66.11 c Sol. found (all assignments made)... 66.12 c Sol. found (all assignments made)... 66.18 c Sol. found (all assignments made)... 66.19 c Sol. found (all assignments made)... 66.19 c Sol. found (all assignments made)... 66.20 c Sol. found (all assignments made)... 66.20 c Sol. found (all assignments made)... 66.20 c Sol. found (all assignments made)... 66.20 c Sol. found (all assignments made)... 66.21 c Sol. found (all assignments made)... 66.22 c Sol. found (all assignments made)... 66.24 c Sol. found (all assignments made)... 66.25 c Sol. found (all assignments made)... 66.27 c Sol. found (all assignments made)... 66.28 c Sol. found (all assignments made)... 66.30 c Sol. found (all assignments made)... 66.31 c Sol. found (all assignments made)... 66.34 c Sol. found (all assignments made)... 66.38 c Sol. found (all assignments made)... 66.39 c Sol. found (all assignments made)... 66.40 c Sol. found (all assignments made)... 66.41 c Sol. found (all assignments made)... 66.42 c Sol. found (all assignments made)... 66.43 c Sol. found (all assignments made)... 66.44 c Sol. found (all assignments made)... 66.45 c Sol. found (all assignments made)... 66.46 c Sol. found (all assignments made)... 66.51 c Sol. found (all assignments made)... 66.52 c Sol. found (all assignments made)... 66.53 c Sol. found (all assignments made)... 66.54 c Sol. found (all assignments made)... 66.55 c Sol. found (all assignments made)... 66.56 c Sol. found (all assignments made)... 66.56 c Sol. found (all assignments made)... 66.57 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.59 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.63 c Sol. found (all assignments made)... 66.63 c Sol. found (all assignments made)... 66.64 c Sol. found (all assignments made)... 66.65 c Sol. found (all assignments made)... 66.65 c Sol. found (all assignments made)... 66.66 c Sol. found (all assignments made)... 66.66 c Sol. found (all assignments made)... 66.68 c Sol. found (all assignments made)... 66.68 c Sol. found (all assignments made)... 66.69 c Sol. found (all assignments made)... 66.71 c Sol. found (all assignments made)... 66.71 c Sol. found (all assignments made)... 66.75 c Sol. found (all assignments made)... 66.75 c Sol. found (all assignments made)... 66.76 c Sol. found (all assignments made)... 66.78 c Sol. found (all assignments made)... 66.78 c Sol. found (all assignments made)... 66.78 c Sol. found (all assignments made)... 66.78 c Sol. found (all assignments made)... 66.79 c Sol. found (all assignments made)... 66.80 c Sol. found (all assignments made)... 66.82 c Sol. found (all assignments made)... 66.83 c Sol. found (all assignments made)... 66.83 c Sol. found (all assignments made)... 66.85 c Sol. found (all assignments made)... 66.85 c Sol. found (all assignments made)... 66.86 c Sol. found (all assignments made)... 66.87 c Sol. found (all assignments made)... 66.88 c Sol. found (all assignments made)... 66.89 c Sol. found (all assignments made)... 66.89 c Sol. found (all assignments made)... 66.91 c Sol. found (all assignments made)... 66.91 c Sol. found (all assignments made)... 66.93 c Sol. found (all assignments made)... 66.94 c Sol. found (all assignments made)... 66.94 c Sol. found (all assignments made)... 66.95 c Sol. found (all assignments made)... 66.96 c Sol. found (all assignments made)... 66.96 c Sol. found (all assignments made)... 66.97 c Sol. found (all assignments made)... 66.98 c Sol. found (all assignments made)... 67.00 c Sol. found (all assignments made)... 67.00 c Sol. found (all assignments made)... 67.02 c Sol. found (all assignments made)... 67.05 c Sol. found (all assignments made)... 67.06 c Sol. found (all assignments made)... 67.06 c Sol. found (all assignments made)... 67.07 c Sol. found (all assignments made)... 67.07 c Sol. found (all assignments made)... 67.09 c Sol. found (all assignments made)... 67.10 c Sol. found (all assignments made)... 67.12 c Sol. found (all assignments made)... 67.15 c Sol. found (all assignments made)... 67.22 c Sol. found (all assignments made)... 67.24 c Sol. found (all assignments made)... 67.24 c Sol. found (all assignments made)... 67.25 c Sol. found (all assignments made)... 67.26 c Sol. found (all assignments made)... 67.26 c Sol. found (all assignments made)... 67.26 c Sol. found (all assignments made)... 67.27 c Sol. found (all assignments made)... 67.27 c Sol. found (all assignments made)... 67.28 c Sol. found (all assignments made)... 67.28 c Sol. found (all assignments made)... 67.29 c Sol. found (all assignments made)... 67.30 c Sol. found (all assignments made)... 67.30 c Sol. found (all assignments made)... 67.30 c Sol. found (all assignments made)... 67.30 c Sol. found (all assignments made)... 67.31 c Sol. found (all assignments made)... 67.32 c Sol. found (all assignments made)... 67.33 c Sol. found (all assignments made)... 67.34 c Sol. found (all assignments made)... 67.36 c Sol. found (all assignments made)... 67.36 c Sol. found (all assignments made)... 67.37 c Sol. found (all assignments made)... 67.38 c Sol. found (all assignments made)... 67.39 c Sol. found (all assignments made)... 67.39 c Sol. found (all assignments made)... 67.42 c Sol. found (all assignments made)... 67.42 c Sol. found (all assignments made)... 67.44 c Sol. found (all assignments made)... 67.44 c Sol. found (all assignments made)... 67.45 c Sol. found (all assignments made)... 67.46 c Sol. found (all assignments made)... 67.47 c Sol. found (all assignments made)... 67.47 c Sol. found (all assignments made)... 67.51 c Sol. found (all assignments made)... 67.56 c Sol. found (all assignments made)... 67.74 c Sol. found (all assignments made)... 67.74 c Sol. found (all assignments made)... 67.74 o 37073043 67.74 c NEW SOLUTION FOUND: 37073043 @ 67.642 67.74 c Sol. found (all assignments made)... 67.74 o 37073019 67.74 c NEW SOLUTION FOUND: 37073019 @ 67.647 67.74 c Sol. found (all assignments made)... 67.75 c Sol. found (all assignments made)... 67.75 c Sol. found (all assignments made)... 67.76 c Sol. found (all assignments made)... 67.76 c Sol. found (all assignments made)... 67.76 c Sol. found (all assignments made)... 67.77 c Sol. found (all assignments made)... 67.77 c Sol. found (all assignments made)... 67.78 c Sol. found (all assignments made)... 67.78 c Sol. found (all assignments made)... 67.78 c Sol. found (all assignments made)... 67.78 c Sol. found (all assignments made)... 67.78 c Sol. found (all assignments made)... 67.79 c Sol. found (all assignments made)... 67.79 c Sol. found (all assignments made)... 67.79 c Sol. found (all assignments made)... 67.80 c Sol. found (all assignments made)... 67.80 c Sol. found (all assignments made)... 67.81 c Sol. found (all assignments made)... 67.81 c Sol. found (all assignments made)... 67.81 c Sol. found (all assignments made)... 67.81 c Sol. found (all assignments made)... 67.82 c Sol. found (all assignments made)... 67.83 c Sol. found (all assignments made)... 67.83 c Sol. found (all assignments made)... 67.83 c Sol. found (all assignments made)... 67.84 c Sol. found (all assignments made)... 67.84 c Sol. found (all assignments made)... 67.84 o 37072995 67.84 c NEW SOLUTION FOUND: 37072995 @ 67.745 67.84 c Sol. found (all assignments made)... 67.84 c Sol. found (all assignments made)... 67.85 c Sol. found (all assignments made)... 67.85 o 37072971 67.85 c NEW SOLUTION FOUND: 37072971 @ 67.757 67.85 c Sol. found (all assignments made)... 67.86 c Sol. found (all assignments made)... 67.87 c Sol. found (all assignments made)... 67.87 c Sol. found (all assignments made)... 67.89 c Sol. found (all assignments made)... 67.89 c Sol. found (all assignments made)... 67.89 o 37072959 67.89 c NEW SOLUTION FOUND: 37072959 @ 67.792 67.89 c Sol. found (all assignments made)... 67.89 c Sol. found (all assignments made)... 67.90 c Sol. found (all assignments made)... 67.90 c Sol. found (all assignments made)... 67.92 c Sol. found (all assignments made)... 67.92 c Sol. found (all assignments made)... 67.93 c Sol. found (all assignments made)... 67.94 c Sol. found (all assignments made)... 67.95 c Sol. found (all assignments made)... 67.95 c Sol. found (all assignments made)... 67.95 o 37072953 67.95 c NEW SOLUTION FOUND: 37072953 @ 67.858 67.95 c Sol. found (all assignments made)... 67.96 c Sol. found (all assignments made)... 67.96 c Sol. found (all assignments made)... 67.96 c Sol. found (all assignments made)... 67.97 c Sol. found (all assignments made)... 67.97 o 37005421 67.97 c NEW SOLUTION FOUND: 37005421 @ 67.875 67.97 c Sol. found (all assignments made)... 67.97 c Sol. found (all assignments made)... 67.98 c Sol. found (all assignments made)... 67.98 c Sol. found (all assignments made)... 67.98 c Sol. found (all assignments made)... 67.99 c Sol. found (all assignments made)... 68.00 c Sol. found (all assignments made)... 68.02 c Sol. found (all assignments made)... 68.02 c Sol. found (all assignments made)... 68.02 c Sol. found (all assignments made)... 68.02 c Sol. found (all assignments made)... 68.03 c Sol. found (all assignments made)... 68.04 c Sol. found (all assignments made)... 68.07 c Sol. found (all assignments made)... 68.08 c Sol. found (all assignments made)... 68.08 c Sol. found (all assignments made)... 68.08 o 37005405 68.08 c NEW SOLUTION FOUND: 37005405 @ 67.983 68.08 c Sol. found (all assignments made)... 68.08 c Sol. found (all assignments made)... 68.09 c Sol. found (all assignments made)... 68.09 c Sol. found (all assignments made)... 68.10 c Sol. found (all assignments made)... 68.11 c Sol. found (all assignments made)... 68.12 c Sol. found (all assignments made)... 68.12 c Sol. found (all assignments made)... 68.12 c Sol. found (all assignments made)... 68.13 c Sol. found (all assignments made)... 68.13 c Sol. found (all assignments made)... 68.16 c Sol. found (all assignments made)... 68.17 c Sol. found (all assignments made)... 68.17 c Sol. found (all assignments made)... 68.17 o 37005373 68.17 c NEW SOLUTION FOUND: 37005373 @ 68.071 68.17 c Sol. found (all assignments made)... 68.18 c Sol. found (all assignments made)... 68.18 c Sol. found (all assignments made)... 68.18 c Sol. found (all assignments made)... 68.18 c Sol. found (all assignments made)... 68.19 c Sol. found (all assignments made)... 68.20 c Sol. found (all assignments made)... 68.20 c Sol. found (all assignments made)... 68.20 c Sol. found (all assignments made)... 68.21 c Sol. found (all assignments made)... 68.21 c Sol. found (all assignments made)... 68.22 c Sol. found (all assignments made)... 68.22 c Sol. found (all assignments made)... 68.22 c Sol. found (all assignments made)... 68.24 c Sol. found (all assignments made)... 68.24 c Sol. found (all assignments made)... 68.26 c Sol. found (all assignments made)... 68.26 c Sol. found (all assignments made)... 68.27 c Sol. found (all assignments made)... 68.27 c Sol. found (all assignments made)... 68.28 c Sol. found (all assignments made)... 68.28 c Sol. found (all assignments made)... 68.29 c Sol. found (all assignments made)... 68.30 c Sol. found (all assignments made)... 68.30 c Sol. found (all assignments made)... 68.31 c Sol. found (all assignments made)... 68.32 c Sol. found (all assignments made)... 68.32 c Sol. found (all assignments made)... 68.33 c Sol. found (all assignments made)... 68.33 c Sol. found (all assignments made)... 68.33 o 37005365 68.33 c NEW SOLUTION FOUND: 37005365 @ 68.237 68.33 c Sol. found (all assignments made)... 68.34 c Sol. found (all assignments made)... 68.34 c Sol. found (all assignments made)... 68.34 c Sol. found (all assignments made)... 68.34 c Sol. found (all assignments made)... 68.35 c Sol. found (all assignments made)... 68.35 c Sol. found (all assignments made)... 68.36 c Sol. found (all assignments made)... 68.36 c Sol. found (all assignments made)... 68.37 c Sol. found (all assignments made)... 68.37 c Sol. found (all assignments made)... 68.37 c Sol. found (all assignments made)... 68.38 c Sol. found (all assignments made)... 68.38 c Sol. found (all assignments made)... 68.39 c Sol. found (all assignments made)... 68.39 c Sol. found (all assignments made)... 68.42 c Sol. found (all assignments made)... 68.45 c Sol. found (all assignments made)... 68.46 c Sol. found (all assignments made)... 68.46 c Sol. found (all assignments made)... 68.46 c Sol. found (all assignments made)... 68.48 c Sol. found (all assignments made)... 68.49 c Sol. found (all assignments made)... 68.49 c Sol. found (all assignments made)... 68.50 c Sol. found (all assignments made)... 68.51 c Sol. found (all assignments made)... 68.51 c Sol. found (all assignments made)... 68.52 c Sol. found (all assignments made)... 68.52 c Sol. found (all assignments made)... 68.52 c Sol. found (all assignments made)... 68.53 c Sol. found (all assignments made)... 68.53 c Sol. found (all assignments made)... 68.53 c Sol. found (all assignments made)... 68.53 c Sol. found (all assignments made)... 68.54 c Sol. found (all assignments made)... 68.54 c Sol. found (all assignments made)... 68.54 o 37005361 68.54 c NEW SOLUTION FOUND: 37005361 @ 68.448 68.55 c Sol. found (all assignments made)... 68.55 c Sol. found (all assignments made)... 68.55 c Sol. found (all assignments made)... 68.55 c Sol. found (all assignments made)... 68.56 c Sol. found (all assignments made)... 68.57 c Sol. found (all assignments made)... 68.58 c Sol. found (all assignments made)... 68.58 c Sol. found (all assignments made)... 68.58 c Sol. found (all assignments made)... 68.59 c Sol. found (all assignments made)... 68.59 c Sol. found (all assignments made)... 68.60 c Sol. found (all assignments made)... 68.60 c Sol. found (all assignments made)... 68.60 c Sol. found (all assignments made)... 68.61 c Sol. found (all assignments made)... 68.61 c Sol. found (all assignments made)... 68.62 c Sol. found (all assignments made)... 68.62 c Sol. found (all assignments made)... 68.63 c Sol. found (all assignments made)... 68.63 c Sol. found (all assignments made)... 68.65 c Sol. found (all assignments made)... 68.65 c Sol. found (all assignments made)... 68.65 c Sol. found (all assignments made)... 68.69 c Sol. found (all assignments made)... 68.70 c Sol. found (all assignments made)... 68.71 c Sol. found (all assignments made)... 68.72 c Sol. found (all assignments made)... 68.73 c Sol. found (all assignments made)... 68.74 c Sol. found (all assignments made)... 68.77 c Sol. found (all assignments made)... 68.77 c Sol. found (all assignments made)... 68.78 c Sol. found (all assignments made)... 68.80 c Sol. found (all assignments made)... 68.80 c Sol. found (all assignments made)... 68.81 c Sol. found (all assignments made)... 68.87 c Sol. found (all assignments made)... 68.88 c Sol. found (all assignments made)... 68.89 c Sol. found (all assignments made)... 68.90 c Sol. found (all assignments made)... 68.91 c Sol. found (all assignments made)... 68.91 c Sol. found (all assignments made)... 68.92 c Sol. found (all assignments made)... 68.93 c Sol. found (all assignments made)... 68.94 c Sol. found (all assignments made)... 68.95 c Sol. found (all assignments made)... 68.96 c Sol. found (all assignments made)... 68.98 c Sol. found (all assignments made)... 68.99 c Sol. found (all assignments made)... 69.00 c Sol. found (all assignments made)... 69.01 c Sol. found (all assignments made)... 69.03 c Sol. found (all assignments made)... 69.04 c Sol. found (all assignments made)... 69.06 c Sol. found (all assignments made)... 69.07 c Sol. found (all assignments made)... 69.07 c Sol. found (all assignments made)... 69.08 c Sol. found (all assignments made)... 69.09 c Sol. found (all assignments made)... 69.10 c Sol. found (all assignments made)... 69.11 c Sol. found (all assignments made)... 69.12 c Sol. found (all assignments made)... 69.12 c Sol. found (all assignments made)... 69.13 c Sol. found (all assignments made)... 69.14 c Sol. found (all assignments made)... 69.15 c Sol. found (all assignments made)... 69.16 c Sol. found (all assignments made)... 69.17 c Sol. found (all assignments made)... 69.17 c Sol. found (all assignments made)... 69.18 c Sol. found (all assignments made)... 69.19 c Sol. found (all assignments made)... 69.20 c Sol. found (all assignments made)... 69.21 c Sol. found (all assignments made)... 69.22 c Sol. found (all assignments made)... 69.22 c Sol. found (all assignments made)... 69.23 c Sol. found (all assignments made)... 69.25 c Sol. found (all assignments made)... 69.25 c Sol. found (all assignments made)... 69.26 c Sol. found (all assignments made)... 69.27 c Sol. found (all assignments made)... 69.28 c Sol. found (all assignments made)... 69.29 c Sol. found (all assignments made)... 69.30 c Sol. found (all assignments made)... 69.31 c Sol. found (all assignments made)... 69.32 c Sol. found (all assignments made)... 69.33 c Sol. found (all assignments made)... 69.34 c Sol. found (all assignments made)... 69.35 c Sol. found (all assignments made)... 69.35 c Sol. found (all assignments made)... 69.37 c Sol. found (all assignments made)... 69.37 c Sol. found (all assignments made)... 69.38 c Sol. found (all assignments made)... 69.38 c Sol. found (all assignments made)... 69.39 c Sol. found (all assignments made)... 69.39 c Sol. found (all assignments made)... 69.40 c Sol. found (all assignments made)... 69.40 c Sol. found (all assignments made)... 69.40 c Sol. found (all assignments made)... 69.41 c Sol. found (all assignments made)... 69.41 c Sol. found (all assignments made)... 69.42 c Sol. found (all assignments made)... 69.42 c Sol. found (all assignments made)... 69.42 c Sol. found (all assignments made)... 69.49 c Sol. found (all assignments made)... 69.50 c Sol. found (all assignments made)... 69.50 c Sol. found (all assignments made)... 69.52 c Sol. found (all assignments made)... 69.52 c Sol. found (all assignments made)... 69.53 c Sol. found (all assignments made)... 69.54 c Sol. found (all assignments made)... 69.54 c Sol. found (all assignments made)... 69.55 c Sol. found (all assignments made)... 69.56 c Sol. found (all assignments made)... 69.56 c Sol. found (all assignments made)... 69.57 c Sol. found (all assignments made)... 69.58 c Sol. found (all assignments made)... 69.58 c Sol. found (all assignments made)... 69.59 c Sol. found (all assignments made)... 69.60 c Sol. found (all assignments made)... 69.61 c Sol. found (all assignments made)... 69.61 c Sol. found (all assignments made)... 69.62 c Sol. found (all assignments made)... 69.63 c Sol. found (all assignments made)... 69.63 c Sol. found (all assignments made)... 69.64 c Sol. found (all assignments made)... 69.65 c Sol. found (all assignments made)... 69.65 c Sol. found (all assignments made)... 69.66 c Sol. found (all assignments made)... 69.67 c Sol. found (all assignments made)... 69.67 c Sol. found (all assignments made)... 69.68 c Sol. found (all assignments made)... 69.69 c Sol. found (all assignments made)... 69.70 c Sol. found (all assignments made)... 69.71 c Sol. found (all assignments made)... 69.72 c Sol. found (all assignments made)... 69.72 c Sol. found (all assignments made)... 69.73 c Sol. found (all assignments made)... 69.74 c Sol. found (all assignments made)... 69.75 c Sol. found (all assignments made)... 69.76 c Sol. found (all assignments made)... 69.84 c Sol. found (all assignments made)... 69.84 c Sol. found (all assignments made)... 69.85 c Sol. found (all assignments made)... 69.86 c Sol. found (all assignments made)... 69.86 c Sol. found (all assignments made)... 69.87 c Sol. found (all assignments made)... 69.88 c Sol. found (all assignments made)... 69.88 c Sol. found (all assignments made)... 69.89 c Sol. found (all assignments made)... 69.90 c Sol. found (all assignments made)... 69.90 c Sol. found (all assignments made)... 69.91 c Sol. found (all assignments made)... 69.91 c Sol. found (all assignments made)... 69.92 c Sol. found (all assignments made)... 69.92 c Sol. found (all assignments made)... 69.93 c Sol. found (all assignments made)... 69.93 c Sol. found (all assignments made)... 69.94 c Sol. found (all assignments made)... 69.95 c Sol. found (all assignments made)... 69.95 c Sol. found (all assignments made)... 69.96 c Sol. found (all assignments made)... 69.97 c Sol. found (all assignments made)... 69.97 c Sol. found (all assignments made)... 69.97 c Sol. found (all assignments made)... 69.98 c Sol. found (all assignments made)... 69.99 c Sol. found (all assignments made)... 70.00 c Sol. found (all assignments made)... 70.01 c Sol. found (all assignments made)... 70.02 c Sol. found (all assignments made)... 70.02 c Sol. found (all assignments made)... 70.04 c Sol. found (all assignments made)... 70.04 c Sol. found (all assignments made)... 70.05 c Sol. found (all assignments made)... 70.06 c Sol. found (all assignments made)... 70.07 c Sol. found (all assignments made)... 70.08 c Sol. found (all assignments made)... 70.09 c Sol. found (all assignments made)... 70.10 c Sol. found (all assignments made)... 70.11 c Sol. found (all assignments made)... 70.12 c Sol. found (all assignments made)... 70.14 c Sol. found (all assignments made)... 70.14 c Sol. found (all assignments made)... 70.16 c Sol. found (all assignments made)... 70.17 c Sol. found (all assignments made)... 70.19 c Sol. found (all assignments made)... 70.20 c Sol. found (all assignments made)... 70.22 c Sol. found (all assignments made)... 70.22 c Sol. found (all assignments made)... 70.24 c Sol. found (all assignments made)... 70.24 c Sol. found (all assignments made)... 70.26 c Sol. found (all assignments made)... 70.27 c Sol. found (all assignments made)... 70.29 c Sol. found (all assignments made)... 70.29 c Sol. found (all assignments made)... 70.31 c Sol. found (all assignments made)... 70.32 c Sol. found (all assignments made)... 70.33 c Sol. found (all assignments made)... 70.33 c Sol. found (all assignments made)... 70.35 c Sol. found (all assignments made)... 70.35 c Sol. found (all assignments made)... 70.36 c Sol. found (all assignments made)... 70.37 c Sol. found (all assignments made)... 70.38 c Sol. found (all assignments made)... 70.39 c Sol. found (all assignments made)... 70.40 c Sol. found (all assignments made)... 70.40 c Sol. found (all assignments made)... 70.41 c Sol. found (all assignments made)... 70.42 c Sol. found (all assignments made)... 70.43 c Sol. found (all assignments made)... 70.44 c Sol. found (all assignments made)... 70.45 c Sol. found (all assignments made)... 70.45 c Sol. found (all assignments made)... 70.53 c Sol. found (all assignments made)... 70.53 o 36984872 70.53 c NEW SOLUTION FOUND: 36984872 @ 70.43 70.53 c Sol. found (all assignments made)... 70.53 c Sol. found (all assignments made)... 70.53 o 36984871 70.53 c NEW SOLUTION FOUND: 36984871 @ 70.434 70.54 c Sol. found (all assignments made)... 70.54 c Sol. found (all assignments made)... 70.54 o 36984870 70.54 c NEW SOLUTION FOUND: 36984870 @ 70.441 70.54 c Sol. found (all assignments made)... 70.55 c Sol. found (all assignments made)... 70.55 o 36984869 70.55 c NEW SOLUTION FOUND: 36984869 @ 70.448 70.55 c Sol. found (all assignments made)... 70.55 c Sol. found (all assignments made)... 70.56 c Sol. found (all assignments made)... 70.56 c Sol. found (all assignments made)... 70.56 c Sol. found (all assignments made)... 70.57 c Sol. found (all assignments made)... 70.57 c Sol. found (all assignments made)... 70.58 c Sol. found (all assignments made)... 70.58 c Sol. found (all assignments made)... 70.63 c Sol. found (all assignments made)... 70.63 c Sol. found (all assignments made)... 70.63 c Sol. found (all assignments made)... 70.64 c Sol. found (all assignments made)... 70.64 c Sol. found (all assignments made)... 70.64 c Sol. found (all assignments made)... 70.65 c Sol. found (all assignments made)... 70.65 c Sol. found (all assignments made)... 70.68 c Sol. found (all assignments made)... 70.69 c Sol. found (all assignments made)... 70.69 c Sol. found (all assignments made)... 70.69 c Sol. found (all assignments made)... 70.70 c Sol. found (all assignments made)... 70.70 c Sol. found (all assignments made)... 70.70 c Sol. found (all assignments made)... 70.70 c Sol. found (all assignments made)... 70.77 c Sol. found (all assignments made)... 70.77 c Sol. found (all assignments made)... 70.77 c Sol. found (all assignments made)... 70.78 c Sol. found (all assignments made)... 70.78 c Sol. found (all assignments made)... 70.78 c Sol. found (all assignments made)... 70.79 c Sol. found (all assignments made)... 70.79 c Sol. found (all assignments made)... 70.80 c Sol. found (all assignments made)... 70.80 c Sol. found (all assignments made)... 70.81 c Sol. found (all assignments made)... 70.81 c Sol. found (all assignments made)... 70.81 c Sol. found (all assignments made)... 70.82 c Sol. found (all assignments made)... 70.82 c Sol. found (all assignments made)... 70.82 c Sol. found (all assignments made)... 70.83 c Sol. found (all assignments made)... 70.83 c Sol. found (all assignments made)... 70.84 c Sol. found (all assignments made)... 70.84 c Sol. found (all assignments made)... 70.85 c Sol. found (all assignments made)... 70.85 c Sol. found (all assignments made)... 70.86 c Sol. found (all assignments made)... 70.86 c Sol. found (all assignments made)... 70.87 c Sol. found (all assignments made)... 70.87 c Sol. found (all assignments made)... 70.88 c Sol. found (all assignments made)... 70.88 c Sol. found (all assignments made)... 70.88 c Sol. found (all assignments made)... 70.88 c Sol. found (all assignments made)... 70.89 c Sol. found (all assignments made)... 70.89 c Sol. found (all assignments made)... 70.90 c Sol. found (all assignments made)... 70.91 c Sol. found (all assignments made)... 70.91 c Sol. found (all assignments made)... 70.93 c Sol. found (all assignments made)... 70.93 c Sol. found (all assignments made)... 70.94 c Sol. found (all assignments made)... 70.95 c Sol. found (all assignments made)... 71.00 c Sol. found (all assignments made)... 71.04 c Sol. found (all assignments made)... 71.08 c Sol. found (all assignments made)... 71.12 c Sol. found (all assignments made)... 71.17 c Sol. found (all assignments made)... 71.17 c Sol. found (all assignments made)... 71.18 c Sol. found (all assignments made)... 71.19 c Sol. found (all assignments made)... 71.20 c Sol. found (all assignments made)... 71.21 c Sol. found (all assignments made)... 71.22 c Sol. found (all assignments made)... 71.22 c Sol. found (all assignments made)... 71.25 c Sol. found (all assignments made)... 71.26 c Sol. found (all assignments made)... 71.26 c Sol. found (all assignments made)... 71.29 c Sol. found (all assignments made)... 71.29 c Sol. found (all assignments made)... 71.30 c Sol. found (all assignments made)... 71.30 c Sol. found (all assignments made)... 71.30 c Sol. found (all assignments made)... 71.30 c Sol. found (all assignments made)... 71.31 c Sol. found (all assignments made)... 71.31 c Sol. found (all assignments made)... 71.31 c Sol. found (all assignments made)... 71.32 c Sol. found (all assignments made)... 71.33 c Sol. found (all assignments made)... 71.34 c Sol. found (all assignments made)... 71.35 c Sol. found (all assignments made)... 71.35 c Sol. found (all assignments made)... 71.38 c Sol. found (all assignments made)... 71.38 c Sol. found (all assignments made)... 71.38 c Sol. found (all assignments made)... 71.39 c Sol. found (all assignments made)... 71.39 c Sol. found (all assignments made)... 71.42 c Sol. found (all assignments made)... 71.43 c Sol. found (all assignments made)... 71.43 c Sol. found (all assignments made)... 71.44 c Sol. found (all assignments made)... 71.44 c Sol. found (all assignments made)... 71.46 c Sol. found (all assignments made)... 71.46 c Sol. found (all assignments made)... 71.46 c Sol. found (all assignments made)... 71.46 c Sol. found (all assignments made)... 71.48 c Sol. found (all assignments made)... 71.49 c Sol. found (all assignments made)... 71.50 c Sol. found (all assignments made)... 71.50 c Sol. found (all assignments made)... 71.55 c Sol. found (all assignments made)... 71.56 c Sol. found (all assignments made)... 71.56 c Sol. found (all assignments made)... 71.59 c Sol. found (all assignments made)... 71.60 c Sol. found (all assignments made)... 71.61 c Sol. found (all assignments made)... 71.62 c Sol. found (all assignments made)... 71.65 c Sol. found (all assignments made)... 71.65 c Sol. found (all assignments made)... 71.65 c Sol. found (all assignments made)... 71.66 c Sol. found (all assignments made)... 71.67 c Sol. found (all assignments made)... 71.67 c Sol. found (all assignments made)... 71.68 c Sol. found (all assignments made)... 71.68 c Sol. found (all assignments made)... 71.68 c Sol. found (all assignments made)... 71.69 c Sol. found (all assignments made)... 71.71 c Sol. found (all assignments made)... 71.71 c Sol. found (all assignments made)... 71.72 c Sol. found (all assignments made)... 71.72 c Sol. found (all assignments made)... 71.72 c Sol. found (all assignments made)... 71.73 c Sol. found (all assignments made)... 71.73 c Sol. found (all assignments made)... 71.74 c Sol. found (all assignments made)... 71.75 c Sol. found (all assignments made)... 71.76 c Sol. found (all assignments made)... 71.76 c Sol. found (all assignments made)... 71.77 c Sol. found (all assignments made)... 71.77 c Sol. found (all assignments made)... 71.77 c Sol. found (all assignments made)... 71.78 c Sol. found (all assignments made)... 71.79 c Sol. found (all assignments made)... 71.79 c Sol. found (all assignments made)... 71.79 c Sol. found (all assignments made)... 71.80 c Sol. found (all assignments made)... 71.81 c Sol. found (all assignments made)... 71.81 c Sol. found (all assignments made)... 71.82 c Sol. found (all assignments made)... 71.82 c Sol. found (all assignments made)... 71.82 c Sol. found (all assignments made)... 71.83 c Sol. found (all assignments made)... 71.84 c Sol. found (all assignments made)... 71.89 c Sol. found (all assignments made)... 71.93 c Sol. found (all assignments made)... 71.94 c Sol. found (all assignments made)... 71.96 c Sol. found (all assignments made)... 71.96 c Sol. found (all assignments made)... 71.98 c Sol. found (all assignments made)... 71.98 c Sol. found (all assignments made)... 71.99 c Sol. found (all assignments made)... 72.00 c Sol. found (all assignments made)... 72.01 c Sol. found (all assignments made)... 72.01 c Sol. found (all assignments made)... 72.01 c Sol. found (all assignments made)... 72.01 c Sol. found (all assignments made)... 72.02 c Sol. found (all assignments made)... 72.02 c Sol. found (all assignments made)... 72.02 c Sol. found (all assignments made)... 72.03 c Sol. found (all assignments made)... 72.03 c Sol. found (all assignments made)... 72.03 c Sol. found (all assignments made)... 72.04 c Sol. found (all assignments made)... 72.04 c Sol. found (all assignments made)... 72.04 c Sol. found (all assignments made)... 72.05 c Sol. found (all assignments made)... 72.05 c Sol. found (all assignments made)... 72.06 c Sol. found (all assignments made)... 72.06 c Sol. found (all assignments made)... 72.07 c Sol. found (all assignments made)... 72.07 c Sol. found (all assignments made)... 72.08 c Sol. found (all assignments made)... 72.08 c Sol. found (all assignments made)... 72.09 c Sol. found (all assignments made)... 72.09 c Sol. found (all assignments made)... 72.10 c Sol. found (all assignments made)... 72.10 c Sol. found (all assignments made)... 72.10 c Sol. found (all assignments made)... 72.11 c Sol. found (all assignments made)... 72.12 c Sol. found (all assignments made)... 72.12 c Sol. found (all assignments made)... 72.12 c Sol. found (all assignments made)... 72.13 c Sol. found (all assignments made)... 72.13 c Sol. found (all assignments made)... 72.14 c Sol. found (all assignments made)... 72.14 c Sol. found (all assignments made)... 72.14 c Sol. found (all assignments made)... 72.15 c Sol. found (all assignments made)... 72.15 c Sol. found (all assignments made)... 72.16 c Sol. found (all assignments made)... 72.16 c Sol. found (all assignments made)... 72.16 c Sol. found (all assignments made)... 72.16 c Sol. found (all assignments made)... 72.17 c Sol. found (all assignments made)... 72.17 c Sol. found (all assignments made)... 72.18 c Sol. found (all assignments made)... 72.18 c Sol. found (all assignments made)... 72.19 c Sol. found (all assignments made)... 72.98 c Sol. found (all assignments made)... 72.98 c Sol. found (all assignments made)... 72.99 c Sol. found (all assignments made)... 72.99 c Sol. found (all assignments made)... 72.99 c Sol. found (all assignments made)... 73.00 c Sol. found (all assignments made)... 73.00 o 36351796 73.00 c NEW SOLUTION FOUND: 36351796 @ 72.894 73.00 c Sol. found (all assignments made)... 73.02 c Sol. found (all assignments made)... 73.03 c Sol. found (all assignments made)... 73.03 c Sol. found (all assignments made)... 73.05 c Sol. found (all assignments made)... 73.05 c Sol. found (all assignments made)... 73.07 c Sol. found (all assignments made)... 73.07 c Sol. found (all assignments made)... 73.09 c Sol. found (all assignments made)... 73.13 c Sol. found (all assignments made)... 73.17 c Sol. found (all assignments made)... 73.20 c Sol. found (all assignments made)... 73.20 c Sol. found (all assignments made)... 73.20 c Sol. found (all assignments made)... 73.21 c Sol. found (all assignments made)... 73.21 c Sol. found (all assignments made)... 73.22 c Sol. found (all assignments made)... 73.22 c Sol. found (all assignments made)... 73.24 c Sol. found (all assignments made)... 73.24 c Sol. found (all assignments made)... 73.25 c Sol. found (all assignments made)... 73.26 c Sol. found (all assignments made)... 73.26 o 36054584 73.26 c NEW SOLUTION FOUND: 36054584 @ 73.155 73.26 c Sol. found (all assignments made)... 73.26 c Sol. found (all assignments made)... 73.27 c Sol. found (all assignments made)... 73.37 c Sol. found (all assignments made)... 73.44 c Sol. found (all assignments made)... 73.48 c Sol. found (all assignments made)... 73.51 c Sol. found (all assignments made)... 73.52 c Sol. found (all assignments made)... 73.52 c Sol. found (all assignments made)... 73.52 c Sol. found (all assignments made)... 73.52 o 35998753 73.52 c NEW SOLUTION FOUND: 35998753 @ 73.42 73.55 c Sol. found (all assignments made)... 73.55 c Sol. found (all assignments made)... 73.56 c Sol. found (all assignments made)... 73.56 c Sol. found (all assignments made)... 73.58 c Sol. found (all assignments made)... 73.58 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.61 c Sol. found (all assignments made)... 73.63 c Sol. found (all assignments made)... 73.65 c Sol. found (all assignments made)... 73.65 c Sol. found (all assignments made)... 73.79 c Sol. found (all assignments made)... 73.80 c Sol. found (all assignments made)... 73.82 c Sol. found (all assignments made)... 73.86 c Sol. found (all assignments made)... 73.87 c Sol. found (all assignments made)... 73.87 c Sol. found (all assignments made)... 73.87 c Sol. found (all assignments made)... 73.88 c Sol. found (all assignments made)... 73.88 c Sol. found (all assignments made)... 73.88 c Sol. found (all assignments made)... 73.89 c Sol. found (all assignments made)... 73.89 c Sol. found (all assignments made)... 73.90 c Sol. found (all assignments made)... 73.91 c Sol. found (all assignments made)... 73.91 c Sol. found (all assignments made)... 73.92 c Sol. found (all assignments made)... 73.92 c Sol. found (all assignments made)... 73.93 c Sol. found (all assignments made)... 73.93 c Sol. found (all assignments made)... 73.94 c Sol. found (all assignments made)... 73.94 c Sol. found (all assignments made)... 73.95 c Sol. found (all assignments made)... 73.96 c Sol. found (all assignments made)... 73.97 c Sol. found (all assignments made)... 73.98 c Sol. found (all assignments made)... 73.99 c Sol. found (all assignments made)... 74.00 c Sol. found (all assignments made)... 74.02 c Sol. found (all assignments made)... 74.04 c Sol. found (all assignments made)... 74.05 c Sol. found (all assignments made)... 74.10 c Sol. found (all assignments made)... 74.17 c Sol. found (all assignments made)... 74.19 c Sol. found (all assignments made)... 74.20 c Sol. found (all assignments made)... 74.27 c Sol. found (all assignments made)... 74.29 c Sol. found (all assignments made)... 74.30 c Sol. found (all assignments made)... 74.33 c Sol. found (all assignments made)... 74.37 c Sol. found (all assignments made)... 74.55 c Sol. found (all assignments made)... 74.55 o 35435153 74.55 c NEW SOLUTION FOUND: 35435153 @ 74.438 74.55 c Sol. found (all assignments made)... 74.55 c Sol. found (all assignments made)... 74.55 c Sol. found (all assignments made)... 74.56 c Sol. found (all assignments made)... 74.56 c Sol. found (all assignments made)... 74.56 c Sol. found (all assignments made)... 74.56 c Sol. found (all assignments made)... 74.57 c Sol. found (all assignments made)... 74.57 o 34369241 74.57 c NEW SOLUTION FOUND: 34369241 @ 74.458 74.63 c Sol. found (all assignments made)... 74.81 c Sol. found (all assignments made)... 75.01 c Sol. found (all assignments made)... 75.04 c Sol. found (all assignments made)... 75.06 c Sol. found (all assignments made)... 75.06 o 34317158 75.06 c NEW SOLUTION FOUND: 34317158 @ 74.952 75.19 c Sol. found (all assignments made)... 75.20 c Sol. found (all assignments made)... 75.20 c Sol. found (all assignments made)... 75.21 c Sol. found (all assignments made)... 75.22 c Sol. found (all assignments made)... 75.27 c Sol. found (all assignments made)... 75.42 c Sol. found (all assignments made)... 75.62 c Sol. found (all assignments made)... 75.80 c Sol. found (all assignments made)... 75.81 c Sol. found (all assignments made)... 75.82 c Sol. found (all assignments made)... 75.83 c Sol. found (all assignments made)... 75.83 c Sol. found (all assignments made)... 76.02 c Sol. found (all assignments made)... 76.40 c Sol. found (all assignments made)... 76.40 c Sol. found (all assignments made)... 76.60 c Sol. found (all assignments made)... 76.60 c Sol. found (all assignments made)... 76.60 c Sol. found (all assignments made)... 76.61 c Sol. found (all assignments made)... 76.94 c Sol. found (all assignments made)... 77.03 c Sol. found (all assignments made)... 77.15 c Sol. found (all assignments made)... 77.15 c Sol. found (all assignments made)... 77.19 c Sol. found (all assignments made)... 77.19 o 34315537 77.19 c NEW SOLUTION FOUND: 34315537 @ 77.083 77.38 c Sol. found (all assignments made)... 77.38 c Sol. found (all assignments made)... 77.38 c Sol. found (all assignments made)... 77.39 c Sol. found (all assignments made)... 77.39 c Sol. found (all assignments made)... 77.40 c Sol. found (all assignments made)... 77.40 c Sol. found (all assignments made)... 77.41 c Sol. found (all assignments made)... 77.41 c Sol. found (all assignments made)... 77.41 c Sol. found (all assignments made)... 77.42 c Sol. found (all assignments made)... 77.42 c Sol. found (all assignments made)... 77.42 c Sol. found (all assignments made)... 77.43 c Sol. found (all assignments made)... 77.43 c Sol. found (all assignments made)... 77.43 c Sol. found (all assignments made)... 77.43 c Sol. found (all assignments made)... 77.43 o 34263986 77.43 c NEW SOLUTION FOUND: 34263986 @ 77.323 77.44 c Sol. found (all assignments made)... 77.44 c Sol. found (all assignments made)... 77.44 c Sol. found (all assignments made)... 77.45 c Sol. found (all assignments made)... 77.45 c Sol. found (all assignments made)... 77.45 c Sol. found (all assignments made)... 77.47 c Sol. found (all assignments made)... 77.47 c Sol. found (all assignments made)... 77.48 c Sol. found (all assignments made)... 77.48 c Sol. found (all assignments made)... 77.48 c Sol. found (all assignments made)... 77.49 c Sol. found (all assignments made)... 77.50 c Sol. found (all assignments made)... 77.50 c Sol. found (all assignments made)... 77.50 c Sol. found (all assignments made)... 77.51 c Sol. found (all assignments made)... 77.52 c Sol. found (all assignments made)... 77.52 c Sol. found (all assignments made)... 77.52 c Sol. found (all assignments made)... 77.53 c Sol. found (all assignments made)... 77.53 c Sol. found (all assignments made)... 77.53 c Sol. found (all assignments made)... 77.54 c Sol. found (all assignments made)... 77.54 c Sol. found (all assignments made)... 77.54 c Sol. found (all assignments made)... 77.55 c Sol. found (all assignments made)... 77.55 c Sol. found (all assignments made)... 77.56 c Sol. found (all assignments made)... 77.56 c Sol. found (all assignments made)... 77.57 c Sol. found (all assignments made)... 77.57 c Sol. found (all assignments made)... 77.57 c Sol. found (all assignments made)... 77.58 c Sol. found (all assignments made)... 77.58 c Sol. found (all assignments made)... 77.58 c Sol. found (all assignments made)... 77.59 c Sol. found (all assignments made)... 77.59 c Sol. found (all assignments made)... 77.60 c Sol. found (all assignments made)... 77.60 c Sol. found (all assignments made)... 77.61 c Sol. found (all assignments made)... 77.61 c Sol. found (all assignments made)... 77.61 c Sol. found (all assignments made)... 77.62 c Sol. found (all assignments made)... 77.62 c Sol. found (all assignments made)... 77.62 c Sol. found (all assignments made)... 77.63 c Sol. found (all assignments made)... 77.63 c Sol. found (all assignments made)... 77.63 c Sol. found (all assignments made)... 77.64 c Sol. found (all assignments made)... 77.65 c Sol. found (all assignments made)... 77.66 c Sol. found (all assignments made)... 77.66 c Sol. found (all assignments made)... 77.66 c Sol. found (all assignments made)... 77.67 c Sol. found (all assignments made)... 77.67 c Sol. found (all assignments made)... 77.67 c Sol. found (all assignments made)... 77.68 c Sol. found (all assignments made)... 77.68 c Sol. found (all assignments made)... 77.69 c Sol. found (all assignments made)... 77.69 c Sol. found (all assignments made)... 77.69 c Sol. found (all assignments made)... 77.70 c Sol. found (all assignments made)... 77.70 c Sol. found (all assignments made)... 77.70 c Sol. found (all assignments made)... 77.70 c Sol. found (all assignments made)... 77.71 c Sol. found (all assignments made)... 77.71 c Sol. found (all assignments made)... 77.72 c Sol. found (all assignments made)... 77.72 c Sol. found (all assignments made)... 77.73 c Sol. found (all assignments made)... 77.73 c Sol. found (all assignments made)... 77.73 c Sol. found (all assignments made)... 77.74 c Sol. found (all assignments made)... 77.74 c Sol. found (all assignments made)... 77.74 c Sol. found (all assignments made)... 77.75 c Sol. found (all assignments made)... 77.75 c Sol. found (all assignments made)... 77.76 c Sol. found (all assignments made)... 77.76 c Sol. found (all assignments made)... 77.76 c Sol. found (all assignments made)... 77.76 c Sol. found (all assignments made)... 77.77 c Sol. found (all assignments made)... 77.77 c Sol. found (all assignments made)... 77.77 c Sol. found (all assignments made)... 77.78 c Sol. found (all assignments made)... 77.78 c Sol. found (all assignments made)... 77.78 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.79 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.80 c Sol. found (all assignments made)... 77.81 c Sol. found (all assignments made)... 77.81 c Sol. found (all assignments made)... 77.85 c Sol. found (all assignments made)... 77.88 c Sol. found (all assignments made)... 77.92 c Sol. found (all assignments made)... 77.92 c Sol. found (all assignments made)... 77.93 c Sol. found (all assignments made)... 77.93 c Sol. found (all assignments made)... 77.94 c Sol. found (all assignments made)... 77.95 c Sol. found (all assignments made)... 77.96 c Sol. found (all assignments made)... 78.00 c Sol. found (all assignments made)... 78.00 c Sol. found (all assignments made)... 78.02 c Sol. found (all assignments made)... 78.03 c Sol. found (all assignments made)... 78.04 c Sol. found (all assignments made)... 78.05 c Sol. found (all assignments made)... 78.07 c Sol. found (all assignments made)... 78.07 c Sol. found (all assignments made)... 78.10 c Sol. found (all assignments made)... 78.10 c Sol. found (all assignments made)... 78.11 c Sol. found (all assignments made)... 78.11 c Sol. found (all assignments made)... 78.13 c Sol. found (all assignments made)... 78.13 c Sol. found (all assignments made)... 78.15 c Sol. found (all assignments made)... 78.16 c Sol. found (all assignments made)... 78.17 c Sol. found (all assignments made)... 78.18 c Sol. found (all assignments made)... 78.19 c Sol. found (all assignments made)... 78.20 c Sol. found (all assignments made)... 78.20 c Sol. found (all assignments made)... 78.24 c Sol. found (all assignments made)... 78.25 c Sol. found (all assignments made)... 78.27 c Sol. found (all assignments made)... 78.28 c Sol. found (all assignments made)... 78.28 c Sol. found (all assignments made)... 78.28 c Sol. found (all assignments made)... 78.28 o 34255993 78.28 c NEW SOLUTION FOUND: 34255993 @ 78.167 78.29 c Sol. found (all assignments made)... 78.30 c Sol. found (all assignments made)... 78.31 c Sol. found (all assignments made)... 78.31 c Sol. found (all assignments made)... 78.32 c Sol. found (all assignments made)... 78.33 c Sol. found (all assignments made)... 78.76 c Sol. found (all assignments made)... 78.76 o 34204442 78.76 c NEW SOLUTION FOUND: 34204442 @ 78.648 78.76 c Sol. found (all assignments made)... 78.79 c Sol. found (all assignments made)... 78.96 c Sol. found (all assignments made)... 79.04 c Sol. found (all assignments made)... 79.13 c Sol. found (all assignments made)... 79.57 c Sol. found (all assignments made)... 80.01 c Sol. found (all assignments made)... 80.32 c Sol. found (all assignments made)... 80.35 c Sol. found (all assignments made)... 80.38 c Sol. found (all assignments made)... 80.46 c Sol. found (all assignments made)... 80.50 c Sol. found (all assignments made)... 80.51 c Sol. found (all assignments made)... 80.60 c Sol. found (all assignments made)... 80.60 c Sol. found (all assignments made)... 80.61 c Sol. found (all assignments made)... 80.62 c Sol. found (all assignments made)... 80.62 c Sol. found (all assignments made)... 80.63 c Sol. found (all assignments made)... 80.65 c Sol. found (all assignments made)... 80.67 c Sol. found (all assignments made)... 80.68 c Sol. found (all assignments made)... 80.69 c Sol. found (all assignments made)... 80.91 c Sol. found (all assignments made)... 81.00 c Sol. found (all assignments made)... 81.01 c Sol. found (all assignments made)... 81.08 c Sol. found (all assignments made)... 81.11 c Sol. found (all assignments made)... 81.15 c Sol. found (all assignments made)... 81.23 c Sol. found (all assignments made)... 81.27 c Sol. found (all assignments made)... 81.30 c Sol. found (all assignments made)... 81.34 c Sol. found (all assignments made)... 81.35 c Sol. found (all assignments made)... 81.75 c Sol. found (all assignments made)... 81.87 c Sol. found (all assignments made)... 81.88 c Sol. found (all assignments made)... 81.97 c Sol. found (all assignments made)... 81.99 c Sol. found (all assignments made)... 82.03 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.12 c Sol. found (all assignments made)... 82.13 c Sol. found (all assignments made)... 82.16 c Sol. found (all assignments made)... 82.17 c Sol. found (all assignments made)... 82.19 c Sol. found (all assignments made)... 82.20 c Sol. found (all assignments made)... 82.22 c Sol. found (all assignments made)... 82.24 c Sol. found (all assignments made)... 82.27 c Sol. found (all assignments made)... 82.28 c Sol. found (all assignments made)... 82.29 c Sol. found (all assignments made)... 82.30 c Sol. found (all assignments made)... 82.32 c Sol. found (all assignments made)... 82.34 c Sol. found (all assignments made)... 82.37 c Sol. found (all assignments made)... 82.40 c Sol. found (all assignments made)... 82.42 c Sol. found (all assignments made)... 82.44 c Sol. found (all assignments made)... 82.46 c Sol. found (all assignments made)... 82.47 c Sol. found (all assignments made)... 82.49 c Sol. found (all assignments made)... 82.51 c Sol. found (all assignments made)... 82.53 c Sol. found (all assignments made)... 82.58 c Sol. found (all assignments made)... 82.61 c Sol. found (all assignments made)... 82.62 c Sol. found (all assignments made)... 82.64 c Sol. found (all assignments made)... 82.66 c Sol. found (all assignments made)... 82.68 c Sol. found (all assignments made)... 82.70 c Sol. found (all assignments made)... 82.72 c Sol. found (all assignments made)... 82.74 c Sol. found (all assignments made)... 82.80 c Sol. found (all assignments made)... 82.81 c Sol. found (all assignments made)... 82.83 c Sol. found (all assignments made)... 82.85 c Sol. found (all assignments made)... 82.86 c Sol. found (all assignments made)... 82.88 c Sol. found (all assignments made)... 82.90 c Sol. found (all assignments made)... 82.91 c Sol. found (all assignments made)... 82.93 c Sol. found (all assignments made)... 82.96 c Sol. found (all assignments made)... 82.97 c Sol. found (all assignments made)... 83.00 c Sol. found (all assignments made)... 83.02 c Sol. found (all assignments made)... 83.03 c Sol. found (all assignments made)... 83.05 c Sol. found (all assignments made)... 83.08 c Sol. found (all assignments made)... 83.16 c Sol. found (all assignments made)... 83.18 c Sol. found (all assignments made)... 83.19 c Sol. found (all assignments made)... 83.21 c Sol. found (all assignments made)... 83.23 c Sol. found (all assignments made)... 83.25 c Sol. found (all assignments made)... 83.26 c Sol. found (all assignments made)... 83.28 c Sol. found (all assignments made)... 83.30 c Sol. found (all assignments made)... 83.31 c Sol. found (all assignments made)... 83.33 c Sol. found (all assignments made)... 83.35 c Sol. found (all assignments made)... 83.37 c Sol. found (all assignments made)... 83.38 c Sol. found (all assignments made)... 83.91 c Sol. found (all assignments made)... 83.92 c Sol. found (all assignments made)... 84.81 c Restart #41 #Var: 1387 LB: 0 @ 84.69 86.62 c Restart #42 #Var: 1387 LB: 0 @ 86.499 90.45 c Restart #43 #Var: 1387 LB: 0 @ 90.334 94.85 c Restart #44 #Var: 1387 LB: 0 @ 94.728 99.96 c CHANGE to MIS mode... UB: 34204442 MIS: 25 LPR: -2147483648 (0) Diff: -1.1642e-08 99.96 c Restart #0 #Var: 1387 LB: 0 @ 99.843 100.12 c Restart #1 #Var: 1387 LB: 25 @ 99.997 100.18 c Sol. found (all assignments made)... 100.18 o 30112524 100.18 c NEW SOLUTION FOUND: 30112524 @ 100.06 100.19 c Sol. found (all assignments made)... 100.19 o 30112332 100.19 c NEW SOLUTION FOUND: 30112332 @ 100.07 100.20 c Sol. found (all assignments made)... 100.20 o 30111756 100.20 c NEW SOLUTION FOUND: 30111756 @ 100.08 100.21 c Sol. found (all assignments made)... 100.21 o 30111564 100.21 c NEW SOLUTION FOUND: 30111564 @ 100.08 100.21 c Sol. found (all assignments made)... 100.21 o 30110796 100.21 c NEW SOLUTION FOUND: 30110796 @ 100.09 100.22 c Sol. found (all assignments made)... 100.23 c Sol. found (all assignments made)... 100.23 o 30110220 100.23 c NEW SOLUTION FOUND: 30110220 @ 100.1 100.23 c Sol. found (all assignments made)... 100.23 o 30110028 100.23 c NEW SOLUTION FOUND: 30110028 @ 100.11 100.24 c Sol. found (all assignments made)... 100.25 c Sol. found (all assignments made)... 100.26 c Sol. found (all assignments made)... 100.26 c Sol. found (all assignments made)... 100.27 c Sol. found (all assignments made)... 100.28 c Sol. found (all assignments made)... 100.29 c Sol. found (all assignments made)... 100.29 c Sol. found (all assignments made)... 100.29 o 30110022 100.29 c NEW SOLUTION FOUND: 30110022 @ 100.17 100.31 c Sol. found (all assignments made)... 100.31 o 30106188 100.31 c NEW SOLUTION FOUND: 30106188 @ 100.19 100.32 c Sol. found (all assignments made)... 100.33 c Sol. found (all assignments made)... 100.34 c Sol. found (all assignments made)... 100.34 o 30106182 100.34 c NEW SOLUTION FOUND: 30106182 @ 100.22 100.35 c Sol. found (all assignments made)... 100.36 c Sol. found (all assignments made)... 100.36 c Sol. found (all assignments made)... 100.37 c Sol. found (all assignments made)... 100.39 c Sol. found (all assignments made)... 100.40 c Sol. found (all assignments made)... 100.41 c Sol. found (all assignments made)... 100.41 c Sol. found (all assignments made)... 100.46 c Sol. found (all assignments made)... 100.46 o 30106092 100.46 c NEW SOLUTION FOUND: 30106092 @ 100.33 100.46 c Sol. found (all assignments made)... 100.47 c Sol. found (all assignments made)... 100.48 c Sol. found (all assignments made)... 100.48 o 30106086 100.48 c NEW SOLUTION FOUND: 30106086 @ 100.36 100.51 c Sol. found (all assignments made)... 100.51 c Sol. found (all assignments made)... 100.52 c Sol. found (all assignments made)... 100.53 c Sol. found (all assignments made)... 100.55 c Sol. found (all assignments made)... 100.55 c Sol. found (all assignments made)... 100.56 c Sol. found (all assignments made)... 100.57 c Sol. found (all assignments made)... 100.66 c Sol. found (all assignments made)... 100.66 o 30105804 100.66 c NEW SOLUTION FOUND: 30105804 @ 100.54 100.67 c Sol. found (all assignments made)... 100.69 c Sol. found (all assignments made)... 100.69 c Sol. found (all assignments made)... 100.69 o 30105798 100.69 c NEW SOLUTION FOUND: 30105798 @ 100.57 100.71 c Sol. found (all assignments made)... 100.71 o 30105702 100.71 c NEW SOLUTION FOUND: 30105702 @ 100.58 100.71 c Sol. found (all assignments made)... 100.73 c Sol. found (all assignments made)... 100.73 c Sol. found (all assignments made)... 100.75 c Sol. found (all assignments made)... 100.76 c Sol. found (all assignments made)... 100.77 c Sol. found (all assignments made)... 100.78 c Sol. found (all assignments made)... 100.80 c Sol. found (all assignments made)... 100.81 c Sol. found (all assignments made)... 100.83 c Sol. found (all assignments made)... 100.83 c Sol. found (all assignments made)... 100.92 c Sol. found (all assignments made)... 100.92 c Sol. found (all assignments made)... 100.93 c Sol. found (all assignments made)... 100.94 c Sol. found (all assignments made)... 100.95 c Sol. found (all assignments made)... 100.95 c Sol. found (all assignments made)... 100.97 c Sol. found (all assignments made)... 100.97 c Sol. found (all assignments made)... 100.99 c Sol. found (all assignments made)... 101.00 c Sol. found (all assignments made)... 101.00 c Sol. found (all assignments made)... 101.01 c Sol. found (all assignments made)... 101.02 c Sol. found (all assignments made)... 101.03 c Sol. found (all assignments made)... 101.05 c Sol. found (all assignments made)... 101.06 c Sol. found (all assignments made)... 101.12 c Sol. found (all assignments made)... 101.12 c Sol. found (all assignments made)... 101.13 c Sol. found (all assignments made)... 101.14 c Sol. found (all assignments made)... 101.15 c Sol. found (all assignments made)... 101.16 c Sol. found (all assignments made)... 101.17 c Sol. found (all assignments made)... 101.18 c Sol. found (all assignments made)... 101.20 c Sol. found (all assignments made)... 101.21 c Sol. found (all assignments made)... 101.22 c Sol. found (all assignments made)... 101.23 c Sol. found (all assignments made)... 101.25 c Sol. found (all assignments made)... 101.26 c Sol. found (all assignments made)... 101.28 c Sol. found (all assignments made)... 101.29 c Sol. found (all assignments made)... 101.31 c Sol. found (all assignments made)... 101.31 c Sol. found (all assignments made)... 101.33 c Sol. found (all assignments made)... 101.34 c Sol. found (all assignments made)... 101.37 c Sol. found (all assignments made)... 101.37 c Sol. found (all assignments made)... 101.39 c Sol. found (all assignments made)... 101.40 c Sol. found (all assignments made)... 101.44 c Sol. found (all assignments made)... 101.44 c Sol. found (all assignments made)... 101.46 c Sol. found (all assignments made)... 101.46 c Sol. found (all assignments made)... 101.47 c Sol. found (all assignments made)... 101.47 o 30105654 101.47 c NEW SOLUTION FOUND: 30105654 @ 101.35 101.48 c Sol. found (all assignments made)... 101.49 c Sol. found (all assignments made)... 101.49 c Sol. found (all assignments made)... 101.50 c Sol. found (all assignments made)... 101.53 c Sol. found (all assignments made)... 101.54 c Sol. found (all assignments made)... 101.55 c Sol. found (all assignments made)... 101.56 c Sol. found (all assignments made)... 101.58 c Sol. found (all assignments made)... 101.58 c Sol. found (all assignments made)... 101.59 c Sol. found (all assignments made)... 101.59 c Sol. found (all assignments made)... 101.65 c Sol. found (all assignments made)... 101.65 c Sol. found (all assignments made)... 101.66 c Sol. found (all assignments made)... 101.66 c Sol. found (all assignments made)... 101.67 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.69 c Sol. found (all assignments made)... 101.70 c Sol. found (all assignments made)... 101.70 c Sol. found (all assignments made)... 101.71 c Sol. found (all assignments made)... 101.71 c Sol. found (all assignments made)... 101.73 c Sol. found (all assignments made)... 101.74 c Sol. found (all assignments made)... 101.75 c Sol. found (all assignments made)... 101.76 c Sol. found (all assignments made)... 101.76 c Sol. found (all assignments made)... 101.77 c Sol. found (all assignments made)... 101.78 c Sol. found (all assignments made)... 101.79 c Sol. found (all assignments made)... 101.80 c Sol. found (all assignments made)... 101.80 c Sol. found (all assignments made)... 101.81 c Sol. found (all assignments made)... 101.82 c Sol. found (all assignments made)... 101.82 c Sol. found (all assignments made)... 101.83 c Sol. found (all assignments made)... 101.83 c Sol. found (all assignments made)... 101.84 c Sol. found (all assignments made)... 101.85 c Sol. found (all assignments made)... 101.85 c Sol. found (all assignments made)... 101.87 c Sol. found (all assignments made)... 101.87 c Sol. found (all assignments made)... 101.88 c Sol. found (all assignments made)... 101.89 c Sol. found (all assignments made)... 101.89 c Sol. found (all assignments made)... 101.90 c Sol. found (all assignments made)... 101.91 c Sol. found (all assignments made)... 101.92 c Sol. found (all assignments made)... 101.92 c Sol. found (all assignments made)... 101.93 c Sol. found (all assignments made)... 101.93 c Sol. found (all assignments made)... 101.94 c Sol. found (all assignments made)... 101.94 c Sol. found (all assignments made)... 101.95 c Sol. found (all assignments made)... 101.96 c Sol. found (all assignments made)... 101.96 o 30105621 101.96 c NEW SOLUTION FOUND: 30105621 @ 101.83 101.96 c Sol. found (all assignments made)... 101.97 c Sol. found (all assignments made)... 101.97 c Sol. found (all assignments made)... 101.98 c Sol. found (all assignments made)... 101.98 c Sol. found (all assignments made)... 101.99 c Sol. found (all assignments made)... 102.00 c Sol. found (all assignments made)... 102.01 c Sol. found (all assignments made)... 102.07 c Sol. found (all assignments made)... 102.08 c Sol. found (all assignments made)... 102.09 c Sol. found (all assignments made)... 102.09 c Sol. found (all assignments made)... 102.10 c Sol. found (all assignments made)... 102.11 c Sol. found (all assignments made)... 102.11 c Sol. found (all assignments made)... 102.12 c Sol. found (all assignments made)... 102.13 c Sol. found (all assignments made)... 102.14 c Sol. found (all assignments made)... 102.14 c Sol. found (all assignments made)... 102.15 c Sol. found (all assignments made)... 102.16 c Sol. found (all assignments made)... 102.16 c Sol. found (all assignments made)... 102.17 c Sol. found (all assignments made)... 102.18 c Sol. found (all assignments made)... 102.22 c Sol. found (all assignments made)... 102.22 c Sol. found (all assignments made)... 102.23 c Sol. found (all assignments made)... 102.24 c Sol. found (all assignments made)... 102.25 c Sol. found (all assignments made)... 102.25 c Sol. found (all assignments made)... 102.26 c Sol. found (all assignments made)... 102.26 c Sol. found (all assignments made)... 102.27 c Sol. found (all assignments made)... 102.28 c Sol. found (all assignments made)... 102.29 c Sol. found (all assignments made)... 102.30 c Sol. found (all assignments made)... 102.31 c Sol. found (all assignments made)... 102.32 c Sol. found (all assignments made)... 102.34 c Sol. found (all assignments made)... 102.34 c Sol. found (all assignments made)... 102.38 c Sol. found (all assignments made)... 102.38 c Sol. found (all assignments made)... 102.39 c Sol. found (all assignments made)... 102.40 c Sol. found (all assignments made)... 102.40 c Sol. found (all assignments made)... 102.41 c Sol. found (all assignments made)... 102.41 c Sol. found (all assignments made)... 102.42 c Sol. found (all assignments made)... 102.56 c Sol. found (all assignments made)... 102.56 c Sol. found (all assignments made)... 102.57 c Sol. found (all assignments made)... 102.57 c Sol. found (all assignments made)... 102.59 c Sol. found (all assignments made)... 102.59 c Sol. found (all assignments made)... 102.60 c Sol. found (all assignments made)... 102.60 c Sol. found (all assignments made)... 102.61 c Sol. found (all assignments made)... 102.62 c Sol. found (all assignments made)... 102.63 c Sol. found (all assignments made)... 102.64 c Sol. found (all assignments made)... 102.65 c Sol. found (all assignments made)... 102.66 c Sol. found (all assignments made)... 102.67 c Sol. found (all assignments made)... 102.68 c Sol. found (all assignments made)... 102.70 c Sol. found (all assignments made)... 102.71 c Sol. found (all assignments made)... 102.73 c Sol. found (all assignments made)... 102.73 c Sol. found (all assignments made)... 102.75 c Sol. found (all assignments made)... 102.76 c Sol. found (all assignments made)... 102.77 c Sol. found (all assignments made)... 102.78 c Sol. found (all assignments made)... 102.80 c Sol. found (all assignments made)... 102.80 c Sol. found (all assignments made)... 102.82 c Sol. found (all assignments made)... 102.82 c Sol. found (all assignments made)... 102.84 c Sol. found (all assignments made)... 102.85 c Sol. found (all assignments made)... 102.86 c Sol. found (all assignments made)... 102.87 c Sol. found (all assignments made)... 102.90 c Restart #2 #Var: 1387 LB: 25 @ 102.77 103.67 c Restart #3 #Var: 1387 LB: 0 @ 103.54 104.11 c Restart #4 #Var: 1387 LB: 25 @ 103.98 104.93 c Restart #5 #Var: 1387 LB: 25 @ 104.8 105.46 c Restart #6 #Var: 1387 LB: 25 @ 105.33 107.13 c Restart #7 #Var: 1387 LB: 25 @ 107 109.78 c Restart #8 #Var: 1387 LB: 25 @ 109.64 110.48 c Restart #9 #Var: 1387 LB: 25 @ 110.35 113.36 c Restart #10 #Var: 1387 LB: 25 @ 113.22 115.96 c Restart #11 #Var: 1387 LB: 25 @ 115.82 119.64 c Restart #12 #Var: 1387 LB: 25 @ 119.5 122.00 c Restart #13 #Var: 1387 LB: 25 @ 121.86 123.39 c Restart #14 #Var: 1387 LB: 25 @ 123.26 126.94 c Restart #15 #Var: 1387 LB: 25 @ 126.8 129.86 c Restart #16 #Var: 1387 LB: 25 @ 129.73 136.09 c Restart #17 #Var: 1387 LB: 25 @ 135.95 137.43 c Restart #18 #Var: 1387 LB: 25 @ 137.29 143.32 c Restart #19 #Var: 1387 LB: 25 @ 143.18 149.41 c Restart #20 #Var: 1387 LB: 25 @ 149.27 152.72 c Restart #21 #Var: 1387 LB: 25 @ 152.57 160.22 c Restart #22 #Var: 1387 LB: 25 @ 160.08 161.54 c Restart #23 #Var: 1387 LB: 25 @ 161.4 162.99 c Restart #24 #Var: 1387 LB: 25 @ 162.85 170.12 c Restart #25 #Var: 1387 LB: 25 @ 169.97 181.95 c Restart #26 #Var: 1387 LB: 25 @ 181.8 192.08 c Restart #27 #Var: 1387 LB: 25 @ 191.93 199.46 c Restart #28 #Var: 1387 LB: 25 @ 199.3 203.45 c Restart #29 #Var: 1387 LB: 25 @ 203.29 213.82 c Restart #30 #Var: 1387 LB: 25 @ 213.66 219.02 c Restart #31 #Var: 1387 LB: 25 @ 218.85 231.97 c Restart #32 #Var: 1387 LB: 25 @ 231.8 240.46 c Restart #33 #Var: 1387 LB: 25 @ 240.29 250.10 c Restart #34 #Var: 1387 LB: 0 @ 249.94 256.57 c Restart #35 #Var: 1387 LB: 25 @ 256.4 262.82 c Restart #36 #Var: 1387 LB: 25 @ 262.65 273.98 c Restart #37 #Var: 1387 LB: 25 @ 273.8 292.53 c Restart #38 #Var: 1387 LB: 25 @ 292.35 311.37 c Restart #39 #Var: 1387 LB: 25 @ 311.18 320.02 c Restart #40 #Var: 1387 LB: 25 @ 319.84 328.68 c Restart #41 #Var: 1387 LB: 25 @ 328.49 331.08 c Restart #42 #Var: 1387 LB: 25 @ 330.89 345.87 c Restart #43 #Var: 1387 LB: 25 @ 345.67 365.01 c Restart #44 #Var: 1387 LB: 25 @ 364.81 402.67 c Restart #45 #Var: 1387 LB: 25 @ 402.45 417.06 c Restart #46 #Var: 1387 LB: 25 @ 416.85 447.99 c Restart #47 #Var: 1387 LB: 25 @ 447.77 471.50 c Restart #48 #Var: 1387 LB: 25 @ 471.27 503.15 c Restart #49 #Var: 1387 LB: 25 @ 502.91 530.15 c Restart #50 #Var: 1387 LB: 25 @ 529.91 549.39 c Restart #51 #Var: 1387 LB: 25 @ 549.14 568.82 c Restart #52 #Var: 1387 LB: 25 @ 568.56 591.94 c Restart #53 #Var: 1387 LB: 25 @ 591.68 617.48 c Restart #54 #Var: 1387 LB: 0 @ 617.22 644.67 c Restart #55 #Var: 1387 LB: 25 @ 644.39 681.82 c Restart #56 #Var: 1387 LB: 25 @ 681.54 708.26 c Restart #57 #Var: 1387 LB: 25 @ 707.97 731.55 c Restart #58 #Var: 1387 LB: 25 @ 731.26 753.71 c Restart #59 #Var: 1387 LB: 25 @ 753.41 788.13 c Restart #60 #Var: 1387 LB: 25 @ 787.82 791.42 c Restart #61 #Var: 1387 LB: 25 @ 791.11 796.27 c Restart #62 #Var: 1387 LB: 25 @ 795.95 823.25 c Restart #63 #Var: 1387 LB: 25 @ 822.92 857.72 c Restart #64 #Var: 1387 LB: 25 @ 857.33 881.57 c Restart #65 #Var: 1387 LB: 25 @ 881.17 913.43 c Restart #66 #Var: 1387 LB: 25 @ 913.02 942.40 c Restart #67 #Var: 1387 LB: 0 @ 941.98 985.25 c Restart #68 #Var: 1387 LB: 0 @ 984.82 1009.78 c Restart #69 #Var: 1387 LB: 25 @ 1009.3 1052.55 c Restart #70 #Var: 1387 LB: 25 @ 1052.1 1098.68 c Restart #71 #Var: 1387 LB: 25 @ 1098.2 1148.43 c Restart #72 #Var: 1387 LB: 0 @ 1148 1214.96 c Restart #73 #Var: 1387 LB: 0 @ 1214.5 1248.21 c Restart #74 #Var: 1387 LB: 25 @ 1247.7 1333.36 c Restart #75 #Var: 1387 LB: 0 @ 1332.8 1424.09 c Restart #76 #Var: 1387 LB: 25 @ 1423.5 1494.87 c Restart #77 #Var: 1387 LB: 25 @ 1494.3 1568.59 c Restart #78 #Var: 1387 LB: 0 @ 1568 1611.71 c Restart #79 #Var: 1387 LB: 25 @ 1611.1 1673.85 c Restart #80 #Var: 1387 LB: 25 @ 1673.2 1719.31 c Restart #81 #Var: 1387 LB: 25 @ 1718.7 1747.52 c Restart #82 #Var: 1387 LB: 0 @ 1746.9 1778.97 c Restart #83 #Var: 1387 LB: 25 @ 1778.3 1783.08 c Restart #84 #Var: 1387 LB: 25 @ 1782.4 1800.65 s SATISFIABLE 1800.65 c Cost: 30105621 1800.65 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.65 v -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.65 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 1800.65 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.65 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.65 v -x719 -x720 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1800.65 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 -x1354 1800.65 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.65 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.65 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.65 v -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 1800.65 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1800.65 v -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.65 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 1800.65 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.65 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 1800.65 v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 1800.65 v x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1800.65 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.65 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1800.65 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 1800.65 v x184 x185 x186 x187 x188 x189 x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 1800.65 v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 1800.65 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 1800.65 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 1800.65 v -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 1800.65 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 1800.65 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 1800.65 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 1800.65 v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.65 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1800.65 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.65 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1800.65 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1800.65 v -x488 x489 -x490 -x491 x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 1800.65 v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1800.65 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1800.65 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1800.65 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1800.65 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 x602 x603 x604 x605 x606 x607 x608 -x609 x610 x611 -x612 -x613 -x614 -x615 1800.65 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.65 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.65 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.65 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 1800.65 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 1800.65 v -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 x760 x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 1800.65 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 1800.65 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 1800.65 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 1800.65 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 1800.65 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.65 v -x878 x879 -x880 x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.65 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 1800.65 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 x933 x934 x935 x936 x937 x938 -x939 -x940 -x941 1800.65 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 1800.65 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 1800.65 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 -x999 x1000 x1001 -x1002 -x1003 -x1004 -x1005 1800.65 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 1800.65 v -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 1800.65 v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 1800.65 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1800.65 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1800.65 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1800.65 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 1800.65 v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 1800.65 v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 1800.65 v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 1800.65 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1800.65 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1800.65 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1800.65 v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 1800.65 v x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.65 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1800.65 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1800.65 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1800.65 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.65 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1800.65 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.65 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.65 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1800.65 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1800.65 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1800.65 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.65 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1800.65 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1800.65 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1800.65 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.65 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 1800.65 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1800.65 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 x1623 x1624 x1625 x1626 x1627 1800.65 v x1628 x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 1800.65 v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 1800.65 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1800.65 v -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.65 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 x1743 x1744 1800.65 v x1745 x1746 x1747 x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 1800.65 v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1800.65 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.65 v -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 1800.65 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1800.65 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1800.65 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1800.65 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1800.65 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 1800.65 v x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 1800.65 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1800.65 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1800.65 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1800.65 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1800.65 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1800.65 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1800.65 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1800.65 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.65 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 1800.65 v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 1800.65 v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 1800.65 v -x2137 -x2138 -x2139 x2140 x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1800.65 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 1800.65 v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 1800.65 v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1800.65 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 x2223 x2224 1800.65 v x2225 x2226 x2227 x2228 x2229 -x2230 x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 1800.65 v -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 1800.65 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1800.65 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 1800.65 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1800.65 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 1800.65 v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 1800.65 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.65 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.65 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.65 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1800.65 v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.65 v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.65 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 x2493 x2494 1800.65 v x2495 x2496 x2497 x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1800.65 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 x2523 x2524 x2525 x2526 x2527 x2528 -x2529 x2530 -x2531 1800.65 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.65 v -x2549 -x2550 x2551 x2552 x2553 x2554 x2555 x2556 x2557 x2558 x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.65 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.65 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1800.65 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 1800.65 v -x2620 -x2621 x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1800.65 v -x2638 -x2639 -x2640 -x2641 -x2642 x2643 x2644 x2645 x2646 x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1800.65 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 1800.65 v -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1800.65 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 1800.65 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1800.65 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1800.65 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.65 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1800.65 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1800.65 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1800.65 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1800.65 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1800.65 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.65 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.65 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1800.65 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1800.65 v x2941 x2942 -x2943 x2944 x2945 x2946 x2947 x2948 x2949 x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 1800.65 v -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 1800.65 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.65 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 x3013 -x3024 x3035 -x3046 -x3057 -x3068 -x3079 -x3090 -x3003 x3004 1800.65 v -x3005 x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 x3017 -x3018 x3019 -x3020 x3021 -x3022 -x3023 1800.65 v -x3025 x3026 -x3027 -x3028 -x3029 x3030 -x3031 x3032 -x3033 x3034 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 1800.65 v -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 x3054 x3055 -x3056 -x3058 x3059 -x3060 x3061 -x3062 -x3063 1800.65 v x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 x3072 x3073 -x3074 x3075 -x3076 -x3077 -x3078 x3080 -x3081 -x3082 -x3083 1800.65 v x3084 x3085 x3086 -x3087 x3088 x3089 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 x3100 1800.65 c Exit Code: 10 1800.65 c Total time: 1800 s
OK 30105621
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node31/watcher-40538-1149302841 -o ROOT/results/node31/solver-40538-1149302841 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40538-1149302841/instance-40538-1149302841.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 3262 /proc/meminfo: memFree=1540288/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=4932 CPUtime=0 /proc/3262/stat : 3262 (bsolo) D 3260 3262 3216 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 195947788 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/3262/statm: 1233 330 226 55 0 125 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.90 2/64 3262 /proc/meminfo: memFree=1535776/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=9028 CPUtime=9.91 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 1505 0 0 0 986 5 0 0 25 0 1 0 195947788 9244672 1420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2257 1420 297 55 0 1149 0 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 9028 [startup+20.0078 s] /proc/loadavg: 0.94 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1535776/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=9028 CPUtime=19.92 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 1512 0 0 0 1985 7 0 0 25 0 1 0 195947788 9244672 1427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2257 1427 297 55 0 1149 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 9028 [startup+30.0146 s] /proc/loadavg: 0.95 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534176/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=29.92 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 2984 8 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 10648 [startup+40.0194 s] /proc/loadavg: 0.95 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534176/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=39.93 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 3984 9 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 10648 [startup+50.0252 s] /proc/loadavg: 0.96 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534176/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=49.92 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 4983 9 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 49.92 Current children cumulated vsize (Kb) 10648 [startup+60.031 s] /proc/loadavg: 0.97 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534176/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=59.92 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 5982 10 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 10648 [startup+70.0369 s] /proc/loadavg: 0.97 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534176/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=69.93 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 6981 12 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 10648 [startup+80.0427 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534112/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=79.91 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 7979 12 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 10648 [startup+90.0475 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534112/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=89.92 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 8979 13 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 10648 [startup+100.052 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534112/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=99.92 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 9978 14 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 10648 [startup+110.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 3262 /proc/meminfo: memFree=1534112/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=109.91 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 10976 15 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 109.91 Current children cumulated vsize (Kb) 10648 [startup+120.064 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1534112/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=119.92 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 11976 16 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 10648 [startup+130.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1534112/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=129.93 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 12976 17 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 10648 [startup+140.076 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1534048/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=139.93 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 13975 18 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 10648 [startup+150.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1534048/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=10648 CPUtime=149.92 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2268 0 0 0 14974 18 0 0 25 0 1 0 195947788 10903552 1820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 2662 1820 298 55 0 1554 0 Current children cumulated CPU time (s) 149.92 Current children cumulated vsize (Kb) 10648 [startup+160.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1531744/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=13008 CPUtime=159.93 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2989 0 0 0 15974 19 0 0 25 0 1 0 195947788 13320192 2399 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1613440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3252 2399 298 55 0 2144 0 Current children cumulated CPU time (s) 159.93 Current children cumulated vsize (Kb) 13008 [startup+170.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1532064/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=12384 CPUtime=169.94 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2989 0 0 0 16974 20 0 0 25 0 1 0 195947788 12681216 2268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3096 2268 298 55 0 1988 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 12384 [startup+180.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1532064/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=12384 CPUtime=179.93 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2989 0 0 0 17973 20 0 0 25 0 1 0 195947788 12681216 2268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3096 2268 298 55 0 1988 0 Current children cumulated CPU time (s) 179.93 Current children cumulated vsize (Kb) 12384 [startup+190.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1532064/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=12384 CPUtime=189.94 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2989 0 0 0 18973 21 0 0 25 0 1 0 195947788 12681216 2268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3096 2268 298 55 0 1988 0 Current children cumulated CPU time (s) 189.94 Current children cumulated vsize (Kb) 12384 [startup+200.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1532064/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=12384 CPUtime=199.94 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 2989 0 0 0 19973 21 0 0 25 0 1 0 195947788 12681216 2268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3096 2268 298 55 0 1988 0 Current children cumulated CPU time (s) 199.94 Current children cumulated vsize (Kb) 12384 [startup+210.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3262 /proc/meminfo: memFree=1532128/2055920 swapFree=4181480/4192956 ################ # More data... # ################ /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 14404 [startup+1771.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1770.36 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 176983 53 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1770.36 Current children cumulated vsize (Kb) 14404 [startup+1781.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1780.38 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 177984 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 14404 [startup+1782.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1781.38 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178084 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 14404 [startup+1783.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1782.38 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178184 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 14404 [startup+1784.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1783.39 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178285 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 14404 [startup+1785.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1784.39 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178385 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 14404 [startup+1786.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1785.39 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178485 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 14404 [startup+1787.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1786.4 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178586 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1601564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 14404 [startup+1788.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1787.4 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178686 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 14404 [startup+1789.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1788.41 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178787 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 14404 [startup+1790.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1789.41 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178887 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 14404 [startup+1791.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1790.41 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 178987 54 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 14404 [startup+1792.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1791.43 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179088 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 14404 [startup+1793.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1792.43 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179188 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 14404 [startup+1794.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1793.44 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179289 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 14404 [startup+1795.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1794.44 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179389 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 14404 [startup+1796.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1795.44 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179489 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 14404 [startup+1797.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1796.45 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179590 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 14404 [startup+1798.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1797.45 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179690 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 14404 [startup+1799.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1798.46 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179791 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 14404 [startup+1800.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 3457 /proc/meminfo: memFree=1529952/2055920 swapFree=4181480/4192956 [pid=3262] ppid=3260 vsize=14404 CPUtime=1799.46 /proc/3262/stat : 3262 (bsolo) R 3260 3262 3216 0 -1 0 3602 0 0 0 179891 55 0 0 25 0 1 0 195947788 14749696 2773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3262/statm: 3601 2773 298 55 0 2493 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 14404 Child status: 10 Real time (s): 1800.66 CPU time (s): 1800.01 CPU user time (s): 1799.45 CPU system time (s): 0.556915 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (Kb): 14632
Begin job on node31 on Sat Jun 3 02:47:21 UTC 2006 FILE ID= 40538-1149302841 PBS_JOBID= 307464 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40538-1149302841/instance-40538-1149302841.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-40538-1149302841 -o ROOT/results/node31/solver-40538-1149302841 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node31/40538-1149302841/instance-40538-1149302841.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 76c0eb5e4f8bf9449c4bca06a067ffea RANDOM SEED= 78147426 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1540496 kB Buffers: 29916 kB Cached: 412428 kB SwapCached: 3396 kB Active: 86856 kB Inactive: 364368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1540496 kB SwapTotal: 4192956 kB SwapFree: 4181480 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14964 kB Slab: 50156 kB Committed_AS: 326080 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Sat Jun 3 03:17:22 UTC 2006