Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 4296467 | 1800.01 | 1800.53 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 3aa00837dd74901ce1879f04fea91920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1810432 |
Best CPU time to get the best result obtained on this benchmark | 1800.94 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1751040 |
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 | 550843571711 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 550843571711 |
Number of bits of the biggest sum of numbers | 40 |
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.02 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.08 c Initial problem consists of 3100 variables and 140 constraints. 0.09 c No problem reductions applied in OPT. instance. 0.09 c preprocess terminated. Elapsed time: 0.075 0.09 c After prepocess the problem consists of 1418 variables and 140 constraints. 0.09 c Initial Lower Bound: 0 0.14 c Restart #1 #Var: 1418 LB: 0 @ 0.124 0.23 c Restart #2 #Var: 1418 LB: 0 @ 0.213 0.35 c Restart #3 #Var: 1418 LB: 0 @ 0.34 0.52 c Restart #4 #Var: 1418 LB: 0 @ 0.511 0.73 c Restart #5 #Var: 1418 LB: 0 @ 0.72 0.98 c Restart #6 #Var: 1418 LB: 0 @ 0.97 1.27 c Restart #7 #Var: 1418 LB: 0 @ 1.26 1.61 c Restart #8 #Var: 1418 LB: 0 @ 1.592 2.00 c Restart #9 #Var: 1418 LB: 0 @ 1.989 2.38 c Restart #10 #Var: 1418 LB: 0 @ 2.363 2.76 c Restart #11 #Var: 1418 LB: 0 @ 2.746 3.18 c Restart #12 #Var: 1418 LB: 0 @ 3.165 3.63 c Restart #13 #Var: 1418 LB: 0 @ 3.612 4.12 c Restart #14 #Var: 1418 LB: 0 @ 4.106 4.68 c Restart #15 #Var: 1418 LB: 0 @ 4.661 5.28 c Restart #16 #Var: 1418 LB: 0 @ 5.261 5.87 c Restart #17 #Var: 1418 LB: 0 @ 5.856 6.52 c Restart #18 #Var: 1418 LB: 0 @ 6.509 7.20 c Restart #19 #Var: 1418 LB: 0 @ 7.181 7.93 c Restart #20 #Var: 1418 LB: 0 @ 7.909 8.65 c Restart #21 #Var: 1418 LB: 0 @ 8.634 9.42 c Restart #22 #Var: 1418 LB: 0 @ 9.403 10.25 c Restart #23 #Var: 1418 LB: 0 @ 10.228 11.16 c Restart #24 #Var: 1418 LB: 0 @ 11.144 12.15 c Restart #25 #Var: 1418 LB: 0 @ 12.13 13.17 c Restart #26 #Var: 1418 LB: 0 @ 13.152 14.17 c Restart #27 #Var: 1418 LB: 0 @ 14.148 15.50 c Restart #28 #Var: 1418 LB: 0 @ 15.48 16.93 c Restart #29 #Var: 1418 LB: 0 @ 16.91 18.23 c Restart #30 #Var: 1418 LB: 0 @ 18.207 19.38 c Restart #31 #Var: 1418 LB: 0 @ 19.354 20.64 c Sol. found (all assignments made)... 20.64 o 9362718 20.64 c NEW SOLUTION FOUND: 9362718 @ 20.621 20.65 c Sol. found (all assignments made)... 20.66 c Sol. found (all assignments made)... 20.66 o 9362714 20.66 c NEW SOLUTION FOUND: 9362714 @ 20.637 20.66 c Sol. found (all assignments made)... 20.66 o 9362694 20.66 c NEW SOLUTION FOUND: 9362694 @ 20.64 20.67 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.71 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.72 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.74 c Sol. found (all assignments made)... 20.75 c Sol. found (all assignments made)... 20.82 c Sol. found (all assignments made)... 20.82 c Sol. found (all assignments made)... 20.83 c Sol. found (all assignments made)... 20.87 c Sol. found (all assignments made)... 20.91 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.92 c Sol. found (all assignments made)... 20.96 c Sol. found (all assignments made)... 20.97 c Sol. found (all assignments made)... 20.98 c Sol. found (all assignments made)... 20.99 c Sol. found (all assignments made)... 20.99 c Sol. found (all assignments made)... 20.99 c Sol. found (all assignments made)... 21.01 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.25 c Sol. found (all assignments made)... 21.32 c Sol. found (all assignments made)... 21.34 c Sol. found (all assignments made)... 21.34 c Sol. found (all assignments made)... 21.35 c Sol. found (all assignments made)... 21.83 c Sol. found (all assignments made)... 21.83 c Sol. found (all assignments made)... 21.84 c Sol. found (all assignments made)... 21.84 c Sol. found (all assignments made)... 21.86 c Sol. found (all assignments made)... 21.99 c Sol. found (all assignments made)... 21.99 c Sol. found (all assignments made)... 22.05 c Sol. found (all assignments made)... 22.06 c Sol. found (all assignments made)... 22.06 c Sol. found (all assignments made)... 22.07 c Sol. found (all assignments made)... 22.21 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.40 c Sol. found (all assignments made)... 22.42 c Sol. found (all assignments made)... 22.46 c Sol. found (all assignments made)... 22.72 c Sol. found (all assignments made)... 22.82 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.93 c Sol. found (all assignments made)... 22.95 c Sol. found (all assignments made)... 23.01 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.06 c Sol. found (all assignments made)... 23.06 o 9362674 23.06 c NEW SOLUTION FOUND: 9362674 @ 23.035 23.07 c Sol. found (all assignments made)... 23.07 c Sol. found (all assignments made)... 23.13 c Sol. found (all assignments made)... 23.13 c Sol. found (all assignments made)... 23.13 c Sol. found (all assignments made)... 23.13 c Sol. found (all assignments made)... 23.18 c Sol. found (all assignments made)... 23.20 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.21 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.77 c Sol. found (all assignments made)... 23.77 c Sol. found (all assignments made)... 23.77 c Sol. found (all assignments made)... 23.78 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 23.88 c Sol. found (all assignments made)... 23.90 c Sol. found (all assignments made)... 23.91 c Sol. found (all assignments made)... 24.03 c Sol. found (all assignments made)... 24.04 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.06 o 9362673 24.06 c NEW SOLUTION FOUND: 9362673 @ 24.032 24.06 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.10 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.12 c Sol. found (all assignments made)... 24.29 c Sol. found (all assignments made)... 24.53 c Sol. found (all assignments made)... 24.59 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.87 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.93 c Sol. found (all assignments made)... 24.93 o 9080150 24.93 c NEW SOLUTION FOUND: 9080150 @ 24.904 24.94 c Sol. found (all assignments made)... 24.94 o 9080126 24.94 c NEW SOLUTION FOUND: 9080126 @ 24.916 25.13 c Sol. found (all assignments made)... 25.13 o 9080118 25.13 c NEW SOLUTION FOUND: 9080118 @ 25.106 25.15 c Sol. found (all assignments made)... 25.15 o 9080094 25.15 c NEW SOLUTION FOUND: 9080094 @ 25.13 25.16 c Sol. found (all assignments made)... 25.16 c Sol. found (all assignments made)... 25.17 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.20 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 c Sol. found (all assignments made)... 25.29 o 9080077 25.29 c NEW SOLUTION FOUND: 9080077 @ 25.268 25.32 c Sol. found (all assignments made)... 25.32 o 9080074 25.32 c NEW SOLUTION FOUND: 9080074 @ 25.296 25.38 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.42 c Sol. found (all assignments made)... 25.57 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.59 o 9080070 25.59 c NEW SOLUTION FOUND: 9080070 @ 25.569 25.62 c Sol. found (all assignments made)... 25.62 c Sol. found (all assignments made)... 25.62 o 9080053 25.62 c NEW SOLUTION FOUND: 9080053 @ 25.593 25.62 c Sol. found (all assignments made)... 25.62 c Sol. found (all assignments made)... 25.64 c Sol. found (all assignments made)... 25.64 o 9080050 25.64 c NEW SOLUTION FOUND: 9080050 @ 25.613 25.67 c Sol. found (all assignments made)... 25.72 c Sol. found (all assignments made)... 25.76 c Sol. found (all assignments made)... 25.89 c Sol. found (all assignments made)... 26.07 c Sol. found (all assignments made)... 26.15 c Sol. found (all assignments made)... 26.16 c Sol. found (all assignments made)... 26.17 c Sol. found (all assignments made)... 26.17 c Sol. found (all assignments made)... 26.21 c Sol. found (all assignments made)... 26.22 c Sol. found (all assignments made)... 26.22 c Sol. found (all assignments made)... 26.24 c Sol. found (all assignments made)... 26.25 c Sol. found (all assignments made)... 26.26 c Sol. found (all assignments made)... 26.27 c Sol. found (all assignments made)... 26.27 c Sol. found (all assignments made)... 26.30 c Sol. found (all assignments made)... 26.31 c Sol. found (all assignments made)... 26.33 c Sol. found (all assignments made)... 26.34 c Sol. found (all assignments made)... 26.62 c Sol. found (all assignments made)... 26.68 c Sol. found (all assignments made)... 26.68 c Sol. found (all assignments made)... 26.69 c Sol. found (all assignments made)... 27.07 c Sol. found (all assignments made)... 27.07 c Sol. found (all assignments made)... 27.10 c Sol. found (all assignments made)... 27.17 c Sol. found (all assignments made)... 27.17 c Sol. found (all assignments made)... 27.19 c Sol. found (all assignments made)... 27.19 c Sol. found (all assignments made)... 27.31 c Sol. found (all assignments made)... 27.31 o 9080049 27.31 c NEW SOLUTION FOUND: 9080049 @ 27.283 27.32 c Sol. found (all assignments made)... 27.33 c Sol. found (all assignments made)... 27.40 c Sol. found (all assignments made)... 27.45 c Sol. found (all assignments made)... 27.51 c Sol. found (all assignments made)... 27.57 c Sol. found (all assignments made)... 27.64 c Sol. found (all assignments made)... 27.67 c Sol. found (all assignments made)... 27.76 c Sol. found (all assignments made)... 27.77 c Sol. found (all assignments made)... 27.83 c Sol. found (all assignments made)... 27.89 c Sol. found (all assignments made)... 27.95 c Sol. found (all assignments made)... 28.01 c Sol. found (all assignments made)... 28.07 c Sol. found (all assignments made)... 28.10 c Sol. found (all assignments made)... 28.11 c Sol. found (all assignments made)... 28.16 c Sol. found (all assignments made)... 28.23 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.33 c Sol. found (all assignments made)... 28.40 c Sol. found (all assignments made)... 28.46 c Sol. found (all assignments made)... 28.47 c Sol. found (all assignments made)... 28.48 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.52 c Sol. found (all assignments made)... 28.54 c Sol. found (all assignments made)... 28.57 c Sol. found (all assignments made)... 28.62 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.65 c Sol. found (all assignments made)... 28.71 c Sol. found (all assignments made)... 28.78 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.96 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.03 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.12 c Sol. found (all assignments made)... 29.22 c Sol. found (all assignments made)... 29.24 c Sol. found (all assignments made)... 29.27 c Sol. found (all assignments made)... 29.29 c Sol. found (all assignments made)... 29.32 c Sol. found (all assignments made)... 29.35 c Sol. found (all assignments made)... 29.37 c Sol. found (all assignments made)... 29.40 c Sol. found (all assignments made)... 29.42 c Sol. found (all assignments made)... 29.50 c Sol. found (all assignments made)... 29.53 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.54 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.59 c Sol. found (all assignments made)... 29.62 c Sol. found (all assignments made)... 29.64 c Sol. found (all assignments made)... 29.67 c Sol. found (all assignments made)... 29.71 c Sol. found (all assignments made)... 29.78 c Sol. found (all assignments made)... 29.79 c Sol. found (all assignments made)... 29.81 c Sol. found (all assignments made)... 29.83 c Sol. found (all assignments made)... 29.84 c Sol. found (all assignments made)... 29.87 c Sol. found (all assignments made)... 29.90 c Sol. found (all assignments made)... 29.91 c Sol. found (all assignments made)... 29.92 c Sol. found (all assignments made)... 29.94 c Sol. found (all assignments made)... 29.96 c Sol. found (all assignments made)... 29.99 c Sol. found (all assignments made)... 30.01 c Sol. found (all assignments made)... 30.03 c Sol. found (all assignments made)... 30.04 c Sol. found (all assignments made)... 30.08 c Sol. found (all assignments made)... 30.14 c Sol. found (all assignments made)... 30.16 c Sol. found (all assignments made)... 30.19 c Sol. found (all assignments made)... 30.27 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.34 c Sol. found (all assignments made)... 30.35 c Sol. found (all assignments made)... 30.36 c Sol. found (all assignments made)... 30.37 c Sol. found (all assignments made)... 30.41 c Sol. found (all assignments made)... 30.42 c Sol. found (all assignments made)... 30.43 c Sol. found (all assignments made)... 30.44 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.45 c Sol. found (all assignments made)... 30.47 c Sol. found (all assignments made)... 30.48 c Sol. found (all assignments made)... 30.49 c Sol. found (all assignments made)... 30.49 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.59 c Sol. found (all assignments made)... 30.59 c Sol. found (all assignments made)... 30.61 c Sol. found (all assignments made)... 30.66 c Sol. found (all assignments made)... 30.66 c Sol. found (all assignments made)... 30.68 c Sol. found (all assignments made)... 30.68 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.73 c Sol. found (all assignments made)... 30.73 o 9080034 30.73 c NEW SOLUTION FOUND: 9080034 @ 30.702 30.73 c Sol. found (all assignments made)... 30.73 o 9080030 30.73 c NEW SOLUTION FOUND: 9080030 @ 30.708 30.75 c Sol. found (all assignments made)... 30.77 c Sol. found (all assignments made)... 30.79 c Sol. found (all assignments made)... 30.80 c Sol. found (all assignments made)... 30.81 c Sol. found (all assignments made)... 30.83 c Sol. found (all assignments made)... 30.84 c Sol. found (all assignments made)... 30.86 c Sol. found (all assignments made)... 30.87 c Sol. found (all assignments made)... 30.88 c Sol. found (all assignments made)... 30.89 c Sol. found (all assignments made)... 30.90 c Sol. found (all assignments made)... 30.91 c Sol. found (all assignments made)... 30.91 c Sol. found (all assignments made)... 30.93 c Sol. found (all assignments made)... 30.94 c Sol. found (all assignments made)... 30.96 c Sol. found (all assignments made)... 30.96 o 9080029 30.96 c NEW SOLUTION FOUND: 9080029 @ 30.934 30.97 c Sol. found (all assignments made)... 30.97 o 9080025 30.97 c NEW SOLUTION FOUND: 9080025 @ 30.944 30.98 c Sol. found (all assignments made)... 30.99 c Sol. found (all assignments made)... 31.00 c Sol. found (all assignments made)... 31.01 c Sol. found (all assignments made)... 31.02 c Sol. found (all assignments made)... 31.02 o 9080006 31.02 c NEW SOLUTION FOUND: 9080006 @ 30.99 31.03 c Sol. found (all assignments made)... 31.03 c Sol. found (all assignments made)... 31.05 c Sol. found (all assignments made)... 31.07 c Sol. found (all assignments made)... 31.07 c Sol. found (all assignments made)... 31.08 c Sol. found (all assignments made)... 31.08 c Sol. found (all assignments made)... 31.09 c Sol. found (all assignments made)... 31.10 c Sol. found (all assignments made)... 31.10 o 9079998 31.10 c NEW SOLUTION FOUND: 9079998 @ 31.071 31.12 c Sol. found (all assignments made)... 31.12 o 9079985 31.12 c NEW SOLUTION FOUND: 9079985 @ 31.092 31.13 c Sol. found (all assignments made)... 31.14 c Sol. found (all assignments made)... 31.15 c Sol. found (all assignments made)... 31.15 c Sol. found (all assignments made)... 31.18 c Sol. found (all assignments made)... 31.19 c Sol. found (all assignments made)... 31.20 c Sol. found (all assignments made)... 31.21 c Sol. found (all assignments made)... 31.22 c Sol. found (all assignments made)... 31.22 c Sol. found (all assignments made)... 31.24 c Sol. found (all assignments made)... 31.26 c Sol. found (all assignments made)... 31.26 c Sol. found (all assignments made)... 31.27 c Sol. found (all assignments made)... 31.28 c Sol. found (all assignments made)... 31.28 c Sol. found (all assignments made)... 31.30 c Sol. found (all assignments made)... 31.30 c Sol. found (all assignments made)... 31.32 c Sol. found (all assignments made)... 31.33 c Sol. found (all assignments made)... 31.35 c Sol. found (all assignments made)... 31.36 c Sol. found (all assignments made)... 31.37 c Sol. found (all assignments made)... 31.38 c Sol. found (all assignments made)... 31.39 c Sol. found (all assignments made)... 31.41 c Sol. found (all assignments made)... 31.42 c Sol. found (all assignments made)... 31.45 c Sol. found (all assignments made)... 31.46 c Sol. found (all assignments made)... 31.47 c Sol. found (all assignments made)... 31.49 c Sol. found (all assignments made)... 31.50 c Sol. found (all assignments made)... 31.51 c Sol. found (all assignments made)... 31.53 c Sol. found (all assignments made)... 31.56 c Sol. found (all assignments made)... 31.58 c Sol. found (all assignments made)... 31.60 c Sol. found (all assignments made)... 31.61 c Sol. found (all assignments made)... 31.65 c Sol. found (all assignments made)... 31.65 c Sol. found (all assignments made)... 31.67 c Sol. found (all assignments made)... 31.68 c Sol. found (all assignments made)... 31.72 c Sol. found (all assignments made)... 31.72 c Sol. found (all assignments made)... 31.74 c Sol. found (all assignments made)... 31.76 c Sol. found (all assignments made)... 31.78 c Sol. found (all assignments made)... 31.79 c Sol. found (all assignments made)... 31.80 c Sol. found (all assignments made)... 31.86 c Sol. found (all assignments made)... 31.90 c Sol. found (all assignments made)... 31.92 c Sol. found (all assignments made)... 31.93 c Sol. found (all assignments made)... 31.94 c Sol. found (all assignments made)... 31.94 c Sol. found (all assignments made)... 31.96 c Sol. found (all assignments made)... 31.98 c Sol. found (all assignments made)... 32.02 c Sol. found (all assignments made)... 32.02 c Sol. found (all assignments made)... 32.07 c Sol. found (all assignments made)... 32.09 c Sol. found (all assignments made)... 32.10 c Sol. found (all assignments made)... 32.12 c Sol. found (all assignments made)... 32.13 c Sol. found (all assignments made)... 32.15 c Sol. found (all assignments made)... 32.17 c Sol. found (all assignments made)... 32.17 c Sol. found (all assignments made)... 32.18 c Sol. found (all assignments made)... 32.19 c Sol. found (all assignments made)... 32.21 c Sol. found (all assignments made)... 32.23 c Sol. found (all assignments made)... 32.23 c Sol. found (all assignments made)... 32.24 c Sol. found (all assignments made)... 32.25 c Sol. found (all assignments made)... 32.26 c Sol. found (all assignments made)... 32.26 c Sol. found (all assignments made)... 32.28 c Sol. found (all assignments made)... 32.29 c Sol. found (all assignments made)... 32.30 c Sol. found (all assignments made)... 32.30 c Sol. found (all assignments made)... 32.32 c Sol. found (all assignments made)... 32.33 c Sol. found (all assignments made)... 32.33 c Sol. found (all assignments made)... 32.34 c Sol. found (all assignments made)... 32.35 c Sol. found (all assignments made)... 32.36 c Sol. found (all assignments made)... 32.38 c Sol. found (all assignments made)... 32.40 c Sol. found (all assignments made)... 32.41 c Sol. found (all assignments made)... 32.42 c Sol. found (all assignments made)... 32.43 c Sol. found (all assignments made)... 32.44 c Sol. found (all assignments made)... 32.46 c Sol. found (all assignments made)... 32.46 c Sol. found (all assignments made)... 32.47 c Sol. found (all assignments made)... 32.48 c Sol. found (all assignments made)... 32.49 c Sol. found (all assignments made)... 32.50 c Sol. found (all assignments made)... 32.50 c Sol. found (all assignments made)... 32.51 c Sol. found (all assignments made)... 32.54 c Sol. found (all assignments made)... 32.55 c Sol. found (all assignments made)... 32.58 c Sol. found (all assignments made)... 32.59 c Sol. found (all assignments made)... 32.61 c Sol. found (all assignments made)... 32.62 c Sol. found (all assignments made)... 32.74 c Sol. found (all assignments made)... 32.75 c Sol. found (all assignments made)... 32.75 c Sol. found (all assignments made)... 32.80 c Sol. found (all assignments made)... 32.81 c Sol. found (all assignments made)... 32.85 c Sol. found (all assignments made)... 32.85 c Sol. found (all assignments made)... 32.86 c Sol. found (all assignments made)... 32.86 c Sol. found (all assignments made)... 32.89 c Sol. found (all assignments made)... 32.89 c Sol. found (all assignments made)... 32.92 c Sol. found (all assignments made)... 32.93 c Sol. found (all assignments made)... 32.94 c Sol. found (all assignments made)... 32.96 c Sol. found (all assignments made)... 32.97 c Sol. found (all assignments made)... 33.00 c Sol. found (all assignments made)... 33.00 c Sol. found (all assignments made)... 33.01 c Sol. found (all assignments made)... 33.03 c Sol. found (all assignments made)... 33.07 c Sol. found (all assignments made)... 33.08 c Sol. found (all assignments made)... 33.08 c Sol. found (all assignments made)... 33.08 o 9079975 33.08 c NEW SOLUTION FOUND: 9079975 @ 33.057 33.10 c Sol. found (all assignments made)... 33.12 c Sol. found (all assignments made)... 33.13 c Sol. found (all assignments made)... 33.14 c Sol. found (all assignments made)... 33.15 c Sol. found (all assignments made)... 33.16 c Sol. found (all assignments made)... 33.16 c Sol. found (all assignments made)... 33.18 c Sol. found (all assignments made)... 33.18 c Sol. found (all assignments made)... 33.19 c Sol. found (all assignments made)... 33.20 c Sol. found (all assignments made)... 33.22 c Sol. found (all assignments made)... 33.23 c Sol. found (all assignments made)... 33.24 c Sol. found (all assignments made)... 33.25 c Sol. found (all assignments made)... 33.26 c Sol. found (all assignments made)... 33.28 c Sol. found (all assignments made)... 33.28 c Sol. found (all assignments made)... 33.29 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.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.39 c Sol. found (all assignments made)... 33.42 c Sol. found (all assignments made)... 33.44 c Sol. found (all assignments made)... 33.44 c Sol. found (all assignments made)... 33.45 c Sol. found (all assignments made)... 33.47 c Sol. found (all assignments made)... 33.48 c Sol. found (all assignments made)... 33.49 c Sol. found (all assignments made)... 33.50 c Sol. found (all assignments made)... 33.52 c Sol. found (all assignments made)... 33.53 c Sol. found (all assignments made)... 33.53 c Sol. found (all assignments made)... 33.54 c Sol. found (all assignments made)... 33.55 c Sol. found (all assignments made)... 33.57 c Sol. found (all assignments made)... 33.57 c Sol. found (all assignments made)... 33.61 c Sol. found (all assignments made)... 33.63 c Sol. found (all assignments made)... 33.64 c Sol. found (all assignments made)... 33.65 c Sol. found (all assignments made)... 33.65 c Sol. found (all assignments made)... 33.66 c Sol. found (all assignments made)... 33.66 c Sol. found (all assignments made)... 33.67 c Sol. found (all assignments made)... 33.69 c Sol. found (all assignments made)... 33.70 c Sol. found (all assignments made)... 33.71 c Sol. found (all assignments made)... 33.72 c Sol. found (all assignments made)... 33.74 c Sol. found (all assignments made)... 33.76 c Sol. found (all assignments made)... 33.77 c Sol. found (all assignments made)... 33.78 c Sol. found (all assignments made)... 33.79 c Sol. found (all assignments made)... 33.79 c Sol. found (all assignments made)... 33.80 c Sol. found (all assignments made)... 33.81 c Sol. found (all assignments made)... 33.82 c Sol. found (all assignments made)... 33.82 c Sol. found (all assignments made)... 33.83 c Sol. found (all assignments made)... 33.86 c Sol. found (all assignments made)... 33.87 c Sol. found (all assignments made)... 33.88 c Sol. found (all assignments made)... 33.88 c Sol. found (all assignments made)... 33.89 c Sol. found (all assignments made)... 33.89 c Sol. found (all assignments made)... 33.91 c Sol. found (all assignments made)... 33.92 c Sol. found (all assignments made)... 33.92 c Sol. found (all assignments made)... 33.94 c Sol. found (all assignments made)... 33.96 c Sol. found (all assignments made)... 33.97 c Sol. found (all assignments made)... 33.99 c Sol. found (all assignments made)... 34.01 c Sol. found (all assignments made)... 34.01 c Sol. found (all assignments made)... 34.04 c Sol. found (all assignments made)... 34.08 c Sol. found (all assignments made)... 34.09 c Sol. found (all assignments made)... 34.11 c Sol. found (all assignments made)... 34.11 c Sol. found (all assignments made)... 34.15 c Sol. found (all assignments made)... 34.18 c Sol. found (all assignments made)... 34.20 c Sol. found (all assignments made)... 34.21 c Sol. found (all assignments made)... 34.22 c Sol. found (all assignments made)... 34.25 c Sol. found (all assignments made)... 34.25 c Sol. found (all assignments made)... 34.26 c Sol. found (all assignments made)... 34.29 c Sol. found (all assignments made)... 34.29 c Sol. found (all assignments made)... 34.35 c Sol. found (all assignments made)... 34.37 c Sol. found (all assignments made)... 34.37 c Sol. found (all assignments made)... 34.39 c Sol. found (all assignments made)... 34.39 c Sol. found (all assignments made)... 34.44 c Sol. found (all assignments made)... 34.46 c Sol. found (all assignments made)... 34.48 c Sol. found (all assignments made)... 34.50 c Sol. found (all assignments made)... 34.53 c Sol. found (all assignments made)... 34.54 c Sol. found (all assignments made)... 34.56 c Sol. found (all assignments made)... 34.57 c Sol. found (all assignments made)... 34.57 c Sol. found (all assignments made)... 34.58 c Sol. found (all assignments made)... 34.60 c Sol. found (all assignments made)... 34.61 c Sol. found (all assignments made)... 34.62 c Sol. found (all assignments made)... 34.64 c Sol. found (all assignments made)... 34.64 c Sol. found (all assignments made)... 34.65 c Sol. found (all assignments made)... 34.67 c Sol. found (all assignments made)... 34.69 c Sol. found (all assignments made)... 34.70 c Sol. found (all assignments made)... 34.72 c Sol. found (all assignments made)... 34.72 c Sol. found (all assignments made)... 34.73 c Sol. found (all assignments made)... 34.74 c Sol. found (all assignments made)... 34.76 c Sol. found (all assignments made)... 34.77 c Sol. found (all assignments made)... 34.82 c Sol. found (all assignments made)... 34.83 c Sol. found (all assignments made)... 34.84 c Sol. found (all assignments made)... 34.86 c Sol. found (all assignments made)... 34.86 c Sol. found (all assignments made)... 34.87 c Sol. found (all assignments made)... 34.88 c Sol. found (all assignments made)... 34.89 c Sol. found (all assignments made)... 34.91 c Sol. found (all assignments made)... 34.93 c Sol. found (all assignments made)... 34.94 c Sol. found (all assignments made)... 34.95 c Sol. found (all assignments made)... 34.96 c Sol. found (all assignments made)... 34.97 c Sol. found (all assignments made)... 34.99 c Sol. found (all assignments made)... 35.01 c Sol. found (all assignments made)... 35.03 c Sol. found (all assignments made)... 35.04 c Sol. found (all assignments made)... 35.07 c Sol. found (all assignments made)... 35.08 c Sol. found (all assignments made)... 35.09 c Sol. found (all assignments made)... 35.09 c Sol. found (all assignments made)... 35.10 c Sol. found (all assignments made)... 35.11 c Sol. found (all assignments made)... 35.12 c Sol. found (all assignments made)... 35.13 c Sol. found (all assignments made)... 35.13 c Sol. found (all assignments made)... 35.14 c Sol. found (all assignments made)... 35.16 c Sol. found (all assignments made)... 35.16 c Sol. found (all assignments made)... 35.17 c Sol. found (all assignments made)... 35.18 c Sol. found (all assignments made)... 35.19 c Sol. found (all assignments made)... 35.20 c Sol. found (all assignments made)... 35.21 c Sol. found (all assignments made)... 35.21 c Sol. found (all assignments made)... 35.23 c Sol. found (all assignments made)... 35.25 c Sol. found (all assignments made)... 35.26 c Sol. found (all assignments made)... 35.28 c Sol. found (all assignments made)... 35.28 o 9079969 35.28 c NEW SOLUTION FOUND: 9079969 @ 35.249 35.30 c Sol. found (all assignments made)... 35.31 c Sol. found (all assignments made)... 35.32 c Sol. found (all assignments made)... 35.36 c Sol. found (all assignments made)... 35.38 c Sol. found (all assignments made)... 35.39 c Sol. found (all assignments made)... 35.41 c Sol. found (all assignments made)... 35.42 c Sol. found (all assignments made)... 35.43 c Sol. found (all assignments made)... 35.44 c Sol. found (all assignments made)... 35.44 c Sol. found (all assignments made)... 35.46 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.50 c Sol. found (all assignments made)... 35.51 c Sol. found (all assignments made)... 35.51 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.56 c Sol. found (all assignments made)... 35.57 c Sol. found (all assignments made)... 35.57 c Sol. found (all assignments made)... 35.58 c Sol. found (all assignments made)... 35.60 c Sol. found (all assignments made)... 35.61 c Sol. found (all assignments made)... 35.62 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.65 c Sol. found (all assignments made)... 35.66 c Sol. found (all assignments made)... 35.67 c Sol. found (all assignments made)... 35.68 c Sol. found (all assignments made)... 35.70 c Sol. found (all assignments made)... 35.70 c Sol. found (all assignments made)... 35.72 c Sol. found (all assignments made)... 35.73 c Sol. found (all assignments made)... 35.74 c Sol. found (all assignments made)... 35.75 c Sol. found (all assignments made)... 35.76 c Sol. found (all assignments made)... 35.78 c Sol. found (all assignments made)... 35.79 c Sol. found (all assignments made)... 35.81 c Sol. found (all assignments made)... 35.82 c Sol. found (all assignments made)... 35.83 c Sol. found (all assignments made)... 35.84 c Sol. found (all assignments made)... 35.84 c Sol. found (all assignments made)... 35.86 c Sol. found (all assignments made)... 35.87 c Sol. found (all assignments made)... 35.87 c Sol. found (all assignments made)... 35.89 c Sol. found (all assignments made)... 35.89 c Sol. found (all assignments made)... 35.90 c Sol. found (all assignments made)... 35.92 c Sol. found (all assignments made)... 35.92 c Sol. found (all assignments made)... 35.94 c Sol. found (all assignments made)... 35.94 c Sol. found (all assignments made)... 35.97 c Sol. found (all assignments made)... 36.00 c Sol. found (all assignments made)... 36.00 c Sol. found (all assignments made)... 36.03 c Sol. found (all assignments made)... 36.04 c Sol. found (all assignments made)... 36.06 c Sol. found (all assignments made)... 36.07 c Sol. found (all assignments made)... 36.07 c Sol. found (all assignments made)... 36.08 c Sol. found (all assignments made)... 36.10 c Sol. found (all assignments made)... 36.11 c Sol. found (all assignments made)... 36.11 c Sol. found (all assignments made)... 36.12 c Sol. found (all assignments made)... 36.13 c Sol. found (all assignments made)... 36.15 c Sol. found (all assignments made)... 36.16 c Sol. found (all assignments made)... 36.17 c Sol. found (all assignments made)... 36.19 c Sol. found (all assignments made)... 36.19 c Sol. found (all assignments made)... 36.20 c Sol. found (all assignments made)... 36.23 c Sol. found (all assignments made)... 36.24 c Sol. found (all assignments made)... 36.24 c Sol. found (all assignments made)... 36.26 c Sol. found (all assignments made)... 36.26 c Sol. found (all assignments made)... 36.27 c Sol. found (all assignments made)... 36.29 c Sol. found (all assignments made)... 36.29 c Sol. found (all assignments made)... 36.31 c Sol. found (all assignments made)... 36.31 c Sol. found (all assignments made)... 36.32 c Sol. found (all assignments made)... 36.33 c Sol. found (all assignments made)... 36.34 c Sol. found (all assignments made)... 36.35 c Sol. found (all assignments made)... 36.37 c Sol. found (all assignments made)... 36.38 c Sol. found (all assignments made)... 36.39 c Sol. found (all assignments made)... 36.41 c Sol. found (all assignments made)... 36.42 c Sol. found (all assignments made)... 36.45 c Sol. found (all assignments made)... 36.47 c Sol. found (all assignments made)... 36.48 c Sol. found (all assignments made)... 36.49 c Sol. found (all assignments made)... 36.49 c Sol. found (all assignments made)... 36.51 c Sol. found (all assignments made)... 36.51 c Sol. found (all assignments made)... 36.52 c Sol. found (all assignments made)... 36.53 c Sol. found (all assignments made)... 36.54 c Sol. found (all assignments made)... 36.55 c Sol. found (all assignments made)... 36.57 c Sol. found (all assignments made)... 36.57 o 9079965 36.57 c NEW SOLUTION FOUND: 9079965 @ 36.541 36.58 c Sol. found (all assignments made)... 36.60 c Sol. found (all assignments made)... 36.61 c Sol. found (all assignments made)... 36.62 c Sol. found (all assignments made)... 36.63 c Sol. found (all assignments made)... 36.65 c Sol. found (all assignments made)... 36.66 c Sol. found (all assignments made)... 36.70 c Sol. found (all assignments made)... 36.71 c Sol. found (all assignments made)... 36.72 c Sol. found (all assignments made)... 36.73 c Sol. found (all assignments made)... 36.75 c Sol. found (all assignments made)... 36.75 c Sol. found (all assignments made)... 36.76 c Sol. found (all assignments made)... 36.78 c Sol. found (all assignments made)... 36.80 c Sol. found (all assignments made)... 36.83 c Sol. found (all assignments made)... 36.84 c Sol. found (all assignments made)... 36.85 c Sol. found (all assignments made)... 36.88 c Sol. found (all assignments made)... 36.89 c Sol. found (all assignments made)... 36.90 c Sol. found (all assignments made)... 36.91 c Sol. found (all assignments made)... 36.91 c Sol. found (all assignments made)... 36.93 c Sol. found (all assignments made)... 36.94 c Sol. found (all assignments made)... 36.96 c Sol. found (all assignments made)... 37.00 c Sol. found (all assignments made)... 37.01 c Sol. found (all assignments made)... 37.01 c Sol. found (all assignments made)... 37.03 c Sol. found (all assignments made)... 37.06 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.11 c Sol. found (all assignments made)... 37.12 c Sol. found (all assignments made)... 37.13 c Sol. found (all assignments made)... 37.15 c Sol. found (all assignments made)... 37.16 c Sol. found (all assignments made)... 37.19 c Sol. found (all assignments made)... 37.20 c Sol. found (all assignments made)... 37.21 c Sol. found (all assignments made)... 37.26 c Sol. found (all assignments made)... 37.26 c Sol. found (all assignments made)... 37.28 c Sol. found (all assignments made)... 37.28 c Sol. found (all assignments made)... 37.30 c Sol. found (all assignments made)... 37.32 c Sol. found (all assignments made)... 37.33 c Sol. found (all assignments made)... 37.34 c Sol. found (all assignments made)... 37.35 c Sol. found (all assignments made)... 37.35 c Sol. found (all assignments made)... 37.37 c Sol. found (all assignments made)... 37.38 c Sol. found (all assignments made)... 37.47 c Sol. found (all assignments made)... 37.50 c Sol. found (all assignments made)... 37.53 c Sol. found (all assignments made)... 37.54 c Sol. found (all assignments made)... 37.54 c Sol. found (all assignments made)... 37.55 c Sol. found (all assignments made)... 37.56 c Sol. found (all assignments made)... 37.58 c Sol. found (all assignments made)... 37.59 c Sol. found (all assignments made)... 37.60 c Sol. found (all assignments made)... 37.62 c Sol. found (all assignments made)... 37.64 c Sol. found (all assignments made)... 37.72 c Sol. found (all assignments made)... 37.73 c Sol. found (all assignments made)... 37.78 c Sol. found (all assignments made)... 37.79 c Sol. found (all assignments made)... 37.85 c Sol. found (all assignments made)... 37.86 c Sol. found (all assignments made)... 37.87 c Sol. found (all assignments made)... 37.88 c Sol. found (all assignments made)... 37.90 c Sol. found (all assignments made)... 37.91 c Sol. found (all assignments made)... 37.93 c Sol. found (all assignments made)... 37.94 c Sol. found (all assignments made)... 37.95 c Sol. found (all assignments made)... 37.95 c Sol. found (all assignments made)... 37.96 c Sol. found (all assignments made)... 37.96 c Sol. found (all assignments made)... 37.99 c Sol. found (all assignments made)... 37.99 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.06 c Sol. found (all assignments made)... 38.06 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.11 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.18 c Sol. found (all assignments made)... 38.19 c Sol. found (all assignments made)... 38.19 c Sol. found (all assignments made)... 38.21 c Sol. found (all assignments made)... 38.22 c Sol. found (all assignments made)... 38.22 c Sol. found (all assignments made)... 38.24 c Sol. found (all assignments made)... 38.25 c Sol. found (all assignments made)... 38.28 c Sol. found (all assignments made)... 38.29 c Sol. found (all assignments made)... 38.30 c Sol. found (all assignments made)... 38.32 c Sol. found (all assignments made)... 38.34 c Sol. found (all assignments made)... 38.35 c Sol. found (all assignments made)... 38.37 c Sol. found (all assignments made)... 38.37 c Sol. found (all assignments made)... 38.39 c Sol. found (all assignments made)... 38.40 c Sol. found (all assignments made)... 38.41 c Sol. found (all assignments made)... 38.42 c Sol. found (all assignments made)... 38.43 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.45 c Sol. found (all assignments made)... 38.46 c Sol. found (all assignments made)... 38.47 c Sol. found (all assignments made)... 38.49 c Sol. found (all assignments made)... 38.50 c Sol. found (all assignments made)... 38.51 c Sol. found (all assignments made)... 38.52 c Sol. found (all assignments made)... 38.52 c Sol. found (all assignments made)... 38.53 c Sol. found (all assignments made)... 38.54 c Sol. found (all assignments made)... 38.55 c Sol. found (all assignments made)... 38.56 c Sol. found (all assignments made)... 38.57 c Sol. found (all assignments made)... 38.58 c Sol. found (all assignments made)... 38.62 c Sol. found (all assignments made)... 38.62 c Sol. found (all assignments made)... 38.64 c Sol. found (all assignments made)... 38.64 c Sol. found (all assignments made)... 38.65 c Sol. found (all assignments made)... 38.66 c Sol. found (all assignments made)... 38.67 c Sol. found (all assignments made)... 38.68 c Sol. found (all assignments made)... 38.70 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.74 c Sol. found (all assignments made)... 38.75 c Sol. found (all assignments made)... 38.76 c Sol. found (all assignments made)... 38.77 c Sol. found (all assignments made)... 38.78 c Sol. found (all assignments made)... 38.80 c Sol. found (all assignments made)... 38.80 c Sol. found (all assignments made)... 38.81 c Sol. found (all assignments made)... 38.83 c Sol. found (all assignments made)... 38.85 c Sol. found (all assignments made)... 38.85 c Sol. found (all assignments made)... 38.86 c Sol. found (all assignments made)... 38.88 c Sol. found (all assignments made)... 38.89 c Sol. found (all assignments made)... 38.91 c Sol. found (all assignments made)... 38.92 c Sol. found (all assignments made)... 38.93 c Sol. found (all assignments made)... 38.95 c Sol. found (all assignments made)... 38.96 c Sol. found (all assignments made)... 38.96 c Sol. found (all assignments made)... 38.97 c Sol. found (all assignments made)... 38.99 c Sol. found (all assignments made)... 38.99 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.01 c Sol. found (all assignments made)... 39.02 c Sol. found (all assignments made)... 39.02 c Sol. found (all assignments made)... 39.03 c Sol. found (all assignments made)... 39.05 c Sol. found (all assignments made)... 39.07 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.09 c Sol. found (all assignments made)... 39.10 c Sol. found (all assignments made)... 39.11 c Sol. found (all assignments made)... 39.12 c Sol. found (all assignments made)... 39.13 c Sol. found (all assignments made)... 39.16 c Sol. found (all assignments made)... 39.16 c Sol. found (all assignments made)... 39.18 c Sol. found (all assignments made)... 39.19 c Sol. found (all assignments made)... 39.20 c Sol. found (all assignments made)... 39.21 c Sol. found (all assignments made)... 39.21 c Sol. found (all assignments made)... 39.22 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.24 c Sol. found (all assignments made)... 39.26 c Sol. found (all assignments made)... 39.28 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.29 c Sol. found (all assignments made)... 39.31 c Sol. found (all assignments made)... 39.32 c Sol. found (all assignments made)... 39.32 c Sol. found (all assignments made)... 39.33 c Sol. found (all assignments made)... 39.35 c Sol. found (all assignments made)... 39.36 c Sol. found (all assignments made)... 39.37 c Sol. found (all assignments made)... 39.39 c Sol. found (all assignments made)... 39.39 c Sol. found (all assignments made)... 39.40 c Sol. found (all assignments made)... 39.41 c Sol. found (all assignments made)... 39.42 c Sol. found (all assignments made)... 39.43 c Sol. found (all assignments made)... 39.44 c Sol. found (all assignments made)... 39.44 c Sol. found (all assignments made)... 39.46 c Sol. found (all assignments made)... 39.47 c Sol. found (all assignments made)... 39.47 c Sol. found (all assignments made)... 39.48 c Sol. found (all assignments made)... 39.50 c Sol. found (all assignments made)... 39.51 c Sol. found (all assignments made)... 39.53 c Sol. found (all assignments made)... 39.54 c Sol. found (all assignments made)... 39.98 c Sol. found (all assignments made)... 40.01 c Sol. found (all assignments made)... 40.05 c Sol. found (all assignments made)... 40.10 c Sol. found (all assignments made)... 40.12 c Sol. found (all assignments made)... 40.16 c Sol. found (all assignments made)... 40.18 c Sol. found (all assignments made)... 40.22 c Sol. found (all assignments made)... 40.24 c Sol. found (all assignments made)... 40.30 c Sol. found (all assignments made)... 40.32 c Sol. found (all assignments made)... 40.34 c Sol. found (all assignments made)... 40.35 c Sol. found (all assignments made)... 40.93 c Sol. found (all assignments made)... 40.94 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.95 c Sol. found (all assignments made)... 40.97 c Sol. found (all assignments made)... 40.98 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 41.01 c Sol. found (all assignments made)... 41.03 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.04 c Sol. found (all assignments made)... 41.05 c Sol. found (all assignments made)... 41.07 c Sol. found (all assignments made)... 41.08 c Sol. found (all assignments made)... 41.18 c Sol. found (all assignments made)... 41.23 c Sol. found (all assignments made)... 41.28 c Sol. found (all assignments made)... 41.30 c Sol. found (all assignments made)... 41.31 c Sol. found (all assignments made)... 41.33 c Sol. found (all assignments made)... 41.34 c Sol. found (all assignments made)... 41.38 c Sol. found (all assignments made)... 41.40 c Sol. found (all assignments made)... 41.41 c Sol. found (all assignments made)... 41.46 c Sol. found (all assignments made)... 41.48 c Sol. found (all assignments made)... 41.50 c Sol. found (all assignments made)... 41.51 c Sol. found (all assignments made)... 41.52 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.55 c Sol. found (all assignments made)... 41.57 c Sol. found (all assignments made)... 41.58 c Sol. found (all assignments made)... 41.63 c Sol. found (all assignments made)... 41.63 c Sol. found (all assignments made)... 41.64 c Sol. found (all assignments made)... 41.67 c Sol. found (all assignments made)... 41.70 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.72 c Sol. found (all assignments made)... 41.74 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.76 c Sol. found (all assignments made)... 41.78 c Sol. found (all assignments made)... 41.84 c Sol. found (all assignments made)... 41.85 c Sol. found (all assignments made)... 41.86 c Sol. found (all assignments made)... 41.88 c Sol. found (all assignments made)... 42.04 c Sol. found (all assignments made)... 42.08 c Sol. found (all assignments made)... 42.10 c Sol. found (all assignments made)... 42.13 c Sol. found (all assignments made)... 42.14 c Sol. found (all assignments made)... 42.30 c Sol. found (all assignments made)... 42.33 c Sol. found (all assignments made)... 42.40 c Sol. found (all assignments made)... 42.45 c Sol. found (all assignments made)... 42.50 c Sol. found (all assignments made)... 42.54 c Sol. found (all assignments made)... 42.54 c Sol. found (all assignments made)... 42.60 c Sol. found (all assignments made)... 42.65 c Sol. found (all assignments made)... 42.65 c Sol. found (all assignments made)... 42.67 c Sol. found (all assignments made)... 42.68 c Sol. found (all assignments made)... 42.69 c Sol. found (all assignments made)... 42.86 c Sol. found (all assignments made)... 42.91 c Sol. found (all assignments made)... 42.95 c Sol. found (all assignments made)... 42.97 c Sol. found (all assignments made)... 42.98 c Sol. found (all assignments made)... 43.00 c Sol. found (all assignments made)... 43.11 c Sol. found (all assignments made)... 43.12 c Sol. found (all assignments made)... 43.16 c Sol. found (all assignments made)... 43.17 c Sol. found (all assignments made)... 43.19 c Sol. found (all assignments made)... 43.20 c Sol. found (all assignments made)... 43.30 c Sol. found (all assignments made)... 43.33 c Sol. found (all assignments made)... 43.35 c Sol. found (all assignments made)... 43.39 c Sol. found (all assignments made)... 43.42 c Sol. found (all assignments made)... 43.45 c Sol. found (all assignments made)... 43.52 c Sol. found (all assignments made)... 43.53 c Sol. found (all assignments made)... 43.57 c Sol. found (all assignments made)... 43.60 c Sol. found (all assignments made)... 43.61 c Sol. found (all assignments made)... 43.61 c Sol. found (all assignments made)... 43.63 c Sol. found (all assignments made)... 43.67 c Sol. found (all assignments made)... 43.73 c Sol. found (all assignments made)... 43.74 c Sol. found (all assignments made)... 43.76 c Sol. found (all assignments made)... 43.77 c Sol. found (all assignments made)... 43.82 c Sol. found (all assignments made)... 43.84 c Sol. found (all assignments made)... 43.86 c Sol. found (all assignments made)... 43.89 c Sol. found (all assignments made)... 43.90 c Sol. found (all assignments made)... 43.91 c Sol. found (all assignments made)... 43.92 c Sol. found (all assignments made)... 43.96 c Sol. found (all assignments made)... 43.98 c Sol. found (all assignments made)... 43.99 c Sol. found (all assignments made)... 44.00 c Sol. found (all assignments made)... 44.01 c Sol. found (all assignments made)... 44.02 c Sol. found (all assignments made)... 44.07 c Sol. found (all assignments made)... 44.08 c Sol. found (all assignments made)... 44.09 c Sol. found (all assignments made)... 44.11 c Sol. found (all assignments made)... 44.11 c Sol. found (all assignments made)... 44.13 c Sol. found (all assignments made)... 44.14 c Sol. found (all assignments made)... 44.15 c Sol. found (all assignments made)... 44.16 c Sol. found (all assignments made)... 44.18 c Sol. found (all assignments made)... 44.23 c Sol. found (all assignments made)... 44.26 c Sol. found (all assignments made)... 44.33 c Sol. found (all assignments made)... 44.37 c Sol. found (all assignments made)... 44.42 c Sol. found (all assignments made)... 44.44 c Sol. found (all assignments made)... 44.45 c Sol. found (all assignments made)... 44.46 c Sol. found (all assignments made)... 44.47 c Sol. found (all assignments made)... 44.51 c Sol. found (all assignments made)... 44.52 c Sol. found (all assignments made)... 44.65 c Sol. found (all assignments made)... 44.66 c Sol. found (all assignments made)... 44.72 c Sol. found (all assignments made)... 44.73 c Sol. found (all assignments made)... 44.77 c Sol. found (all assignments made)... 44.78 c Sol. found (all assignments made)... 44.82 c Sol. found (all assignments made)... 44.83 c Sol. found (all assignments made)... 44.89 c Sol. found (all assignments made)... 44.90 c Sol. found (all assignments made)... 44.97 c Sol. found (all assignments made)... 44.98 c Sol. found (all assignments made)... 44.99 c Sol. found (all assignments made)... 44.99 c Sol. found (all assignments made)... 45.04 c Sol. found (all assignments made)... 45.05 c Sol. found (all assignments made)... 45.07 c Sol. found (all assignments made)... 45.08 c Sol. found (all assignments made)... 45.08 c Sol. found (all assignments made)... 45.14 c Sol. found (all assignments made)... 45.14 c Sol. found (all assignments made)... 45.15 c Sol. found (all assignments made)... 45.16 c Sol. found (all assignments made)... 45.16 c Sol. found (all assignments made)... 45.18 c Sol. found (all assignments made)... 45.19 c Sol. found (all assignments made)... 45.20 c Sol. found (all assignments made)... 45.23 c Sol. found (all assignments made)... 45.24 c Sol. found (all assignments made)... 45.27 c Sol. found (all assignments made)... 45.28 c Sol. found (all assignments made)... 45.29 c Sol. found (all assignments made)... 45.29 c Sol. found (all assignments made)... 45.29 c Sol. found (all assignments made)... 45.34 c Sol. found (all assignments made)... 45.35 c Sol. found (all assignments made)... 45.37 c Sol. found (all assignments made)... 45.39 c Sol. found (all assignments made)... 45.41 c Sol. found (all assignments made)... 45.44 c Sol. found (all assignments made)... 45.44 c Sol. found (all assignments made)... 45.45 c Sol. found (all assignments made)... 45.50 c Sol. found (all assignments made)... 45.53 c Sol. found (all assignments made)... 45.54 c Sol. found (all assignments made)... 45.56 c Sol. found (all assignments made)... 45.59 c Sol. found (all assignments made)... 45.63 c Sol. found (all assignments made)... 45.64 c Sol. found (all assignments made)... 45.67 c Sol. found (all assignments made)... 45.68 c Sol. found (all assignments made)... 45.69 c Sol. found (all assignments made)... 45.70 c Sol. found (all assignments made)... 45.71 c Sol. found (all assignments made)... 45.72 c Sol. found (all assignments made)... 45.72 c Sol. found (all assignments made)... 45.74 c Sol. found (all assignments made)... 45.76 c Sol. found (all assignments made)... 45.77 c Sol. found (all assignments made)... 45.78 c Sol. found (all assignments made)... 45.78 c Sol. found (all assignments made)... 45.85 c Sol. found (all assignments made)... 45.85 c Sol. found (all assignments made)... 45.87 c Sol. found (all assignments made)... 45.87 c Sol. found (all assignments made)... 45.89 c Sol. found (all assignments made)... 45.94 c Sol. found (all assignments made)... 45.94 c Sol. found (all assignments made)... 45.95 c Sol. found (all assignments made)... 45.96 c Sol. found (all assignments made)... 45.97 c Sol. found (all assignments made)... 46.01 c Sol. found (all assignments made)... 46.05 c Sol. found (all assignments made)... 46.10 c Sol. found (all assignments made)... 46.12 c Sol. found (all assignments made)... 46.14 c Sol. found (all assignments made)... 46.14 c Sol. found (all assignments made)... 46.15 c Sol. found (all assignments made)... 46.15 c Sol. found (all assignments made)... 46.18 c Sol. found (all assignments made)... 46.22 c Sol. found (all assignments made)... 46.26 c Sol. found (all assignments made)... 46.30 c Sol. found (all assignments made)... 46.30 c Sol. found (all assignments made)... 46.32 c Sol. found (all assignments made)... 46.33 c Sol. found (all assignments made)... 46.33 c Sol. found (all assignments made)... 46.37 c Sol. found (all assignments made)... 46.38 c Sol. found (all assignments made)... 46.39 c Sol. found (all assignments made)... 46.40 c Sol. found (all assignments made)... 46.41 c Sol. found (all assignments made)... 46.41 c Sol. found (all assignments made)... 46.42 c Sol. found (all assignments made)... 46.43 c Sol. found (all assignments made)... 46.43 c Sol. found (all assignments made)... 46.45 c Sol. found (all assignments made)... 46.47 c Sol. found (all assignments made)... 46.47 c Sol. found (all assignments made)... 46.49 c Sol. found (all assignments made)... 46.54 c Sol. found (all assignments made)... 46.60 c Sol. found (all assignments made)... 46.61 c Sol. found (all assignments made)... 46.61 c Sol. found (all assignments made)... 46.63 c Sol. found (all assignments made)... 46.63 c Sol. found (all assignments made)... 46.66 c Sol. found (all assignments made)... 46.66 c Sol. found (all assignments made)... 46.68 c Sol. found (all assignments made)... 46.69 c Sol. found (all assignments made)... 46.69 c Sol. found (all assignments made)... 46.70 c Sol. found (all assignments made)... 46.73 c Sol. found (all assignments made)... 46.88 c Sol. found (all assignments made)... 47.29 c Sol. found (all assignments made)... 47.34 c Sol. found (all assignments made)... 47.35 c Sol. found (all assignments made)... 47.38 c Sol. found (all assignments made)... 47.42 c Sol. found (all assignments made)... 47.47 c Sol. found (all assignments made)... 47.48 c Sol. found (all assignments made)... 47.52 c Sol. found (all assignments made)... 47.53 c Sol. found (all assignments made)... 47.54 c Sol. found (all assignments made)... 47.57 c Sol. found (all assignments made)... 47.57 c Sol. found (all assignments made)... 47.60 c Sol. found (all assignments made)... 47.63 c Sol. found (all assignments made)... 47.65 c Sol. found (all assignments made)... 47.67 c Sol. found (all assignments made)... 47.71 c Sol. found (all assignments made)... 47.74 c Sol. found (all assignments made)... 47.74 c Sol. found (all assignments made)... 47.76 c Sol. found (all assignments made)... 47.79 c Sol. found (all assignments made)... 47.81 c Sol. found (all assignments made)... 47.83 c Sol. found (all assignments made)... 47.85 c Sol. found (all assignments made)... 47.86 c Sol. found (all assignments made)... 47.89 c Sol. found (all assignments made)... 47.89 c Sol. found (all assignments made)... 47.90 c Sol. found (all assignments made)... 47.98 c Sol. found (all assignments made)... 48.01 c Sol. found (all assignments made)... 48.03 c Sol. found (all assignments made)... 48.08 c Sol. found (all assignments made)... 48.15 c Sol. found (all assignments made)... 48.22 c Sol. found (all assignments made)... 48.24 c Sol. found (all assignments made)... 48.37 c Sol. found (all assignments made)... 48.39 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.48 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.53 c Sol. found (all assignments made)... 48.67 c Sol. found (all assignments made)... 48.69 c Sol. found (all assignments made)... 48.72 c Sol. found (all assignments made)... 48.78 c Sol. found (all assignments made)... 48.83 c Sol. found (all assignments made)... 48.85 c Sol. found (all assignments made)... 48.89 c Sol. found (all assignments made)... 48.90 c Sol. found (all assignments made)... 48.94 c Sol. found (all assignments made)... 48.95 c Sol. found (all assignments made)... 49.00 c Restart #32 #Var: 1418 LB: 0 @ 48.974 56.00 c Restart #33 #Var: 1418 LB: 0 @ 55.971 56.58 c Sol. found (all assignments made)... 56.59 c Sol. found (all assignments made)... 56.60 c Sol. found (all assignments made)... 56.61 c Sol. found (all assignments made)... 56.62 c Sol. found (all assignments made)... 56.65 c Sol. found (all assignments made)... 56.66 c Sol. found (all assignments made)... 56.67 c Sol. found (all assignments made)... 56.70 c Sol. found (all assignments made)... 56.70 c Sol. found (all assignments made)... 56.71 c Sol. found (all assignments made)... 56.72 c Sol. found (all assignments made)... 56.73 c Sol. found (all assignments made)... 56.74 c Sol. found (all assignments made)... 56.75 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.80 c Sol. found (all assignments made)... 56.84 c Sol. found (all assignments made)... 56.89 c Sol. found (all assignments made)... 56.89 c Sol. found (all assignments made)... 56.91 c Sol. found (all assignments made)... 57.06 c Sol. found (all assignments made)... 57.07 c Sol. found (all assignments made)... 57.08 c Sol. found (all assignments made)... 57.12 c Sol. found (all assignments made)... 57.13 c Sol. found (all assignments made)... 57.36 c Sol. found (all assignments made)... 57.36 o 9053587 57.36 c NEW SOLUTION FOUND: 9053587 @ 57.326 57.36 c Sol. found (all assignments made)... 57.90 c Sol. found (all assignments made)... 57.90 o 9034539 57.90 c NEW SOLUTION FOUND: 9034539 @ 57.868 57.91 c Sol. found (all assignments made)... 57.91 c Sol. found (all assignments made)... 57.93 c Sol. found (all assignments made)... 57.94 c Sol. found (all assignments made)... 57.95 c Sol. found (all assignments made)... 58.06 c Sol. found (all assignments made)... 58.07 c Sol. found (all assignments made)... 58.08 c Sol. found (all assignments made)... 58.09 c Sol. found (all assignments made)... 58.10 c Sol. found (all assignments made)... 58.11 c Sol. found (all assignments made)... 58.12 c Sol. found (all assignments made)... 58.13 c Sol. found (all assignments made)... 58.14 c Sol. found (all assignments made)... 58.15 c Sol. found (all assignments made)... 58.16 c Sol. found (all assignments made)... 58.20 c Sol. found (all assignments made)... 58.21 c Sol. found (all assignments made)... 58.22 c Sol. found (all assignments made)... 58.23 c Sol. found (all assignments made)... 58.24 c Sol. found (all assignments made)... 58.24 c Sol. found (all assignments made)... 58.25 c Sol. found (all assignments made)... 58.30 c Sol. found (all assignments made)... 58.31 c Sol. found (all assignments made)... 58.31 o 9034515 58.31 c NEW SOLUTION FOUND: 9034515 @ 58.274 58.31 c Sol. found (all assignments made)... 58.35 c Sol. found (all assignments made)... 58.38 c Sol. found (all assignments made)... 58.40 c Sol. found (all assignments made)... 58.40 c Sol. found (all assignments made)... 58.42 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.46 c Sol. found (all assignments made)... 58.47 c Sol. found (all assignments made)... 58.55 c Sol. found (all assignments made)... 58.57 c Sol. found (all assignments made)... 58.57 c Sol. found (all assignments made)... 58.59 c Sol. found (all assignments made)... 58.71 c Sol. found (all assignments made)... 58.73 c Sol. found (all assignments made)... 58.74 c Sol. found (all assignments made)... 58.74 c Sol. found (all assignments made)... 58.75 c Sol. found (all assignments made)... 58.75 o 9034507 58.75 c NEW SOLUTION FOUND: 9034507 @ 58.718 58.78 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.79 c Sol. found (all assignments made)... 58.80 c Sol. found (all assignments made)... 58.81 c Sol. found (all assignments made)... 58.90 c Sol. found (all assignments made)... 58.92 c Sol. found (all assignments made)... 58.95 c Sol. found (all assignments made)... 58.96 c Sol. found (all assignments made)... 59.04 c Sol. found (all assignments made)... 59.06 c Sol. found (all assignments made)... 59.12 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.14 c Sol. found (all assignments made)... 59.14 o 8958355 59.14 c NEW SOLUTION FOUND: 8958355 @ 59.108 59.14 c Sol. found (all assignments made)... 59.19 c Sol. found (all assignments made)... 59.19 c Sol. found (all assignments made)... 59.19 c Sol. found (all assignments made)... 59.19 c Sol. found (all assignments made)... 59.23 c Sol. found (all assignments made)... 60.12 c Sol. found (all assignments made)... 60.12 c Sol. found (all assignments made)... 60.15 c Sol. found (all assignments made)... 60.19 c Sol. found (all assignments made)... 60.20 c Sol. found (all assignments made)... 60.20 c Sol. found (all assignments made)... 61.53 c Sol. found (all assignments made)... 61.53 c Sol. found (all assignments made)... 61.64 c Sol. found (all assignments made)... 63.85 c Sol. found (all assignments made)... 63.91 c Sol. found (all assignments made)... 66.16 c Restart #34 #Var: 1418 LB: 0 @ 66.125 67.78 c Sol. found (all assignments made)... 67.78 o 4538062 67.78 c NEW SOLUTION FOUND: 4538062 @ 67.75 67.79 c Sol. found (all assignments made)... 67.81 c Sol. found (all assignments made)... 67.81 c Sol. found (all assignments made)... 67.84 c Sol. found (all assignments made)... 67.84 o 4535269 67.84 c NEW SOLUTION FOUND: 4535269 @ 67.809 67.85 c Sol. found (all assignments made)... 67.85 c Sol. found (all assignments made)... 67.85 o 4535101 67.85 c NEW SOLUTION FOUND: 4535101 @ 67.817 67.85 c Sol. found (all assignments made)... 67.85 o 4535045 67.85 c NEW SOLUTION FOUND: 4535045 @ 67.82 67.86 c Sol. found (all assignments made)... 67.86 o 4535038 67.86 c NEW SOLUTION FOUND: 4535038 @ 67.824 67.86 c Sol. found (all assignments made)... 67.87 c Sol. found (all assignments made)... 67.87 o 4534982 67.87 c NEW SOLUTION FOUND: 4534982 @ 67.835 67.87 c Sol. found (all assignments made)... 67.87 o 4534926 67.87 c NEW SOLUTION FOUND: 4534926 @ 67.838 67.88 c Sol. found (all assignments made)... 67.88 c Sol. found (all assignments made)... 67.88 c Sol. found (all assignments made)... 67.88 o 4534541 67.88 c NEW SOLUTION FOUND: 4534541 @ 67.85 67.89 c Sol. found (all assignments made)... 67.89 o 4534485 67.89 c NEW SOLUTION FOUND: 4534485 @ 67.853 67.89 c Sol. found (all assignments made)... 67.89 o 4534478 67.89 c NEW SOLUTION FOUND: 4534478 @ 67.857 67.89 c Sol. found (all assignments made)... 67.91 c Sol. found (all assignments made)... 67.91 o 4475774 67.91 c NEW SOLUTION FOUND: 4475774 @ 67.877 67.92 c Sol. found (all assignments made)... 67.92 o 4475718 67.92 c NEW SOLUTION FOUND: 4475718 @ 67.881 67.92 c Sol. found (all assignments made)... 67.92 o 4475711 67.92 c NEW SOLUTION FOUND: 4475711 @ 67.889 67.93 c Sol. found (all assignments made)... 67.94 c Sol. found (all assignments made)... 67.94 o 4475655 67.94 c NEW SOLUTION FOUND: 4475655 @ 67.9 67.94 c Sol. found (all assignments made)... 67.94 o 4475599 67.94 c NEW SOLUTION FOUND: 4475599 @ 67.903 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 4472190 67.95 c NEW SOLUTION FOUND: 4472190 @ 67.915 67.95 c Sol. found (all assignments made)... 67.95 o 4472134 67.95 c NEW SOLUTION FOUND: 4472134 @ 67.919 67.96 c Sol. found (all assignments made)... 67.96 o 4472127 67.96 c NEW SOLUTION FOUND: 4472127 @ 67.928 67.97 c Sol. found (all assignments made)... 67.97 c Sol. found (all assignments made)... 67.97 o 4472071 67.97 c NEW SOLUTION FOUND: 4472071 @ 67.935 67.97 c Sol. found (all assignments made)... 67.97 o 4472015 67.97 c NEW SOLUTION FOUND: 4472015 @ 67.938 67.98 c Sol. found (all assignments made)... 67.98 c Sol. found (all assignments made)... 68.06 c Sol. found (all assignments made)... 68.06 o 4471294 68.06 c NEW SOLUTION FOUND: 4471294 @ 68.021 68.06 c Sol. found (all assignments made)... 68.06 o 4471238 68.06 c NEW SOLUTION FOUND: 4471238 @ 68.025 68.07 c Sol. found (all assignments made)... 68.07 o 4471231 68.07 c NEW SOLUTION FOUND: 4471231 @ 68.034 68.07 c Sol. found (all assignments made)... 68.08 c Sol. found (all assignments made)... 68.08 o 4471175 68.08 c NEW SOLUTION FOUND: 4471175 @ 68.042 68.08 c Sol. found (all assignments made)... 68.08 o 4471119 68.08 c NEW SOLUTION FOUND: 4471119 @ 68.044 68.08 c Sol. found (all assignments made)... 68.09 c Sol. found (all assignments made)... 68.19 c Sol. found (all assignments made)... 68.19 c Sol. found (all assignments made)... 68.19 o 4471112 68.19 c NEW SOLUTION FOUND: 4471112 @ 68.156 68.19 c Sol. found (all assignments made)... 68.19 o 4471105 68.19 c NEW SOLUTION FOUND: 4471105 @ 68.159 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.21 c Sol. found (all assignments made)... 68.22 c Sol. found (all assignments made)... 68.42 c Sol. found (all assignments made)... 68.42 o 4470846 68.42 c NEW SOLUTION FOUND: 4470846 @ 68.383 68.42 c Sol. found (all assignments made)... 68.42 o 4470790 68.42 c NEW SOLUTION FOUND: 4470790 @ 68.386 68.43 c Sol. found (all assignments made)... 68.43 o 4470783 68.43 c NEW SOLUTION FOUND: 4470783 @ 68.394 68.43 c Sol. found (all assignments made)... 68.44 c Sol. found (all assignments made)... 68.44 o 4470727 68.44 c NEW SOLUTION FOUND: 4470727 @ 68.404 68.44 c Sol. found (all assignments made)... 68.44 o 4470671 68.44 c NEW SOLUTION FOUND: 4470671 @ 68.407 68.44 c Sol. found (all assignments made)... 68.45 c Sol. found (all assignments made)... 68.50 c Sol. found (all assignments made)... 68.50 o 4470398 68.50 c NEW SOLUTION FOUND: 4470398 @ 68.463 68.50 c Sol. found (all assignments made)... 68.50 o 4470342 68.50 c NEW SOLUTION FOUND: 4470342 @ 68.467 68.51 c Sol. found (all assignments made)... 68.51 o 4470335 68.51 c NEW SOLUTION FOUND: 4470335 @ 68.475 68.51 c Sol. found (all assignments made)... 68.52 c Sol. found (all assignments made)... 68.52 o 4470279 68.52 c NEW SOLUTION FOUND: 4470279 @ 68.485 68.52 c Sol. found (all assignments made)... 68.52 o 4470223 68.52 c NEW SOLUTION FOUND: 4470223 @ 68.488 68.53 c Sol. found (all assignments made)... 68.53 c Sol. found (all assignments made)... 68.57 c Sol. found (all assignments made)... 68.57 o 4470062 68.57 c NEW SOLUTION FOUND: 4470062 @ 68.538 68.58 c Sol. found (all assignments made)... 68.58 o 4470006 68.58 c NEW SOLUTION FOUND: 4470006 @ 68.542 68.58 c Sol. found (all assignments made)... 68.58 o 4469999 68.58 c NEW SOLUTION FOUND: 4469999 @ 68.546 68.58 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.64 c Sol. found (all assignments made)... 68.64 o 4469943 68.64 c NEW SOLUTION FOUND: 4469943 @ 68.602 68.64 c Sol. found (all assignments made)... 68.64 o 4469887 68.64 c NEW SOLUTION FOUND: 4469887 @ 68.604 68.64 c Sol. found (all assignments made)... 68.65 c Sol. found (all assignments made)... 68.66 c Sol. found (all assignments made)... 68.66 o 4469838 68.66 c NEW SOLUTION FOUND: 4469838 @ 68.62 68.66 c Sol. found (all assignments made)... 68.66 o 4469782 68.66 c NEW SOLUTION FOUND: 4469782 @ 68.623 68.66 c Sol. found (all assignments made)... 68.66 o 4469775 68.66 c NEW SOLUTION FOUND: 4469775 @ 68.627 68.66 c Sol. found (all assignments made)... 68.68 c Sol. found (all assignments made)... 68.68 o 4469719 68.68 c NEW SOLUTION FOUND: 4469719 @ 68.647 68.68 c Sol. found (all assignments made)... 68.68 o 4469663 68.68 c NEW SOLUTION FOUND: 4469663 @ 68.649 68.69 c Sol. found (all assignments made)... 68.69 c Sol. found (all assignments made)... 68.70 c Sol. found (all assignments made)... 68.70 o 4469614 68.70 c NEW SOLUTION FOUND: 4469614 @ 68.664 68.70 c Sol. found (all assignments made)... 68.70 o 4469558 68.70 c NEW SOLUTION FOUND: 4469558 @ 68.666 68.70 c Sol. found (all assignments made)... 68.70 o 4469551 68.70 c NEW SOLUTION FOUND: 4469551 @ 68.669 68.71 c Sol. found (all assignments made)... 68.82 c Sol. found (all assignments made)... 68.83 c Sol. found (all assignments made)... 68.83 o 4469537 68.83 c NEW SOLUTION FOUND: 4469537 @ 68.793 68.83 c Sol. found (all assignments made)... 68.83 c Sol. found (all assignments made)... 68.86 c Sol. found (all assignments made)... 68.86 o 4451090 68.86 c NEW SOLUTION FOUND: 4451090 @ 68.824 68.86 c Sol. found (all assignments made)... 68.86 o 4388627 68.86 c NEW SOLUTION FOUND: 4388627 @ 68.826 68.88 c Sol. found (all assignments made)... 68.88 c Sol. found (all assignments made)... 68.90 c Sol. found (all assignments made)... 68.90 o 4358930 68.90 c NEW SOLUTION FOUND: 4358930 @ 68.861 68.90 c Sol. found (all assignments made)... 68.90 o 4296467 68.90 c NEW SOLUTION FOUND: 4296467 @ 68.863 69.51 c Sol. found (all assignments made)... 69.51 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.62 c Sol. found (all assignments made)... 69.62 c Sol. found (all assignments made)... 70.00 c Sol. found (all assignments made)... 70.01 c Sol. found (all assignments made)... 70.05 c Sol. found (all assignments made)... 70.05 c Sol. found (all assignments made)... 70.19 c Sol. found (all assignments made)... 70.19 c Sol. found (all assignments made)... 70.25 c Sol. found (all assignments made)... 70.25 c Sol. found (all assignments made)... 70.37 c Sol. found (all assignments made)... 70.37 c Sol. found (all assignments made)... 70.42 c Sol. found (all assignments made)... 70.42 c Sol. found (all assignments made)... 70.48 c Sol. found (all assignments made)... 70.48 c Sol. found (all assignments made)... 70.54 c Sol. found (all assignments made)... 70.54 c Sol. found (all assignments made)... 70.74 c Sol. found (all assignments made)... 70.74 c Sol. found (all assignments made)... 70.77 c Sol. found (all assignments made)... 70.78 c Sol. found (all assignments made)... 70.89 c Sol. found (all assignments made)... 70.89 c Sol. found (all assignments made)... 70.93 c Sol. found (all assignments made)... 70.93 c Sol. found (all assignments made)... 71.03 c Sol. found (all assignments made)... 71.03 c Sol. found (all assignments made)... 71.26 c Sol. found (all assignments made)... 71.26 c Sol. found (all assignments made)... 71.27 c Sol. found (all assignments made)... 71.34 c Sol. found (all assignments made)... 71.34 c Sol. found (all assignments made)... 71.39 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.42 c Sol. found (all assignments made)... 71.46 c Sol. found (all assignments made)... 71.46 c Sol. found (all assignments made)... 71.47 c Sol. found (all assignments made)... 71.50 c Sol. found (all assignments made)... 71.50 c Sol. found (all assignments made)... 71.53 c Sol. found (all assignments made)... 71.54 c Sol. found (all assignments made)... 71.54 c Sol. found (all assignments made)... 71.61 c Sol. found (all assignments made)... 71.62 c Sol. found (all assignments made)... 71.62 c Sol. found (all assignments made)... 71.63 c Sol. found (all assignments made)... 71.63 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.80 c Sol. found (all assignments made)... 71.80 c Sol. found (all assignments made)... 71.83 c Sol. found (all assignments made)... 71.83 c Sol. found (all assignments made)... 71.87 c Sol. found (all assignments made)... 71.87 c Sol. found (all assignments made)... 71.88 c Sol. found (all assignments made)... 71.88 c Sol. found (all assignments made)... 71.89 c Sol. found (all assignments made)... 71.93 c Sol. found (all assignments made)... 71.93 c Sol. found (all assignments made)... 71.97 c Sol. found (all assignments made)... 71.97 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.01 c Sol. found (all assignments made)... 72.01 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.05 c Sol. found (all assignments made)... 72.12 c Sol. found (all assignments made)... 72.12 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.17 c Sol. found (all assignments made)... 72.17 c Sol. found (all assignments made)... 72.46 c Sol. found (all assignments made)... 72.58 c Sol. found (all assignments made)... 72.66 c Sol. found (all assignments made)... 72.71 c Sol. found (all assignments made)... 72.71 c Sol. found (all assignments made)... 72.71 c Sol. found (all assignments made)... 72.73 c Sol. found (all assignments made)... 72.73 c Sol. found (all assignments made)... 72.76 c Sol. found (all assignments made)... 72.76 c Sol. found (all assignments made)... 72.77 c Sol. found (all assignments made)... 72.77 c Sol. found (all assignments made)... 72.80 c Sol. found (all assignments made)... 72.81 c Sol. found (all assignments made)... 72.82 c Sol. found (all assignments made)... 72.83 c Sol. found (all assignments made)... 72.83 c Sol. found (all assignments made)... 72.88 c Sol. found (all assignments made)... 72.88 c Sol. found (all assignments made)... 72.91 c Sol. found (all assignments made)... 72.91 c Sol. found (all assignments made)... 72.91 c Sol. found (all assignments made)... 72.92 c Sol. found (all assignments made)... 72.92 c Sol. found (all assignments made)... 72.94 c Sol. found (all assignments made)... 72.95 c Sol. found (all assignments made)... 72.98 c Sol. found (all assignments made)... 72.99 c Sol. found (all assignments made)... 73.00 c Sol. found (all assignments made)... 73.00 c Sol. found (all assignments made)... 73.00 c Sol. found (all assignments made)... 73.21 c Restart #35 #Var: 1418 LB: 0 @ 73.169 74.35 c Restart #36 #Var: 1418 LB: 0 @ 74.314 78.44 c Restart #37 #Var: 1418 LB: 0 @ 78.398 81.55 c Restart #38 #Var: 1418 LB: 0 @ 81.512 81.95 c Sol. found (all assignments made)... 81.96 c Sol. found (all assignments made)... 81.97 c Sol. found (all assignments made)... 81.98 c Sol. found (all assignments made)... 82.03 c Sol. found (all assignments made)... 82.04 c Sol. found (all assignments made)... 82.05 c Sol. found (all assignments made)... 82.07 c Sol. found (all assignments made)... 82.23 c Sol. found (all assignments made)... 82.24 c Sol. found (all assignments made)... 82.25 c Sol. found (all assignments made)... 82.25 c Sol. found (all assignments made)... 82.31 c Sol. found (all assignments made)... 82.32 c Sol. found (all assignments made)... 82.33 c Sol. found (all assignments made)... 82.34 c Sol. found (all assignments made)... 82.57 c Sol. found (all assignments made)... 82.59 c Sol. found (all assignments made)... 82.60 c Sol. found (all assignments made)... 82.62 c Sol. found (all assignments made)... 82.64 c Sol. found (all assignments made)... 82.65 c Sol. found (all assignments made)... 82.66 c Sol. found (all assignments made)... 82.67 c Sol. found (all assignments made)... 82.72 c Sol. found (all assignments made)... 82.73 c Sol. found (all assignments made)... 82.75 c Sol. found (all assignments made)... 82.76 c Sol. found (all assignments made)... 82.81 c Sol. found (all assignments made)... 82.81 c Sol. found (all assignments made)... 83.02 c Sol. found (all assignments made)... 83.08 c Sol. found (all assignments made)... 83.10 c Sol. found (all assignments made)... 83.19 c Sol. found (all assignments made)... 83.22 c Sol. found (all assignments made)... 83.23 c Sol. found (all assignments made)... 83.30 c Sol. found (all assignments made)... 83.32 c Sol. found (all assignments made)... 83.33 c Sol. found (all assignments made)... 83.47 c Sol. found (all assignments made)... 83.49 c Sol. found (all assignments made)... 83.50 c Sol. found (all assignments made)... 83.53 c Sol. found (all assignments made)... 83.55 c Sol. found (all assignments made)... 83.57 c Sol. found (all assignments made)... 83.63 c Sol. found (all assignments made)... 83.65 c CHANGE to MIS mode... UB: 4296467 MIS: 28 LPR: -2147483648 (0) Diff: -1.3039e-08 83.65 c Restart #0 #Var: 1418 LB: 0 @ 83.61 84.00 c Restart #1 #Var: 1418 LB: 28 @ 83.961 84.40 c Restart #2 #Var: 1418 LB: 28 @ 84.354 85.31 c Restart #3 #Var: 1418 LB: 28 @ 85.262 87.02 c Restart #4 #Var: 1418 LB: 28 @ 86.976 88.69 c Restart #5 #Var: 1418 LB: 28 @ 88.647 90.95 c Restart #6 #Var: 1418 LB: 28 @ 90.905 94.99 c Restart #7 #Var: 1418 LB: 28 @ 94.948 97.95 c Restart #8 #Var: 1418 LB: 28 @ 97.908 101.27 c Restart #9 #Var: 1418 LB: 28 @ 101.23 105.20 c Restart #10 #Var: 1418 LB: 28 @ 105.16 109.12 c Restart #11 #Var: 1418 LB: 28 @ 109.07 115.61 c Restart #12 #Var: 1418 LB: 28 @ 115.56 116.31 c Restart #13 #Var: 1418 LB: 28 @ 116.26 121.90 c Restart #14 #Var: 1418 LB: 28 @ 121.84 127.65 c Restart #15 #Var: 1418 LB: 28 @ 127.59 131.00 c Restart #16 #Var: 1418 LB: 28 @ 130.94 132.02 c Restart #17 #Var: 1418 LB: 28 @ 131.96 138.89 c Restart #18 #Var: 1418 LB: 28 @ 138.83 140.31 c Restart #19 #Var: 1418 LB: 28 @ 140.25 150.11 c Restart #20 #Var: 1418 LB: 28 @ 150.05 160.49 c Restart #21 #Var: 1418 LB: 28 @ 160.43 169.72 c Restart #22 #Var: 1418 LB: 28 @ 169.65 179.84 c Restart #23 #Var: 1418 LB: 28 @ 179.77 192.63 c Restart #24 #Var: 1418 LB: 28 @ 192.56 209.83 c Restart #25 #Var: 1418 LB: 28 @ 209.76 215.56 c Restart #26 #Var: 1418 LB: 28 @ 215.48 218.45 c Restart #27 #Var: 1418 LB: 28 @ 218.37 219.95 c Restart #28 #Var: 1418 LB: 28 @ 219.88 225.55 c Restart #29 #Var: 1418 LB: 28 @ 225.47 227.25 c Restart #30 #Var: 1418 LB: 0 @ 227.17 231.82 c Restart #31 #Var: 1418 LB: 28 @ 231.74 235.06 c Restart #32 #Var: 1418 LB: 28 @ 234.98 243.62 c Restart #33 #Var: 1418 LB: 28 @ 243.54 257.95 c Restart #34 #Var: 1418 LB: 28 @ 257.86 264.18 c Restart #35 #Var: 1418 LB: 28 @ 264.09 268.78 c Restart #36 #Var: 1418 LB: 28 @ 268.69 287.27 c Restart #37 #Var: 1418 LB: 28 @ 287.18 291.82 c Restart #38 #Var: 1418 LB: 28 @ 291.72 310.58 c Restart #39 #Var: 1418 LB: 28 @ 310.48 312.57 c Restart #40 #Var: 1418 LB: 28 @ 312.47 325.00 c Restart #41 #Var: 1418 LB: 28 @ 324.9 340.78 c Restart #42 #Var: 1418 LB: 28 @ 340.67 346.18 c Restart #43 #Var: 1418 LB: 28 @ 346.07 368.75 c Restart #44 #Var: 1418 LB: 0 @ 368.63 382.53 c Restart #45 #Var: 1418 LB: 28 @ 382.41 385.40 c Restart #46 #Var: 1418 LB: 28 @ 385.28 391.61 c Restart #47 #Var: 1418 LB: 28 @ 391.49 410.15 c Restart #48 #Var: 1418 LB: 28 @ 410.02 428.07 c Restart #49 #Var: 1418 LB: 28 @ 427.94 433.17 c Restart #50 #Var: 1418 LB: 28 @ 433.04 454.46 c Restart #51 #Var: 1418 LB: 28 @ 454.32 480.20 c Restart #52 #Var: 1418 LB: 0 @ 480.06 502.66 c Restart #53 #Var: 1418 LB: 28 @ 502.46 546.18 c Restart #54 #Var: 1418 LB: 28 @ 545.97 573.61 c Restart #55 #Var: 1418 LB: 28 @ 573.39 587.79 c Restart #56 #Var: 1418 LB: 0 @ 587.57 601.97 c Restart #57 #Var: 1418 LB: 28 @ 601.74 623.00 c Restart #58 #Var: 1418 LB: 28 @ 622.76 641.69 c Restart #59 #Var: 1418 LB: 28 @ 641.46 655.93 c Restart #60 #Var: 1418 LB: 28 @ 655.69 660.43 c Restart #61 #Var: 1418 LB: 28 @ 660.19 684.68 c Restart #62 #Var: 1418 LB: 28 @ 684.44 689.97 c Restart #63 #Var: 1418 LB: 28 @ 689.72 706.95 c Restart #64 #Var: 1418 LB: 0 @ 706.7 726.82 c Restart #65 #Var: 1418 LB: 0 @ 726.57 747.57 c Restart #66 #Var: 1418 LB: 28 @ 747.31 765.87 c Restart #67 #Var: 1418 LB: 28 @ 765.6 788.66 c Restart #68 #Var: 1418 LB: 28 @ 788.39 820.59 c Restart #69 #Var: 1418 LB: 28 @ 820.31 848.01 c Restart #70 #Var: 1418 LB: 28 @ 847.73 854.26 c Restart #71 #Var: 1418 LB: 28 @ 853.97 880.68 c Restart #72 #Var: 1418 LB: 0 @ 880.39 884.73 c Restart #73 #Var: 1418 LB: 0 @ 884.43 901.32 c Restart #74 #Var: 1418 LB: 0 @ 901.03 913.94 c Restart #75 #Var: 1418 LB: 0 @ 913.64 929.30 c Restart #76 #Var: 1418 LB: 28 @ 929 937.93 c Restart #77 #Var: 1418 LB: 0 @ 937.62 966.04 c Restart #78 #Var: 1418 LB: 28 @ 965.72 996.95 c Restart #79 #Var: 1418 LB: 0 @ 996.63 1037.37 c Restart #80 #Var: 1418 LB: 0 @ 1037 1059.24 c Restart #81 #Var: 1418 LB: 0 @ 1058.9 1083.60 c Restart #82 #Var: 1418 LB: 28 @ 1083.3 1106.81 c Restart #83 #Var: 1418 LB: 0 @ 1106.5 1149.08 c Restart #84 #Var: 1418 LB: 28 @ 1148.7 1153.76 c Restart #85 #Var: 1418 LB: 28 @ 1153.4 1207.72 c Restart #86 #Var: 1418 LB: 28 @ 1207.3 1248.67 c Restart #87 #Var: 1418 LB: 28 @ 1248.3 1328.06 c Restart #88 #Var: 1418 LB: 28 @ 1327.7 1362.98 c Restart #89 #Var: 1418 LB: 0 @ 1362.6 1426.41 c Restart #90 #Var: 1418 LB: 0 @ 1426 1455.71 c Restart #91 #Var: 1418 LB: 0 @ 1455.3 1544.74 c Restart #92 #Var: 1418 LB: 28 @ 1544.3 1581.13 c Restart #93 #Var: 1418 LB: 0 @ 1580.7 1697.81 c Restart #94 #Var: 1418 LB: 0 @ 1697.3 1763.55 c Restart #95 #Var: 1418 LB: 28 @ 1763 1790.35 c Restart #96 #Var: 1418 LB: 28 @ 1789.8 1800.52 s SATISFIABLE 1800.52 c Cost: 4296467 1800.52 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 -x29 -x30 -x31 1800.52 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.52 v -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.52 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.52 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.52 v x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1800.52 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1351 x1352 x1353 x1354 x1355 1800.52 v x1356 x1357 x1358 x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 1800.52 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1800.52 v x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.52 v -x1708 -x1709 -x1710 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 1800.52 v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2341 1800.52 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 1800.52 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 -x2674 -x2675 1800.52 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.52 v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 1800.52 v -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 -x100 1800.52 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 1800.52 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 1800.52 v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 1800.52 v -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 1800.52 v -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 1800.52 v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 1800.52 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 1800.52 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 1800.52 v -x269 -x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1800.52 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.52 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 1800.52 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 1800.52 v -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.52 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.52 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.52 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.52 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.52 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.52 v x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.52 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1800.52 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.52 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.52 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.52 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 x633 x634 x635 x636 x637 1800.52 v x638 x639 x640 x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.52 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1800.52 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 1800.52 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 1800.52 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 1800.52 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 1800.52 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 x813 x814 x815 1800.52 v -x816 x817 x818 x819 x820 x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 1800.52 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 1800.52 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1800.52 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 1800.52 v -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 1800.52 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 1800.52 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 1800.52 v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 1800.52 v -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 1800.52 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 1800.52 v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 1800.52 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 x1084 -x1085 x1086 1800.52 v x1087 x1088 x1089 x1090 x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 1800.52 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 -x1123 1800.52 v -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 1800.52 v x1141 -x1142 x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.52 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.52 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.52 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.52 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.52 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.52 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.52 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.52 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.52 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.52 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.52 v -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.52 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 1800.52 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.52 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.52 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 1800.52 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 1800.52 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1800.52 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 1800.52 v -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 1800.52 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 1800.52 v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1800.52 v -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 1800.52 v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 1800.52 v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1800.52 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 1800.52 v -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1800.52 v x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 1800.52 v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1800.52 v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 1800.52 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 1800.52 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 1800.52 v -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 1800.52 v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 x1772 x1773 x1774 x1775 x1776 x1777 x1778 x1779 x1780 x1781 x1782 1800.52 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 1800.52 v -x1800 x1801 x1802 x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1800.52 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 x1834 x1835 1800.52 v x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1800.52 v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1800.52 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1800.52 v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 x1895 x1896 -x1897 x1898 x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1800.52 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 1800.52 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.52 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.52 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1800.52 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1800.52 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1800.52 v -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1800.52 v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1800.52 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.52 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1800.52 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.52 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 1800.52 v -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 1800.52 v -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 1800.52 v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 1800.52 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1800.52 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 1800.52 v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 1800.52 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 1800.52 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1800.52 v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 1800.52 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1800.52 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 x2322 x2323 x2324 -x2325 -x2326 -x2327 1800.52 v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 1800.52 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.52 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 1800.52 v -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1800.52 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 1800.52 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1800.52 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 1800.52 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 1800.52 v -x2495 -x2496 x2497 x2498 x2499 x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1800.52 v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 1800.52 v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 1800.52 v -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 1800.52 v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 1800.52 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1800.52 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1800.52 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1800.52 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1800.52 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1800.52 v -x2668 -x2669 -x2670 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 1800.52 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 1800.52 v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 1800.52 v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 x2763 x2764 x2765 x2766 1800.52 v x2767 x2768 x2769 x2770 x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 1800.52 v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 x2793 x2794 x2795 x2796 x2797 x2798 x2799 x2800 x2801 -x2802 x2803 1800.52 v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 1800.52 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 1800.52 v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 1800.52 v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 1800.52 v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 1800.52 v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 1800.52 v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 1800.52 v -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 1800.52 v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 1800.52 v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 1800.52 v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 1800.52 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3013 -x3024 x3035 x3046 x3057 x3068 1800.52 v -x3079 -x3090 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 x3011 -x3012 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 1800.52 v -x3020 -x3021 x3022 -x3023 -x3025 -x3026 x3027 x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 x3037 x3038 x3039 1800.52 v -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3058 -x3059 1800.52 v x3060 x3061 x3062 -x3063 x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 1800.52 v -x3080 x3081 -x3082 -x3083 x3084 x3085 x3086 x3087 -x3088 -x3089 x3091 x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.52 v -x3100 1800.52 c Exit Code: 10 1800.52 c Total time: 1800 s
OK 4296467
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/node25/watcher-40539-1149303183 -o ROOT/results/node25/solver-40539-1149303183 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/40539-1149303183/instance-40539-1149303183.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 15858 /proc/meminfo: memFree=1612376/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=3436 CPUtime=0 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 66 0 0 0 0 0 0 0 18 0 1 0 195981679 3518464 48 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3727108 0 0 4096 0 0 0 0 17 1 0 0 /proc/15858/statm: 1152 50 37 55 0 42 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.95 0.90 2/64 15858 /proc/meminfo: memFree=1607832/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=9052 CPUtime=9.98 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 1510 0 0 0 994 4 0 0 25 0 1 0 195981679 9269248 1425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2263 1425 297 55 0 1155 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9052 [startup+20.0098 s] /proc/loadavg: 0.94 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1607640/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=9316 CPUtime=19.98 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 1559 0 0 0 1992 6 0 0 25 0 1 0 195981679 9539584 1474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2329 1474 297 55 0 1221 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 9316 [startup+30.0157 s] /proc/loadavg: 0.95 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1606360/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10528 CPUtime=29.98 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2028 0 0 0 2992 6 0 0 25 0 1 0 195981679 10780672 1796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4198092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2632 1796 298 55 0 1524 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 10528 [startup+40.0216 s] /proc/loadavg: 0.95 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1605848/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10956 CPUtime=39.99 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2168 0 0 0 3992 7 0 0 25 0 1 0 195981679 11218944 1892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2739 1892 298 55 0 1631 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 10956 [startup+50.0275 s] /proc/loadavg: 0.96 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1606104/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10568 CPUtime=49.99 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2228 0 0 0 4992 7 0 0 25 0 1 0 195981679 10821632 1814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2642 1814 298 55 0 1534 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 10568 [startup+60.0334 s] /proc/loadavg: 0.97 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10156 CPUtime=59.99 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2228 0 0 0 5992 7 0 0 25 0 1 0 195981679 10399744 1711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134558032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2539 1711 298 55 0 1431 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 10156 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10156 CPUtime=70 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2265 0 0 0 6992 8 0 0 25 0 1 0 195981679 10399744 1711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2539 1711 298 55 0 1431 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 10156 [startup+80.0453 s] /proc/loadavg: 0.98 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10156 CPUtime=79.99 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2265 0 0 0 7990 9 0 0 25 0 1 0 195981679 10399744 1711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2539 1711 298 55 0 1431 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 10156 [startup+90.0502 s] /proc/loadavg: 0.98 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10156 CPUtime=89.99 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2265 0 0 0 8989 10 0 0 25 0 1 0 195981679 10399744 1711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2539 1711 298 55 0 1431 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 10156 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10288 CPUtime=100 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2282 0 0 0 9989 11 0 0 25 0 1 0 195981679 10534912 1723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2572 1723 298 55 0 1464 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 10288 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10288 CPUtime=110 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2356 0 0 0 10989 11 0 0 25 0 1 0 195981679 10534912 1733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2572 1733 298 55 0 1464 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 10288 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10264 CPUtime=120 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2364 0 0 0 11989 11 0 0 25 0 1 0 195981679 10510336 1738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2566 1738 298 55 0 1458 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 10264 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10264 CPUtime=130.01 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2364 0 0 0 12989 12 0 0 25 0 1 0 195981679 10510336 1738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2566 1738 298 55 0 1458 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 10264 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10264 CPUtime=140.01 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2364 0 0 0 13989 12 0 0 25 0 1 0 195981679 10510336 1738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2566 1738 298 55 0 1458 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 10264 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1606488/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10264 CPUtime=150.01 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2364 0 0 0 14989 12 0 0 25 0 1 0 195981679 10510336 1738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2566 1738 298 55 0 1458 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 10264 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1605656/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=11168 CPUtime=160.02 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2586 0 0 0 15989 13 0 0 25 0 1 0 195981679 11436032 1945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2792 1945 298 55 0 1684 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 11168 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1605784/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10756 CPUtime=170.02 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2586 0 0 0 16989 13 0 0 25 0 1 0 195981679 11014144 1861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2689 1861 298 55 0 1581 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 10756 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1605784/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10756 CPUtime=180.03 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2586 0 0 0 17989 14 0 0 25 0 1 0 195981679 11014144 1861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2689 1861 298 55 0 1581 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 10756 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1605784/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10756 CPUtime=190.03 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2586 0 0 0 18989 14 0 0 25 0 1 0 195981679 11014144 1861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2689 1861 298 55 0 1581 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 10756 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1605784/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=10756 CPUtime=200.03 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 2586 0 0 0 19989 14 0 0 25 0 1 0 195981679 11014144 1861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134620467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 2689 1861 298 55 0 1581 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 10756 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 15858 /proc/meminfo: memFree=1605848/2055920 swapFree=4181460/4192956 ################ # More data... # ################ /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 14656 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601824/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1770.51 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 176986 65 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 14656 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601824/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1780.51 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 177986 65 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 14656 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1781.52 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178087 65 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 14656 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1782.52 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178187 65 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 14656 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1783.52 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178287 65 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 14656 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1784.54 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178388 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 14656 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1785.54 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178488 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 14656 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1786.55 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178589 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 14656 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1787.55 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178689 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 14656 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1788.56 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178790 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 14656 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1789.56 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178890 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 14656 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1790.56 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 178990 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 14656 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1791.57 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179091 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 14656 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1792.57 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179191 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 14656 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1793.58 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179292 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 14656 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1794.58 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179392 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 14656 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1795.59 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179493 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 14656 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1796.59 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179593 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 14656 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1797.59 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179693 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 14656 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1798.6 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179794 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 14656 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16053 /proc/meminfo: memFree=1601760/2055920 swapFree=4181460/4192956 [pid=15858] ppid=15856 vsize=14656 CPUtime=1799.6 /proc/15858/stat : 15858 (bsolo) R 15856 15858 15812 0 -1 0 4056 0 0 0 179894 66 0 0 25 0 1 0 195981679 15007744 2836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15858/statm: 3664 2836 298 55 0 2556 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 14656 Child status: 10 Real time (s): 1800.53 CPU time (s): 1800.01 CPU user time (s): 1799.34 CPU system time (s): 0.666898 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (Kb): 14692
Begin job on node25 on Sat Jun 3 02:53:03 UTC 2006 FILE ID= 40539-1149303183 PBS_JOBID= 307471 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-ran10x10a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/40539-1149303183/instance-40539-1149303183.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-40539-1149303183 -o ROOT/results/node25/solver-40539-1149303183 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/40539-1149303183/instance-40539-1149303183.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920 RANDOM SEED= 589816913 /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.236 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.236 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: 1612584 kB Buffers: 22712 kB Cached: 356216 kB SwapCached: 3164 kB Active: 51976 kB Inactive: 335584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1612584 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14728 kB Slab: 41796 kB Committed_AS: 281212 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Sat Jun 3 03:23:04 UTC 2006