Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 356 | 1800.06 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | 2821538067d8c071dc9bd4a000c6d040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 340 |
Best CPU time to get the best result obtained on this benchmark | 1782.81 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 340 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
Number of bits of the biggest sum of numbers | 12 |
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.07 c INFO: OSL Context initialized. 1.57 c Initial problem consists of 2700 variables and 43070 constraints. 2.20 c No problem reductions applied in OPT. instance. 2.20 c preprocess terminated. Elapsed time: 2.138 2.20 c After prepocess the problem consists of 2700 variables and 43070 constraints. 2.20 c Initial Lower Bound: 0 3.85 c Restart #1 #Var: 2700 LB: 0 @ 3.79 6.96 c Restart #2 #Var: 2700 LB: 0 @ 6.9 9.89 c Restart #3 #Var: 2700 LB: 0 @ 9.827 13.21 c Restart #4 #Var: 2700 LB: 0 @ 13.143 15.35 c Restart #5 #Var: 2700 LB: 0 @ 15.278 17.45 c Restart #6 #Var: 2700 LB: 0 @ 17.38 19.96 c Sol. found (all assignments made)... 19.96 o 414 19.96 c NEW SOLUTION FOUND: 414 @ 19.893 19.96 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.97 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 19.98 c Sol. found (all assignments made)... 20.32 c Sol. found (all assignments made)... 20.32 c Sol. found (all assignments made)... 20.32 c Sol. found (all assignments made)... 20.32 c Sol. found (all assignments made)... 20.32 c Sol. found (all assignments made)... 20.32 c Sol. found (all assignments made)... 20.32 c Sol. found (all assignments made)... 20.32 c Sol. found (all assignments made)... 20.36 c Sol. found (all assignments made)... 20.36 o 412 20.36 c NEW SOLUTION FOUND: 412 @ 20.294 20.36 c Sol. found (all assignments made)... 20.36 o 410 20.36 c NEW SOLUTION FOUND: 410 @ 20.295 20.37 c Sol. found (all assignments made)... 20.37 o 408 20.37 c NEW SOLUTION FOUND: 408 @ 20.296 20.37 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.37 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 20.38 c Sol. found (all assignments made)... 22.03 c Restart #7 #Var: 2700 LB: 0 @ 21.964 22.30 c Sol. found (all assignments made)... 22.30 o 396 22.30 c NEW SOLUTION FOUND: 396 @ 22.23 22.30 c Sol. found (all assignments made)... 22.30 o 392 22.30 c NEW SOLUTION FOUND: 392 @ 22.23 22.30 c Sol. found (all assignments made)... 22.30 c Sol. found (all assignments made)... 22.30 c Sol. found (all assignments made)... 22.30 c Sol. found (all assignments made)... 22.34 c Sol. found (all assignments made)... 22.34 c Sol. found (all assignments made)... 22.34 c Sol. found (all assignments made)... 22.34 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.37 c Sol. found (all assignments made)... 22.37 o 390 22.37 c NEW SOLUTION FOUND: 390 @ 22.296 22.37 c Sol. found (all assignments made)... 22.37 o 388 22.37 c NEW SOLUTION FOUND: 388 @ 22.297 22.37 c Sol. found (all assignments made)... 22.37 c Sol. found (all assignments made)... 22.60 c Sol. found (all assignments made)... 22.60 o 386 22.60 c NEW SOLUTION FOUND: 386 @ 22.527 22.60 c Sol. found (all assignments made)... 22.60 c Sol. found (all assignments made)... 22.60 o 380 22.60 c NEW SOLUTION FOUND: 380 @ 22.53 22.60 c Sol. found (all assignments made)... 22.61 c Sol. found (all assignments made)... 22.61 c Sol. found (all assignments made)... 22.61 c Sol. found (all assignments made)... 22.61 c Sol. found (all assignments made)... 22.61 c Sol. found (all assignments made)... 22.61 c Sol. found (all assignments made)... 22.61 c Sol. found (all assignments made)... 22.95 c Sol. found (all assignments made)... 22.95 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 22.96 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.03 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.04 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.86 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 23.87 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.09 c Sol. found (all assignments made)... 24.09 c Sol. found (all assignments made)... 24.10 c Sol. found (all assignments made)... 24.10 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.13 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.14 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.15 c Sol. found (all assignments made)... 24.70 c Restart #8 #Var: 2700 LB: 0 @ 24.627 27.48 c Sol. found (all assignments made)... 27.48 c Sol. found (all assignments made)... 27.49 c Sol. found (all assignments made)... 27.49 c Sol. found (all assignments made)... 27.63 c Sol. found (all assignments made)... 27.63 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.49 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.77 o 372 28.77 c NEW SOLUTION FOUND: 372 @ 28.701 28.77 c Sol. found (all assignments made)... 28.77 o 368 28.77 c NEW SOLUTION FOUND: 368 @ 28.701 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 c Sol. found (all assignments made)... 28.83 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.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.87 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.90 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 c Sol. found (all assignments made)... 29.04 o 362 29.04 c NEW SOLUTION FOUND: 362 @ 28.965 29.04 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 29.06 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.25 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.28 c Sol. found (all assignments made)... 30.30 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 34.26 c Restart #9 #Var: 2700 LB: 0 @ 34.187 35.79 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)... 37.38 c Sol. found (all assignments made)... 37.39 c Sol. found (all assignments made)... 37.50 c Sol. found (all assignments made)... 37.51 c Sol. found (all assignments made)... 37.54 c Sol. found (all assignments made)... 37.56 c Sol. found (all assignments made)... 37.75 c Restart #10 #Var: 2700 LB: 0 @ 37.678 43.09 c Restart #11 #Var: 2700 LB: 0 @ 43.017 45.24 c Sol. found (all assignments made)... 45.24 c Sol. found (all assignments made)... 45.28 c Sol. found (all assignments made)... 45.30 c Sol. found (all assignments made)... 45.78 c Sol. found (all assignments made)... 45.82 c Sol. found (all assignments made)... 47.73 c Restart #12 #Var: 2700 LB: 0 @ 47.653 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.40 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.41 c Sol. found (all assignments made)... 48.42 c Sol. found (all assignments made)... 48.42 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.51 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.52 c Sol. found (all assignments made)... 48.55 c Sol. found (all assignments made)... 48.55 c Sol. found (all assignments made)... 48.56 c Sol. found (all assignments made)... 48.56 c Sol. found (all assignments made)... 48.56 c Sol. found (all assignments made)... 48.56 c Sol. found (all assignments made)... 48.57 c Sol. found (all assignments made)... 48.57 c Sol. found (all assignments made)... 48.57 c Sol. found (all assignments made)... 48.57 c Sol. found (all assignments made)... 48.57 c Sol. found (all assignments made)... 48.57 o 360 48.57 c NEW SOLUTION FOUND: 360 @ 48.498 48.58 c Sol. found (all assignments made)... 48.58 o 358 48.58 c NEW SOLUTION FOUND: 358 @ 48.498 48.58 c Sol. found (all assignments made)... 48.58 c Sol. found (all assignments made)... 48.58 c Sol. found (all assignments made)... 48.58 c Sol. found (all assignments made)... 48.58 o 356 48.58 c NEW SOLUTION FOUND: 356 @ 48.501 48.58 c Sol. found (all assignments made)... 48.58 c Sol. found (all assignments made)... 48.58 c Sol. found (all assignments made)... 48.58 c Sol. found (all assignments made)... 48.58 c Sol. found (all assignments made)... 48.58 c Sol. found (all assignments made)... 48.59 c Sol. found (all assignments made)... 48.59 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.60 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.61 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 48.62 c Sol. found (all assignments made)... 55.03 c Restart #13 #Var: 2700 LB: 0 @ 54.948 62.95 c Restart #14 #Var: 2700 LB: 0 @ 62.867 64.98 c Sol. found (all assignments made)... 65.04 c Sol. found (all assignments made)... 65.04 c Sol. found (all assignments made)... 65.04 c Sol. found (all assignments made)... 65.04 c Sol. found (all assignments made)... 65.05 c Sol. found (all assignments made)... 65.61 c Sol. found (all assignments made)... 65.62 c Sol. found (all assignments made)... 65.70 c Sol. found (all assignments made)... 65.70 c Sol. found (all assignments made)... 65.72 c Sol. found (all assignments made)... 65.72 c Sol. found (all assignments made)... 65.93 c Sol. found (all assignments made)... 65.96 c Sol. found (all assignments made)... 66.25 c Sol. found (all assignments made)... 66.61 c Sol. found (all assignments made)... 66.69 c Sol. found (all assignments made)... 66.70 c Sol. found (all assignments made)... 66.72 c Sol. found (all assignments made)... 66.72 c Sol. found (all assignments made)... 66.73 c Sol. found (all assignments made)... 66.73 c Sol. found (all assignments made)... 66.81 c Sol. found (all assignments made)... 66.81 c Sol. found (all assignments made)... 66.81 c Sol. found (all assignments made)... 66.82 c Sol. found (all assignments made)... 66.84 c Sol. found (all assignments made)... 66.90 c Sol. found (all assignments made)... 66.91 c Sol. found (all assignments made)... 66.91 c Sol. found (all assignments made)... 66.92 c Sol. found (all assignments made)... 66.92 c Sol. found (all assignments made)... 66.94 c Sol. found (all assignments made)... 66.94 c Sol. found (all assignments made)... 66.95 c Sol. found (all assignments made)... 66.95 c Sol. found (all assignments made)... 66.95 c Sol. found (all assignments made)... 66.95 c Sol. found (all assignments made)... 66.96 c Sol. found (all assignments made)... 67.16 c Restart #15 #Var: 2700 LB: 0 @ 67.078 84.18 c Restart #16 #Var: 2700 LB: 0 @ 84.09 222.56 c CHANGE to MIS mode... UB: 356 MIS: 0 LPR: 140 (132.34) Diff: 0 222.56 c Restart #0 #Var: 2700 LB: 0 @ 222.44 223.47 c Restart #1 #Var: 2700 LB: 0 @ 223.35 224.16 c Sol. found (all assignments made)... 224.16 c Sol. found (all assignments made)... 224.17 c Sol. found (all assignments made)... 224.17 c Sol. found (all assignments made)... 224.18 c Sol. found (all assignments made)... 224.18 c Sol. found (all assignments made)... 224.19 c Sol. found (all assignments made)... 224.19 c Sol. found (all assignments made)... 224.84 c Restart #2 #Var: 2700 LB: 0 @ 224.71 226.86 c Restart #3 #Var: 2700 LB: 0 @ 226.74 229.31 c Restart #4 #Var: 2700 LB: 0 @ 229.18 230.80 c Sol. found (all assignments made)... 230.82 c Sol. found (all assignments made)... 230.83 c Sol. found (all assignments made)... 231.59 c Restart #5 #Var: 2700 LB: 0 @ 231.47 235.34 c Restart #6 #Var: 2700 LB: 0 @ 235.21 237.66 c Sol. found (all assignments made)... 238.69 c Restart #7 #Var: 2700 LB: 0 @ 238.56 245.49 c Restart #8 #Var: 2700 LB: 0 @ 245.35 251.55 c Restart #9 #Var: 2700 LB: 0 @ 251.39 254.42 c Sol. found (all assignments made)... 254.42 c Sol. found (all assignments made)... 254.78 c Sol. found (all assignments made)... 254.78 c Sol. found (all assignments made)... 254.78 c Sol. found (all assignments made)... 254.80 c Sol. found (all assignments made)... 254.81 c Sol. found (all assignments made)... 255.90 c Restart #10 #Var: 2700 LB: 0 @ 255.74 260.14 c Sol. found (all assignments made)... 260.16 c Sol. found (all assignments made)... 260.54 c Sol. found (all assignments made)... 261.91 c Sol. found (all assignments made)... 261.95 c Sol. found (all assignments made)... 262.00 c Sol. found (all assignments made)... 262.39 c Sol. found (all assignments made)... 262.40 c Sol. found (all assignments made)... 262.56 c Sol. found (all assignments made)... 263.09 c Restart #11 #Var: 2700 LB: 0 @ 262.91 269.08 c Restart #12 #Var: 2700 LB: 0 @ 268.89 271.77 c Sol. found (all assignments made)... 271.78 c Sol. found (all assignments made)... 271.92 c Sol. found (all assignments made)... 271.96 c Sol. found (all assignments made)... 271.97 c Sol. found (all assignments made)... 272.79 c Sol. found (all assignments made)... 272.80 c Sol. found (all assignments made)... 272.94 c Sol. found (all assignments made)... 272.95 c Sol. found (all assignments made)... 272.98 c Sol. found (all assignments made)... 272.98 c Sol. found (all assignments made)... 273.50 c Sol. found (all assignments made)... 273.54 c Sol. found (all assignments made)... 275.21 c Sol. found (all assignments made)... 275.57 c Sol. found (all assignments made)... 275.58 c Sol. found (all assignments made)... 275.59 c Sol. found (all assignments made)... 276.62 c Sol. found (all assignments made)... 276.99 c Restart #13 #Var: 2700 LB: 0 @ 276.8 284.84 c Restart #14 #Var: 2700 LB: 0 @ 284.65 295.12 c Restart #15 #Var: 2700 LB: 0 @ 294.93 295.71 c Sol. found (all assignments made)... 295.71 c Sol. found (all assignments made)... 296.00 c Sol. found (all assignments made)... 296.57 c Sol. found (all assignments made)... 297.19 c Sol. found (all assignments made)... 297.30 c Sol. found (all assignments made)... 297.33 c Sol. found (all assignments made)... 297.98 c Sol. found (all assignments made)... 297.99 c Sol. found (all assignments made)... 298.16 c Sol. found (all assignments made)... 298.36 c Sol. found (all assignments made)... 298.52 c Sol. found (all assignments made)... 298.55 c Sol. found (all assignments made)... 298.76 c Sol. found (all assignments made)... 298.81 c Sol. found (all assignments made)... 298.81 c Sol. found (all assignments made)... 299.53 c Sol. found (all assignments made)... 299.90 c Sol. found (all assignments made)... 300.02 c Sol. found (all assignments made)... 300.02 c Sol. found (all assignments made)... 300.30 c Restart #16 #Var: 2700 LB: 0 @ 300.1 320.64 c Restart #17 #Var: 2700 LB: 0 @ 320.44 324.77 c Sol. found (all assignments made)... 325.17 c Sol. found (all assignments made)... 325.20 c Sol. found (all assignments made)... 325.21 c Sol. found (all assignments made)... 325.60 c Sol. found (all assignments made)... 325.62 c Sol. found (all assignments made)... 325.72 c Sol. found (all assignments made)... 325.75 c Sol. found (all assignments made)... 325.77 c Sol. found (all assignments made)... 325.78 c Sol. found (all assignments made)... 325.80 c Sol. found (all assignments made)... 325.81 c Sol. found (all assignments made)... 325.82 c Sol. found (all assignments made)... 330.51 c Restart #18 #Var: 2700 LB: 0 @ 330.3 332.02 c Sol. found (all assignments made)... 336.76 c Sol. found (all assignments made)... 337.60 c Sol. found (all assignments made)... 338.04 c Sol. found (all assignments made)... 340.51 c Restart #19 #Var: 2700 LB: 0 @ 340.31 353.84 c Restart #20 #Var: 2700 LB: 0 @ 353.63 362.09 c Sol. found (all assignments made)... 362.10 c Sol. found (all assignments made)... 362.33 c Sol. found (all assignments made)... 362.33 c Sol. found (all assignments made)... 362.34 c Sol. found (all assignments made)... 362.34 c Sol. found (all assignments made)... 362.34 c Sol. found (all assignments made)... 362.35 c Sol. found (all assignments made)... 362.35 c Sol. found (all assignments made)... 362.37 c Sol. found (all assignments made)... 362.37 c Sol. found (all assignments made)... 362.37 c Sol. found (all assignments made)... 362.45 c Sol. found (all assignments made)... 362.46 c Sol. found (all assignments made)... 362.55 c Sol. found (all assignments made)... 362.55 c Sol. found (all assignments made)... 362.57 c Sol. found (all assignments made)... 367.53 c Restart #21 #Var: 2700 LB: 0 @ 367.32 384.37 c Restart #22 #Var: 2700 LB: 0 @ 384.15 388.33 c Sol. found (all assignments made)... 388.33 c Sol. found (all assignments made)... 388.33 c Sol. found (all assignments made)... 388.43 c Sol. found (all assignments made)... 388.43 c Sol. found (all assignments made)... 388.43 c Sol. found (all assignments made)... 388.55 c Sol. found (all assignments made)... 388.55 c Sol. found (all assignments made)... 388.55 c Sol. found (all assignments made)... 389.18 c Sol. found (all assignments made)... 389.18 c Sol. found (all assignments made)... 389.19 c Sol. found (all assignments made)... 392.07 c Sol. found (all assignments made)... 392.07 c Sol. found (all assignments made)... 392.08 c Sol. found (all assignments made)... 392.08 c Sol. found (all assignments made)... 392.09 c Sol. found (all assignments made)... 393.46 c Sol. found (all assignments made)... 393.51 c Sol. found (all assignments made)... 394.07 c Sol. found (all assignments made)... 394.85 c Sol. found (all assignments made)... 394.86 c Sol. found (all assignments made)... 394.93 c Sol. found (all assignments made)... 394.95 c Sol. found (all assignments made)... 395.45 c Sol. found (all assignments made)... 395.46 c Sol. found (all assignments made)... 396.04 c Restart #23 #Var: 2700 LB: 0 @ 395.82 415.37 c Restart #24 #Var: 2700 LB: 0 @ 415.15 433.09 c Restart #25 #Var: 2700 LB: 0 @ 432.86 452.42 c Restart #26 #Var: 2700 LB: 0 @ 452.19 473.26 c Restart #27 #Var: 2700 LB: 0 @ 473.02 498.21 c Restart #28 #Var: 2700 LB: 0 @ 497.97 509.05 c Sol. found (all assignments made)... 509.15 c Sol. found (all assignments made)... 516.86 c Sol. found (all assignments made)... 516.91 c Sol. found (all assignments made)... 517.37 c Sol. found (all assignments made)... 518.02 c Sol. found (all assignments made)... 518.09 c Sol. found (all assignments made)... 518.19 c Sol. found (all assignments made)... 519.46 c Restart #29 #Var: 2700 LB: 0 @ 519.21 526.51 c Sol. found (all assignments made)... 526.52 c Sol. found (all assignments made)... 526.55 c Sol. found (all assignments made)... 526.55 c Sol. found (all assignments made)... 526.59 c Sol. found (all assignments made)... 527.44 c Sol. found (all assignments made)... 527.46 c Sol. found (all assignments made)... 527.48 c Sol. found (all assignments made)... 528.03 c Sol. found (all assignments made)... 528.04 c Sol. found (all assignments made)... 539.70 c Restart #30 #Var: 2700 LB: 0 @ 539.44 541.62 c Sol. found (all assignments made)... 541.63 c Sol. found (all assignments made)... 541.63 c Sol. found (all assignments made)... 541.69 c Sol. found (all assignments made)... 541.69 c Sol. found (all assignments made)... 541.69 c Sol. found (all assignments made)... 541.97 c Sol. found (all assignments made)... 541.98 c Sol. found (all assignments made)... 542.21 c Sol. found (all assignments made)... 542.22 c Sol. found (all assignments made)... 542.24 c Sol. found (all assignments made)... 542.28 c Sol. found (all assignments made)... 542.29 c Sol. found (all assignments made)... 542.94 c Sol. found (all assignments made)... 542.95 c Sol. found (all assignments made)... 542.97 c Sol. found (all assignments made)... 543.14 c Sol. found (all assignments made)... 543.14 c Sol. found (all assignments made)... 543.16 c Sol. found (all assignments made)... 543.18 c Sol. found (all assignments made)... 543.19 c Sol. found (all assignments made)... 543.21 c Sol. found (all assignments made)... 543.29 c Sol. found (all assignments made)... 543.36 c Sol. found (all assignments made)... 543.66 c Sol. found (all assignments made)... 543.83 c Sol. found (all assignments made)... 543.90 c Sol. found (all assignments made)... 544.30 c Sol. found (all assignments made)... 544.38 c Sol. found (all assignments made)... 544.50 c Sol. found (all assignments made)... 544.55 c Sol. found (all assignments made)... 544.56 c Sol. found (all assignments made)... 544.67 c Sol. found (all assignments made)... 544.80 c Sol. found (all assignments made)... 544.81 c Sol. found (all assignments made)... 547.58 c Sol. found (all assignments made)... 550.05 c Sol. found (all assignments made)... 550.09 c Sol. found (all assignments made)... 550.15 c Sol. found (all assignments made)... 550.23 c Sol. found (all assignments made)... 550.31 c Sol. found (all assignments made)... 550.37 c Sol. found (all assignments made)... 550.65 c Sol. found (all assignments made)... 551.84 c Sol. found (all assignments made)... 553.51 c Restart #31 #Var: 2700 LB: 0 @ 553.26 556.94 c Sol. found (all assignments made)... 560.11 c Sol. found (all assignments made)... 560.15 c Sol. found (all assignments made)... 561.64 c Sol. found (all assignments made)... 561.66 c Sol. found (all assignments made)... 561.69 c Sol. found (all assignments made)... 561.72 c Sol. found (all assignments made)... 567.43 c Sol. found (all assignments made)... 567.50 c Sol. found (all assignments made)... 567.51 c Sol. found (all assignments made)... 567.59 c Sol. found (all assignments made)... 567.59 c Sol. found (all assignments made)... 567.95 c Sol. found (all assignments made)... 568.54 c Sol. found (all assignments made)... 568.74 c Sol. found (all assignments made)... 569.17 c Sol. found (all assignments made)... 572.49 c Restart #32 #Var: 2700 LB: 0 @ 572.23 606.11 c Restart #33 #Var: 2700 LB: 0 @ 605.84 608.44 c Sol. found (all assignments made)... 608.54 c Sol. found (all assignments made)... 610.00 c Sol. found (all assignments made)... 610.14 c Sol. found (all assignments made)... 610.21 c Sol. found (all assignments made)... 612.33 c Sol. found (all assignments made)... 612.37 c Sol. found (all assignments made)... 612.41 c Sol. found (all assignments made)... 612.59 c Sol. found (all assignments made)... 612.60 c Sol. found (all assignments made)... 613.21 c Sol. found (all assignments made)... 613.22 c Sol. found (all assignments made)... 613.24 c Sol. found (all assignments made)... 613.98 c Sol. found (all assignments made)... 616.39 c Sol. found (all assignments made)... 616.41 c Sol. found (all assignments made)... 616.98 c Sol. found (all assignments made)... 616.98 c Sol. found (all assignments made)... 617.17 c Sol. found (all assignments made)... 617.18 c Sol. found (all assignments made)... 617.18 c Sol. found (all assignments made)... 617.19 c Sol. found (all assignments made)... 617.19 c Sol. found (all assignments made)... 617.19 c Sol. found (all assignments made)... 617.19 c Sol. found (all assignments made)... 620.38 c Sol. found (all assignments made)... 620.41 c Sol. found (all assignments made)... 620.48 c Sol. found (all assignments made)... 622.54 c Restart #34 #Var: 2700 LB: 0 @ 622.26 634.02 c Sol. found (all assignments made)... 634.02 c Sol. found (all assignments made)... 634.03 c Sol. found (all assignments made)... 634.03 c Sol. found (all assignments made)... 635.45 c Sol. found (all assignments made)... 635.58 c Sol. found (all assignments made)... 635.68 c Sol. found (all assignments made)... 637.14 c Sol. found (all assignments made)... 637.15 c Sol. found (all assignments made)... 637.17 c Sol. found (all assignments made)... 637.17 c Sol. found (all assignments made)... 637.33 c Sol. found (all assignments made)... 637.34 c Sol. found (all assignments made)... 637.37 c Sol. found (all assignments made)... 637.37 c Sol. found (all assignments made)... 637.54 c Sol. found (all assignments made)... 637.57 c Sol. found (all assignments made)... 637.57 c Sol. found (all assignments made)... 637.60 c Sol. found (all assignments made)... 637.60 c Sol. found (all assignments made)... 638.68 c Sol. found (all assignments made)... 639.49 c Sol. found (all assignments made)... 639.50 c Sol. found (all assignments made)... 639.68 c Sol. found (all assignments made)... 640.05 c Sol. found (all assignments made)... 640.05 c Sol. found (all assignments made)... 643.75 c Sol. found (all assignments made)... 643.77 c Sol. found (all assignments made)... 643.78 c Sol. found (all assignments made)... 643.79 c Sol. found (all assignments made)... 643.80 c Sol. found (all assignments made)... 643.88 c Sol. found (all assignments made)... 643.91 c Sol. found (all assignments made)... 644.96 c Sol. found (all assignments made)... 644.97 c Sol. found (all assignments made)... 645.99 c Restart #35 #Var: 2700 LB: 0 @ 645.7 661.92 c Sol. found (all assignments made)... 675.45 c Sol. found (all assignments made)... 675.46 c Sol. found (all assignments made)... 675.47 c Sol. found (all assignments made)... 675.47 c Sol. found (all assignments made)... 679.36 c Sol. found (all assignments made)... 679.43 c Sol. found (all assignments made)... 679.46 c Sol. found (all assignments made)... 679.47 c Sol. found (all assignments made)... 679.48 c Sol. found (all assignments made)... 680.08 c Sol. found (all assignments made)... 680.29 c Sol. found (all assignments made)... 682.18 c Restart #36 #Var: 2700 LB: 0 @ 681.88 692.10 c Sol. found (all assignments made)... 698.75 c Sol. found (all assignments made)... 698.77 c Sol. found (all assignments made)... 698.81 c Sol. found (all assignments made)... 698.82 c Sol. found (all assignments made)... 698.84 c Sol. found (all assignments made)... 699.21 c Sol. found (all assignments made)... 699.23 c Sol. found (all assignments made)... 699.31 c Sol. found (all assignments made)... 699.32 c Sol. found (all assignments made)... 699.33 c Sol. found (all assignments made)... 699.35 c Sol. found (all assignments made)... 699.42 c Sol. found (all assignments made)... 699.50 c Sol. found (all assignments made)... 699.51 c Sol. found (all assignments made)... 699.52 c Sol. found (all assignments made)... 699.54 c Sol. found (all assignments made)... 699.59 c Sol. found (all assignments made)... 699.60 c Sol. found (all assignments made)... 700.76 c Sol. found (all assignments made)... 700.78 c Sol. found (all assignments made)... 700.78 c Sol. found (all assignments made)... 700.85 c Sol. found (all assignments made)... 700.86 c Sol. found (all assignments made)... 702.62 c Restart #37 #Var: 2700 LB: 0 @ 702.32 714.58 c Sol. found (all assignments made)... 714.59 c Sol. found (all assignments made)... 714.60 c Sol. found (all assignments made)... 727.74 c Restart #38 #Var: 2700 LB: 0 @ 727.43 757.81 c Sol. found (all assignments made)... 759.24 c Restart #39 #Var: 2700 LB: 0 @ 758.93 771.08 c Sol. found (all assignments made)... 771.09 c Sol. found (all assignments made)... 771.12 c Sol. found (all assignments made)... 771.17 c Sol. found (all assignments made)... 771.40 c Sol. found (all assignments made)... 775.16 c Sol. found (all assignments made)... 777.52 c Sol. found (all assignments made)... 778.42 c Sol. found (all assignments made)... 781.35 c Sol. found (all assignments made)... 782.39 c Sol. found (all assignments made)... 782.45 c Sol. found (all assignments made)... 782.51 c Sol. found (all assignments made)... 782.64 c Sol. found (all assignments made)... 783.05 c Sol. found (all assignments made)... 783.60 c Sol. found (all assignments made)... 784.65 c Restart #40 #Var: 2700 LB: 0 @ 784.33 798.38 c Sol. found (all assignments made)... 798.41 c Sol. found (all assignments made)... 798.43 c Sol. found (all assignments made)... 800.94 c Sol. found (all assignments made)... 800.95 c Sol. found (all assignments made)... 801.24 c Sol. found (all assignments made)... 802.10 c Sol. found (all assignments made)... 802.78 c Sol. found (all assignments made)... 804.23 c Sol. found (all assignments made)... 804.23 c Sol. found (all assignments made)... 804.24 c Sol. found (all assignments made)... 804.25 c Sol. found (all assignments made)... 804.25 c Sol. found (all assignments made)... 804.31 c Sol. found (all assignments made)... 804.31 c Sol. found (all assignments made)... 804.32 c Sol. found (all assignments made)... 804.33 c Sol. found (all assignments made)... 804.33 c Sol. found (all assignments made)... 804.52 c Sol. found (all assignments made)... 804.72 c Sol. found (all assignments made)... 805.16 c Sol. found (all assignments made)... 805.17 c Sol. found (all assignments made)... 805.24 c Sol. found (all assignments made)... 805.79 c Sol. found (all assignments made)... 806.44 c Sol. found (all assignments made)... 806.49 c Sol. found (all assignments made)... 806.52 c Sol. found (all assignments made)... 807.26 c Restart #41 #Var: 2700 LB: 0 @ 806.94 883.60 c Restart #42 #Var: 2700 LB: 0 @ 883.26 886.19 c Sol. found (all assignments made)... 886.21 c Sol. found (all assignments made)... 889.88 c Sol. found (all assignments made)... 890.38 c Sol. found (all assignments made)... 890.44 c Sol. found (all assignments made)... 890.69 c Sol. found (all assignments made)... 890.70 c Sol. found (all assignments made)... 891.67 c Sol. found (all assignments made)... 892.78 c Sol. found (all assignments made)... 893.65 c Sol. found (all assignments made)... 893.65 c Sol. found (all assignments made)... 893.66 c Sol. found (all assignments made)... 896.43 c Sol. found (all assignments made)... 897.53 c Sol. found (all assignments made)... 901.50 c Sol. found (all assignments made)... 903.16 c Sol. found (all assignments made)... 903.16 c Sol. found (all assignments made)... 903.18 c Sol. found (all assignments made)... 903.27 c Sol. found (all assignments made)... 903.40 c Sol. found (all assignments made)... 903.40 c Sol. found (all assignments made)... 903.41 c Sol. found (all assignments made)... 903.45 c Sol. found (all assignments made)... 903.45 c Sol. found (all assignments made)... 903.46 c Sol. found (all assignments made)... 903.50 c Sol. found (all assignments made)... 903.50 c Sol. found (all assignments made)... 903.51 c Sol. found (all assignments made)... 903.61 c Sol. found (all assignments made)... 903.61 c Sol. found (all assignments made)... 903.62 c Sol. found (all assignments made)... 903.62 c Sol. found (all assignments made)... 903.82 c Sol. found (all assignments made)... 903.82 c Sol. found (all assignments made)... 903.82 c Sol. found (all assignments made)... 903.83 c Sol. found (all assignments made)... 904.08 c Sol. found (all assignments made)... 904.08 c Sol. found (all assignments made)... 904.87 c Sol. found (all assignments made)... 907.24 c Sol. found (all assignments made)... 907.29 c Sol. found (all assignments made)... 907.30 c Sol. found (all assignments made)... 908.23 c Sol. found (all assignments made)... 908.64 c Sol. found (all assignments made)... 908.65 c Sol. found (all assignments made)... 908.96 c Sol. found (all assignments made)... 908.98 c Sol. found (all assignments made)... 909.03 c Sol. found (all assignments made)... 909.77 c Sol. found (all assignments made)... 910.18 c Sol. found (all assignments made)... 910.23 c Sol. found (all assignments made)... 910.27 c Sol. found (all assignments made)... 910.29 c Sol. found (all assignments made)... 910.32 c Sol. found (all assignments made)... 910.57 c Sol. found (all assignments made)... 910.57 c Sol. found (all assignments made)... 910.94 c Sol. found (all assignments made)... 910.95 c Sol. found (all assignments made)... 910.96 c Sol. found (all assignments made)... 912.92 c Sol. found (all assignments made)... 913.95 c Sol. found (all assignments made)... 914.66 c Sol. found (all assignments made)... 914.91 c Restart #43 #Var: 2700 LB: 0 @ 914.56 924.18 c Sol. found (all assignments made)... 924.52 c Sol. found (all assignments made)... 935.01 c Sol. found (all assignments made)... 935.51 c Sol. found (all assignments made)... 935.51 c Sol. found (all assignments made)... 935.52 c Sol. found (all assignments made)... 935.54 c Sol. found (all assignments made)... 935.55 c Sol. found (all assignments made)... 935.64 c Sol. found (all assignments made)... 936.08 c Sol. found (all assignments made)... 936.09 c Sol. found (all assignments made)... 936.22 c Sol. found (all assignments made)... 936.24 c Sol. found (all assignments made)... 936.25 c Sol. found (all assignments made)... 936.27 c Sol. found (all assignments made)... 947.96 c Restart #44 #Var: 2700 LB: 0 @ 947.6 960.53 c Sol. found (all assignments made)... 960.53 c Sol. found (all assignments made)... 960.54 c Sol. found (all assignments made)... 960.54 c Sol. found (all assignments made)... 960.56 c Sol. found (all assignments made)... 960.56 c Sol. found (all assignments made)... 960.57 c Sol. found (all assignments made)... 960.57 c Sol. found (all assignments made)... 966.18 c Sol. found (all assignments made)... 966.18 c Sol. found (all assignments made)... 966.18 c Sol. found (all assignments made)... 966.19 c Sol. found (all assignments made)... 975.36 c Sol. found (all assignments made)... 975.39 c Sol. found (all assignments made)... 979.86 c Restart #45 #Var: 2700 LB: 0 @ 979.49 1017.08 c Restart #46 #Var: 2700 LB: 0 @ 1016.7 1019.56 c Sol. found (all assignments made)... 1019.58 c Sol. found (all assignments made)... 1019.59 c Sol. found (all assignments made)... 1019.69 c Sol. found (all assignments made)... 1019.70 c Sol. found (all assignments made)... 1019.86 c Sol. found (all assignments made)... 1019.87 c Sol. found (all assignments made)... 1019.88 c Sol. found (all assignments made)... 1019.89 c Sol. found (all assignments made)... 1019.91 c Sol. found (all assignments made)... 1019.92 c Sol. found (all assignments made)... 1019.93 c Sol. found (all assignments made)... 1020.66 c Sol. found (all assignments made)... 1020.68 c Sol. found (all assignments made)... 1021.76 c Sol. found (all assignments made)... 1021.77 c Sol. found (all assignments made)... 1022.24 c Sol. found (all assignments made)... 1022.30 c Sol. found (all assignments made)... 1022.41 c Sol. found (all assignments made)... 1022.45 c Sol. found (all assignments made)... 1022.47 c Sol. found (all assignments made)... 1022.49 c Sol. found (all assignments made)... 1027.88 c Sol. found (all assignments made)... 1027.98 c Sol. found (all assignments made)... 1028.00 c Sol. found (all assignments made)... 1028.01 c Sol. found (all assignments made)... 1028.17 c Sol. found (all assignments made)... 1028.48 c Sol. found (all assignments made)... 1030.76 c Sol. found (all assignments made)... 1031.75 c Sol. found (all assignments made)... 1031.75 c Sol. found (all assignments made)... 1032.18 c Sol. found (all assignments made)... 1032.19 c Sol. found (all assignments made)... 1032.34 c Sol. found (all assignments made)... 1032.84 c Sol. found (all assignments made)... 1032.96 c Sol. found (all assignments made)... 1032.97 c Sol. found (all assignments made)... 1032.97 c Sol. found (all assignments made)... 1036.31 c Sol. found (all assignments made)... 1036.86 c Sol. found (all assignments made)... 1036.87 c Sol. found (all assignments made)... 1038.66 c Sol. found (all assignments made)... 1038.75 c Sol. found (all assignments made)... 1038.87 c Sol. found (all assignments made)... 1038.94 c Sol. found (all assignments made)... 1038.95 c Sol. found (all assignments made)... 1039.02 c Sol. found (all assignments made)... 1039.45 c Sol. found (all assignments made)... 1039.53 c Sol. found (all assignments made)... 1039.82 c Sol. found (all assignments made)... 1039.84 c Sol. found (all assignments made)... 1039.89 c Sol. found (all assignments made)... 1040.24 c Sol. found (all assignments made)... 1040.51 c Sol. found (all assignments made)... 1042.98 c Sol. found (all assignments made)... 1043.48 c Sol. found (all assignments made)... 1043.59 c Sol. found (all assignments made)... 1043.65 c Sol. found (all assignments made)... 1043.71 c Sol. found (all assignments made)... 1044.32 c Restart #47 #Var: 2700 LB: 0 @ 1043.9 1058.77 c Sol. found (all assignments made)... 1058.81 c Sol. found (all assignments made)... 1060.46 c Sol. found (all assignments made)... 1060.48 c Sol. found (all assignments made)... 1081.04 c Sol. found (all assignments made)... 1081.21 c Sol. found (all assignments made)... 1082.42 c Restart #48 #Var: 2700 LB: 0 @ 1082 1114.40 c Restart #49 #Var: 2700 LB: 0 @ 1114 1160.59 c Restart #50 #Var: 2700 LB: 0 @ 1160.2 1169.85 c Sol. found (all assignments made)... 1171.58 c Sol. found (all assignments made)... 1171.60 c Sol. found (all assignments made)... 1171.60 c Sol. found (all assignments made)... 1172.51 c Sol. found (all assignments made)... 1172.51 c Sol. found (all assignments made)... 1172.52 c Sol. found (all assignments made)... 1189.88 c Restart #51 #Var: 2700 LB: 0 @ 1189.5 1198.69 c Sol. found (all assignments made)... 1198.77 c Sol. found (all assignments made)... 1198.77 c Sol. found (all assignments made)... 1198.81 c Sol. found (all assignments made)... 1198.82 c Sol. found (all assignments made)... 1200.08 c Sol. found (all assignments made)... 1200.23 c Sol. found (all assignments made)... 1200.30 c Sol. found (all assignments made)... 1201.24 c Sol. found (all assignments made)... 1202.98 c Sol. found (all assignments made)... 1203.11 c Sol. found (all assignments made)... 1203.11 c Sol. found (all assignments made)... 1203.12 c Sol. found (all assignments made)... 1233.35 c Restart #52 #Var: 2700 LB: 0 @ 1232.9 1251.12 c Sol. found (all assignments made)... 1251.12 c Sol. found (all assignments made)... 1251.18 c Sol. found (all assignments made)... 1251.19 c Sol. found (all assignments made)... 1251.20 c Sol. found (all assignments made)... 1251.21 c Sol. found (all assignments made)... 1251.25 c Sol. found (all assignments made)... 1251.25 c Sol. found (all assignments made)... 1251.29 c Sol. found (all assignments made)... 1251.29 c Sol. found (all assignments made)... 1251.31 c Sol. found (all assignments made)... 1251.32 c Sol. found (all assignments made)... 1251.76 c Sol. found (all assignments made)... 1251.77 c Sol. found (all assignments made)... 1251.78 c Sol. found (all assignments made)... 1251.78 c Sol. found (all assignments made)... 1251.80 c Sol. found (all assignments made)... 1251.80 c Sol. found (all assignments made)... 1251.84 c Sol. found (all assignments made)... 1251.84 c Sol. found (all assignments made)... 1251.85 c Sol. found (all assignments made)... 1251.85 c Sol. found (all assignments made)... 1251.87 c Sol. found (all assignments made)... 1251.87 c Sol. found (all assignments made)... 1251.88 c Sol. found (all assignments made)... 1251.88 c Sol. found (all assignments made)... 1251.88 c Sol. found (all assignments made)... 1254.37 c Sol. found (all assignments made)... 1254.40 c Sol. found (all assignments made)... 1254.65 c Sol. found (all assignments made)... 1254.66 c Sol. found (all assignments made)... 1254.80 c Sol. found (all assignments made)... 1255.72 c Sol. found (all assignments made)... 1255.73 c Sol. found (all assignments made)... 1255.80 c Sol. found (all assignments made)... 1256.77 c Sol. found (all assignments made)... 1256.85 c Sol. found (all assignments made)... 1256.86 c Sol. found (all assignments made)... 1259.01 c Sol. found (all assignments made)... 1259.02 c Sol. found (all assignments made)... 1259.27 c Sol. found (all assignments made)... 1259.58 c Sol. found (all assignments made)... 1260.30 c Sol. found (all assignments made)... 1260.91 c Sol. found (all assignments made)... 1260.91 c Sol. found (all assignments made)... 1261.09 c Sol. found (all assignments made)... 1261.10 c Sol. found (all assignments made)... 1261.27 c Sol. found (all assignments made)... 1261.27 c Sol. found (all assignments made)... 1261.28 c Sol. found (all assignments made)... 1261.28 c Sol. found (all assignments made)... 1261.45 c Sol. found (all assignments made)... 1261.45 c Sol. found (all assignments made)... 1261.74 c Sol. found (all assignments made)... 1261.74 c Sol. found (all assignments made)... 1261.75 c Sol. found (all assignments made)... 1261.75 c Sol. found (all assignments made)... 1262.05 c Sol. found (all assignments made)... 1262.79 c Sol. found (all assignments made)... 1262.81 c Sol. found (all assignments made)... 1262.87 c Sol. found (all assignments made)... 1263.17 c Sol. found (all assignments made)... 1263.78 c Sol. found (all assignments made)... 1263.78 c Sol. found (all assignments made)... 1263.82 c Sol. found (all assignments made)... 1263.82 c Sol. found (all assignments made)... 1264.06 c Restart #53 #Var: 2700 LB: 0 @ 1263.6 1300.36 c Restart #54 #Var: 2700 LB: 0 @ 1299.9 1304.25 c Sol. found (all assignments made)... 1304.25 c Sol. found (all assignments made)... 1304.25 c Sol. found (all assignments made)... 1305.97 c Sol. found (all assignments made)... 1305.97 c Sol. found (all assignments made)... 1306.97 c Sol. found (all assignments made)... 1306.97 c Sol. found (all assignments made)... 1317.53 c Sol. found (all assignments made)... 1317.57 c Sol. found (all assignments made)... 1318.52 c Sol. found (all assignments made)... 1318.54 c Sol. found (all assignments made)... 1321.48 c Sol. found (all assignments made)... 1321.50 c Sol. found (all assignments made)... 1321.52 c Sol. found (all assignments made)... 1321.67 c Sol. found (all assignments made)... 1326.87 c Sol. found (all assignments made)... 1327.20 c Sol. found (all assignments made)... 1327.49 c Sol. found (all assignments made)... 1327.77 c Sol. found (all assignments made)... 1327.89 c Sol. found (all assignments made)... 1328.41 c Sol. found (all assignments made)... 1328.47 c Sol. found (all assignments made)... 1330.39 c Sol. found (all assignments made)... 1332.15 c Sol. found (all assignments made)... 1337.39 c Sol. found (all assignments made)... 1337.40 c Sol. found (all assignments made)... 1337.42 c Sol. found (all assignments made)... 1337.44 c Sol. found (all assignments made)... 1337.46 c Sol. found (all assignments made)... 1337.51 c Sol. found (all assignments made)... 1337.55 c Sol. found (all assignments made)... 1337.56 c Sol. found (all assignments made)... 1337.56 c Sol. found (all assignments made)... 1337.61 c Sol. found (all assignments made)... 1340.23 c Sol. found (all assignments made)... 1340.24 c Sol. found (all assignments made)... 1340.28 c Sol. found (all assignments made)... 1342.68 c Restart #55 #Var: 2700 LB: 0 @ 1342.2 1363.80 c Sol. found (all assignments made)... 1363.83 c Sol. found (all assignments made)... 1364.06 c Sol. found (all assignments made)... 1364.08 c Sol. found (all assignments made)... 1364.55 c Sol. found (all assignments made)... 1364.55 c Sol. found (all assignments made)... 1367.06 c Sol. found (all assignments made)... 1367.13 c Sol. found (all assignments made)... 1367.17 c Sol. found (all assignments made)... 1367.52 c Sol. found (all assignments made)... 1368.76 c Sol. found (all assignments made)... 1368.92 c Sol. found (all assignments made)... 1368.97 c Sol. found (all assignments made)... 1370.22 c Sol. found (all assignments made)... 1370.28 c Sol. found (all assignments made)... 1370.29 c Sol. found (all assignments made)... 1370.46 c Sol. found (all assignments made)... 1370.52 c Sol. found (all assignments made)... 1370.67 c Sol. found (all assignments made)... 1370.74 c Sol. found (all assignments made)... 1370.77 c Sol. found (all assignments made)... 1370.77 c Sol. found (all assignments made)... 1371.49 c Sol. found (all assignments made)... 1371.52 c Sol. found (all assignments made)... 1371.53 c Sol. found (all assignments made)... 1373.11 c Sol. found (all assignments made)... 1376.34 c Sol. found (all assignments made)... 1386.88 c Sol. found (all assignments made)... 1387.10 c Sol. found (all assignments made)... 1395.16 c Restart #56 #Var: 2700 LB: 0 @ 1394.7 1407.73 c Sol. found (all assignments made)... 1409.46 c Sol. found (all assignments made)... 1409.46 c Sol. found (all assignments made)... 1409.47 c Sol. found (all assignments made)... 1409.83 c Sol. found (all assignments made)... 1409.92 c Sol. found (all assignments made)... 1409.95 c Sol. found (all assignments made)... 1409.96 c Sol. found (all assignments made)... 1410.32 c Sol. found (all assignments made)... 1410.33 c Sol. found (all assignments made)... 1410.33 c Sol. found (all assignments made)... 1410.34 c Sol. found (all assignments made)... 1410.36 c Sol. found (all assignments made)... 1410.36 c Sol. found (all assignments made)... 1410.68 c Sol. found (all assignments made)... 1410.76 c Sol. found (all assignments made)... 1410.83 c Sol. found (all assignments made)... 1410.83 c Sol. found (all assignments made)... 1411.21 c Sol. found (all assignments made)... 1411.21 c Sol. found (all assignments made)... 1411.26 c Sol. found (all assignments made)... 1411.27 c Sol. found (all assignments made)... 1411.45 c Sol. found (all assignments made)... 1411.58 c Sol. found (all assignments made)... 1411.58 c Sol. found (all assignments made)... 1412.44 c Sol. found (all assignments made)... 1412.45 c Sol. found (all assignments made)... 1412.46 c Sol. found (all assignments made)... 1412.46 c Sol. found (all assignments made)... 1412.46 c Sol. found (all assignments made)... 1412.49 c Sol. found (all assignments made)... 1412.50 c Sol. found (all assignments made)... 1412.62 c Sol. found (all assignments made)... 1412.63 c Sol. found (all assignments made)... 1412.63 c Sol. found (all assignments made)... 1412.71 c Sol. found (all assignments made)... 1413.01 c Sol. found (all assignments made)... 1413.03 c Sol. found (all assignments made)... 1413.21 c Sol. found (all assignments made)... 1413.21 c Sol. found (all assignments made)... 1413.26 c Sol. found (all assignments made)... 1413.27 c Sol. found (all assignments made)... 1413.42 c Sol. found (all assignments made)... 1413.43 c Sol. found (all assignments made)... 1413.53 c Sol. found (all assignments made)... 1413.53 c Sol. found (all assignments made)... 1413.54 c Sol. found (all assignments made)... 1413.55 c Sol. found (all assignments made)... 1413.56 c Sol. found (all assignments made)... 1413.71 c Sol. found (all assignments made)... 1413.73 c Sol. found (all assignments made)... 1415.22 c Sol. found (all assignments made)... 1415.29 c Sol. found (all assignments made)... 1415.44 c Sol. found (all assignments made)... 1415.45 c Sol. found (all assignments made)... 1415.57 c Sol. found (all assignments made)... 1415.59 c Sol. found (all assignments made)... 1415.72 c Sol. found (all assignments made)... 1415.73 c Sol. found (all assignments made)... 1416.55 c Sol. found (all assignments made)... 1416.56 c Sol. found (all assignments made)... 1416.58 c Sol. found (all assignments made)... 1416.58 c Sol. found (all assignments made)... 1416.61 c Sol. found (all assignments made)... 1416.63 c Sol. found (all assignments made)... 1416.64 c Sol. found (all assignments made)... 1416.66 c Sol. found (all assignments made)... 1416.67 c Sol. found (all assignments made)... 1416.68 c Sol. found (all assignments made)... 1416.73 c Sol. found (all assignments made)... 1416.73 c Sol. found (all assignments made)... 1416.73 c Sol. found (all assignments made)... 1416.73 c Sol. found (all assignments made)... 1416.74 c Sol. found (all assignments made)... 1416.92 c Sol. found (all assignments made)... 1417.91 c Sol. found (all assignments made)... 1417.91 c Sol. found (all assignments made)... 1417.91 c Sol. found (all assignments made)... 1417.93 c Sol. found (all assignments made)... 1418.09 c Sol. found (all assignments made)... 1418.18 c Sol. found (all assignments made)... 1418.19 c Sol. found (all assignments made)... 1418.23 c Sol. found (all assignments made)... 1418.24 c Sol. found (all assignments made)... 1418.38 c Sol. found (all assignments made)... 1418.39 c Sol. found (all assignments made)... 1418.40 c Sol. found (all assignments made)... 1418.40 c Sol. found (all assignments made)... 1418.41 c Sol. found (all assignments made)... 1418.53 c Sol. found (all assignments made)... 1418.67 c Sol. found (all assignments made)... 1418.71 c Sol. found (all assignments made)... 1418.74 c Sol. found (all assignments made)... 1418.75 c Sol. found (all assignments made)... 1418.79 c Sol. found (all assignments made)... 1418.81 c Sol. found (all assignments made)... 1418.84 c Sol. found (all assignments made)... 1418.86 c Sol. found (all assignments made)... 1418.90 c Sol. found (all assignments made)... 1419.78 c Sol. found (all assignments made)... 1419.79 c Sol. found (all assignments made)... 1419.80 c Sol. found (all assignments made)... 1419.82 c Sol. found (all assignments made)... 1419.82 c Sol. found (all assignments made)... 1420.06 c Sol. found (all assignments made)... 1420.07 c Sol. found (all assignments made)... 1420.08 c Sol. found (all assignments made)... 1420.08 c Sol. found (all assignments made)... 1420.17 c Sol. found (all assignments made)... 1420.22 c Sol. found (all assignments made)... 1420.25 c Sol. found (all assignments made)... 1421.79 c Sol. found (all assignments made)... 1421.97 c Sol. found (all assignments made)... 1422.10 c Sol. found (all assignments made)... 1422.11 c Sol. found (all assignments made)... 1422.12 c Sol. found (all assignments made)... 1427.29 c Sol. found (all assignments made)... 1427.37 c Sol. found (all assignments made)... 1427.53 c Sol. found (all assignments made)... 1427.56 c Sol. found (all assignments made)... 1429.27 c Sol. found (all assignments made)... 1429.27 c Sol. found (all assignments made)... 1429.65 c Sol. found (all assignments made)... 1430.24 c Sol. found (all assignments made)... 1430.92 c Restart #57 #Var: 2700 LB: 0 @ 1430.4 1485.64 c Restart #58 #Var: 2700 LB: 0 @ 1485.1 1488.56 c Sol. found (all assignments made)... 1489.31 c Sol. found (all assignments made)... 1489.34 c Sol. found (all assignments made)... 1489.41 c Sol. found (all assignments made)... 1489.42 c Sol. found (all assignments made)... 1489.43 c Sol. found (all assignments made)... 1489.43 c Sol. found (all assignments made)... 1489.44 c Sol. found (all assignments made)... 1489.45 c Sol. found (all assignments made)... 1493.71 c Sol. found (all assignments made)... 1493.94 c Sol. found (all assignments made)... 1493.96 c Sol. found (all assignments made)... 1494.00 c Sol. found (all assignments made)... 1494.36 c Sol. found (all assignments made)... 1494.36 c Sol. found (all assignments made)... 1494.38 c Sol. found (all assignments made)... 1494.38 c Sol. found (all assignments made)... 1494.40 c Sol. found (all assignments made)... 1494.40 c Sol. found (all assignments made)... 1494.42 c Sol. found (all assignments made)... 1494.42 c Sol. found (all assignments made)... 1494.56 c Sol. found (all assignments made)... 1494.57 c Sol. found (all assignments made)... 1495.26 c Sol. found (all assignments made)... 1495.56 c Sol. found (all assignments made)... 1495.56 c Sol. found (all assignments made)... 1495.59 c Sol. found (all assignments made)... 1495.73 c Sol. found (all assignments made)... 1495.73 c Sol. found (all assignments made)... 1496.76 c Sol. found (all assignments made)... 1496.77 c Sol. found (all assignments made)... 1497.49 c Sol. found (all assignments made)... 1497.87 c Sol. found (all assignments made)... 1502.29 c Sol. found (all assignments made)... 1502.30 c Sol. found (all assignments made)... 1502.31 c Sol. found (all assignments made)... 1502.32 c Sol. found (all assignments made)... 1502.33 c Sol. found (all assignments made)... 1502.34 c Sol. found (all assignments made)... 1502.36 c Sol. found (all assignments made)... 1502.37 c Sol. found (all assignments made)... 1504.17 c Sol. found (all assignments made)... 1504.20 c Sol. found (all assignments made)... 1504.20 c Sol. found (all assignments made)... 1504.24 c Sol. found (all assignments made)... 1504.24 c Sol. found (all assignments made)... 1504.26 c Sol. found (all assignments made)... 1504.26 c Sol. found (all assignments made)... 1504.30 c Sol. found (all assignments made)... 1504.82 c Sol. found (all assignments made)... 1504.88 c Sol. found (all assignments made)... 1504.89 c Sol. found (all assignments made)... 1504.91 c Sol. found (all assignments made)... 1505.30 c Sol. found (all assignments made)... 1505.76 c Sol. found (all assignments made)... 1505.76 c Sol. found (all assignments made)... 1506.30 c Sol. found (all assignments made)... 1506.35 c Sol. found (all assignments made)... 1506.39 c Sol. found (all assignments made)... 1506.40 c Sol. found (all assignments made)... 1507.73 c Sol. found (all assignments made)... 1507.74 c Sol. found (all assignments made)... 1507.75 c Sol. found (all assignments made)... 1507.75 c Sol. found (all assignments made)... 1507.91 c Sol. found (all assignments made)... 1508.74 c Sol. found (all assignments made)... 1508.77 c Sol. found (all assignments made)... 1508.87 c Sol. found (all assignments made)... 1508.92 c Sol. found (all assignments made)... 1508.95 c Sol. found (all assignments made)... 1508.96 c Sol. found (all assignments made)... 1508.97 c Sol. found (all assignments made)... 1510.06 c Sol. found (all assignments made)... 1510.07 c Sol. found (all assignments made)... 1510.54 c Sol. found (all assignments made)... 1510.55 c Sol. found (all assignments made)... 1510.56 c Sol. found (all assignments made)... 1510.57 c Sol. found (all assignments made)... 1512.64 c Sol. found (all assignments made)... 1512.67 c Sol. found (all assignments made)... 1512.74 c Sol. found (all assignments made)... 1513.61 c Sol. found (all assignments made)... 1513.61 c Sol. found (all assignments made)... 1514.04 c Sol. found (all assignments made)... 1514.05 c Sol. found (all assignments made)... 1514.12 c Sol. found (all assignments made)... 1514.14 c Sol. found (all assignments made)... 1514.96 c Sol. found (all assignments made)... 1517.69 c Restart #59 #Var: 2700 LB: 0 @ 1517.2 1527.12 c Sol. found (all assignments made)... 1527.14 c Sol. found (all assignments made)... 1527.32 c Sol. found (all assignments made)... 1527.53 c Sol. found (all assignments made)... 1535.13 c Sol. found (all assignments made)... 1536.43 c Sol. found (all assignments made)... 1536.43 c Sol. found (all assignments made)... 1536.45 c Sol. found (all assignments made)... 1536.46 c Sol. found (all assignments made)... 1536.47 c Sol. found (all assignments made)... 1536.48 c Sol. found (all assignments made)... 1536.49 c Sol. found (all assignments made)... 1536.49 c Sol. found (all assignments made)... 1536.50 c Sol. found (all assignments made)... 1537.14 c Sol. found (all assignments made)... 1547.49 c Sol. found (all assignments made)... 1547.52 c Sol. found (all assignments made)... 1547.53 c Sol. found (all assignments made)... 1547.54 c Sol. found (all assignments made)... 1547.55 c Sol. found (all assignments made)... 1550.08 c Sol. found (all assignments made)... 1557.34 c Restart #60 #Var: 2700 LB: 0 @ 1556.8 1646.67 c Restart #61 #Var: 2700 LB: 0 @ 1646.1 1651.62 c Sol. found (all assignments made)... 1651.63 c Sol. found (all assignments made)... 1651.67 c Sol. found (all assignments made)... 1651.72 c Sol. found (all assignments made)... 1651.76 c Sol. found (all assignments made)... 1651.80 c Sol. found (all assignments made)... 1659.19 c Sol. found (all assignments made)... 1659.23 c Sol. found (all assignments made)... 1659.24 c Sol. found (all assignments made)... 1659.24 c Sol. found (all assignments made)... 1659.37 c Sol. found (all assignments made)... 1659.37 c Sol. found (all assignments made)... 1659.37 c Sol. found (all assignments made)... 1659.59 c Sol. found (all assignments made)... 1659.63 c Sol. found (all assignments made)... 1659.63 c Sol. found (all assignments made)... 1661.31 c Sol. found (all assignments made)... 1662.06 c Sol. found (all assignments made)... 1663.16 c Sol. found (all assignments made)... 1663.34 c Sol. found (all assignments made)... 1663.35 c Sol. found (all assignments made)... 1663.37 c Sol. found (all assignments made)... 1663.38 c Sol. found (all assignments made)... 1668.83 c Sol. found (all assignments made)... 1668.87 c Sol. found (all assignments made)... 1668.90 c Sol. found (all assignments made)... 1669.38 c Sol. found (all assignments made)... 1669.40 c Sol. found (all assignments made)... 1670.65 c Sol. found (all assignments made)... 1670.65 c Sol. found (all assignments made)... 1671.66 c Sol. found (all assignments made)... 1673.29 c Sol. found (all assignments made)... 1673.29 c Sol. found (all assignments made)... 1673.30 c Sol. found (all assignments made)... 1673.30 c Sol. found (all assignments made)... 1673.34 c Sol. found (all assignments made)... 1673.34 c Sol. found (all assignments made)... 1673.34 c Sol. found (all assignments made)... 1673.35 c Sol. found (all assignments made)... 1673.35 c Sol. found (all assignments made)... 1673.59 c Sol. found (all assignments made)... 1673.60 c Sol. found (all assignments made)... 1673.60 c Sol. found (all assignments made)... 1675.79 c Sol. found (all assignments made)... 1687.52 c Restart #62 #Var: 2700 LB: 0 @ 1687 1698.79 c Sol. found (all assignments made)... 1698.97 c Sol. found (all assignments made)... 1700.53 c Sol. found (all assignments made)... 1700.56 c Sol. found (all assignments made)... 1700.60 c Sol. found (all assignments made)... 1703.94 c Sol. found (all assignments made)... 1703.94 c Sol. found (all assignments made)... 1706.85 c Sol. found (all assignments made)... 1706.86 c Sol. found (all assignments made)... 1706.87 c Sol. found (all assignments made)... 1710.80 c Sol. found (all assignments made)... 1711.28 c Sol. found (all assignments made)... 1712.60 c Sol. found (all assignments made)... 1712.65 c Sol. found (all assignments made)... 1716.36 c Sol. found (all assignments made)... 1716.36 c Sol. found (all assignments made)... 1722.33 c Sol. found (all assignments made)... 1729.14 c Sol. found (all assignments made)... 1729.14 c Sol. found (all assignments made)... 1729.39 c Sol. found (all assignments made)... 1729.70 c Sol. found (all assignments made)... 1729.70 c Sol. found (all assignments made)... 1729.92 c Sol. found (all assignments made)... 1729.92 c Sol. found (all assignments made)... 1729.93 c Sol. found (all assignments made)... 1729.93 c Sol. found (all assignments made)... 1733.33 c Sol. found (all assignments made)... 1741.28 c Sol. found (all assignments made)... 1741.34 c Sol. found (all assignments made)... 1742.48 c Sol. found (all assignments made)... 1742.49 c Sol. found (all assignments made)... 1742.55 c Sol. found (all assignments made)... 1742.56 c Sol. found (all assignments made)... 1743.47 c Sol. found (all assignments made)... 1743.68 c Sol. found (all assignments made)... 1749.34 c Sol. found (all assignments made)... 1749.36 c Sol. found (all assignments made)... 1749.39 c Sol. found (all assignments made)... 1749.44 c Sol. found (all assignments made)... 1749.47 c Sol. found (all assignments made)... 1749.51 c Sol. found (all assignments made)... 1749.54 c Sol. found (all assignments made)... 1749.58 c Sol. found (all assignments made)... 1749.62 c Sol. found (all assignments made)... 1749.64 c Sol. found (all assignments made)... 1749.66 c Sol. found (all assignments made)... 1749.69 c Sol. found (all assignments made)... 1750.22 c Restart #63 #Var: 2700 LB: 0 @ 1749.6 1791.64 c Restart #64 #Var: 2700 LB: 0 @ 1791.1 1800.59 s SATISFIABLE 1800.59 c Cost: 356 1800.60 v x1801 -x1802 -x1803 x1804 -x1805 x1806 x1807 x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1800.60 v x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 1800.60 v x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1800.60 v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.60 v -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.60 v -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 x1900 -x1901 x1902 -x1903 -x1904 -x1905 x1906 -x1907 x1908 1800.60 v -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 1800.60 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 1800.60 v -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1800.60 v -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 1800.60 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1800.60 v x1999 -x2000 -x2001 x2002 x2003 -x2004 -x2005 -x2006 x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.60 v -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.60 v -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 1800.60 v -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.60 v -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1800.60 v x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 x2101 -x2102 x2103 -x2104 x2105 -x2106 1800.60 v -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.60 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1800.60 v -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1800.60 v -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 1800.60 v -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 1800.60 v x2197 x2198 -x2199 x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 1800.60 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 1800.60 v -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1800.60 v -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.60 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 1800.60 v -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 x2300 -x2301 x2302 -x2303 -x2304 1800.60 v -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 1800.60 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 1800.60 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 1800.60 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1800.60 v -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 1800.60 v x2395 x2396 x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 1800.60 v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 1800.60 v x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 1800.60 v -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 1800.60 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 1800.60 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 -x2495 x2496 -x2497 -x2498 x2499 -x2500 x2501 1800.60 v x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 1800.60 v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.60 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.60 v -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.60 v x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1800.60 v x2591 -x2592 -x2593 -x2594 -x2595 x2596 x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 1800.60 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.60 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.60 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 1800.60 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1800.60 v -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 x2694 x2695 -x2696 x2697 1800.60 v x2698 x2699 x2700 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 x1302 -x1402 -x1502 -x1602 1800.60 v -x1702 -x3 -x103 x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603 -x1703 1800.60 v -x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 x1604 -x1704 -x5 -x105 1800.60 v -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x6 -x106 -x206 -x306 1800.60 v -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 x1706 x7 -x107 -x207 -x307 -x407 -x507 1800.60 v -x607 -x707 -x807 -x907 -x1007 -x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 -x8 -x108 -x208 -x308 -x408 -x508 x608 -x708 1800.60 v -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 -x409 -x509 -x609 -x709 -x809 1800.60 v -x909 -x1009 -x1109 -x1209 -x1309 -x1409 x1509 -x1609 -x1709 -x10 x110 -x210 -x310 -x410 -x510 -x610 -x710 -x810 -x910 -x1010 1800.60 v -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x11 -x111 -x211 -x311 -x411 -x511 -x611 -x711 -x811 x911 -x1011 -x1111 1800.60 v -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 x1113 -x1213 1800.60 v -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 x614 -x714 -x814 -x914 -x1014 -x1114 -x1214 -x1314 1800.60 v -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415 1800.60 v -x1515 x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 x716 -x816 -x916 -x1016 -x1116 -x1216 -x1316 -x1416 -x1516 1800.60 v -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 -x817 -x917 x1017 -x1117 -x1217 -x1317 -x1417 -x1517 -x1617 1800.60 v -x1717 -x18 -x118 -x218 x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 -x1118 -x1218 -x1318 -x1418 -x1518 -x1618 -x1718 1800.60 v -x19 -x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 -x1219 -x1319 -x1419 -x1519 -x1619 x1719 -x20 -x120 1800.60 v -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 -x1420 x1520 -x1620 -x1720 -x21 -x121 -x221 1800.60 v -x321 -x421 -x521 -x621 -x721 x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 -x1621 -x1721 -x22 -x122 -x222 -x322 1800.60 v -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 x1422 -x1522 -x1622 -x1722 -x24 -x124 -x224 -x324 -x424 1800.60 v -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 x1324 -x1424 -x1524 -x1624 -x1724 -x25 -x125 -x225 -x325 -x425 x525 -x625 1800.60 v -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 x326 -x426 -x526 -x626 -x726 1800.60 v -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x27 -x127 -x227 -x327 -x427 -x527 x627 -x727 -x827 1800.60 v -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 -x428 -x528 -x628 -x728 -x828 x928 1800.60 v -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 -x29 -x129 -x229 -x329 -x429 -x529 -x629 -x729 -x829 -x929 x1029 1800.60 v -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 -x530 -x630 -x730 -x830 -x930 -x1030 -x1130 1800.60 v x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 -x531 -x631 -x731 -x831 -x931 -x1031 -x1131 x1231 1800.60 v -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 x832 -x932 -x1032 -x1132 -x1232 -x1332 1800.60 v -x1432 -x1532 -x1632 -x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 -x1233 -x1333 -x1433 1800.60 v -x1533 -x1633 x1733 x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 -x1335 -x1435 -x1535 1800.60 v -x1635 -x1735 -x36 -x136 -x236 -x336 -x436 x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 1800.60 v -x1736 -x37 -x137 -x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 x1437 -x1537 -x1637 -x1737 1800.60 v -x38 -x138 -x238 -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 x1538 -x1638 -x1738 -x39 -x139 1800.60 v -x239 -x339 x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 -x1239 -x1339 -x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 1800.60 v -x340 -x440 -x540 -x640 -x740 -x840 x940 -x1040 -x1140 -x1240 -x1340 -x1440 -x1540 -x1640 -x1740 -x41 -x141 -x241 -x341 1800.60 v x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x42 x142 -x242 -x342 -x442 -x542 1800.60 v -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 -x243 -x343 -x443 -x543 -x643 1800.60 v -x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 x1543 -x1643 -x1743 -x44 -x144 -x244 -x344 -x444 -x544 -x644 x744 -x844 1800.60 v -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 -x346 -x446 -x546 -x646 -x746 -x846 x946 1800.60 v -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 -x847 -x947 -x1047 1800.60 v -x1147 -x1247 x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 x248 -x348 -x448 -x548 -x648 -x748 -x848 -x948 -x1048 -x1148 1800.60 v -x1248 -x1348 -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 -x449 -x549 -x649 -x749 x849 -x949 -x1049 -x1149 -x1249 1800.60 v -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 -x850 -x950 -x1050 -x1150 -x1250 -x1350 1800.60 v x1450 -x1550 -x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 x1151 -x1251 -x1351 -x1451 1800.60 v -x1551 -x1651 -x1751 x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 1800.60 v -x1652 -x1752 -x53 x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 -x1253 -x1353 -x1453 -x1553 -x1653 1800.60 v -x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654 -x1754 1800.60 v -x55 -x155 -x255 -x355 -x455 -x555 x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 -x57 -x157 1800.60 v -x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 x1557 -x1657 -x1757 -x58 -x158 -x258 1800.60 v -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 x1358 -x1458 -x1558 -x1658 -x1758 -x59 -x159 -x259 -x359 1800.60 v -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 x1459 -x1559 -x1659 -x1759 -x60 -x160 x260 -x360 -x460 -x560 1800.60 v -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 -x261 -x361 -x461 -x561 -x661 1800.60 v x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 -x62 -x162 -x262 -x362 -x462 -x562 -x662 -x762 1800.60 v -x862 -x962 -x1062 -x1162 x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763 -x863 1800.60 v -x963 -x1063 -x1163 -x1263 -x1363 -x1463 -x1563 x1663 -x1763 -x64 -x164 x264 -x364 -x464 -x564 -x664 -x764 -x864 -x964 -x1064 1800.60 v -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 x365 -x465 -x565 -x665 -x765 -x865 -x965 -x1065 -x1165 1800.60 v -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x66 -x166 -x266 -x366 x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 1800.60 v -x1366 -x1466 -x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 -x968 -x1068 -x1168 -x1268 -x1368 1800.60 v -x1468 -x1568 -x1668 x1768 -x69 -x169 -x269 -x369 -x469 -x569 -x669 -x769 -x869 x969 -x1069 -x1169 -x1269 -x1369 -x1469 1800.60 v -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 x870 -x970 -x1070 -x1170 -x1270 -x1370 -x1470 -x1570 1800.60 v -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 -x971 -x1071 -x1171 -x1271 -x1371 x1471 -x1571 -x1671 1800.60 v -x1771 -x72 -x172 -x272 -x372 -x472 x572 -x672 -x772 -x872 -x972 -x1072 -x1172 -x1272 -x1372 -x1472 -x1572 -x1672 -x1772 1800.60 v -x73 -x173 -x273 -x373 x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 -x74 -x174 1800.60 v -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 x1174 -x1274 -x1374 -x1474 -x1574 -x1674 -x1774 -x75 -x175 -x275 1800.60 v -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 x1275 -x1375 -x1475 -x1575 -x1675 -x1775 -x76 -x176 -x276 -x376 1800.60 v -x476 -x576 -x676 -x776 x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 x177 -x277 -x377 -x477 -x577 1800.60 v -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 x79 -x179 -x279 -x379 -x479 -x579 -x679 1800.60 v -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 -x1779 -x80 -x180 -x280 -x380 -x480 -x580 -x680 -x780 1800.60 v -x880 -x980 x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 x381 -x481 -x581 -x681 -x781 -x881 -x981 1800.60 v -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 x282 -x382 -x482 -x582 -x682 -x782 -x882 -x982 -x1082 1800.60 v -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683 x783 -x883 -x983 -x1083 -x1183 1800.60 v -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x84 x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 -x1184 -x1284 1800.60 v -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 x1185 -x1285 -x1385 1800.60 v -x1485 -x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 -x1186 x1286 -x1386 -x1486 1800.60 v -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 x587 -x687 -x787 -x887 -x987 -x1087 -x1187 -x1287 -x1387 -x1487 -x1587 1800.60 v -x1687 -x1787 -x88 -x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588 x1688 1800.60 v -x1788 -x90 -x190 -x290 -x390 -x490 -x590 x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 1800.60 v -x91 -x191 -x291 -x391 -x491 x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 -x1791 -x92 -x192 1800.60 v -x292 -x392 x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 -x1592 -x1692 -x1792 x93 -x193 -x293 -x393 1800.60 v -x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 -x94 -x194 -x294 x394 -x494 1800.60 v -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 -x195 -x295 -x395 -x495 -x595 1800.60 v -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 x1795 -x96 -x196 -x296 -x396 -x496 -x596 -x696 1800.60 v -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 -x697 -x797 1800.60 v -x897 -x997 -x1097 x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 -x498 -x598 -x698 x798 -x898 -x998 1800.60 v -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 -x899 -x999 -x1099 1800.60 v -x1199 -x1299 x1399 -x1499 -x1599 -x1699 -x1799 x12 x112 x212 -x312 x412 x512 -x612 -x712 x812 -x912 -x1012 -x1112 x1212 1800.60 v x1312 x1412 -x1512 -x1612 -x1712 x23 x123 x223 -x323 x423 -x523 -x623 x723 -x823 -x923 -x1023 x1123 -x1223 -x1323 -x1423 1800.60 v x1523 x1623 x1723 -x34 x134 x234 x334 -x434 -x534 x634 x734 -x834 -x934 x1034 x1134 -x1234 x1334 -x1434 -x1534 x1634 -x1734 1800.60 v x45 -x145 -x245 x345 -x445 x545 x645 -x745 -x845 -x945 x1045 x1145 x1245 -x1345 -x1445 -x1545 x1645 x1745 -x56 -x156 -x256 1800.60 v x356 x456 x556 -x656 x756 x856 x956 -x1056 -x1156 x1256 -x1356 -x1456 -x1556 x1656 x1756 x67 x167 -x267 -x367 -x467 x567 x667 1800.60 v -x767 -x867 -x967 x1067 x1167 -x1267 x1367 x1467 x1567 -x1667 -x1767 -x78 -x178 x278 x378 -x478 -x578 x678 x778 -x878 x978 1800.60 v -x1078 -x1178 -x1278 x1378 -x1478 x1578 x1678 x1778 x89 -x189 -x289 -x389 x489 -x589 -x689 -x789 x889 x989 x1089 -x1189 -x1289 1800.60 v x1389 x1489 x1589 -x1689 x1789 -x100 x200 x300 -x400 -x500 -x600 x700 -x800 x900 x1000 x1100 -x1200 x1300 -x1400 x1500 x1600 1800.60 v -x1700 -x1800 -x1 -x101 -x201 x301 x401 x501 -x601 x701 x801 x901 -x1001 x1101 x1201 -x1301 x1401 -x1501 -x1601 -x1701 1800.60 c Exit Code: 10 1800.60 c Total time: 1800 s
OK 356
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/node47/watcher-40261-1149400624 -o ROOT/results/node47/solver-40261-1149400624 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40261-1149400624/instance-40261-1149400624.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 3/64 1223 /proc/meminfo: memFree=1365456/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=4932 CPUtime=0 /proc/1223/stat : 1223 (bsolo) D 1221 1223 1177 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 171991018 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/1223/statm: 1233 330 226 55 0 125 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.98 2/64 1223 /proc/meminfo: memFree=1325528/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=44456 CPUtime=9.92 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 10374 0 0 0 988 4 0 0 25 0 1 0 171991018 45522944 10289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 11114 10289 297 55 0 10006 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 44456 [startup+20.0084 s] /proc/loadavg: 0.94 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1322520/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=47620 CPUtime=19.93 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 11153 0 0 0 1987 6 0 0 25 0 1 0 171991018 48762880 11068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 11905 11068 298 55 0 10797 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 47620 [startup+30.0145 s] /proc/loadavg: 0.95 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1319384/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=50924 CPUtime=29.93 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 11964 0 0 0 2986 7 0 0 25 0 1 0 171991018 52146176 11879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 12731 11879 298 55 0 11623 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 50924 [startup+40.0205 s] /proc/loadavg: 0.95 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1317656/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=52496 CPUtime=39.93 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 12382 0 0 0 3985 8 0 0 25 0 1 0 171991018 53755904 12297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 13124 12297 298 55 0 12016 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 52496 [startup+50.0276 s] /proc/loadavg: 0.96 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1315032/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=55252 CPUtime=49.94 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 13062 0 0 0 4984 10 0 0 25 0 1 0 171991018 56578048 12977 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 13813 12977 298 55 0 12705 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 55252 [startup+60.0327 s] /proc/loadavg: 0.97 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1313176/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=57092 CPUtime=59.94 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 13510 0 0 0 5983 11 0 0 25 0 1 0 171991018 58462208 13425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 14273 13425 298 55 0 13165 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 57092 [startup+70.0388 s] /proc/loadavg: 0.97 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1310424/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=59856 CPUtime=69.95 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 14207 0 0 0 6982 13 0 0 25 0 1 0 171991018 61292544 14122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 14964 14122 298 55 0 13856 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 59856 [startup+80.0449 s] /proc/loadavg: 0.98 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1309592/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=60648 CPUtime=79.95 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 14409 0 0 0 7982 13 0 0 25 0 1 0 171991018 62103552 14324 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 15162 14324 298 55 0 14054 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 60648 [startup+90.0509 s] /proc/loadavg: 0.98 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1307480/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=62760 CPUtime=89.95 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 14952 0 0 0 8981 14 0 0 25 0 1 0 171991018 64266240 14867 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 15690 14867 298 55 0 14582 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 62760 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1302104/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=68400 CPUtime=99.96 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 16420 0 0 0 9979 17 0 0 25 0 1 0 171991018 70041600 16204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 17100 16204 309 55 0 15992 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 68400 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.98 2/64 1223 /proc/meminfo: memFree=1301464/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=68972 CPUtime=109.96 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 16639 0 0 0 10978 18 0 0 25 0 1 0 171991018 70627328 16360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 17243 16360 309 55 0 16135 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 68972 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1300120/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=70300 CPUtime=119.97 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 16976 0 0 0 11976 21 0 0 25 0 1 0 171991018 71987200 16697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 17575 16697 309 55 0 16467 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 70300 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1299224/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=71152 CPUtime=129.97 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 17194 0 0 0 12974 23 0 0 25 0 1 0 171991018 72859648 16915 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 17788 16915 309 55 0 16680 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 71152 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1277912/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=101656 CPUtime=139.97 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 27558 0 0 0 13970 27 0 0 25 0 1 0 171991018 104095744 22332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 25414 22332 414 55 0 24306 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 101656 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1277464/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=102312 CPUtime=149.97 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 27709 0 0 0 14970 27 0 0 25 0 1 0 171991018 104767488 22459 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 25578 22459 414 55 0 24470 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 102312 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1277080/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=102996 CPUtime=159.98 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 27813 0 0 0 15971 27 0 0 25 0 1 0 171991018 105467904 22541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 25749 22541 414 55 0 24641 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 102996 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1276824/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=103720 CPUtime=169.98 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 27904 0 0 0 16971 27 0 0 25 0 1 0 171991018 106209280 22608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159470781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 25930 22608 414 55 0 24822 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 103720 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1276824/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=104060 CPUtime=179.99 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 27930 0 0 0 17971 28 0 0 25 0 1 0 171991018 106557440 22610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160465854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 26015 22610 414 55 0 24907 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 104060 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1276312/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=105272 CPUtime=189.99 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 28079 0 0 0 18971 28 0 0 25 0 1 0 171991018 107798528 22731 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160242262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 26318 22731 414 55 0 25210 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 105272 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1275992/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=106104 CPUtime=200 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 28193 0 0 0 19972 28 0 0 25 0 1 0 171991018 108650496 22811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497940 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 26526 22811 414 55 0 25418 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 106104 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1223 /proc/meminfo: memFree=1275928/2055920 swapFree=4183692/4192956 ################ # More data... # ################ /proc/1223/statm: 61489 60643 434 55 0 60381 0 Current children cumulated CPU time (s) 1760.49 Current children cumulated vsize (Kb) 245956 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1122008/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=247936 CPUtime=1770.49 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 146684 0 0 0 176873 176 0 0 25 0 1 0 171991018 253886464 61145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 61984 61145 434 55 0 60876 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 247936 [startup+1781.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1120984/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=248992 CPUtime=1780.51 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 146942 0 0 0 177873 178 0 0 25 0 1 0 171991018 254967808 61403 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62248 61403 434 55 0 61140 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 248992 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1120920/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=248992 CPUtime=1781.51 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 146951 0 0 0 177973 178 0 0 25 0 1 0 171991018 254967808 61412 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62248 61412 434 55 0 61140 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 248992 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1120856/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=249124 CPUtime=1782.51 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 146973 0 0 0 178073 178 0 0 25 0 1 0 171991018 255102976 61434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62281 61434 434 55 0 61173 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 249124 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1120600/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=249384 CPUtime=1783.52 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147033 0 0 0 178174 178 0 0 25 0 1 0 171991018 255369216 61494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62346 61494 434 55 0 61238 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 249384 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1120216/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=249780 CPUtime=1784.52 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147133 0 0 0 178274 178 0 0 25 0 1 0 171991018 255774720 61594 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537735 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62445 61594 434 55 0 61337 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 249780 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119960/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250040 CPUtime=1785.52 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147191 0 0 0 178374 178 0 0 25 0 1 0 171991018 256040960 61652 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62510 61652 434 55 0 61402 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 250040 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119832/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250040 CPUtime=1786.53 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147214 0 0 0 178475 178 0 0 25 0 1 0 171991018 256040960 61675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62510 61675 434 55 0 61402 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 250040 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119640/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250304 CPUtime=1787.53 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147271 0 0 0 178575 178 0 0 25 0 1 0 171991018 256311296 61732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62576 61732 434 55 0 61468 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 250304 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119512/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250436 CPUtime=1788.54 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147295 0 0 0 178676 178 0 0 25 0 1 0 171991018 256446464 61756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62609 61756 434 55 0 61501 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 250436 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119448/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250436 CPUtime=1789.54 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147315 0 0 0 178776 178 0 0 25 0 1 0 171991018 256446464 61776 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62609 61776 434 55 0 61501 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 250436 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119384/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250568 CPUtime=1790.55 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147333 0 0 0 178877 178 0 0 25 0 1 0 171991018 256581632 61794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62642 61794 434 55 0 61534 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 250568 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119384/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250568 CPUtime=1791.55 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147336 0 0 0 178977 178 0 0 25 0 1 0 171991018 256581632 61797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62642 61797 434 55 0 61534 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 250568 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119128/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250832 CPUtime=1792.56 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147393 0 0 0 179077 179 0 0 25 0 1 0 171991018 256851968 61854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62708 61854 434 55 0 61600 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 250832 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1119064/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250832 CPUtime=1793.57 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147408 0 0 0 179178 179 0 0 25 0 1 0 171991018 256851968 61869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62708 61869 434 55 0 61600 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 250832 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1118936/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=250964 CPUtime=1794.57 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147436 0 0 0 179278 179 0 0 25 0 1 0 171991018 256987136 61897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62741 61897 434 55 0 61633 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 250964 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1118808/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=251096 CPUtime=1795.58 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147476 0 0 0 179379 179 0 0 25 0 1 0 171991018 257122304 61937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62774 61937 434 55 0 61666 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 251096 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1118616/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=251360 CPUtime=1796.58 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147521 0 0 0 179479 179 0 0 25 0 1 0 171991018 257392640 61982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62840 61982 434 55 0 61732 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 251360 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1118360/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=251492 CPUtime=1797.58 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147579 0 0 0 179579 179 0 0 25 0 1 0 171991018 257527808 62040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62873 62040 434 55 0 61765 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 251492 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1118232/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=251756 CPUtime=1798.59 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147624 0 0 0 179680 179 0 0 25 0 1 0 171991018 257798144 62085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62939 62085 434 55 0 61831 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 251756 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 1422 /proc/meminfo: memFree=1117976/2055920 swapFree=4183692/4192956 [pid=1223] ppid=1221 vsize=251888 CPUtime=1799.59 /proc/1223/stat : 1223 (bsolo) R 1221 1223 1177 0 -1 0 147679 0 0 0 179780 179 0 0 25 0 1 0 171991018 257933312 62140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1223/statm: 62972 62140 434 55 0 61864 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 251888 Child status: 10 Real time (s): 1800.64 CPU time (s): 1800.06 CPU user time (s): 1798.22 CPU system time (s): 1.83472 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (Kb): 251888
Begin job on node47 on Sun Jun 4 05:57:05 UTC 2006 FILE ID= 40261-1149400624 PBS_JOBID= 314003 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40261-1149400624/instance-40261-1149400624.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-40261-1149400624 -o ROOT/results/node47/solver-40261-1149400624 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40261-1149400624/instance-40261-1149400624.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED= 570415448 /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: 1365664 kB Buffers: 24768 kB Cached: 601188 kB SwapCached: 3180 kB Active: 96800 kB Inactive: 537692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1365664 kB SwapTotal: 4192956 kB SwapFree: 4183692 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14612 kB Slab: 41740 kB Committed_AS: 378624 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Sun Jun 4 06:27:05 UTC 2006