Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 47885 | 1800.07 | 1800.83 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb |
| MD5SUM | c3720ea5d84e92b781414b36064971fe |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 46478 |
| Best CPU time to get the best result obtained on this benchmark | 1800.44 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 46478 |
| Optimality of the best value was proved | NO |
| Number of variables | 1344 |
| Total number of constraints | 16096 |
| Number of constraints which are clauses | 8208 |
| Number of constraints which are cardinality constraints (but not clauses) | 496 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 448 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 279536 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 279536 |
| Number of bits of the biggest sum of numbers | 19 |
| 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.01 c INFO: OSL Context initialized. 0.50 c Initial problem consists of 1344 variables and 16376 constraints. 0.67 c No problem reductions applied in OPT. instance. 0.67 c preprocess terminated. Elapsed time: 0.654 0.67 c After prepocess the problem consists of 1344 variables and 16376 constraints. 0.67 c Initial Lower Bound: 0 1.17 c Restart #1 #Var: 1344 LB: 0 @ 1.151 2.07 c Restart #2 #Var: 1344 LB: 0 @ 2.056 2.65 c Restart #3 #Var: 1344 LB: 0 @ 2.633 3.75 c Restart #4 #Var: 1344 LB: 0 @ 3.736 4.48 c Restart #5 #Var: 1344 LB: 0 @ 4.469 4.66 c Sol. found (all assignments made)... 4.66 o 59316 4.66 c NEW SOLUTION FOUND: 59316 @ 4.646 4.66 c Sol. found (all assignments made)... 4.66 o 57700 4.66 c NEW SOLUTION FOUND: 57700 @ 4.647 4.66 c Sol. found (all assignments made)... 4.66 o 57440 4.66 c NEW SOLUTION FOUND: 57440 @ 4.65 4.68 c Sol. found (all assignments made)... 4.68 o 56578 4.68 c NEW SOLUTION FOUND: 56578 @ 4.661 4.68 c Sol. found (all assignments made)... 4.68 o 55952 4.68 c NEW SOLUTION FOUND: 55952 @ 4.661 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 o 55827 4.68 c NEW SOLUTION FOUND: 55827 @ 4.662 4.68 c Sol. found (all assignments made)... 4.68 c Sol. found (all assignments made)... 4.68 o 55567 4.68 c NEW SOLUTION FOUND: 55567 @ 4.666 4.70 c Sol. found (all assignments made)... 4.70 o 55088 4.70 c NEW SOLUTION FOUND: 55088 @ 4.687 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 o 54965 4.70 c NEW SOLUTION FOUND: 54965 @ 4.688 4.70 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.71 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.72 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.75 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.02 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 o 54897 5.06 c NEW SOLUTION FOUND: 54897 @ 5.049 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.70 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.72 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.79 c Restart #6 #Var: 1344 LB: 0 @ 5.776 7.54 c Restart #7 #Var: 1344 LB: 0 @ 7.522 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.64 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.69 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.70 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.52 c Sol. found (all assignments made)... 8.54 c Sol. found (all assignments made)... 8.58 c Sol. found (all assignments made)... 8.61 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.71 c Sol. found (all assignments made)... 8.73 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.76 c Sol. found (all assignments made)... 8.77 c Sol. found (all assignments made)... 8.77 c Sol. found (all assignments made)... 8.77 c Sol. found (all assignments made)... 8.82 c Restart #8 #Var: 1344 LB: 0 @ 8.802 9.61 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.81 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.83 o 53373 9.83 c NEW SOLUTION FOUND: 53373 @ 9.817 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.05 c Sol. found (all assignments made)... 10.06 c Sol. found (all assignments made)... 10.06 o 52732 10.06 c NEW SOLUTION FOUND: 52732 @ 10.036 10.06 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.07 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.12 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.16 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 c Sol. found (all assignments made)... 10.18 o 52560 10.18 c NEW SOLUTION FOUND: 52560 @ 10.157 10.19 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.19 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.22 c Sol. found (all assignments made)... 10.27 c Sol. found (all assignments made)... 10.27 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.28 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.30 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.33 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.37 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.52 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.56 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.57 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 o 52450 10.58 c NEW SOLUTION FOUND: 52450 @ 10.551 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.58 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.60 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 o 52278 10.61 c NEW SOLUTION FOUND: 52278 @ 10.579 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.61 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.63 c Sol. found (all assignments made)... 10.66 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.67 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.72 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 11.15 c Sol. found (all assignments made)... 11.15 c Sol. found (all assignments made)... 11.15 c Sol. found (all assignments made)... 11.15 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.19 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.43 c Sol. found (all assignments made)... 11.52 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.53 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 12.09 c Sol. found (all assignments made)... 12.27 c Restart #9 #Var: 1344 LB: 0 @ 12.243 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.78 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.79 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.83 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.88 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.92 c Sol. found (all assignments made)... 13.92 c Sol. found (all assignments made)... 13.92 c Sol. found (all assignments made)... 13.92 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 13.98 c Sol. found (all assignments made)... 14.32 c Restart #10 #Var: 1344 LB: 0 @ 14.293 15.32 c Sol. found (all assignments made)... 15.32 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.38 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.60 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.67 c Sol. found (all assignments made)... 15.93 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 15.95 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.10 c Sol. found (all assignments made)... 16.11 c Sol. found (all assignments made)... 16.11 o 52197 16.11 c NEW SOLUTION FOUND: 52197 @ 16.078 16.13 c Sol. found (all assignments made)... 16.13 c Sol. found (all assignments made)... 16.21 c Sol. found (all assignments made)... 16.60 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 16.62 c Sol. found (all assignments made)... 17.18 c Sol. found (all assignments made)... 17.18 c Sol. found (all assignments made)... 17.18 c Sol. found (all assignments made)... 17.18 o 52064 17.18 c NEW SOLUTION FOUND: 52064 @ 17.15 17.18 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.19 c Sol. found (all assignments made)... 17.20 c Sol. found (all assignments made)... 17.20 c Sol. found (all assignments made)... 17.20 c Sol. found (all assignments made)... 17.20 c Sol. found (all assignments made)... 17.20 c Sol. found (all assignments made)... 17.22 c Sol. found (all assignments made)... 17.22 c Sol. found (all assignments made)... 17.22 c Sol. found (all assignments made)... 17.22 c Sol. found (all assignments made)... 17.23 c Sol. found (all assignments made)... 17.23 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.25 c Sol. found (all assignments made)... 17.35 c Sol. found (all assignments made)... 17.35 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.37 c Sol. found (all assignments made)... 17.38 c Sol. found (all assignments made)... 17.38 c Sol. found (all assignments made)... 17.38 c Sol. found (all assignments made)... 17.38 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.43 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 17.99 c Sol. found (all assignments made)... 18.00 c Sol. found (all assignments made)... 18.00 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.03 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.14 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.18 c Sol. found (all assignments made)... 18.26 c Sol. found (all assignments made)... 18.26 o 51862 18.26 c NEW SOLUTION FOUND: 51862 @ 18.223 18.26 c Sol. found (all assignments made)... 18.26 c Sol. found (all assignments made)... 18.26 c Sol. found (all assignments made)... 18.26 c Sol. found (all assignments made)... 18.26 c Sol. found (all assignments made)... 18.26 c Sol. found (all assignments made)... 18.29 c Sol. found (all assignments made)... 18.29 c Sol. found (all assignments made)... 18.29 c Sol. found (all assignments made)... 18.29 c Sol. found (all assignments made)... 18.29 c Sol. found (all assignments made)... 18.29 c Sol. found (all assignments made)... 18.29 c Sol. found (all assignments made)... 18.42 c Sol. found (all assignments made)... 18.42 c Sol. found (all assignments made)... 18.43 c Sol. found (all assignments made)... 18.43 c Sol. found (all assignments made)... 18.43 c Sol. found (all assignments made)... 18.43 c Sol. found (all assignments made)... 18.77 c Sol. found (all assignments made)... 18.77 c Sol. found (all assignments made)... 18.77 c Sol. found (all assignments made)... 18.77 c Sol. found (all assignments made)... 18.78 c Sol. found (all assignments made)... 18.78 c Sol. found (all assignments made)... 18.79 c Sol. found (all assignments made)... 18.87 c Sol. found (all assignments made)... 18.87 c Sol. found (all assignments made)... 18.87 c Sol. found (all assignments made)... 18.87 c Sol. found (all assignments made)... 18.87 c Sol. found (all assignments made)... 18.87 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.90 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 o 51506 18.91 c NEW SOLUTION FOUND: 51506 @ 18.874 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.91 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.96 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 18.97 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.00 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.01 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.11 c Sol. found (all assignments made)... 19.32 c Sol. found (all assignments made)... 19.32 c Sol. found (all assignments made)... 19.32 c Sol. found (all assignments made)... 19.32 c Sol. found (all assignments made)... 19.33 c Sol. found (all assignments made)... 19.33 c Sol. found (all assignments made)... 19.34 c Sol. found (all assignments made)... 19.40 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.41 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.42 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.66 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.67 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.69 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 19.99 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.07 c Sol. found (all assignments made)... 20.10 c Sol. found (all assignments made)... 20.10 c Sol. found (all assignments made)... 20.10 c Sol. found (all assignments made)... 20.10 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.11 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.13 c Sol. found (all assignments made)... 20.58 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.59 c Sol. found (all assignments made)... 20.61 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.62 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.64 c Sol. found (all assignments made)... 20.69 c Sol. found (all assignments made)... 21.40 c Sol. found (all assignments made)... 21.40 c Sol. found (all assignments made)... 21.41 c Sol. found (all assignments made)... 21.41 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.49 c Sol. found (all assignments made)... 21.49 c Sol. found (all assignments made)... 21.49 c Sol. found (all assignments made)... 21.49 c Sol. found (all assignments made)... 21.49 c Sol. found (all assignments made)... 21.49 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.50 c Sol. found (all assignments made)... 21.81 c Restart #11 #Var: 1344 LB: 0 @ 21.764 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.22 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 o 51460 23.23 c NEW SOLUTION FOUND: 51460 @ 23.189 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.23 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.37 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.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.38 c Sol. found (all assignments made)... 23.38 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.39 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.40 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.46 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.48 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.49 c Sol. found (all assignments made)... 23.50 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 23.52 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 c Sol. found (all assignments made)... 24.08 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.31 c Sol. found (all assignments made)... 24.32 c Sol. found (all assignments made)... 24.33 c Sol. found (all assignments made)... 24.33 c Sol. found (all assignments made)... 24.34 c Sol. found (all assignments made)... 24.34 c Sol. found (all assignments made)... 24.34 c Sol. found (all assignments made)... 24.35 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.60 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.61 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.68 c Sol. found (all assignments made)... 24.69 c Sol. found (all assignments made)... 24.69 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.82 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.83 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.84 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.85 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.88 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 24.89 c Sol. found (all assignments made)... 25.07 c Sol. found (all assignments made)... 25.30 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.46 c Sol. found (all assignments made)... 25.56 c Restart #12 #Var: 1344 LB: 0 @ 25.522 27.64 c Sol. found (all assignments made)... 27.64 c Sol. found (all assignments made)... 27.64 c Sol. found (all assignments made)... 27.64 c Sol. found (all assignments made)... 27.68 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.85 c Sol. found (all assignments made)... 27.86 c Sol. found (all assignments made)... 27.86 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.66 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.68 c Sol. found (all assignments made)... 28.84 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.99 c Sol. found (all assignments made)... 29.01 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.02 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.05 c Sol. found (all assignments made)... 29.71 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.09 c Sol. found (all assignments made)... 30.15 c Restart #13 #Var: 1344 LB: 0 @ 30.103 30.52 c Sol. found (all assignments made)... 30.76 c Sol. found (all assignments made)... 31.46 c Sol. found (all assignments made)... 31.46 c Sol. found (all assignments made)... 31.46 c Sol. found (all assignments made)... 31.46 c Sol. found (all assignments made)... 31.57 c Sol. found (all assignments made)... 31.81 c Sol. found (all assignments made)... 31.82 c Sol. found (all assignments made)... 32.02 c Sol. found (all assignments made)... 32.02 c Sol. found (all assignments made)... 32.35 c Sol. found (all assignments made)... 32.35 c Sol. found (all assignments made)... 32.41 c Sol. found (all assignments made)... 32.44 c Sol. found (all assignments made)... 32.66 c Sol. found (all assignments made)... 32.67 c Sol. found (all assignments made)... 32.67 c Sol. found (all assignments made)... 32.67 c Sol. found (all assignments made)... 32.67 c Sol. found (all assignments made)... 32.67 c Sol. found (all assignments made)... 33.10 c Restart #14 #Var: 1344 LB: 0 @ 33.053 35.73 c Sol. found (all assignments made)... 35.73 c Sol. found (all assignments made)... 35.96 c Sol. found (all assignments made)... 36.95 c Sol. found (all assignments made)... 38.27 c Sol. found (all assignments made)... 39.11 c Restart #15 #Var: 1344 LB: 0 @ 39.067 39.78 c Sol. found (all assignments made)... 40.07 c Sol. found (all assignments made)... 40.07 c Sol. found (all assignments made)... 40.18 c Sol. found (all assignments made)... 40.22 c Sol. found (all assignments made)... 40.22 c Sol. found (all assignments made)... 40.42 c Sol. found (all assignments made)... 40.42 c Sol. found (all assignments made)... 40.45 c Sol. found (all assignments made)... 40.60 c Sol. found (all assignments made)... 40.78 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.84 c Sol. found (all assignments made)... 40.99 c Sol. found (all assignments made)... 41.13 c Sol. found (all assignments made)... 41.14 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.15 c Sol. found (all assignments made)... 41.21 c Sol. found (all assignments made)... 41.45 c Sol. found (all assignments made)... 41.45 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.66 c Sol. found (all assignments made)... 41.67 c Sol. found (all assignments made)... 41.86 c Sol. found (all assignments made)... 41.86 c Sol. found (all assignments made)... 41.87 c Sol. found (all assignments made)... 42.41 c Sol. found (all assignments made)... 57.12 c CHANGE to MIS mode... UB: 51460 MIS: 0 LPR: 31916 (14.615) Diff: 0 57.12 c Restart #0 #Var: 1344 LB: 0 @ 57.049 57.72 c Restart #1 #Var: 1344 LB: 0 @ 57.651 58.07 c Sol. found (all assignments made)... 58.20 c Sol. found (all assignments made)... 58.20 c Sol. found (all assignments made)... 58.36 c Restart #2 #Var: 1344 LB: 0 @ 58.292 59.08 c Sol. found (all assignments made)... 59.09 c Sol. found (all assignments made)... 59.23 c Sol. found (all assignments made)... 59.43 c Restart #3 #Var: 1344 LB: 0 @ 59.361 59.54 c Sol. found (all assignments made)... 59.59 c Sol. found (all assignments made)... 59.70 c Sol. found (all assignments made)... 59.70 c Sol. found (all assignments made)... 59.76 c Sol. found (all assignments made)... 59.97 c Sol. found (all assignments made)... 59.97 c Sol. found (all assignments made)... 59.98 c Sol. found (all assignments made)... 59.98 c Sol. found (all assignments made)... 60.00 c Sol. found (all assignments made)... 60.00 c Sol. found (all assignments made)... 60.02 c Sol. found (all assignments made)... 60.02 c Sol. found (all assignments made)... 60.02 c Sol. found (all assignments made)... 60.02 c Sol. found (all assignments made)... 60.02 c Sol. found (all assignments made)... 60.03 c Sol. found (all assignments made)... 60.03 c Sol. found (all assignments made)... 60.21 c Sol. found (all assignments made)... 60.21 c Sol. found (all assignments made)... 60.36 c Sol. found (all assignments made)... 60.36 c Sol. found (all assignments made)... 60.36 c Sol. found (all assignments made)... 60.36 c Sol. found (all assignments made)... 60.36 c Sol. found (all assignments made)... 60.36 c Sol. found (all assignments made)... 60.38 c Sol. found (all assignments made)... 60.38 c Sol. found (all assignments made)... 60.57 c Restart #4 #Var: 1344 LB: 0 @ 60.493 62.29 c Restart #5 #Var: 1344 LB: 0 @ 62.217 62.85 c Sol. found (all assignments made)... 63.21 c Sol. found (all assignments made)... 63.35 c Sol. found (all assignments made)... 63.35 c Sol. found (all assignments made)... 63.36 c Sol. found (all assignments made)... 63.36 c Sol. found (all assignments made)... 63.38 c Sol. found (all assignments made)... 63.38 c Sol. found (all assignments made)... 63.38 c Sol. found (all assignments made)... 63.39 c Sol. found (all assignments made)... 63.43 c Sol. found (all assignments made)... 63.43 c Sol. found (all assignments made)... 63.43 c Sol. found (all assignments made)... 63.43 c Sol. found (all assignments made)... 63.44 c Sol. found (all assignments made)... 63.44 c Sol. found (all assignments made)... 63.44 c Sol. found (all assignments made)... 63.44 c Sol. found (all assignments made)... 63.86 c Restart #6 #Var: 1344 LB: 0 @ 63.783 65.44 c Restart #7 #Var: 1344 LB: 0 @ 65.367 72.07 c Restart #8 #Var: 1344 LB: 0 @ 71.998 72.85 c Sol. found (all assignments made)... 73.12 c Sol. found (all assignments made)... 73.25 c Sol. found (all assignments made)... 73.28 c Sol. found (all assignments made)... 73.32 c Sol. found (all assignments made)... 73.32 c Sol. found (all assignments made)... 73.48 c Sol. found (all assignments made)... 73.51 c Sol. found (all assignments made)... 73.57 c Sol. found (all assignments made)... 73.57 c Sol. found (all assignments made)... 73.57 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.60 c Sol. found (all assignments made)... 73.61 c Sol. found (all assignments made)... 73.61 c Sol. found (all assignments made)... 73.61 c Sol. found (all assignments made)... 73.61 c Sol. found (all assignments made)... 73.67 c Sol. found (all assignments made)... 73.76 c Sol. found (all assignments made)... 74.59 c Sol. found (all assignments made)... 74.63 c Sol. found (all assignments made)... 74.63 c Sol. found (all assignments made)... 74.68 c Sol. found (all assignments made)... 74.72 c Sol. found (all assignments made)... 74.72 c Sol. found (all assignments made)... 74.84 c Sol. found (all assignments made)... 74.99 c Sol. found (all assignments made)... 75.09 c Restart #9 #Var: 1344 LB: 0 @ 75.015 80.46 c Restart #10 #Var: 1344 LB: 0 @ 80.386 80.65 c Sol. found (all assignments made)... 80.66 c Sol. found (all assignments made)... 80.95 c Sol. found (all assignments made)... 81.27 c Sol. found (all assignments made)... 82.14 c Sol. found (all assignments made)... 82.53 c Sol. found (all assignments made)... 82.88 c Sol. found (all assignments made)... 83.02 c Sol. found (all assignments made)... 83.05 c Sol. found (all assignments made)... 84.15 c Sol. found (all assignments made)... 84.34 c Sol. found (all assignments made)... 84.37 c Sol. found (all assignments made)... 84.44 c Sol. found (all assignments made)... 84.80 c Restart #11 #Var: 1344 LB: 0 @ 84.716 89.46 c Restart #12 #Var: 1344 LB: 0 @ 89.375 89.56 c Sol. found (all assignments made)... 89.56 c Sol. found (all assignments made)... 89.67 c Sol. found (all assignments made)... 89.74 c Sol. found (all assignments made)... 89.78 c Sol. found (all assignments made)... 89.88 c Sol. found (all assignments made)... 89.88 c Sol. found (all assignments made)... 89.93 c Sol. found (all assignments made)... 90.00 c Sol. found (all assignments made)... 90.10 c Sol. found (all assignments made)... 90.10 c Sol. found (all assignments made)... 90.18 c Sol. found (all assignments made)... 90.19 c Sol. found (all assignments made)... 90.40 c Sol. found (all assignments made)... 90.48 c Sol. found (all assignments made)... 90.69 c Sol. found (all assignments made)... 90.78 c Sol. found (all assignments made)... 90.78 c Sol. found (all assignments made)... 90.93 c Sol. found (all assignments made)... 90.93 c Sol. found (all assignments made)... 90.93 c Sol. found (all assignments made)... 90.93 c Sol. found (all assignments made)... 91.04 c Sol. found (all assignments made)... 91.06 c Sol. found (all assignments made)... 91.06 c Sol. found (all assignments made)... 91.10 c Sol. found (all assignments made)... 91.10 c Sol. found (all assignments made)... 91.11 c Sol. found (all assignments made)... 91.12 c Sol. found (all assignments made)... 91.19 c Sol. found (all assignments made)... 91.19 c Sol. found (all assignments made)... 91.22 c Sol. found (all assignments made)... 91.22 c Sol. found (all assignments made)... 91.31 c Sol. found (all assignments made)... 91.31 c Sol. found (all assignments made)... 91.31 c Sol. found (all assignments made)... 91.31 c Sol. found (all assignments made)... 91.58 c Sol. found (all assignments made)... 91.58 c Sol. found (all assignments made)... 91.58 c Sol. found (all assignments made)... 91.59 c Sol. found (all assignments made)... 91.59 c Sol. found (all assignments made)... 91.59 c Sol. found (all assignments made)... 91.59 c Sol. found (all assignments made)... 91.59 c Sol. found (all assignments made)... 91.59 c Sol. found (all assignments made)... 91.81 c Sol. found (all assignments made)... 91.83 c Sol. found (all assignments made)... 91.83 c Sol. found (all assignments made)... 91.83 c Sol. found (all assignments made)... 91.83 c Sol. found (all assignments made)... 91.89 c Sol. found (all assignments made)... 91.89 c Sol. found (all assignments made)... 91.89 c Sol. found (all assignments made)... 91.90 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 91.91 c Sol. found (all assignments made)... 92.09 c Sol. found (all assignments made)... 92.12 c Sol. found (all assignments made)... 92.13 c Sol. found (all assignments made)... 92.13 c Sol. found (all assignments made)... 92.39 c Sol. found (all assignments made)... 92.60 c Sol. found (all assignments made)... 92.60 c Sol. found (all assignments made)... 92.61 c Sol. found (all assignments made)... 92.63 c Sol. found (all assignments made)... 92.64 c Sol. found (all assignments made)... 92.64 c Sol. found (all assignments made)... 92.96 c Restart #13 #Var: 1344 LB: 0 @ 92.873 94.56 c Sol. found (all assignments made)... 94.57 c Sol. found (all assignments made)... 94.57 c Sol. found (all assignments made)... 94.58 c Sol. found (all assignments made)... 94.58 c Sol. found (all assignments made)... 94.59 c Sol. found (all assignments made)... 94.60 c Sol. found (all assignments made)... 94.60 c Sol. found (all assignments made)... 94.60 c Sol. found (all assignments made)... 94.62 c Sol. found (all assignments made)... 94.82 c Sol. found (all assignments made)... 94.82 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.85 c Sol. found (all assignments made)... 95.57 c Sol. found (all assignments made)... 95.57 o 51386 95.57 c NEW SOLUTION FOUND: 51386 @ 95.485 95.57 c Sol. found (all assignments made)... 95.59 c Sol. found (all assignments made)... 95.59 c Sol. found (all assignments made)... 95.59 c Sol. found (all assignments made)... 95.59 c Sol. found (all assignments made)... 95.64 c Sol. found (all assignments made)... 95.64 c Sol. found (all assignments made)... 95.65 c Sol. found (all assignments made)... 95.65 c Sol. found (all assignments made)... 95.65 c Sol. found (all assignments made)... 95.68 c Sol. found (all assignments made)... 95.68 c Sol. found (all assignments made)... 95.74 c Sol. found (all assignments made)... 95.74 c Sol. found (all assignments made)... 95.86 c Sol. found (all assignments made)... 95.86 c Sol. found (all assignments made)... 95.86 c Sol. found (all assignments made)... 95.86 c Sol. found (all assignments made)... 95.90 c Sol. found (all assignments made)... 95.90 c Sol. found (all assignments made)... 95.91 c Sol. found (all assignments made)... 95.91 c Sol. found (all assignments made)... 95.94 c Sol. found (all assignments made)... 95.94 c Sol. found (all assignments made)... 95.98 c Sol. found (all assignments made)... 95.98 c Sol. found (all assignments made)... 96.04 c Sol. found (all assignments made)... 96.04 c Sol. found (all assignments made)... 96.16 c Sol. found (all assignments made)... 96.16 c Sol. found (all assignments made)... 96.18 c Sol. found (all assignments made)... 96.18 c Sol. found (all assignments made)... 96.18 c Sol. found (all assignments made)... 96.18 c Sol. found (all assignments made)... 96.18 c Sol. found (all assignments made)... 96.18 c Sol. found (all assignments made)... 96.30 c Sol. found (all assignments made)... 96.30 c Sol. found (all assignments made)... 96.30 c Sol. found (all assignments made)... 96.30 c Sol. found (all assignments made)... 96.30 c Sol. found (all assignments made)... 96.30 c Sol. found (all assignments made)... 96.30 c Sol. found (all assignments made)... 96.31 c Sol. found (all assignments made)... 96.32 c Sol. found (all assignments made)... 96.32 c Sol. found (all assignments made)... 96.32 c Sol. found (all assignments made)... 96.32 c Sol. found (all assignments made)... 96.32 c Sol. found (all assignments made)... 96.56 c Sol. found (all assignments made)... 96.56 c Sol. found (all assignments made)... 97.38 c Sol. found (all assignments made)... 97.39 c Sol. found (all assignments made)... 97.44 c Sol. found (all assignments made)... 97.98 c Sol. found (all assignments made)... 97.98 c Sol. found (all assignments made)... 97.98 c Sol. found (all assignments made)... 97.99 c Sol. found (all assignments made)... 97.99 c Sol. found (all assignments made)... 98.24 c Sol. found (all assignments made)... 98.24 c Sol. found (all assignments made)... 98.24 c Sol. found (all assignments made)... 98.24 c Sol. found (all assignments made)... 98.25 c Sol. found (all assignments made)... 98.33 c Sol. found (all assignments made)... 98.33 c Sol. found (all assignments made)... 98.33 o 51083 98.33 c NEW SOLUTION FOUND: 51083 @ 98.243 98.33 c Sol. found (all assignments made)... 98.33 c Sol. found (all assignments made)... 98.33 c Sol. found (all assignments made)... 98.33 c Sol. found (all assignments made)... 98.33 c Sol. found (all assignments made)... 98.34 c Sol. found (all assignments made)... 98.34 c Sol. found (all assignments made)... 98.34 c Sol. found (all assignments made)... 98.41 c Sol. found (all assignments made)... 98.41 c Sol. found (all assignments made)... 98.58 c Sol. found (all assignments made)... 98.61 c Sol. found (all assignments made)... 98.61 c Sol. found (all assignments made)... 98.88 c Sol. found (all assignments made)... 98.88 c Sol. found (all assignments made)... 98.89 c Sol. found (all assignments made)... 99.21 c Sol. found (all assignments made)... 99.21 c Sol. found (all assignments made)... 99.22 c Sol. found (all assignments made)... 99.22 c Sol. found (all assignments made)... 99.24 c Sol. found (all assignments made)... 99.25 c Sol. found (all assignments made)... 99.25 c Sol. found (all assignments made)... 99.25 c Sol. found (all assignments made)... 99.25 c Sol. found (all assignments made)... 99.26 c Sol. found (all assignments made)... 99.28 c Sol. found (all assignments made)... 99.31 c Sol. found (all assignments made)... 99.31 c Sol. found (all assignments made)... 99.31 c Sol. found (all assignments made)... 99.31 c Sol. found (all assignments made)... 99.31 c Sol. found (all assignments made)... 100.45 c Sol. found (all assignments made)... 100.46 c Sol. found (all assignments made)... 100.46 o 50896 100.46 c NEW SOLUTION FOUND: 50896 @ 100.37 100.47 c Sol. found (all assignments made)... 100.50 c Sol. found (all assignments made)... 100.51 c Sol. found (all assignments made)... 100.52 c Sol. found (all assignments made)... 100.52 c Sol. found (all assignments made)... 100.53 c Sol. found (all assignments made)... 100.53 c Sol. found (all assignments made)... 100.53 o 50188 100.53 c NEW SOLUTION FOUND: 50188 @ 100.45 100.54 c Sol. found (all assignments made)... 100.54 c Sol. found (all assignments made)... 100.55 c Sol. found (all assignments made)... 100.56 c Sol. found (all assignments made)... 100.57 c Sol. found (all assignments made)... 101.02 c Sol. found (all assignments made)... 101.02 c Sol. found (all assignments made)... 101.66 c Sol. found (all assignments made)... 101.66 c Sol. found (all assignments made)... 101.66 c Sol. found (all assignments made)... 101.66 c Sol. found (all assignments made)... 101.67 c Sol. found (all assignments made)... 101.67 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.68 c Sol. found (all assignments made)... 101.69 c Sol. found (all assignments made)... 101.69 c Sol. found (all assignments made)... 101.69 c Sol. found (all assignments made)... 101.69 c Sol. found (all assignments made)... 102.94 c Sol. found (all assignments made)... 102.95 c Sol. found (all assignments made)... 102.95 c Sol. found (all assignments made)... 104.06 c Sol. found (all assignments made)... 104.28 c Sol. found (all assignments made)... 104.29 c Sol. found (all assignments made)... 104.35 c Sol. found (all assignments made)... 104.35 c Sol. found (all assignments made)... 104.60 c Sol. found (all assignments made)... 104.70 c Restart #14 #Var: 1344 LB: 0 @ 104.62 109.47 c Sol. found (all assignments made)... 109.47 c Sol. found (all assignments made)... 109.91 c Sol. found (all assignments made)... 113.95 c Sol. found (all assignments made)... 113.97 c Sol. found (all assignments made)... 113.97 c Sol. found (all assignments made)... 115.33 c Restart #15 #Var: 1344 LB: 0 @ 115.24 118.26 c Sol. found (all assignments made)... 118.49 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.60 c Sol. found (all assignments made)... 120.62 c Sol. found (all assignments made)... 120.62 c Sol. found (all assignments made)... 121.96 c Restart #16 #Var: 1344 LB: 0 @ 121.87 122.23 c Sol. found (all assignments made)... 122.52 c Sol. found (all assignments made)... 122.53 c Sol. found (all assignments made)... 122.98 c Sol. found (all assignments made)... 122.99 c Sol. found (all assignments made)... 123.04 c Sol. found (all assignments made)... 123.11 c Sol. found (all assignments made)... 123.20 c Sol. found (all assignments made)... 123.54 c Sol. found (all assignments made)... 123.56 c Sol. found (all assignments made)... 123.62 c Sol. found (all assignments made)... 123.82 c Sol. found (all assignments made)... 124.00 c Sol. found (all assignments made)... 124.28 c Sol. found (all assignments made)... 124.28 c Sol. found (all assignments made)... 124.94 c Sol. found (all assignments made)... 125.03 c Sol. found (all assignments made)... 125.52 c Sol. found (all assignments made)... 125.57 c Sol. found (all assignments made)... 126.00 c Sol. found (all assignments made)... 126.02 c Sol. found (all assignments made)... 126.74 c Sol. found (all assignments made)... 126.74 c Sol. found (all assignments made)... 127.37 c Sol. found (all assignments made)... 127.37 c Sol. found (all assignments made)... 127.42 c Sol. found (all assignments made)... 127.49 c Restart #17 #Var: 1344 LB: 0 @ 127.39 135.14 c Sol. found (all assignments made)... 136.02 c Sol. found (all assignments made)... 136.05 c Sol. found (all assignments made)... 139.05 c Restart #18 #Var: 1344 LB: 0 @ 138.96 139.45 c Sol. found (all assignments made)... 139.46 c Sol. found (all assignments made)... 140.34 c Sol. found (all assignments made)... 141.61 c Sol. found (all assignments made)... 143.60 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 143.85 c Sol. found (all assignments made)... 144.05 c Sol. found (all assignments made)... 144.15 c Sol. found (all assignments made)... 144.51 c Sol. found (all assignments made)... 144.83 c Sol. found (all assignments made)... 145.14 c Sol. found (all assignments made)... 145.18 c Sol. found (all assignments made)... 145.47 c Sol. found (all assignments made)... 145.77 c Sol. found (all assignments made)... 145.77 c Sol. found (all assignments made)... 145.78 c Sol. found (all assignments made)... 146.94 c Sol. found (all assignments made)... 146.97 c Sol. found (all assignments made)... 148.18 c Sol. found (all assignments made)... 148.51 c Sol. found (all assignments made)... 148.54 c Sol. found (all assignments made)... 149.01 c Restart #19 #Var: 1344 LB: 0 @ 148.91 157.42 c Restart #20 #Var: 1344 LB: 0 @ 157.32 158.28 c Sol. found (all assignments made)... 158.28 c Sol. found (all assignments made)... 158.37 c Sol. found (all assignments made)... 158.43 c Sol. found (all assignments made)... 158.48 c Sol. found (all assignments made)... 158.56 c Sol. found (all assignments made)... 158.70 c Sol. found (all assignments made)... 158.70 c Sol. found (all assignments made)... 158.71 c Sol. found (all assignments made)... 158.72 c Sol. found (all assignments made)... 158.91 c Sol. found (all assignments made)... 158.91 c Sol. found (all assignments made)... 159.30 c Sol. found (all assignments made)... 159.32 c Sol. found (all assignments made)... 159.32 c Sol. found (all assignments made)... 159.46 c Sol. found (all assignments made)... 159.47 c Sol. found (all assignments made)... 159.48 c Sol. found (all assignments made)... 159.49 c Sol. found (all assignments made)... 159.49 c Sol. found (all assignments made)... 159.51 c Sol. found (all assignments made)... 159.52 c Sol. found (all assignments made)... 160.41 c Sol. found (all assignments made)... 160.54 c Sol. found (all assignments made)... 160.59 c Sol. found (all assignments made)... 160.61 c Sol. found (all assignments made)... 160.62 c Sol. found (all assignments made)... 160.66 c Sol. found (all assignments made)... 160.66 c Sol. found (all assignments made)... 161.00 c Sol. found (all assignments made)... 161.00 c Sol. found (all assignments made)... 161.00 c Sol. found (all assignments made)... 161.20 c Sol. found (all assignments made)... 161.20 c Sol. found (all assignments made)... 161.63 c Sol. found (all assignments made)... 161.76 c Sol. found (all assignments made)... 161.97 c Sol. found (all assignments made)... 162.77 c Sol. found (all assignments made)... 162.98 c Sol. found (all assignments made)... 162.99 c Sol. found (all assignments made)... 163.35 c Sol. found (all assignments made)... 163.96 c Sol. found (all assignments made)... 164.00 c Sol. found (all assignments made)... 164.01 c Sol. found (all assignments made)... 164.01 c Sol. found (all assignments made)... 165.07 c Restart #21 #Var: 1344 LB: 0 @ 164.96 165.21 c Sol. found (all assignments made)... 165.22 c Sol. found (all assignments made)... 165.33 c Sol. found (all assignments made)... 165.33 c Sol. found (all assignments made)... 165.36 c Sol. found (all assignments made)... 165.38 c Sol. found (all assignments made)... 166.41 c Sol. found (all assignments made)... 166.80 c Sol. found (all assignments made)... 167.41 c Sol. found (all assignments made)... 167.41 c Sol. found (all assignments made)... 167.41 c Sol. found (all assignments made)... 167.41 c Sol. found (all assignments made)... 169.46 c Sol. found (all assignments made)... 169.46 c Sol. found (all assignments made)... 169.51 c Sol. found (all assignments made)... 169.51 c Sol. found (all assignments made)... 169.58 c Sol. found (all assignments made)... 169.58 c Sol. found (all assignments made)... 169.59 c Sol. found (all assignments made)... 169.59 c Sol. found (all assignments made)... 169.90 c Sol. found (all assignments made)... 170.64 c Sol. found (all assignments made)... 170.64 c Sol. found (all assignments made)... 171.08 c Sol. found (all assignments made)... 171.08 c Sol. found (all assignments made)... 171.09 c Sol. found (all assignments made)... 172.08 c Sol. found (all assignments made)... 172.14 c Sol. found (all assignments made)... 172.23 c Sol. found (all assignments made)... 172.30 c Sol. found (all assignments made)... 172.32 c Sol. found (all assignments made)... 172.64 c Sol. found (all assignments made)... 172.64 c Sol. found (all assignments made)... 172.78 c Sol. found (all assignments made)... 172.78 c Sol. found (all assignments made)... 172.78 c Sol. found (all assignments made)... 172.80 c Sol. found (all assignments made)... 172.90 c Restart #22 #Var: 1344 LB: 0 @ 172.79 175.06 c Sol. found (all assignments made)... 176.05 c Sol. found (all assignments made)... 176.07 c Sol. found (all assignments made)... 176.39 c Sol. found (all assignments made)... 176.69 c Sol. found (all assignments made)... 176.76 c Sol. found (all assignments made)... 176.92 c Sol. found (all assignments made)... 178.50 c Sol. found (all assignments made)... 178.51 c Sol. found (all assignments made)... 178.52 c Sol. found (all assignments made)... 178.52 c Sol. found (all assignments made)... 179.75 c Sol. found (all assignments made)... 179.77 c Sol. found (all assignments made)... 179.81 c Sol. found (all assignments made)... 179.84 c Sol. found (all assignments made)... 181.60 c Sol. found (all assignments made)... 181.62 c Sol. found (all assignments made)... 181.62 c Sol. found (all assignments made)... 182.24 c Sol. found (all assignments made)... 182.53 c Sol. found (all assignments made)... 182.68 c Sol. found (all assignments made)... 182.84 c Sol. found (all assignments made)... 182.86 c Sol. found (all assignments made)... 183.06 c Sol. found (all assignments made)... 184.13 c Sol. found (all assignments made)... 184.86 c Sol. found (all assignments made)... 184.94 c Sol. found (all assignments made)... 185.00 c Sol. found (all assignments made)... 185.11 c Sol. found (all assignments made)... 185.20 c Sol. found (all assignments made)... 185.27 c Sol. found (all assignments made)... 185.98 c Sol. found (all assignments made)... 186.32 c Sol. found (all assignments made)... 187.09 c Sol. found (all assignments made)... 187.29 c Sol. found (all assignments made)... 187.77 c Restart #23 #Var: 1344 LB: 0 @ 187.65 199.37 c Sol. found (all assignments made)... 200.92 c Restart #24 #Var: 1344 LB: 0 @ 200.8 201.82 c Sol. found (all assignments made)... 201.82 c Sol. found (all assignments made)... 204.51 c Sol. found (all assignments made)... 204.51 c Sol. found (all assignments made)... 207.07 c Sol. found (all assignments made)... 207.19 c Sol. found (all assignments made)... 208.06 c Sol. found (all assignments made)... 208.11 c Sol. found (all assignments made)... 209.42 c Sol. found (all assignments made)... 209.54 c Sol. found (all assignments made)... 209.54 c Sol. found (all assignments made)... 209.92 c Sol. found (all assignments made)... 211.78 c Sol. found (all assignments made)... 211.79 c Sol. found (all assignments made)... 211.81 c Sol. found (all assignments made)... 211.91 c Sol. found (all assignments made)... 211.92 c Sol. found (all assignments made)... 212.03 c Sol. found (all assignments made)... 212.20 c Sol. found (all assignments made)... 212.64 c Restart #25 #Var: 1344 LB: 0 @ 212.52 222.67 c Sol. found (all assignments made)... 222.68 c Sol. found (all assignments made)... 224.38 c Sol. found (all assignments made)... 227.48 c Restart #26 #Var: 1344 LB: 0 @ 227.35 231.15 c Sol. found (all assignments made)... 232.13 c Sol. found (all assignments made)... 234.94 c Sol. found (all assignments made)... 239.68 c Sol. found (all assignments made)... 239.72 c Sol. found (all assignments made)... 239.75 c Sol. found (all assignments made)... 239.81 c Sol. found (all assignments made)... 239.81 c Sol. found (all assignments made)... 239.81 c Sol. found (all assignments made)... 240.70 c Sol. found (all assignments made)... 240.73 c Sol. found (all assignments made)... 240.82 c Sol. found (all assignments made)... 240.84 c Sol. found (all assignments made)... 240.86 c Sol. found (all assignments made)... 241.49 c Sol. found (all assignments made)... 242.16 c Restart #27 #Var: 1344 LB: 0 @ 242.03 254.05 c Restart #28 #Var: 1344 LB: 0 @ 253.91 260.55 c Sol. found (all assignments made)... 260.56 c Sol. found (all assignments made)... 262.37 c Sol. found (all assignments made)... 264.12 c Sol. found (all assignments made)... 264.12 c Sol. found (all assignments made)... 264.32 c Sol. found (all assignments made)... 264.32 c Sol. found (all assignments made)... 264.46 c Sol. found (all assignments made)... 264.47 c Sol. found (all assignments made)... 264.81 c Sol. found (all assignments made)... 265.08 c Restart #29 #Var: 1344 LB: 0 @ 264.94 282.51 c Sol. found (all assignments made)... 282.58 c Sol. found (all assignments made)... 282.58 c Sol. found (all assignments made)... 284.21 c Sol. found (all assignments made)... 284.21 c Sol. found (all assignments made)... 284.21 c Sol. found (all assignments made)... 285.15 c Sol. found (all assignments made)... 285.24 c Sol. found (all assignments made)... 285.24 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.26 c Sol. found (all assignments made)... 285.85 c Sol. found (all assignments made)... 285.85 c Sol. found (all assignments made)... 285.87 c Sol. found (all assignments made)... 285.87 c Sol. found (all assignments made)... 285.96 c Sol. found (all assignments made)... 285.97 c Sol. found (all assignments made)... 286.84 c Sol. found (all assignments made)... 287.21 c Sol. found (all assignments made)... 287.22 c Sol. found (all assignments made)... 287.22 c Sol. found (all assignments made)... 287.22 c Sol. found (all assignments made)... 287.26 c Sol. found (all assignments made)... 287.26 c Sol. found (all assignments made)... 287.26 c Sol. found (all assignments made)... 287.26 c Sol. found (all assignments made)... 287.30 c Sol. found (all assignments made)... 287.32 c Sol. found (all assignments made)... 288.06 c Restart #30 #Var: 1344 LB: 0 @ 287.91 289.79 c Sol. found (all assignments made)... 289.81 c Sol. found (all assignments made)... 289.82 c Sol. found (all assignments made)... 289.83 c Sol. found (all assignments made)... 289.91 c Sol. found (all assignments made)... 289.91 c Sol. found (all assignments made)... 289.92 c Sol. found (all assignments made)... 289.92 c Sol. found (all assignments made)... 290.97 c Sol. found (all assignments made)... 290.97 c Sol. found (all assignments made)... 290.98 c Sol. found (all assignments made)... 291.29 c Sol. found (all assignments made)... 291.29 c Sol. found (all assignments made)... 291.30 c Sol. found (all assignments made)... 291.30 c Sol. found (all assignments made)... 291.31 c Sol. found (all assignments made)... 291.31 c Sol. found (all assignments made)... 291.32 c Sol. found (all assignments made)... 291.32 c Sol. found (all assignments made)... 291.32 c Sol. found (all assignments made)... 291.32 c Sol. found (all assignments made)... 291.33 c Sol. found (all assignments made)... 291.33 c Sol. found (all assignments made)... 291.33 c Sol. found (all assignments made)... 291.38 c Sol. found (all assignments made)... 291.43 c Sol. found (all assignments made)... 291.43 c Sol. found (all assignments made)... 291.44 c Sol. found (all assignments made)... 291.44 c Sol. found (all assignments made)... 291.48 c Sol. found (all assignments made)... 291.48 c Sol. found (all assignments made)... 291.49 c Sol. found (all assignments made)... 291.49 c Sol. found (all assignments made)... 291.49 c Sol. found (all assignments made)... 291.50 c Sol. found (all assignments made)... 291.52 c Sol. found (all assignments made)... 291.52 c Sol. found (all assignments made)... 291.53 c Sol. found (all assignments made)... 291.53 c Sol. found (all assignments made)... 291.53 c Sol. found (all assignments made)... 291.54 c Sol. found (all assignments made)... 291.54 c Sol. found (all assignments made)... 291.54 c Sol. found (all assignments made)... 291.54 c Sol. found (all assignments made)... 291.54 c Sol. found (all assignments made)... 296.32 c Sol. found (all assignments made)... 296.45 c Sol. found (all assignments made)... 296.71 c Sol. found (all assignments made)... 296.93 c Sol. found (all assignments made)... 296.95 c Sol. found (all assignments made)... 298.33 c Sol. found (all assignments made)... 298.37 c Sol. found (all assignments made)... 298.37 c Sol. found (all assignments made)... 298.38 c Sol. found (all assignments made)... 298.38 c Sol. found (all assignments made)... 298.38 c Sol. found (all assignments made)... 298.39 c Sol. found (all assignments made)... 298.39 c Sol. found (all assignments made)... 298.40 c Sol. found (all assignments made)... 298.41 c Sol. found (all assignments made)... 298.41 c Sol. found (all assignments made)... 298.41 c Sol. found (all assignments made)... 298.42 c Sol. found (all assignments made)... 298.42 c Sol. found (all assignments made)... 298.47 c Sol. found (all assignments made)... 298.47 c Sol. found (all assignments made)... 298.47 c Sol. found (all assignments made)... 298.48 c Sol. found (all assignments made)... 298.48 c Sol. found (all assignments made)... 298.50 c Sol. found (all assignments made)... 298.50 c Sol. found (all assignments made)... 298.51 c Sol. found (all assignments made)... 298.51 c Sol. found (all assignments made)... 298.51 c Sol. found (all assignments made)... 298.51 c Sol. found (all assignments made)... 298.51 c Sol. found (all assignments made)... 298.52 c Sol. found (all assignments made)... 298.52 c Sol. found (all assignments made)... 298.79 c Sol. found (all assignments made)... 298.87 c Sol. found (all assignments made)... 298.87 c Sol. found (all assignments made)... 298.87 c Sol. found (all assignments made)... 298.91 c Sol. found (all assignments made)... 299.04 c Sol. found (all assignments made)... 299.18 c Sol. found (all assignments made)... 299.21 c Sol. found (all assignments made)... 299.22 c Sol. found (all assignments made)... 299.23 c Sol. found (all assignments made)... 299.25 c Sol. found (all assignments made)... 299.27 c Sol. found (all assignments made)... 299.84 c Sol. found (all assignments made)... 299.87 c Sol. found (all assignments made)... 299.87 c Sol. found (all assignments made)... 299.91 c Sol. found (all assignments made)... 300.21 c Sol. found (all assignments made)... 300.21 c Sol. found (all assignments made)... 300.22 c Sol. found (all assignments made)... 300.25 c Sol. found (all assignments made)... 300.26 c Sol. found (all assignments made)... 300.26 c Sol. found (all assignments made)... 300.26 c Sol. found (all assignments made)... 300.26 c Sol. found (all assignments made)... 300.27 c Sol. found (all assignments made)... 300.28 c Sol. found (all assignments made)... 300.35 c Sol. found (all assignments made)... 300.35 c Sol. found (all assignments made)... 300.36 c Sol. found (all assignments made)... 300.36 c Sol. found (all assignments made)... 300.42 c Sol. found (all assignments made)... 300.43 c Sol. found (all assignments made)... 300.43 c Sol. found (all assignments made)... 300.43 c Sol. found (all assignments made)... 300.65 c Sol. found (all assignments made)... 300.65 c Sol. found (all assignments made)... 301.03 c Sol. found (all assignments made)... 301.03 c Sol. found (all assignments made)... 301.13 c Sol. found (all assignments made)... 301.24 c Sol. found (all assignments made)... 301.31 c Sol. found (all assignments made)... 301.32 c Sol. found (all assignments made)... 301.33 c Sol. found (all assignments made)... 301.45 c Sol. found (all assignments made)... 301.45 c Sol. found (all assignments made)... 301.47 c Sol. found (all assignments made)... 301.63 c Sol. found (all assignments made)... 301.64 c Sol. found (all assignments made)... 301.71 c Sol. found (all assignments made)... 301.72 c Sol. found (all assignments made)... 301.89 c Sol. found (all assignments made)... 301.89 c Sol. found (all assignments made)... 301.90 c Sol. found (all assignments made)... 302.30 c Sol. found (all assignments made)... 302.43 c Sol. found (all assignments made)... 302.44 c Sol. found (all assignments made)... 302.44 c Sol. found (all assignments made)... 302.45 c Sol. found (all assignments made)... 302.45 c Sol. found (all assignments made)... 302.47 c Sol. found (all assignments made)... 302.49 c Sol. found (all assignments made)... 302.49 c Sol. found (all assignments made)... 302.50 c Sol. found (all assignments made)... 302.51 c Sol. found (all assignments made)... 302.51 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.55 c Sol. found (all assignments made)... 302.69 c Sol. found (all assignments made)... 303.18 c Sol. found (all assignments made)... 303.19 c Sol. found (all assignments made)... 303.21 c Sol. found (all assignments made)... 303.21 c Sol. found (all assignments made)... 303.35 c Restart #31 #Var: 1344 LB: 0 @ 303.19 308.99 c Sol. found (all assignments made)... 309.08 c Sol. found (all assignments made)... 311.40 c Sol. found (all assignments made)... 312.56 c Sol. found (all assignments made)... 312.56 c Sol. found (all assignments made)... 312.57 c Sol. found (all assignments made)... 312.58 c Sol. found (all assignments made)... 312.75 c Sol. found (all assignments made)... 312.87 c Sol. found (all assignments made)... 324.35 c Sol. found (all assignments made)... 324.96 c Sol. found (all assignments made)... 325.22 c Sol. found (all assignments made)... 325.22 c Sol. found (all assignments made)... 325.22 c Sol. found (all assignments made)... 326.73 c Sol. found (all assignments made)... 331.32 c Sol. found (all assignments made)... 331.32 c Sol. found (all assignments made)... 331.32 c Sol. found (all assignments made)... 331.32 c Sol. found (all assignments made)... 334.97 c Restart #32 #Var: 1344 LB: 0 @ 334.79 335.58 c Sol. found (all assignments made)... 336.37 c Sol. found (all assignments made)... 336.37 c Sol. found (all assignments made)... 336.53 c Sol. found (all assignments made)... 337.02 c Sol. found (all assignments made)... 337.50 c Sol. found (all assignments made)... 337.81 c Sol. found (all assignments made)... 338.79 c Sol. found (all assignments made)... 338.97 c Sol. found (all assignments made)... 338.97 c Sol. found (all assignments made)... 339.01 c Sol. found (all assignments made)... 339.12 c Sol. found (all assignments made)... 339.36 c Sol. found (all assignments made)... 339.49 c Sol. found (all assignments made)... 339.53 c Sol. found (all assignments made)... 339.61 c Sol. found (all assignments made)... 339.83 c Sol. found (all assignments made)... 340.29 c Sol. found (all assignments made)... 340.29 c Sol. found (all assignments made)... 340.31 c Sol. found (all assignments made)... 340.33 c Sol. found (all assignments made)... 340.33 c Sol. found (all assignments made)... 340.74 c Sol. found (all assignments made)... 340.78 c Sol. found (all assignments made)... 340.83 c Sol. found (all assignments made)... 341.12 c Sol. found (all assignments made)... 341.33 c Sol. found (all assignments made)... 341.37 c Sol. found (all assignments made)... 341.38 c Sol. found (all assignments made)... 341.38 c Sol. found (all assignments made)... 341.69 c Sol. found (all assignments made)... 341.69 c Sol. found (all assignments made)... 342.17 c Sol. found (all assignments made)... 342.19 c Sol. found (all assignments made)... 342.20 c Sol. found (all assignments made)... 342.20 c Sol. found (all assignments made)... 342.20 c Sol. found (all assignments made)... 342.20 c Sol. found (all assignments made)... 342.70 c Sol. found (all assignments made)... 343.07 c Sol. found (all assignments made)... 343.31 c Sol. found (all assignments made)... 343.32 c Sol. found (all assignments made)... 343.44 c Sol. found (all assignments made)... 343.46 c Sol. found (all assignments made)... 343.72 c Sol. found (all assignments made)... 343.73 c Sol. found (all assignments made)... 343.80 c Sol. found (all assignments made)... 343.81 c Sol. found (all assignments made)... 343.81 c Sol. found (all assignments made)... 343.92 c Sol. found (all assignments made)... 343.93 c Sol. found (all assignments made)... 343.93 c Sol. found (all assignments made)... 343.94 c Sol. found (all assignments made)... 343.95 c Sol. found (all assignments made)... 343.95 c Sol. found (all assignments made)... 343.96 c Sol. found (all assignments made)... 343.99 c Sol. found (all assignments made)... 344.01 c Sol. found (all assignments made)... 344.01 c Sol. found (all assignments made)... 344.01 c Sol. found (all assignments made)... 344.04 c Sol. found (all assignments made)... 344.04 c Sol. found (all assignments made)... 345.23 c Sol. found (all assignments made)... 345.24 c Sol. found (all assignments made)... 346.30 c Sol. found (all assignments made)... 346.30 c Sol. found (all assignments made)... 346.31 c Sol. found (all assignments made)... 346.42 c Sol. found (all assignments made)... 346.43 c Sol. found (all assignments made)... 346.67 c Sol. found (all assignments made)... 347.12 c Sol. found (all assignments made)... 347.21 c Sol. found (all assignments made)... 347.21 c Sol. found (all assignments made)... 347.35 c Sol. found (all assignments made)... 347.79 c Sol. found (all assignments made)... 350.61 c Sol. found (all assignments made)... 350.67 c Sol. found (all assignments made)... 350.77 c Sol. found (all assignments made)... 352.01 c Sol. found (all assignments made)... 352.11 c Sol. found (all assignments made)... 352.17 c Sol. found (all assignments made)... 352.42 c Sol. found (all assignments made)... 352.42 c Sol. found (all assignments made)... 352.53 c Sol. found (all assignments made)... 352.58 c Sol. found (all assignments made)... 352.72 c Restart #33 #Var: 1344 LB: 0 @ 352.54 367.14 c Sol. found (all assignments made)... 367.15 c Sol. found (all assignments made)... 367.25 c Sol. found (all assignments made)... 367.26 c Sol. found (all assignments made)... 371.08 c Sol. found (all assignments made)... 371.09 c Sol. found (all assignments made)... 371.29 c Sol. found (all assignments made)... 371.29 c Sol. found (all assignments made)... 371.36 c Sol. found (all assignments made)... 371.65 c Sol. found (all assignments made)... 372.12 c Sol. found (all assignments made)... 372.25 c Sol. found (all assignments made)... 372.47 c Sol. found (all assignments made)... 372.48 c Sol. found (all assignments made)... 372.67 c Sol. found (all assignments made)... 372.68 c Sol. found (all assignments made)... 372.92 c Sol. found (all assignments made)... 372.92 c Sol. found (all assignments made)... 373.17 c Sol. found (all assignments made)... 373.68 c Restart #34 #Var: 1344 LB: 0 @ 373.5 379.83 c Sol. found (all assignments made)... 379.83 c Sol. found (all assignments made)... 379.83 c Sol. found (all assignments made)... 379.83 c Sol. found (all assignments made)... 381.72 c Sol. found (all assignments made)... 381.73 c Sol. found (all assignments made)... 382.11 c Sol. found (all assignments made)... 382.35 c Sol. found (all assignments made)... 383.51 c Sol. found (all assignments made)... 383.51 c Sol. found (all assignments made)... 384.75 c Sol. found (all assignments made)... 384.87 c Sol. found (all assignments made)... 385.83 c Sol. found (all assignments made)... 385.83 c Sol. found (all assignments made)... 385.83 c Sol. found (all assignments made)... 385.83 c Sol. found (all assignments made)... 385.84 c Sol. found (all assignments made)... 385.84 c Sol. found (all assignments made)... 385.84 c Sol. found (all assignments made)... 385.84 c Sol. found (all assignments made)... 386.07 c Sol. found (all assignments made)... 386.08 c Sol. found (all assignments made)... 386.25 c Sol. found (all assignments made)... 386.25 c Sol. found (all assignments made)... 387.84 c Sol. found (all assignments made)... 390.06 c Sol. found (all assignments made)... 391.07 c Sol. found (all assignments made)... 391.08 c Sol. found (all assignments made)... 391.15 c Sol. found (all assignments made)... 391.17 c Sol. found (all assignments made)... 391.57 c Restart #35 #Var: 1344 LB: 0 @ 391.37 420.78 c Restart #36 #Var: 1344 LB: 0 @ 420.58 424.06 c Sol. found (all assignments made)... 424.07 c Sol. found (all assignments made)... 424.64 c Sol. found (all assignments made)... 427.08 c Sol. found (all assignments made)... 427.17 c Sol. found (all assignments made)... 427.44 c Sol. found (all assignments made)... 427.44 c Sol. found (all assignments made)... 427.58 c Sol. found (all assignments made)... 427.59 c Sol. found (all assignments made)... 427.60 c Sol. found (all assignments made)... 427.62 c Sol. found (all assignments made)... 427.63 c Sol. found (all assignments made)... 427.64 c Sol. found (all assignments made)... 427.65 c Sol. found (all assignments made)... 427.65 c Sol. found (all assignments made)... 427.95 c Sol. found (all assignments made)... 427.96 c Sol. found (all assignments made)... 430.43 c Sol. found (all assignments made)... 430.67 c Sol. found (all assignments made)... 431.53 c Sol. found (all assignments made)... 431.75 c Sol. found (all assignments made)... 432.54 c Sol. found (all assignments made)... 432.61 c Sol. found (all assignments made)... 433.25 c Sol. found (all assignments made)... 434.23 c Sol. found (all assignments made)... 434.50 c Sol. found (all assignments made)... 434.52 c Sol. found (all assignments made)... 434.52 c Sol. found (all assignments made)... 435.28 c Sol. found (all assignments made)... 435.42 c Sol. found (all assignments made)... 435.87 c Sol. found (all assignments made)... 435.97 c Sol. found (all assignments made)... 436.01 c Sol. found (all assignments made)... 437.77 c Sol. found (all assignments made)... 437.84 c Sol. found (all assignments made)... 437.86 c Sol. found (all assignments made)... 438.18 c Sol. found (all assignments made)... 438.34 c Sol. found (all assignments made)... 438.97 c Sol. found (all assignments made)... 439.13 c Sol. found (all assignments made)... 439.14 c Sol. found (all assignments made)... 439.15 c Sol. found (all assignments made)... 439.16 c Sol. found (all assignments made)... 440.57 c Sol. found (all assignments made)... 441.85 c Sol. found (all assignments made)... 443.13 c Sol. found (all assignments made)... 443.15 c Sol. found (all assignments made)... 443.21 c Sol. found (all assignments made)... 443.89 c Sol. found (all assignments made)... 443.90 c Sol. found (all assignments made)... 443.93 c Sol. found (all assignments made)... 443.93 c Sol. found (all assignments made)... 443.94 c Sol. found (all assignments made)... 444.05 c Sol. found (all assignments made)... 444.06 c Sol. found (all assignments made)... 444.12 c Sol. found (all assignments made)... 444.14 c Sol. found (all assignments made)... 444.15 c Sol. found (all assignments made)... 444.30 c Sol. found (all assignments made)... 445.89 c Restart #37 #Var: 1344 LB: 0 @ 445.68 449.06 c Sol. found (all assignments made)... 449.06 c Sol. found (all assignments made)... 449.07 c Sol. found (all assignments made)... 449.07 c Sol. found (all assignments made)... 449.08 c Sol. found (all assignments made)... 449.09 c Sol. found (all assignments made)... 449.09 c Sol. found (all assignments made)... 449.09 c Sol. found (all assignments made)... 449.09 c Sol. found (all assignments made)... 449.10 c Sol. found (all assignments made)... 449.10 c Sol. found (all assignments made)... 449.10 c Sol. found (all assignments made)... 449.10 c Sol. found (all assignments made)... 449.44 c Sol. found (all assignments made)... 449.53 c Sol. found (all assignments made)... 449.67 c Sol. found (all assignments made)... 449.68 c Sol. found (all assignments made)... 449.80 c Sol. found (all assignments made)... 449.81 c Sol. found (all assignments made)... 450.71 c Sol. found (all assignments made)... 450.73 c Sol. found (all assignments made)... 450.77 c Sol. found (all assignments made)... 450.80 c Sol. found (all assignments made)... 451.14 c Sol. found (all assignments made)... 451.22 c Sol. found (all assignments made)... 451.23 c Sol. found (all assignments made)... 451.25 c Sol. found (all assignments made)... 451.26 c Sol. found (all assignments made)... 451.27 c Sol. found (all assignments made)... 451.42 c Sol. found (all assignments made)... 451.42 c Sol. found (all assignments made)... 453.37 c Sol. found (all assignments made)... 454.78 c Sol. found (all assignments made)... 454.85 c Sol. found (all assignments made)... 455.13 c Sol. found (all assignments made)... 455.13 c Sol. found (all assignments made)... 456.07 c Sol. found (all assignments made)... 462.86 c Restart #38 #Var: 1344 LB: 0 @ 462.63 463.71 c Sol. found (all assignments made)... 463.87 c Sol. found (all assignments made)... 464.62 c Sol. found (all assignments made)... 474.03 c Sol. found (all assignments made)... 474.98 c Sol. found (all assignments made)... 475.11 c Sol. found (all assignments made)... 475.84 c Sol. found (all assignments made)... 475.92 c Sol. found (all assignments made)... 475.92 c Sol. found (all assignments made)... 476.00 c Sol. found (all assignments made)... 477.53 c Sol. found (all assignments made)... 477.85 c Sol. found (all assignments made)... 478.08 c Sol. found (all assignments made)... 478.09 c Sol. found (all assignments made)... 478.49 c Sol. found (all assignments made)... 480.10 c Sol. found (all assignments made)... 480.17 c Sol. found (all assignments made)... 486.07 c Restart #39 #Var: 1344 LB: 0 @ 485.84 487.70 c Sol. found (all assignments made)... 487.87 c Sol. found (all assignments made)... 487.88 c Sol. found (all assignments made)... 489.29 c Sol. found (all assignments made)... 489.33 c Sol. found (all assignments made)... 489.34 c Sol. found (all assignments made)... 489.34 c Sol. found (all assignments made)... 489.35 c Sol. found (all assignments made)... 489.36 c Sol. found (all assignments made)... 495.74 c Sol. found (all assignments made)... 495.78 c Sol. found (all assignments made)... 495.90 c Sol. found (all assignments made)... 495.91 c Sol. found (all assignments made)... 495.92 c Sol. found (all assignments made)... 495.92 c Sol. found (all assignments made)... 496.04 c Sol. found (all assignments made)... 496.07 c Sol. found (all assignments made)... 501.04 c Sol. found (all assignments made)... 501.06 c Sol. found (all assignments made)... 503.94 c Sol. found (all assignments made)... 503.95 c Sol. found (all assignments made)... 503.98 c Sol. found (all assignments made)... 503.99 c Sol. found (all assignments made)... 504.85 c Sol. found (all assignments made)... 505.00 c Sol. found (all assignments made)... 505.69 c Sol. found (all assignments made)... 505.83 c Sol. found (all assignments made)... 506.13 c Sol. found (all assignments made)... 506.54 c Sol. found (all assignments made)... 507.59 c Sol. found (all assignments made)... 508.40 c Sol. found (all assignments made)... 508.41 c Sol. found (all assignments made)... 508.41 c Sol. found (all assignments made)... 508.44 c Sol. found (all assignments made)... 508.44 c Sol. found (all assignments made)... 508.46 c Sol. found (all assignments made)... 510.87 c Sol. found (all assignments made)... 511.99 c Sol. found (all assignments made)... 511.99 c Sol. found (all assignments made)... 512.23 c Sol. found (all assignments made)... 512.42 c Sol. found (all assignments made)... 512.62 c Sol. found (all assignments made)... 512.83 c Sol. found (all assignments made)... 513.33 c Sol. found (all assignments made)... 513.34 c Sol. found (all assignments made)... 515.29 c Sol. found (all assignments made)... 515.29 c Sol. found (all assignments made)... 515.30 c Sol. found (all assignments made)... 516.56 c Sol. found (all assignments made)... 516.74 c Sol. found (all assignments made)... 517.56 c Sol. found (all assignments made)... 517.71 c Restart #40 #Var: 1344 LB: 0 @ 517.46 526.00 c Sol. found (all assignments made)... 527.19 c Sol. found (all assignments made)... 527.80 c Sol. found (all assignments made)... 529.29 c Sol. found (all assignments made)... 529.30 c Sol. found (all assignments made)... 531.16 c Sol. found (all assignments made)... 531.17 c Sol. found (all assignments made)... 531.29 c Sol. found (all assignments made)... 533.06 c Sol. found (all assignments made)... 534.99 c Sol. found (all assignments made)... 535.29 c Sol. found (all assignments made)... 537.69 c Sol. found (all assignments made)... 537.70 c Sol. found (all assignments made)... 539.75 c Sol. found (all assignments made)... 539.76 c Sol. found (all assignments made)... 540.19 c Sol. found (all assignments made)... 540.19 c Sol. found (all assignments made)... 540.20 c Sol. found (all assignments made)... 540.21 c Sol. found (all assignments made)... 540.23 c Sol. found (all assignments made)... 540.25 c Sol. found (all assignments made)... 540.41 c Sol. found (all assignments made)... 540.48 c Sol. found (all assignments made)... 540.52 c Sol. found (all assignments made)... 540.53 c Sol. found (all assignments made)... 540.55 c Sol. found (all assignments made)... 540.67 c Sol. found (all assignments made)... 541.08 c Sol. found (all assignments made)... 541.09 c Sol. found (all assignments made)... 541.14 c Sol. found (all assignments made)... 541.16 c Sol. found (all assignments made)... 541.17 c Sol. found (all assignments made)... 541.17 c Sol. found (all assignments made)... 541.19 c Sol. found (all assignments made)... 541.20 c Sol. found (all assignments made)... 541.40 c Sol. found (all assignments made)... 541.55 c Restart #41 #Var: 1344 LB: 0 @ 541.29 568.27 c Sol. found (all assignments made)... 568.81 c Sol. found (all assignments made)... 568.82 c Sol. found (all assignments made)... 568.83 c Sol. found (all assignments made)... 569.31 c Sol. found (all assignments made)... 569.43 c Sol. found (all assignments made)... 571.01 c Sol. found (all assignments made)... 571.12 c Sol. found (all assignments made)... 571.73 c Sol. found (all assignments made)... 572.73 c Sol. found (all assignments made)... 573.56 c Sol. found (all assignments made)... 573.56 c Sol. found (all assignments made)... 573.56 c Sol. found (all assignments made)... 573.57 c Sol. found (all assignments made)... 573.71 c Sol. found (all assignments made)... 574.70 c Sol. found (all assignments made)... 575.61 c Sol. found (all assignments made)... 576.25 c Sol. found (all assignments made)... 576.29 c Sol. found (all assignments made)... 576.51 c Sol. found (all assignments made)... 576.56 c Sol. found (all assignments made)... 576.78 c Sol. found (all assignments made)... 576.82 c Sol. found (all assignments made)... 576.82 c Sol. found (all assignments made)... 576.82 c Sol. found (all assignments made)... 576.82 c Sol. found (all assignments made)... 577.26 c Sol. found (all assignments made)... 577.29 c Sol. found (all assignments made)... 579.44 c Sol. found (all assignments made)... 579.45 c Sol. found (all assignments made)... 580.53 c Sol. found (all assignments made)... 581.08 c Sol. found (all assignments made)... 581.61 c Restart #42 #Var: 1344 LB: 0 @ 581.33 583.84 c Sol. found (all assignments made)... 583.87 c Sol. found (all assignments made)... 583.88 c Sol. found (all assignments made)... 583.99 c Sol. found (all assignments made)... 584.01 c Sol. found (all assignments made)... 584.10 c Sol. found (all assignments made)... 586.56 c Sol. found (all assignments made)... 587.01 c Sol. found (all assignments made)... 587.95 c Sol. found (all assignments made)... 588.00 c Sol. found (all assignments made)... 590.16 c Sol. found (all assignments made)... 590.25 c Sol. found (all assignments made)... 590.39 c Sol. found (all assignments made)... 591.61 c Sol. found (all assignments made)... 598.21 c Sol. found (all assignments made)... 598.23 c Sol. found (all assignments made)... 598.75 c Sol. found (all assignments made)... 599.30 c Sol. found (all assignments made)... 599.30 c Sol. found (all assignments made)... 599.39 c Sol. found (all assignments made)... 599.40 c Sol. found (all assignments made)... 599.44 c Sol. found (all assignments made)... 599.48 c Sol. found (all assignments made)... 599.48 c Sol. found (all assignments made)... 599.50 c Sol. found (all assignments made)... 601.07 c Sol. found (all assignments made)... 601.08 c Sol. found (all assignments made)... 601.27 c Sol. found (all assignments made)... 601.27 c Sol. found (all assignments made)... 601.65 c Sol. found (all assignments made)... 601.65 c Sol. found (all assignments made)... 602.02 c Sol. found (all assignments made)... 602.28 c Sol. found (all assignments made)... 602.44 c Sol. found (all assignments made)... 602.44 c Sol. found (all assignments made)... 602.81 c Sol. found (all assignments made)... 603.22 c Sol. found (all assignments made)... 603.23 c Sol. found (all assignments made)... 603.76 c Sol. found (all assignments made)... 603.98 c Sol. found (all assignments made)... 606.36 c Sol. found (all assignments made)... 606.70 c Sol. found (all assignments made)... 606.71 c Sol. found (all assignments made)... 606.71 c Sol. found (all assignments made)... 607.95 c Sol. found (all assignments made)... 607.97 c Sol. found (all assignments made)... 607.99 c Sol. found (all assignments made)... 608.05 c Sol. found (all assignments made)... 608.08 c Sol. found (all assignments made)... 608.92 c Restart #43 #Var: 1344 LB: 0 @ 608.63 613.74 c Sol. found (all assignments made)... 614.81 c Sol. found (all assignments made)... 616.64 c Sol. found (all assignments made)... 616.65 c Sol. found (all assignments made)... 616.66 c Sol. found (all assignments made)... 616.68 c Sol. found (all assignments made)... 616.77 c Sol. found (all assignments made)... 616.86 c Sol. found (all assignments made)... 616.89 c Sol. found (all assignments made)... 617.80 c Sol. found (all assignments made)... 617.89 c Sol. found (all assignments made)... 618.35 c Sol. found (all assignments made)... 619.17 c Sol. found (all assignments made)... 620.89 c Sol. found (all assignments made)... 622.05 c Sol. found (all assignments made)... 622.81 c Sol. found (all assignments made)... 623.26 c Sol. found (all assignments made)... 623.30 c Sol. found (all assignments made)... 624.46 c Sol. found (all assignments made)... 624.70 c Sol. found (all assignments made)... 624.90 c Sol. found (all assignments made)... 625.38 c Sol. found (all assignments made)... 625.43 c Sol. found (all assignments made)... 625.47 c Sol. found (all assignments made)... 627.04 c Sol. found (all assignments made)... 628.00 c Sol. found (all assignments made)... 628.01 c Sol. found (all assignments made)... 630.26 c Sol. found (all assignments made)... 630.26 c Sol. found (all assignments made)... 632.93 c Sol. found (all assignments made)... 638.20 c Sol. found (all assignments made)... 638.23 c Sol. found (all assignments made)... 638.23 c Sol. found (all assignments made)... 638.64 c Sol. found (all assignments made)... 638.90 c Sol. found (all assignments made)... 640.73 c Restart #44 #Var: 1344 LB: 0 @ 640.44 645.47 c Sol. found (all assignments made)... 645.47 o 49869 645.47 c NEW SOLUTION FOUND: 49869 @ 645.17 645.47 c Sol. found (all assignments made)... 645.48 c Sol. found (all assignments made)... 645.48 o 49835 645.48 c NEW SOLUTION FOUND: 49835 @ 645.18 645.48 c Sol. found (all assignments made)... 647.83 c Sol. found (all assignments made)... 647.83 c Sol. found (all assignments made)... 647.83 c Sol. found (all assignments made)... 647.83 c Sol. found (all assignments made)... 647.83 c Sol. found (all assignments made)... 647.83 c Sol. found (all assignments made)... 647.91 c Sol. found (all assignments made)... 647.91 c Sol. found (all assignments made)... 647.91 c Sol. found (all assignments made)... 647.91 c Sol. found (all assignments made)... 647.92 c Sol. found (all assignments made)... 647.92 c Sol. found (all assignments made)... 647.94 c Sol. found (all assignments made)... 647.94 c Sol. found (all assignments made)... 647.94 c Sol. found (all assignments made)... 647.94 c Sol. found (all assignments made)... 647.98 c Sol. found (all assignments made)... 647.98 c Sol. found (all assignments made)... 650.72 c Sol. found (all assignments made)... 650.72 c Sol. found (all assignments made)... 650.96 c Sol. found (all assignments made)... 651.31 c Sol. found (all assignments made)... 651.31 c Sol. found (all assignments made)... 651.31 c Sol. found (all assignments made)... 651.32 c Sol. found (all assignments made)... 651.32 c Sol. found (all assignments made)... 651.32 c Sol. found (all assignments made)... 651.32 c Sol. found (all assignments made)... 651.41 c Sol. found (all assignments made)... 653.86 c Sol. found (all assignments made)... 653.86 c Sol. found (all assignments made)... 653.86 c Sol. found (all assignments made)... 653.87 c Sol. found (all assignments made)... 653.88 c Sol. found (all assignments made)... 654.21 c Sol. found (all assignments made)... 654.21 c Sol. found (all assignments made)... 654.21 c Sol. found (all assignments made)... 663.85 c Restart #45 #Var: 1344 LB: 0 @ 663.54 666.54 c Sol. found (all assignments made)... 666.65 c Sol. found (all assignments made)... 666.88 c Sol. found (all assignments made)... 666.89 c Sol. found (all assignments made)... 667.04 c Sol. found (all assignments made)... 667.78 c Sol. found (all assignments made)... 667.85 c Sol. found (all assignments made)... 668.35 c Sol. found (all assignments made)... 668.36 c Sol. found (all assignments made)... 668.56 c Sol. found (all assignments made)... 668.58 c Sol. found (all assignments made)... 669.66 c Sol. found (all assignments made)... 669.67 c Sol. found (all assignments made)... 669.74 c Sol. found (all assignments made)... 669.83 c Sol. found (all assignments made)... 671.55 c Sol. found (all assignments made)... 672.52 c Sol. found (all assignments made)... 673.08 c Sol. found (all assignments made)... 674.04 c Sol. found (all assignments made)... 674.07 c Sol. found (all assignments made)... 674.55 c Sol. found (all assignments made)... 674.84 c Sol. found (all assignments made)... 674.85 c Sol. found (all assignments made)... 674.87 c Sol. found (all assignments made)... 675.16 c Sol. found (all assignments made)... 675.47 c Sol. found (all assignments made)... 675.47 c Sol. found (all assignments made)... 675.48 c Sol. found (all assignments made)... 675.48 c Sol. found (all assignments made)... 675.49 c Sol. found (all assignments made)... 675.49 c Sol. found (all assignments made)... 675.50 c Sol. found (all assignments made)... 675.50 c Sol. found (all assignments made)... 675.59 c Sol. found (all assignments made)... 675.91 c Sol. found (all assignments made)... 675.91 c Sol. found (all assignments made)... 676.25 c Sol. found (all assignments made)... 676.26 c Sol. found (all assignments made)... 676.26 c Sol. found (all assignments made)... 676.62 c Sol. found (all assignments made)... 676.65 c Sol. found (all assignments made)... 676.88 c Sol. found (all assignments made)... 677.30 c Sol. found (all assignments made)... 677.32 c Sol. found (all assignments made)... 677.33 c Sol. found (all assignments made)... 677.41 c Sol. found (all assignments made)... 677.41 c Sol. found (all assignments made)... 677.44 c Sol. found (all assignments made)... 678.60 c Sol. found (all assignments made)... 680.80 c Sol. found (all assignments made)... 681.59 c Sol. found (all assignments made)... 681.60 c Sol. found (all assignments made)... 682.87 c Sol. found (all assignments made)... 682.90 c Sol. found (all assignments made)... 683.28 c Sol. found (all assignments made)... 683.30 c Sol. found (all assignments made)... 683.33 c Sol. found (all assignments made)... 683.44 c Sol. found (all assignments made)... 683.46 c Sol. found (all assignments made)... 683.71 c Sol. found (all assignments made)... 683.71 c Sol. found (all assignments made)... 684.10 c Sol. found (all assignments made)... 684.22 c Sol. found (all assignments made)... 684.22 c Sol. found (all assignments made)... 686.18 c Sol. found (all assignments made)... 686.18 c Sol. found (all assignments made)... 686.20 c Sol. found (all assignments made)... 686.21 c Sol. found (all assignments made)... 686.22 c Sol. found (all assignments made)... 686.40 c Sol. found (all assignments made)... 686.41 c Sol. found (all assignments made)... 686.85 c Sol. found (all assignments made)... 686.93 c Sol. found (all assignments made)... 687.15 c Sol. found (all assignments made)... 687.18 c Sol. found (all assignments made)... 687.19 c Sol. found (all assignments made)... 688.23 c Sol. found (all assignments made)... 688.58 c Sol. found (all assignments made)... 688.77 c Sol. found (all assignments made)... 688.82 c Sol. found (all assignments made)... 689.14 c Sol. found (all assignments made)... 689.14 c Sol. found (all assignments made)... 689.27 c Sol. found (all assignments made)... 689.29 c Sol. found (all assignments made)... 690.04 c Sol. found (all assignments made)... 690.08 c Sol. found (all assignments made)... 692.30 c Sol. found (all assignments made)... 692.39 c Sol. found (all assignments made)... 692.43 c Sol. found (all assignments made)... 692.44 c Sol. found (all assignments made)... 692.99 c Sol. found (all assignments made)... 693.25 c Sol. found (all assignments made)... 693.46 c Restart #46 #Var: 1344 LB: 0 @ 693.14 740.44 c Restart #47 #Var: 1344 LB: 0 @ 740.1 741.26 c Sol. found (all assignments made)... 741.29 c Sol. found (all assignments made)... 741.32 c Sol. found (all assignments made)... 741.51 c Sol. found (all assignments made)... 741.54 c Sol. found (all assignments made)... 741.54 c Sol. found (all assignments made)... 742.06 c Sol. found (all assignments made)... 742.13 c Sol. found (all assignments made)... 742.23 c Sol. found (all assignments made)... 743.28 c Sol. found (all assignments made)... 744.00 c Sol. found (all assignments made)... 744.88 c Sol. found (all assignments made)... 744.94 c Sol. found (all assignments made)... 745.24 c Sol. found (all assignments made)... 745.26 c Sol. found (all assignments made)... 746.30 c Sol. found (all assignments made)... 746.30 c Sol. found (all assignments made)... 746.31 c Sol. found (all assignments made)... 746.32 c Sol. found (all assignments made)... 746.54 c Sol. found (all assignments made)... 746.71 c Sol. found (all assignments made)... 747.04 c Sol. found (all assignments made)... 747.19 c Sol. found (all assignments made)... 747.19 c Sol. found (all assignments made)... 747.20 c Sol. found (all assignments made)... 747.21 c Sol. found (all assignments made)... 747.26 c Sol. found (all assignments made)... 747.34 c Sol. found (all assignments made)... 747.35 c Sol. found (all assignments made)... 747.37 c Sol. found (all assignments made)... 747.38 c Sol. found (all assignments made)... 747.42 c Sol. found (all assignments made)... 747.42 c Sol. found (all assignments made)... 747.43 c Sol. found (all assignments made)... 747.44 c Sol. found (all assignments made)... 747.48 c Sol. found (all assignments made)... 747.49 c Sol. found (all assignments made)... 747.55 c Sol. found (all assignments made)... 747.55 c Sol. found (all assignments made)... 748.52 c Sol. found (all assignments made)... 748.53 c Sol. found (all assignments made)... 748.57 c Sol. found (all assignments made)... 748.58 c Sol. found (all assignments made)... 748.68 c Sol. found (all assignments made)... 748.74 c Sol. found (all assignments made)... 748.74 c Sol. found (all assignments made)... 749.09 c Sol. found (all assignments made)... 749.09 c Sol. found (all assignments made)... 749.17 c Sol. found (all assignments made)... 749.17 c Sol. found (all assignments made)... 749.18 c Sol. found (all assignments made)... 749.21 c Sol. found (all assignments made)... 749.23 c Sol. found (all assignments made)... 749.24 c Sol. found (all assignments made)... 749.24 c Sol. found (all assignments made)... 749.36 c Sol. found (all assignments made)... 749.39 c Sol. found (all assignments made)... 749.50 c Sol. found (all assignments made)... 749.51 c Sol. found (all assignments made)... 749.51 c Sol. found (all assignments made)... 750.00 c Sol. found (all assignments made)... 750.04 c Sol. found (all assignments made)... 750.04 c Sol. found (all assignments made)... 750.23 c Sol. found (all assignments made)... 750.29 c Sol. found (all assignments made)... 750.32 c Sol. found (all assignments made)... 750.64 c Sol. found (all assignments made)... 750.65 c Sol. found (all assignments made)... 750.90 c Sol. found (all assignments made)... 750.92 c Sol. found (all assignments made)... 751.06 c Sol. found (all assignments made)... 751.07 c Sol. found (all assignments made)... 751.12 c Sol. found (all assignments made)... 751.46 c Sol. found (all assignments made)... 751.62 c Sol. found (all assignments made)... 751.63 c Sol. found (all assignments made)... 751.64 c Sol. found (all assignments made)... 751.95 c Sol. found (all assignments made)... 753.15 c Sol. found (all assignments made)... 753.17 c Sol. found (all assignments made)... 753.37 c Sol. found (all assignments made)... 753.38 c Sol. found (all assignments made)... 753.41 c Sol. found (all assignments made)... 753.60 c Sol. found (all assignments made)... 753.61 c Sol. found (all assignments made)... 753.62 c Sol. found (all assignments made)... 753.62 c Sol. found (all assignments made)... 753.94 c Sol. found (all assignments made)... 753.96 c Sol. found (all assignments made)... 754.11 c Sol. found (all assignments made)... 754.24 c Sol. found (all assignments made)... 754.25 c Sol. found (all assignments made)... 754.25 c Sol. found (all assignments made)... 754.26 c Sol. found (all assignments made)... 754.50 c Sol. found (all assignments made)... 755.46 c Sol. found (all assignments made)... 755.46 c Sol. found (all assignments made)... 755.46 c Sol. found (all assignments made)... 755.48 c Sol. found (all assignments made)... 755.48 c Sol. found (all assignments made)... 755.48 c Sol. found (all assignments made)... 755.50 c Sol. found (all assignments made)... 755.51 c Sol. found (all assignments made)... 755.51 c Sol. found (all assignments made)... 755.53 c Sol. found (all assignments made)... 755.53 c Sol. found (all assignments made)... 758.90 c Sol. found (all assignments made)... 758.91 c Sol. found (all assignments made)... 760.82 c Sol. found (all assignments made)... 761.95 c Restart #48 #Var: 1344 LB: 0 @ 761.6 783.31 c Sol. found (all assignments made)... 783.95 c Sol. found (all assignments made)... 787.71 c Sol. found (all assignments made)... 787.71 c Sol. found (all assignments made)... 787.95 c Sol. found (all assignments made)... 787.96 c Sol. found (all assignments made)... 800.53 c Sol. found (all assignments made)... 802.53 c Sol. found (all assignments made)... 804.08 c Sol. found (all assignments made)... 804.32 c Sol. found (all assignments made)... 812.76 c Sol. found (all assignments made)... 813.70 c Sol. found (all assignments made)... 814.28 c Sol. found (all assignments made)... 815.34 c Sol. found (all assignments made)... 815.37 c Sol. found (all assignments made)... 823.60 c Sol. found (all assignments made)... 826.99 c Sol. found (all assignments made)... 827.07 c Sol. found (all assignments made)... 827.24 c Restart #49 #Var: 1344 LB: 0 @ 826.87 841.47 c Sol. found (all assignments made)... 842.34 c Sol. found (all assignments made)... 842.66 c Sol. found (all assignments made)... 844.20 c Sol. found (all assignments made)... 844.21 c Sol. found (all assignments made)... 844.21 c Sol. found (all assignments made)... 844.23 c Sol. found (all assignments made)... 844.31 c Sol. found (all assignments made)... 844.32 c Sol. found (all assignments made)... 844.43 c Sol. found (all assignments made)... 844.43 c Sol. found (all assignments made)... 844.43 c Sol. found (all assignments made)... 844.62 c Sol. found (all assignments made)... 844.74 c Sol. found (all assignments made)... 844.74 c Sol. found (all assignments made)... 844.74 c Sol. found (all assignments made)... 844.76 c Sol. found (all assignments made)... 844.86 c Sol. found (all assignments made)... 844.86 c Sol. found (all assignments made)... 844.96 c Sol. found (all assignments made)... 845.13 c Sol. found (all assignments made)... 845.18 c Sol. found (all assignments made)... 845.18 c Sol. found (all assignments made)... 845.21 c Sol. found (all assignments made)... 845.21 c Sol. found (all assignments made)... 845.21 c Sol. found (all assignments made)... 845.30 c Sol. found (all assignments made)... 846.06 c Sol. found (all assignments made)... 846.06 c Sol. found (all assignments made)... 846.68 c Sol. found (all assignments made)... 846.68 c Sol. found (all assignments made)... 846.68 c Sol. found (all assignments made)... 846.69 c Sol. found (all assignments made)... 846.83 c Sol. found (all assignments made)... 846.84 c Sol. found (all assignments made)... 846.98 c Sol. found (all assignments made)... 846.99 c Sol. found (all assignments made)... 848.51 c Sol. found (all assignments made)... 855.23 c Sol. found (all assignments made)... 855.79 c Sol. found (all assignments made)... 857.17 c Sol. found (all assignments made)... 858.95 c Sol. found (all assignments made)... 859.00 c Sol. found (all assignments made)... 859.57 c Sol. found (all assignments made)... 861.75 c Sol. found (all assignments made)... 863.27 c Sol. found (all assignments made)... 865.69 c Sol. found (all assignments made)... 867.07 c Sol. found (all assignments made)... 867.67 c Sol. found (all assignments made)... 869.53 c Sol. found (all assignments made)... 869.59 c Sol. found (all assignments made)... 869.74 c Sol. found (all assignments made)... 871.37 c Restart #50 #Var: 1344 LB: 0 @ 870.98 872.70 c Sol. found (all assignments made)... 872.71 c Sol. found (all assignments made)... 873.38 c Sol. found (all assignments made)... 874.73 c Sol. found (all assignments made)... 874.75 c Sol. found (all assignments made)... 874.77 c Sol. found (all assignments made)... 874.78 c Sol. found (all assignments made)... 874.85 c Sol. found (all assignments made)... 874.85 c Sol. found (all assignments made)... 874.86 c Sol. found (all assignments made)... 874.87 c Sol. found (all assignments made)... 874.87 c Sol. found (all assignments made)... 874.87 c Sol. found (all assignments made)... 874.88 c Sol. found (all assignments made)... 875.64 c Sol. found (all assignments made)... 875.67 c Sol. found (all assignments made)... 875.88 c Sol. found (all assignments made)... 876.29 c Sol. found (all assignments made)... 876.29 c Sol. found (all assignments made)... 876.31 c Sol. found (all assignments made)... 877.01 c Sol. found (all assignments made)... 877.02 c Sol. found (all assignments made)... 877.03 c Sol. found (all assignments made)... 877.10 c Sol. found (all assignments made)... 877.10 c Sol. found (all assignments made)... 877.29 c Sol. found (all assignments made)... 877.29 c Sol. found (all assignments made)... 879.52 c Sol. found (all assignments made)... 879.78 c Sol. found (all assignments made)... 879.82 c Sol. found (all assignments made)... 879.99 c Sol. found (all assignments made)... 882.05 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.10 c Sol. found (all assignments made)... 882.11 c Sol. found (all assignments made)... 882.84 c Sol. found (all assignments made)... 882.85 c Sol. found (all assignments made)... 882.88 c Sol. found (all assignments made)... 882.88 c Sol. found (all assignments made)... 882.92 c Sol. found (all assignments made)... 882.92 c Sol. found (all assignments made)... 882.94 c Sol. found (all assignments made)... 883.76 c Sol. found (all assignments made)... 883.78 c Sol. found (all assignments made)... 883.92 c Sol. found (all assignments made)... 883.92 c Sol. found (all assignments made)... 883.99 c Sol. found (all assignments made)... 883.99 c Sol. found (all assignments made)... 883.99 c Sol. found (all assignments made)... 883.99 c Sol. found (all assignments made)... 883.99 o 49683 883.99 c NEW SOLUTION FOUND: 49683 @ 883.59 884.25 c Sol. found (all assignments made)... 884.26 c Sol. found (all assignments made)... 884.26 c Sol. found (all assignments made)... 884.26 c Sol. found (all assignments made)... 884.37 c Sol. found (all assignments made)... 884.55 c Sol. found (all assignments made)... 884.91 c Sol. found (all assignments made)... 885.06 c Sol. found (all assignments made)... 885.06 c Sol. found (all assignments made)... 886.94 c Sol. found (all assignments made)... 889.48 c Sol. found (all assignments made)... 889.49 c Sol. found (all assignments made)... 889.52 c Sol. found (all assignments made)... 889.52 c Sol. found (all assignments made)... 889.57 c Sol. found (all assignments made)... 889.57 c Sol. found (all assignments made)... 889.57 c Sol. found (all assignments made)... 889.57 c Sol. found (all assignments made)... 889.57 c Sol. found (all assignments made)... 889.57 c Sol. found (all assignments made)... 889.58 c Sol. found (all assignments made)... 892.48 c Sol. found (all assignments made)... 893.03 c Sol. found (all assignments made)... 893.04 c Sol. found (all assignments made)... 894.27 c Sol. found (all assignments made)... 896.19 c Sol. found (all assignments made)... 896.22 c Sol. found (all assignments made)... 896.28 c Sol. found (all assignments made)... 896.33 c Sol. found (all assignments made)... 897.37 c Sol. found (all assignments made)... 897.37 c Sol. found (all assignments made)... 897.50 c Sol. found (all assignments made)... 897.54 c Sol. found (all assignments made)... 897.54 c Sol. found (all assignments made)... 897.54 c Sol. found (all assignments made)... 897.56 c Sol. found (all assignments made)... 897.56 c Sol. found (all assignments made)... 897.81 c Sol. found (all assignments made)... 898.62 c Sol. found (all assignments made)... 898.95 c Sol. found (all assignments made)... 899.38 c Sol. found (all assignments made)... 899.38 c Sol. found (all assignments made)... 903.10 c Sol. found (all assignments made)... 903.36 c Sol. found (all assignments made)... 903.37 c Sol. found (all assignments made)... 903.72 c Sol. found (all assignments made)... 903.72 c Sol. found (all assignments made)... 906.03 c Sol. found (all assignments made)... 906.11 c Sol. found (all assignments made)... 906.30 c Sol. found (all assignments made)... 906.39 c Sol. found (all assignments made)... 906.40 c Sol. found (all assignments made)... 906.62 c Sol. found (all assignments made)... 906.78 c Sol. found (all assignments made)... 908.45 c Sol. found (all assignments made)... 909.96 c Sol. found (all assignments made)... 911.13 c Sol. found (all assignments made)... 911.24 c Sol. found (all assignments made)... 911.35 c Sol. found (all assignments made)... 911.71 c Sol. found (all assignments made)... 911.99 c Sol. found (all assignments made)... 912.00 c Sol. found (all assignments made)... 912.00 c Sol. found (all assignments made)... 912.00 c Sol. found (all assignments made)... 912.00 c Sol. found (all assignments made)... 912.00 c Sol. found (all assignments made)... 912.00 o 49243 912.00 c NEW SOLUTION FOUND: 49243 @ 911.55 912.00 c Sol. found (all assignments made)... 912.01 c Sol. found (all assignments made)... 912.04 c Sol. found (all assignments made)... 912.04 c Sol. found (all assignments made)... 912.04 c Sol. found (all assignments made)... 912.05 c Sol. found (all assignments made)... 912.06 c Sol. found (all assignments made)... 912.06 c Sol. found (all assignments made)... 912.06 c Sol. found (all assignments made)... 912.06 c Sol. found (all assignments made)... 914.02 c Sol. found (all assignments made)... 914.23 c Sol. found (all assignments made)... 915.41 c Sol. found (all assignments made)... 915.98 c Sol. found (all assignments made)... 916.01 c Sol. found (all assignments made)... 916.02 c Sol. found (all assignments made)... 916.03 c Sol. found (all assignments made)... 916.51 c Sol. found (all assignments made)... 916.90 c Sol. found (all assignments made)... 917.18 c Sol. found (all assignments made)... 917.20 c Sol. found (all assignments made)... 919.82 c Sol. found (all assignments made)... 919.82 c Sol. found (all assignments made)... 919.87 c Sol. found (all assignments made)... 919.88 c Sol. found (all assignments made)... 919.91 c Sol. found (all assignments made)... 919.93 c Sol. found (all assignments made)... 919.97 c Sol. found (all assignments made)... 919.99 c Sol. found (all assignments made)... 928.64 c Sol. found (all assignments made)... 932.31 c Sol. found (all assignments made)... 932.31 c Sol. found (all assignments made)... 933.22 c Sol. found (all assignments made)... 933.26 c Sol. found (all assignments made)... 933.57 c Sol. found (all assignments made)... 934.03 c Sol. found (all assignments made)... 934.03 c Sol. found (all assignments made)... 934.04 c Sol. found (all assignments made)... 934.10 c Sol. found (all assignments made)... 934.24 c Sol. found (all assignments made)... 934.24 c Sol. found (all assignments made)... 934.24 c Sol. found (all assignments made)... 934.38 c Sol. found (all assignments made)... 934.44 c Sol. found (all assignments made)... 934.46 c Sol. found (all assignments made)... 934.46 c Sol. found (all assignments made)... 934.53 c Sol. found (all assignments made)... 936.53 c Sol. found (all assignments made)... 936.53 c Sol. found (all assignments made)... 937.11 c Sol. found (all assignments made)... 937.11 c Sol. found (all assignments made)... 937.13 c Sol. found (all assignments made)... 937.13 c Sol. found (all assignments made)... 942.13 c Sol. found (all assignments made)... 942.16 c Sol. found (all assignments made)... 942.39 c Sol. found (all assignments made)... 945.58 c Sol. found (all assignments made)... 948.88 c Sol. found (all assignments made)... 949.08 c Sol. found (all assignments made)... 950.25 c Sol. found (all assignments made)... 950.79 c Sol. found (all assignments made)... 951.00 c Sol. found (all assignments made)... 951.26 c Sol. found (all assignments made)... 952.48 c Sol. found (all assignments made)... 952.49 c Sol. found (all assignments made)... 953.53 c Sol. found (all assignments made)... 953.55 c Sol. found (all assignments made)... 953.65 c Sol. found (all assignments made)... 953.65 c Sol. found (all assignments made)... 953.73 c Sol. found (all assignments made)... 953.73 c Sol. found (all assignments made)... 955.59 c Sol. found (all assignments made)... 957.64 c Sol. found (all assignments made)... 957.64 c Sol. found (all assignments made)... 957.64 c Sol. found (all assignments made)... 957.94 c Sol. found (all assignments made)... 957.94 c Sol. found (all assignments made)... 957.95 c Sol. found (all assignments made)... 957.95 c Sol. found (all assignments made)... 957.98 c Sol. found (all assignments made)... 958.16 c Restart #51 #Var: 1344 LB: 0 @ 957.69 979.04 c Sol. found (all assignments made)... 979.11 c Sol. found (all assignments made)... 979.16 c Sol. found (all assignments made)... 979.16 c Sol. found (all assignments made)... 979.44 c Sol. found (all assignments made)... 979.44 c Sol. found (all assignments made)... 994.43 c Sol. found (all assignments made)... 999.35 c Sol. found (all assignments made)... 1003.70 c Sol. found (all assignments made)... 1005.84 c Restart #52 #Var: 1344 LB: 0 @ 1005.4 1042.96 c Sol. found (all assignments made)... 1042.97 c Sol. found (all assignments made)... 1058.94 c Restart #53 #Var: 1344 LB: 0 @ 1058.4 1059.28 c Sol. found (all assignments made)... 1059.34 c Sol. found (all assignments made)... 1063.79 c Sol. found (all assignments made)... 1063.86 c Sol. found (all assignments made)... 1063.92 c Sol. found (all assignments made)... 1063.93 c Sol. found (all assignments made)... 1063.94 c Sol. found (all assignments made)... 1064.08 c Sol. found (all assignments made)... 1065.75 c Sol. found (all assignments made)... 1066.94 c Sol. found (all assignments made)... 1066.95 c Sol. found (all assignments made)... 1067.74 c Sol. found (all assignments made)... 1067.88 c Sol. found (all assignments made)... 1067.90 c Sol. found (all assignments made)... 1067.90 c Sol. found (all assignments made)... 1067.90 c Sol. found (all assignments made)... 1069.75 c Sol. found (all assignments made)... 1069.93 c Sol. found (all assignments made)... 1069.94 c Sol. found (all assignments made)... 1070.47 c Sol. found (all assignments made)... 1070.47 c Sol. found (all assignments made)... 1070.49 c Sol. found (all assignments made)... 1070.50 c Sol. found (all assignments made)... 1070.50 c Sol. found (all assignments made)... 1070.52 c Sol. found (all assignments made)... 1070.62 c Sol. found (all assignments made)... 1070.63 c Sol. found (all assignments made)... 1070.65 c Sol. found (all assignments made)... 1070.65 c Sol. found (all assignments made)... 1072.29 c Sol. found (all assignments made)... 1072.30 c Sol. found (all assignments made)... 1073.16 c Sol. found (all assignments made)... 1073.17 c Sol. found (all assignments made)... 1073.42 c Sol. found (all assignments made)... 1073.64 c Sol. found (all assignments made)... 1073.64 c Sol. found (all assignments made)... 1073.71 c Sol. found (all assignments made)... 1076.43 c Sol. found (all assignments made)... 1076.76 c Sol. found (all assignments made)... 1078.48 c Sol. found (all assignments made)... 1078.50 c Sol. found (all assignments made)... 1078.52 c Sol. found (all assignments made)... 1078.52 c Sol. found (all assignments made)... 1078.58 c Sol. found (all assignments made)... 1078.67 c Sol. found (all assignments made)... 1078.76 c Sol. found (all assignments made)... 1081.18 c Sol. found (all assignments made)... 1081.65 c Sol. found (all assignments made)... 1084.26 c Sol. found (all assignments made)... 1084.27 c Sol. found (all assignments made)... 1085.77 c Sol. found (all assignments made)... 1085.77 c Sol. found (all assignments made)... 1087.83 c Sol. found (all assignments made)... 1092.06 c Sol. found (all assignments made)... 1092.40 c Sol. found (all assignments made)... 1092.44 c Sol. found (all assignments made)... 1092.48 c Sol. found (all assignments made)... 1092.48 c Sol. found (all assignments made)... 1092.69 c Sol. found (all assignments made)... 1093.13 c Sol. found (all assignments made)... 1094.37 c Sol. found (all assignments made)... 1094.39 c Sol. found (all assignments made)... 1094.64 c Sol. found (all assignments made)... 1094.67 c Sol. found (all assignments made)... 1094.74 c Sol. found (all assignments made)... 1094.77 c Sol. found (all assignments made)... 1100.54 c Sol. found (all assignments made)... 1100.59 c Sol. found (all assignments made)... 1100.75 c Sol. found (all assignments made)... 1100.77 c Sol. found (all assignments made)... 1100.80 c Sol. found (all assignments made)... 1100.82 c Sol. found (all assignments made)... 1100.84 c Sol. found (all assignments made)... 1100.98 c Sol. found (all assignments made)... 1100.98 c Sol. found (all assignments made)... 1101.03 c Sol. found (all assignments made)... 1104.82 c Sol. found (all assignments made)... 1107.77 c Sol. found (all assignments made)... 1107.82 c Sol. found (all assignments made)... 1108.40 c Sol. found (all assignments made)... 1108.43 c Sol. found (all assignments made)... 1108.44 c Sol. found (all assignments made)... 1108.45 c Sol. found (all assignments made)... 1109.40 c Sol. found (all assignments made)... 1110.42 c Restart #54 #Var: 1344 LB: 0 @ 1109.9 1118.46 c Sol. found (all assignments made)... 1118.51 c Sol. found (all assignments made)... 1118.54 c Sol. found (all assignments made)... 1118.77 c Sol. found (all assignments made)... 1118.83 c Sol. found (all assignments made)... 1118.83 c Sol. found (all assignments made)... 1118.98 c Sol. found (all assignments made)... 1119.04 c Sol. found (all assignments made)... 1119.06 c Sol. found (all assignments made)... 1119.15 c Sol. found (all assignments made)... 1120.02 c Sol. found (all assignments made)... 1120.25 c Sol. found (all assignments made)... 1121.02 c Sol. found (all assignments made)... 1121.03 c Sol. found (all assignments made)... 1121.49 c Sol. found (all assignments made)... 1122.79 c Sol. found (all assignments made)... 1122.83 c Sol. found (all assignments made)... 1124.55 c Sol. found (all assignments made)... 1130.23 c Sol. found (all assignments made)... 1130.23 c Sol. found (all assignments made)... 1130.27 c Sol. found (all assignments made)... 1130.34 c Sol. found (all assignments made)... 1131.36 c Sol. found (all assignments made)... 1131.53 c Sol. found (all assignments made)... 1133.17 c Sol. found (all assignments made)... 1133.17 c Sol. found (all assignments made)... 1133.41 c Sol. found (all assignments made)... 1133.55 c Sol. found (all assignments made)... 1134.33 c Sol. found (all assignments made)... 1135.48 c Sol. found (all assignments made)... 1135.48 c Sol. found (all assignments made)... 1135.51 c Sol. found (all assignments made)... 1135.51 c Sol. found (all assignments made)... 1136.21 c Sol. found (all assignments made)... 1138.36 c Sol. found (all assignments made)... 1138.37 c Sol. found (all assignments made)... 1138.51 c Sol. found (all assignments made)... 1150.70 c Sol. found (all assignments made)... 1151.15 c Sol. found (all assignments made)... 1156.29 c Sol. found (all assignments made)... 1156.30 c Sol. found (all assignments made)... 1156.45 c Sol. found (all assignments made)... 1156.47 c Sol. found (all assignments made)... 1156.48 c Sol. found (all assignments made)... 1156.48 c Sol. found (all assignments made)... 1156.49 c Sol. found (all assignments made)... 1156.49 c Sol. found (all assignments made)... 1158.35 c Sol. found (all assignments made)... 1158.39 c Sol. found (all assignments made)... 1162.85 c Sol. found (all assignments made)... 1162.88 c Sol. found (all assignments made)... 1164.18 c Sol. found (all assignments made)... 1164.75 c Restart #55 #Var: 1344 LB: 0 @ 1164.2 1165.87 c Sol. found (all assignments made)... 1166.41 c Sol. found (all assignments made)... 1166.42 c Sol. found (all assignments made)... 1166.43 c Sol. found (all assignments made)... 1166.44 c Sol. found (all assignments made)... 1166.45 c Sol. found (all assignments made)... 1166.46 c Sol. found (all assignments made)... 1166.91 c Sol. found (all assignments made)... 1167.01 c Sol. found (all assignments made)... 1169.03 c Sol. found (all assignments made)... 1169.16 c Sol. found (all assignments made)... 1169.47 c Sol. found (all assignments made)... 1169.82 c Sol. found (all assignments made)... 1172.41 c Sol. found (all assignments made)... 1172.43 c Sol. found (all assignments made)... 1174.01 c Sol. found (all assignments made)... 1174.01 c Sol. found (all assignments made)... 1176.21 c Sol. found (all assignments made)... 1176.28 c Sol. found (all assignments made)... 1176.36 c Sol. found (all assignments made)... 1176.39 c Sol. found (all assignments made)... 1176.42 c Sol. found (all assignments made)... 1176.71 c Sol. found (all assignments made)... 1176.72 c Sol. found (all assignments made)... 1176.77 c Sol. found (all assignments made)... 1176.90 c Sol. found (all assignments made)... 1176.92 c Sol. found (all assignments made)... 1177.19 c Sol. found (all assignments made)... 1177.21 c Sol. found (all assignments made)... 1177.59 c Sol. found (all assignments made)... 1177.63 c Sol. found (all assignments made)... 1178.17 c Sol. found (all assignments made)... 1180.17 c Sol. found (all assignments made)... 1180.17 c Sol. found (all assignments made)... 1181.07 c Sol. found (all assignments made)... 1181.41 c Sol. found (all assignments made)... 1181.41 c Sol. found (all assignments made)... 1183.60 c Sol. found (all assignments made)... 1184.40 c Sol. found (all assignments made)... 1184.80 c Sol. found (all assignments made)... 1185.24 c Sol. found (all assignments made)... 1185.44 c Sol. found (all assignments made)... 1185.44 c Sol. found (all assignments made)... 1186.54 c Sol. found (all assignments made)... 1188.62 c Sol. found (all assignments made)... 1188.75 c Sol. found (all assignments made)... 1188.81 c Sol. found (all assignments made)... 1188.86 c Sol. found (all assignments made)... 1189.09 c Sol. found (all assignments made)... 1189.09 c Sol. found (all assignments made)... 1189.24 c Sol. found (all assignments made)... 1189.43 c Sol. found (all assignments made)... 1189.43 c Sol. found (all assignments made)... 1189.44 c Sol. found (all assignments made)... 1189.57 c Sol. found (all assignments made)... 1190.18 c Sol. found (all assignments made)... 1190.22 c Sol. found (all assignments made)... 1191.25 c Sol. found (all assignments made)... 1192.68 c Sol. found (all assignments made)... 1192.68 c Sol. found (all assignments made)... 1192.75 c Sol. found (all assignments made)... 1192.91 c Sol. found (all assignments made)... 1192.91 c Sol. found (all assignments made)... 1192.92 c Sol. found (all assignments made)... 1194.04 c Sol. found (all assignments made)... 1197.32 c Sol. found (all assignments made)... 1200.05 c Sol. found (all assignments made)... 1200.20 c Sol. found (all assignments made)... 1200.97 c Sol. found (all assignments made)... 1201.47 c Sol. found (all assignments made)... 1201.59 c Sol. found (all assignments made)... 1201.73 c Sol. found (all assignments made)... 1201.92 c Sol. found (all assignments made)... 1202.15 c Sol. found (all assignments made)... 1203.25 c Sol. found (all assignments made)... 1203.37 c Sol. found (all assignments made)... 1203.92 c Sol. found (all assignments made)... 1203.98 c Sol. found (all assignments made)... 1204.06 c Sol. found (all assignments made)... 1205.48 c Sol. found (all assignments made)... 1205.62 c Sol. found (all assignments made)... 1205.99 c Sol. found (all assignments made)... 1206.13 c Sol. found (all assignments made)... 1206.25 c Sol. found (all assignments made)... 1206.37 c Sol. found (all assignments made)... 1208.07 c Sol. found (all assignments made)... 1208.11 c Sol. found (all assignments made)... 1208.69 c Sol. found (all assignments made)... 1209.77 c Sol. found (all assignments made)... 1209.83 c Sol. found (all assignments made)... 1210.83 c Sol. found (all assignments made)... 1210.84 c Sol. found (all assignments made)... 1211.45 c Sol. found (all assignments made)... 1211.56 c Sol. found (all assignments made)... 1211.70 c Sol. found (all assignments made)... 1212.95 c Sol. found (all assignments made)... 1213.18 c Sol. found (all assignments made)... 1213.52 c Sol. found (all assignments made)... 1213.52 c Sol. found (all assignments made)... 1214.18 c Sol. found (all assignments made)... 1214.45 c Sol. found (all assignments made)... 1215.96 c Sol. found (all assignments made)... 1216.03 c Sol. found (all assignments made)... 1216.31 c Sol. found (all assignments made)... 1216.62 c Sol. found (all assignments made)... 1217.50 c Restart #56 #Var: 1344 LB: 0 @ 1216.9 1218.14 c Sol. found (all assignments made)... 1218.20 c Sol. found (all assignments made)... 1218.99 c Sol. found (all assignments made)... 1219.08 c Sol. found (all assignments made)... 1222.73 c Sol. found (all assignments made)... 1223.96 c Sol. found (all assignments made)... 1224.46 c Sol. found (all assignments made)... 1225.05 c Sol. found (all assignments made)... 1225.92 c Sol. found (all assignments made)... 1228.51 c Sol. found (all assignments made)... 1228.86 c Sol. found (all assignments made)... 1228.99 c Sol. found (all assignments made)... 1229.00 c Sol. found (all assignments made)... 1229.10 c Sol. found (all assignments made)... 1229.41 c Sol. found (all assignments made)... 1229.42 c Sol. found (all assignments made)... 1229.47 c Sol. found (all assignments made)... 1229.53 c Sol. found (all assignments made)... 1229.57 c Sol. found (all assignments made)... 1229.61 c Sol. found (all assignments made)... 1229.62 c Sol. found (all assignments made)... 1229.77 c Sol. found (all assignments made)... 1229.91 c Sol. found (all assignments made)... 1231.62 c Sol. found (all assignments made)... 1231.62 c Sol. found (all assignments made)... 1231.63 c Sol. found (all assignments made)... 1232.07 c Sol. found (all assignments made)... 1232.16 c Sol. found (all assignments made)... 1233.49 c Sol. found (all assignments made)... 1235.48 c Sol. found (all assignments made)... 1235.79 c Sol. found (all assignments made)... 1237.36 c Sol. found (all assignments made)... 1237.56 c Sol. found (all assignments made)... 1237.59 c Sol. found (all assignments made)... 1240.58 c Sol. found (all assignments made)... 1240.66 c Sol. found (all assignments made)... 1240.67 c Sol. found (all assignments made)... 1245.93 c Sol. found (all assignments made)... 1245.99 c Sol. found (all assignments made)... 1246.03 c Sol. found (all assignments made)... 1247.00 c Sol. found (all assignments made)... 1247.03 c Sol. found (all assignments made)... 1247.32 c Sol. found (all assignments made)... 1247.54 c Sol. found (all assignments made)... 1248.76 c Sol. found (all assignments made)... 1251.75 c Sol. found (all assignments made)... 1251.89 c Sol. found (all assignments made)... 1251.90 c Sol. found (all assignments made)... 1251.91 c Sol. found (all assignments made)... 1252.69 c Sol. found (all assignments made)... 1252.72 c Sol. found (all assignments made)... 1252.72 c Sol. found (all assignments made)... 1253.41 c Sol. found (all assignments made)... 1254.73 c Sol. found (all assignments made)... 1255.10 c Sol. found (all assignments made)... 1256.56 c Sol. found (all assignments made)... 1256.62 c Sol. found (all assignments made)... 1256.64 c Sol. found (all assignments made)... 1256.96 c Sol. found (all assignments made)... 1257.02 c Sol. found (all assignments made)... 1257.25 c Sol. found (all assignments made)... 1260.63 c Sol. found (all assignments made)... 1260.68 c Sol. found (all assignments made)... 1260.97 c Sol. found (all assignments made)... 1261.58 c Sol. found (all assignments made)... 1261.68 c Sol. found (all assignments made)... 1262.29 c Sol. found (all assignments made)... 1262.72 c Sol. found (all assignments made)... 1262.74 c Sol. found (all assignments made)... 1262.79 c Sol. found (all assignments made)... 1263.22 c Sol. found (all assignments made)... 1263.30 c Sol. found (all assignments made)... 1263.98 c Restart #57 #Var: 1344 LB: 0 @ 1263.4 1303.54 c Sol. found (all assignments made)... 1303.56 c Sol. found (all assignments made)... 1303.73 c Sol. found (all assignments made)... 1304.03 c Sol. found (all assignments made)... 1304.40 c Sol. found (all assignments made)... 1304.45 c Sol. found (all assignments made)... 1304.52 c Sol. found (all assignments made)... 1310.84 c Sol. found (all assignments made)... 1317.63 c Sol. found (all assignments made)... 1320.27 c Sol. found (all assignments made)... 1330.47 c Sol. found (all assignments made)... 1330.47 c Sol. found (all assignments made)... 1330.51 c Sol. found (all assignments made)... 1330.51 c Sol. found (all assignments made)... 1330.52 c Sol. found (all assignments made)... 1330.52 c Sol. found (all assignments made)... 1330.52 o 49209 1330.52 c NEW SOLUTION FOUND: 49209 @ 1329.9 1330.53 c Sol. found (all assignments made)... 1330.53 c Sol. found (all assignments made)... 1344.74 c Sol. found (all assignments made)... 1346.72 c Sol. found (all assignments made)... 1357.04 c Sol. found (all assignments made)... 1357.34 c Sol. found (all assignments made)... 1359.29 c Sol. found (all assignments made)... 1359.44 c Sol. found (all assignments made)... 1360.50 c Sol. found (all assignments made)... 1360.67 c Sol. found (all assignments made)... 1372.99 c Sol. found (all assignments made)... 1373.85 c Sol. found (all assignments made)... 1373.88 c Sol. found (all assignments made)... 1376.77 c Sol. found (all assignments made)... 1389.46 c Sol. found (all assignments made)... 1389.60 c Sol. found (all assignments made)... 1392.12 c Sol. found (all assignments made)... 1393.10 c Sol. found (all assignments made)... 1396.06 c Sol. found (all assignments made)... 1396.06 c Sol. found (all assignments made)... 1396.06 c Sol. found (all assignments made)... 1396.06 c Sol. found (all assignments made)... 1396.39 c Sol. found (all assignments made)... 1396.39 c Sol. found (all assignments made)... 1396.49 c Sol. found (all assignments made)... 1396.49 c Sol. found (all assignments made)... 1396.50 c Sol. found (all assignments made)... 1396.50 c Sol. found (all assignments made)... 1396.73 c Sol. found (all assignments made)... 1396.82 c Sol. found (all assignments made)... 1406.98 c Sol. found (all assignments made)... 1406.98 o 48778 1406.98 c NEW SOLUTION FOUND: 48778 @ 1406.4 1406.98 c Sol. found (all assignments made)... 1406.98 c Sol. found (all assignments made)... 1406.98 c Sol. found (all assignments made)... 1406.98 c Sol. found (all assignments made)... 1406.98 o 48318 1406.98 c NEW SOLUTION FOUND: 48318 @ 1406.4 1406.98 c Sol. found (all assignments made)... 1406.99 c Sol. found (all assignments made)... 1406.99 c Sol. found (all assignments made)... 1412.86 c Sol. found (all assignments made)... 1412.86 c Sol. found (all assignments made)... 1412.86 c Sol. found (all assignments made)... 1412.86 o 48252 1412.86 c NEW SOLUTION FOUND: 48252 @ 1412.2 1412.86 c Sol. found (all assignments made)... 1412.86 o 48124 1412.86 c NEW SOLUTION FOUND: 48124 @ 1412.2 1412.86 c Sol. found (all assignments made)... 1412.86 c Sol. found (all assignments made)... 1412.86 c Sol. found (all assignments made)... 1412.86 o 48008 1412.86 c NEW SOLUTION FOUND: 48008 @ 1412.2 1412.86 c Sol. found (all assignments made)... 1413.16 c Sol. found (all assignments made)... 1413.16 c Sol. found (all assignments made)... 1413.16 c Sol. found (all assignments made)... 1413.16 c Sol. found (all assignments made)... 1413.16 o 48001 1413.16 c NEW SOLUTION FOUND: 48001 @ 1412.5 1413.16 c Sol. found (all assignments made)... 1413.16 o 47885 1413.16 c NEW SOLUTION FOUND: 47885 @ 1412.5 1413.16 c Sol. found (all assignments made)... 1413.53 c Sol. found (all assignments made)... 1413.55 c Sol. found (all assignments made)... 1422.16 c Sol. found (all assignments made)... 1423.61 c Sol. found (all assignments made)... 1431.75 c Sol. found (all assignments made)... 1434.37 c Sol. found (all assignments made)... 1434.37 c Sol. found (all assignments made)... 1434.43 c Sol. found (all assignments made)... 1436.66 c Sol. found (all assignments made)... 1441.69 c Sol. found (all assignments made)... 1442.17 c Sol. found (all assignments made)... 1455.93 c Sol. found (all assignments made)... 1457.74 c Sol. found (all assignments made)... 1457.98 c Sol. found (all assignments made)... 1460.79 c Sol. found (all assignments made)... 1462.57 c Sol. found (all assignments made)... 1468.09 c Sol. found (all assignments made)... 1468.09 c Sol. found (all assignments made)... 1517.09 c Sol. found (all assignments made)... 1523.58 c Restart #58 #Var: 1344 LB: 0 @ 1522.9 1558.09 c Sol. found (all assignments made)... 1558.75 c Sol. found (all assignments made)... 1558.80 c Sol. found (all assignments made)... 1558.85 c Sol. found (all assignments made)... 1559.32 c Sol. found (all assignments made)... 1559.33 c Sol. found (all assignments made)... 1559.33 c Sol. found (all assignments made)... 1559.34 c Sol. found (all assignments made)... 1559.35 c Sol. found (all assignments made)... 1559.39 c Sol. found (all assignments made)... 1559.42 c Sol. found (all assignments made)... 1562.17 c Sol. found (all assignments made)... 1565.62 c Sol. found (all assignments made)... 1565.63 c Sol. found (all assignments made)... 1565.86 c Sol. found (all assignments made)... 1565.91 c Sol. found (all assignments made)... 1566.78 c Sol. found (all assignments made)... 1569.12 c Restart #59 #Var: 1344 LB: 0 @ 1568.4 1599.97 c Sol. found (all assignments made)... 1600.46 c Sol. found (all assignments made)... 1600.55 c Sol. found (all assignments made)... 1601.33 c Sol. found (all assignments made)... 1601.34 c Sol. found (all assignments made)... 1601.34 c Sol. found (all assignments made)... 1601.34 c Sol. found (all assignments made)... 1601.36 c Sol. found (all assignments made)... 1601.36 c Sol. found (all assignments made)... 1601.39 c Sol. found (all assignments made)... 1601.40 c Sol. found (all assignments made)... 1601.40 c Sol. found (all assignments made)... 1601.40 c Sol. found (all assignments made)... 1601.45 c Sol. found (all assignments made)... 1601.45 c Sol. found (all assignments made)... 1601.45 c Sol. found (all assignments made)... 1601.45 c Sol. found (all assignments made)... 1601.91 c Sol. found (all assignments made)... 1601.91 c Sol. found (all assignments made)... 1602.03 c Sol. found (all assignments made)... 1602.03 c Sol. found (all assignments made)... 1602.06 c Sol. found (all assignments made)... 1602.06 c Sol. found (all assignments made)... 1602.14 c Sol. found (all assignments made)... 1602.14 c Sol. found (all assignments made)... 1602.15 c Sol. found (all assignments made)... 1602.15 c Sol. found (all assignments made)... 1603.49 c Sol. found (all assignments made)... 1603.60 c Sol. found (all assignments made)... 1603.61 c Sol. found (all assignments made)... 1603.66 c Sol. found (all assignments made)... 1603.67 c Sol. found (all assignments made)... 1603.70 c Sol. found (all assignments made)... 1606.28 c Sol. found (all assignments made)... 1606.28 c Sol. found (all assignments made)... 1614.24 c Sol. found (all assignments made)... 1639.49 c Sol. found (all assignments made)... 1644.24 c Sol. found (all assignments made)... 1648.54 c Sol. found (all assignments made)... 1660.39 c Sol. found (all assignments made)... 1679.68 c Sol. found (all assignments made)... 1683.07 c Sol. found (all assignments made)... 1683.27 c Sol. found (all assignments made)... 1687.75 c Restart #60 #Var: 1344 LB: 0 @ 1687 1699.22 c Sol. found (all assignments made)... 1699.32 c Sol. found (all assignments made)... 1700.96 c Sol. found (all assignments made)... 1701.13 c Sol. found (all assignments made)... 1701.21 c Sol. found (all assignments made)... 1705.65 c Sol. found (all assignments made)... 1706.62 c Sol. found (all assignments made)... 1706.63 c Sol. found (all assignments made)... 1709.21 c Sol. found (all assignments made)... 1709.89 c Sol. found (all assignments made)... 1715.74 c Sol. found (all assignments made)... 1720.80 c Sol. found (all assignments made)... 1723.90 c Sol. found (all assignments made)... 1724.02 c Sol. found (all assignments made)... 1725.12 c Sol. found (all assignments made)... 1725.30 c Sol. found (all assignments made)... 1725.31 c Sol. found (all assignments made)... 1725.35 c Sol. found (all assignments made)... 1733.25 c Sol. found (all assignments made)... 1738.17 c Sol. found (all assignments made)... 1752.25 c Sol. found (all assignments made)... 1759.46 c Restart #61 #Var: 1344 LB: 0 @ 1758.7 1770.59 c Sol. found (all assignments made)... 1774.63 c Sol. found (all assignments made)... 1777.39 c Sol. found (all assignments made)... 1777.41 c Sol. found (all assignments made)... 1777.53 c Sol. found (all assignments made)... 1781.07 c Sol. found (all assignments made)... 1781.39 c Sol. found (all assignments made)... 1782.41 c Sol. found (all assignments made)... 1782.85 c Sol. found (all assignments made)... 1782.91 c Sol. found (all assignments made)... 1783.70 c Sol. found (all assignments made)... 1783.84 c Sol. found (all assignments made)... 1783.84 c Sol. found (all assignments made)... 1784.06 c Sol. found (all assignments made)... 1784.07 c Sol. found (all assignments made)... 1784.08 c Sol. found (all assignments made)... 1785.27 c Sol. found (all assignments made)... 1786.95 c Sol. found (all assignments made)... 1787.31 c Sol. found (all assignments made)... 1788.97 c Sol. found (all assignments made)... 1788.99 c Sol. found (all assignments made)... 1789.07 c Sol. found (all assignments made)... 1789.45 c Sol. found (all assignments made)... 1789.54 c Sol. found (all assignments made)... 1790.57 c Sol. found (all assignments made)... 1791.51 c Sol. found (all assignments made)... 1793.16 c Sol. found (all assignments made)... 1793.27 c Sol. found (all assignments made)... 1793.53 c Sol. found (all assignments made)... 1795.65 c Sol. found (all assignments made)... 1795.91 c Sol. found (all assignments made)... 1795.93 c Sol. found (all assignments made)... 1796.98 c Sol. found (all assignments made)... 1796.99 c Sol. found (all assignments made)... 1798.91 c Sol. found (all assignments made)... 1798.92 c Sol. found (all assignments made)... 1799.34 c Sol. found (all assignments made)... 1799.45 c Sol. found (all assignments made)... 1800.00 c Sol. found (all assignments made)... 1800.01 c Sol. found (all assignments made)... 1800.06 c Sol. found (all assignments made)... 1800.78 s SATISFIABLE 1800.78 c Cost: 47885 1800.78 v -x897 x898 -x899 -x900 x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 x918 1800.78 v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 x939 1800.78 v -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 1800.78 v -x961 x962 -x963 -x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 x982 1800.78 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 1800.78 v x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 1800.78 v -x1021 -x1022 -x1023 x1024 x1025 x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 1800.78 v -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.78 v -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 1800.78 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 x1086 x1087 -x1088 -x1089 x1090 x1091 -x1092 1800.78 v -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 1800.78 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 1800.78 v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 1800.78 v -x1147 -x1148 x1149 -x1150 -x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 1800.78 v -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 1800.78 v -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1800.78 v -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 -x1216 x1217 x1218 1800.78 v -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 1800.78 v -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 1800.78 v -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 1800.78 v x1273 -x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 1800.78 v -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1800.78 v x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 1800.78 v -x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 x1340 -x1341 -x1342 x1343 x1344 1800.78 v -x2 -x66 -x130 -x194 -x258 -x322 -x386 -x450 -x514 -x578 -x642 -x706 x770 -x834 -x3 -x67 -x131 -x195 -x259 -x323 x387 -x451 1800.78 v -x515 -x579 -x643 -x707 -x771 -x835 -x4 -x68 -x132 -x196 -x260 -x324 -x388 -x452 x516 -x580 -x644 -x708 -x772 -x836 -x5 -x69 1800.78 v -x133 -x197 -x261 -x325 -x389 x453 -x517 -x581 -x645 -x709 -x773 -x837 -x6 -x70 -x134 -x198 -x262 -x326 -x390 -x454 -x518 1800.78 v -x582 -x646 x710 -x774 -x838 -x7 -x71 x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 -x711 -x775 -x839 -x8 -x72 -x136 1800.78 v -x200 -x264 -x328 -x392 -x456 -x520 -x584 -x648 -x712 -x776 x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 x585 -x649 1800.78 v -x713 -x777 -x841 -x11 -x75 x139 -x203 -x267 -x331 -x395 -x459 -x523 -x587 -x651 -x715 -x779 -x843 x12 -x76 -x140 -x204 -x268 1800.78 v -x332 -x396 -x460 -x524 -x588 -x652 -x716 -x780 -x844 -x13 -x77 -x141 -x205 -x269 -x333 -x397 -x461 -x525 -x589 x653 -x717 1800.78 v -x781 -x845 -x14 x78 -x142 -x206 -x270 -x334 -x398 -x462 -x526 -x590 -x654 -x718 -x782 -x846 -x15 -x79 -x143 -x207 -x271 -x335 1800.78 v -x399 -x463 x527 -x591 -x655 -x719 -x783 -x847 -x16 -x80 -x144 -x208 -x272 -x336 x400 -x464 -x528 -x592 -x656 -x720 -x784 1800.78 v -x848 -x17 -x81 -x145 -x209 -x273 -x337 -x401 -x465 -x529 -x593 x657 -x721 -x785 -x849 -x18 -x82 -x146 -x210 -x274 -x338 -x402 1800.78 v x466 -x530 -x594 -x658 -x722 -x786 -x850 -x20 -x84 -x148 x212 -x276 -x340 -x404 -x468 -x532 -x596 -x660 -x724 -x788 -x852 1800.78 v x21 -x85 -x149 -x213 -x277 -x341 -x405 -x469 -x533 -x597 -x661 -x725 -x789 -x853 -x22 -x86 -x150 -x214 x278 -x342 -x406 -x470 1800.78 v -x534 -x598 -x662 -x726 -x790 -x854 -x23 -x87 -x151 -x215 -x279 -x343 -x407 -x471 -x535 x599 -x663 -x727 -x791 -x855 -x24 1800.78 v x88 -x152 -x216 -x280 -x344 -x408 -x472 -x536 -x600 -x664 -x728 -x792 -x856 -x25 x89 -x153 -x217 -x281 -x345 -x409 -x473 -x537 1800.78 v -x601 -x665 -x729 -x793 -x857 -x26 -x90 -x154 -x218 x282 -x346 -x410 -x474 -x538 -x602 -x666 -x730 -x794 -x858 -x27 -x91 -x155 1800.78 v -x219 -x283 x347 -x411 -x475 -x539 -x603 -x667 -x731 -x795 -x859 -x29 -x93 x157 -x221 -x285 -x349 -x413 -x477 -x541 -x605 1800.78 v -x669 -x733 -x797 -x861 -x30 -x94 -x158 -x222 -x286 -x350 -x414 -x478 -x542 x606 -x670 -x734 -x798 -x862 -x31 -x95 -x159 -x223 1800.78 v -x287 -x351 -x415 -x479 -x543 -x607 -x671 -x735 -x799 x863 -x32 -x96 -x160 -x224 -x288 -x352 -x416 -x480 -x544 -x608 x672 1800.78 v -x736 -x800 -x864 -x33 -x97 -x161 x225 -x289 -x353 -x417 -x481 -x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 -x162 -x226 -x290 1800.78 v -x354 -x418 -x482 -x546 -x610 -x674 -x738 -x802 x866 -x35 -x99 -x163 -x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 -x739 1800.78 v x803 -x867 -x36 -x100 -x164 -x228 -x292 -x356 -x420 -x484 -x548 -x612 -x676 x740 -x804 -x868 -x38 -x102 -x166 -x230 -x294 1800.78 v -x358 -x422 -x486 x550 -x614 -x678 -x742 -x806 -x870 -x39 -x103 -x167 -x231 x295 -x359 -x423 -x487 -x551 -x615 -x679 -x743 1800.78 v -x807 -x871 -x40 -x104 -x168 -x232 -x296 -x360 -x424 -x488 -x552 x616 -x680 -x744 -x808 -x872 -x41 -x105 -x169 -x233 -x297 1800.78 v x361 -x425 -x489 -x553 -x617 -x681 -x745 -x809 -x873 -x42 -x106 -x170 x234 -x298 -x362 -x426 -x490 -x554 -x618 -x682 -x746 1800.78 v -x810 -x874 -x43 -x107 -x171 -x235 -x299 -x363 -x427 -x491 -x555 -x619 -x683 -x747 -x811 x875 -x44 -x108 -x172 -x236 -x300 1800.78 v -x364 -x428 x492 -x556 -x620 -x684 -x748 -x812 -x876 -x45 -x109 -x173 -x237 -x301 -x365 x429 -x493 -x557 -x621 -x685 -x749 1800.78 v -x813 -x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 -x495 -x559 -x623 x687 -x751 -x815 -x879 -x48 -x112 x176 -x240 -x304 1800.78 v -x368 -x432 -x496 -x560 -x624 -x688 -x752 -x816 -x880 x49 -x113 -x177 -x241 -x305 -x369 -x433 -x497 -x561 -x625 -x689 -x753 1800.78 v -x817 -x881 -x50 -x114 -x178 -x242 -x306 x370 -x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 -x115 -x179 -x243 -x307 1800.78 v -x371 -x435 -x499 -x563 -x627 -x691 x755 -x819 -x883 -x52 -x116 -x180 -x244 -x308 -x372 x436 -x500 -x564 -x628 -x692 -x756 1800.78 v -x820 -x884 -x53 x117 -x181 -x245 -x309 -x373 -x437 -x501 -x565 -x629 -x693 -x757 -x821 -x885 -x54 -x118 -x182 -x246 -x310 1800.78 v -x374 -x438 -x502 -x566 -x630 -x694 -x758 x822 -x886 -x56 -x120 -x184 -x248 -x312 -x376 -x440 x504 -x568 -x632 -x696 -x760 1800.78 v -x824 -x888 -x57 -x121 -x185 -x249 x313 -x377 -x441 -x505 -x569 -x633 -x697 -x761 -x825 -x889 -x58 -x122 -x186 -x250 -x314 1800.78 v -x378 -x442 -x506 -x570 -x634 -x698 x762 -x826 -x890 -x59 -x123 -x187 -x251 -x315 -x379 -x443 -x507 x571 -x635 -x699 -x763 1800.78 v -x827 -x891 -x60 -x124 -x188 -x252 -x316 -x380 -x444 -x508 -x572 -x636 -x700 -x764 x828 -x892 -x61 -x125 -x189 -x253 -x317 1800.78 v x381 -x445 -x509 -x573 -x637 -x701 -x765 -x829 -x893 x62 -x126 -x190 -x254 -x318 -x382 -x446 -x510 -x574 -x638 -x702 -x766 1800.78 v -x830 -x894 -x63 -x127 -x191 x255 -x319 -x383 -x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 -x10 -x74 -x138 x202 x266 x330 1800.78 v -x394 x458 -x522 -x586 -x650 x714 x778 x842 -x19 -x83 x147 -x211 -x275 x339 x403 -x467 x531 -x595 -x659 x723 x787 x851 x28 -x92 1800.78 v -x156 x220 -x284 -x348 x412 x476 x540 -x604 -x668 x732 x796 -x860 x37 x101 x165 -x229 -x293 x357 x421 x485 -x549 -x613 x677 1800.78 v -x741 -x805 -x869 x46 x110 -x174 -x238 x302 -x366 -x430 -x494 x558 x622 -x686 x750 x814 -x878 -x55 -x119 x183 x247 x311 -x375 1800.78 v -x439 -x503 x567 x631 x695 -x759 -x823 x887 -x64 x128 x192 -x256 -x320 -x384 x448 x512 -x576 x640 x704 -x768 -x832 x896 x1 x65 1800.78 v -x129 x193 x257 x321 -x385 -x449 -x513 x577 x641 -x705 -x769 -x833 1800.78 c Exit Code: 10 1800.78 c Total time: 1800 s
OK 47885
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/node41/watcher-40256-1149399982 -o ROOT/results/node41/solver-40256-1149399982 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40256-1149399982/instance-40256-1149399982.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1833840/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=3436 CPUtime=0 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 62 0 0 0 0 0 0 0 18 0 1 0 205664733 3518464 45 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1916039 0 0 4096 0 0 0 0 17 1 0 0 /proc/15264/statm: 859 47 34 55 0 42 0 [startup+10.0028 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1812856/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=25560 CPUtime=9.97 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 5636 0 0 0 993 4 0 0 25 0 1 0 205664733 26173440 5551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 6390 5551 298 55 0 5282 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 25560 [startup+20.0095 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1806200/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=32140 CPUtime=19.96 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 7303 0 0 0 1989 7 0 0 25 0 1 0 205664733 32911360 7218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 8035 7218 298 55 0 6927 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 32140 [startup+30.0162 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1801336/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=37012 CPUtime=29.96 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 8506 0 0 0 2987 9 0 0 25 0 1 0 205664733 37900288 8421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 9253 8421 298 55 0 8145 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 37012 [startup+40.0218 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1797496/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=40832 CPUtime=39.97 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 9481 0 0 0 3986 11 0 0 25 0 1 0 205664733 41811968 9396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 10208 9396 298 55 0 9100 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 40832 [startup+50.0285 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1784888/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=56944 CPUtime=49.95 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 14358 0 1 0 4981 14 0 0 25 0 1 0 205664733 58310656 12622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 14236 12622 414 55 0 13128 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 56944 [startup+60.0342 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1788792/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=49672 CPUtime=59.95 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 20997 0 1 0 5977 18 0 0 25 0 1 0 205664733 50864128 11663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 12418 11663 435 55 0 11310 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 49672 [startup+70.0409 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1785336/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=53092 CPUtime=69.96 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 21856 0 1 0 6976 20 0 0 25 0 1 0 205664733 54366208 12522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 13273 12522 435 55 0 12165 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 53092 [startup+80.0466 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1782968/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=55468 CPUtime=79.96 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 22450 0 1 0 7975 21 0 0 25 0 1 0 205664733 56799232 13116 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 13867 13116 435 55 0 12759 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 55468 [startup+90.0523 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1779128/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=59288 CPUtime=89.96 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 23405 0 1 0 8973 23 0 0 25 0 1 0 205664733 60710912 14071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 14822 14071 435 55 0 13714 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 59288 [startup+100.058 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1774072/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=64408 CPUtime=99.96 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 24675 0 1 0 9972 24 0 0 25 0 1 0 205664733 65953792 15341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 16102 15341 435 55 0 14994 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 64408 [startup+110.064 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1771384/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=67032 CPUtime=109.97 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 25337 0 1 0 10971 26 0 0 25 0 1 0 205664733 68640768 16003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 16758 16003 435 55 0 15650 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 67032 [startup+120.069 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1769400/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=69008 CPUtime=119.97 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 25832 0 1 0 11970 27 0 0 25 0 1 0 205664733 70664192 16498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 17252 16498 435 55 0 16144 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 69008 [startup+130.075 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1766008/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=72432 CPUtime=129.97 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 26680 0 1 0 12969 28 0 0 25 0 1 0 205664733 74170368 17346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 18108 17346 435 55 0 17000 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 72432 [startup+140.081 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1763832/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=74536 CPUtime=139.97 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 27219 0 1 0 13968 29 0 0 25 0 1 0 205664733 76324864 17885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 18634 17885 435 55 0 17526 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 74536 [startup+150.086 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1761720/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=76624 CPUtime=149.97 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 27747 0 1 0 14967 30 0 0 25 0 1 0 205664733 78462976 18413 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 19156 18413 435 55 0 18048 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 76624 [startup+160.092 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1757560/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=80828 CPUtime=159.98 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 28781 0 1 0 15966 32 0 0 25 0 1 0 205664733 82767872 19447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 20207 19447 435 55 0 19099 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 80828 [startup+170.098 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1754040/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=84360 CPUtime=169.98 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 29661 0 1 0 16964 34 0 0 25 0 1 0 205664733 86384640 20327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 21090 20327 435 55 0 19982 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 84360 [startup+180.103 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1751544/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=86852 CPUtime=179.98 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 30275 0 1 0 17963 35 0 0 25 0 1 0 205664733 88936448 20941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 21713 20941 435 55 0 20605 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 86852 [startup+190.109 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1749880/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=88436 CPUtime=189.99 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 30696 0 1 0 18963 36 0 0 25 0 1 0 205664733 90558464 21362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 22109 21362 435 55 0 21001 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 88436 [startup+200.115 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1748152/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=90276 CPUtime=199.98 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 31134 0 1 0 19962 36 0 0 25 0 1 0 205664733 92442624 21800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 22569 21800 435 55 0 21461 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 90276 [startup+210.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 15264 /proc/meminfo: memFree=1745336/2055920 swapFree=4180964/4192956 ################ # More data... # ################ /proc/15264/statm: 75291 74522 435 55 0 74183 0 Current children cumulated CPU time (s) 1760.27 Current children cumulated vsize (Kb) 301164 [startup+1771.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1534968/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=302220 CPUtime=1770.28 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85106 0 1 0 176879 149 0 0 25 0 1 0 205664733 309473280 74808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 75555 74808 435 55 0 74447 0 Current children cumulated CPU time (s) 1770.28 Current children cumulated vsize (Kb) 302220 [startup+1781.04 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533944/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=303408 CPUtime=1780.28 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85377 0 1 0 177878 150 0 0 25 0 1 0 205664733 310689792 75079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 75852 75079 435 55 0 74744 0 Current children cumulated CPU time (s) 1780.28 Current children cumulated vsize (Kb) 303408 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533816/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=303540 CPUtime=1781.28 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85409 0 1 0 177978 150 0 0 25 0 1 0 205664733 310824960 75111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 75885 75111 435 55 0 74777 0 Current children cumulated CPU time (s) 1781.28 Current children cumulated vsize (Kb) 303540 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533752/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=303540 CPUtime=1782.29 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85416 0 1 0 178079 150 0 0 25 0 1 0 205664733 310824960 75118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 75885 75118 435 55 0 74777 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (Kb) 303540 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533752/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=303512 CPUtime=1783.29 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85416 0 1 0 178179 150 0 0 25 0 1 0 205664733 310796288 75118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 75878 75118 435 55 0 74770 0 Current children cumulated CPU time (s) 1783.29 Current children cumulated vsize (Kb) 303512 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533560/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=303644 CPUtime=1784.3 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85458 0 1 0 178280 150 0 0 25 0 1 0 205664733 310931456 75160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 75911 75160 435 55 0 74803 0 Current children cumulated CPU time (s) 1784.3 Current children cumulated vsize (Kb) 303644 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533560/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=303644 CPUtime=1785.3 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85463 0 1 0 178380 150 0 0 25 0 1 0 205664733 310931456 75165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 75911 75165 435 55 0 74803 0 Current children cumulated CPU time (s) 1785.3 Current children cumulated vsize (Kb) 303644 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533496/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=303776 CPUtime=1786.31 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85484 0 1 0 178481 150 0 0 25 0 1 0 205664733 311066624 75186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 75944 75186 435 55 0 74836 0 Current children cumulated CPU time (s) 1786.31 Current children cumulated vsize (Kb) 303776 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533240/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304040 CPUtime=1787.31 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85541 0 1 0 178581 150 0 0 25 0 1 0 205664733 311336960 75243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76010 75243 435 55 0 74902 0 Current children cumulated CPU time (s) 1787.31 Current children cumulated vsize (Kb) 304040 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1533048/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304172 CPUtime=1788.31 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85585 0 1 0 178681 150 0 0 25 0 1 0 205664733 311472128 75287 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76043 75287 435 55 0 74935 0 Current children cumulated CPU time (s) 1788.31 Current children cumulated vsize (Kb) 304172 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532920/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304304 CPUtime=1789.32 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85624 0 1 0 178782 150 0 0 25 0 1 0 205664733 311607296 75326 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76076 75326 435 55 0 74968 0 Current children cumulated CPU time (s) 1789.32 Current children cumulated vsize (Kb) 304304 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532856/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304304 CPUtime=1790.32 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85631 0 1 0 178882 150 0 0 25 0 1 0 205664733 311607296 75333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76076 75333 435 55 0 74968 0 Current children cumulated CPU time (s) 1790.32 Current children cumulated vsize (Kb) 304304 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532728/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304436 CPUtime=1791.33 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85662 0 1 0 178983 150 0 0 25 0 1 0 205664733 311742464 75364 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76109 75364 435 55 0 75001 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (Kb) 304436 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532728/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304568 CPUtime=1792.33 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85670 0 1 0 179083 150 0 0 25 0 1 0 205664733 311877632 75372 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76142 75372 435 55 0 75034 0 Current children cumulated CPU time (s) 1792.33 Current children cumulated vsize (Kb) 304568 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532600/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304568 CPUtime=1793.34 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85692 0 1 0 179184 150 0 0 25 0 1 0 205664733 311877632 75394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76142 75394 435 55 0 75034 0 Current children cumulated CPU time (s) 1793.34 Current children cumulated vsize (Kb) 304568 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532600/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304568 CPUtime=1794.34 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85692 0 1 0 179284 150 0 0 25 0 1 0 205664733 311877632 75394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76142 75394 435 55 0 75034 0 Current children cumulated CPU time (s) 1794.34 Current children cumulated vsize (Kb) 304568 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532472/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304700 CPUtime=1795.34 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85724 0 1 0 179384 150 0 0 25 0 1 0 205664733 312012800 75426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76175 75426 435 55 0 75067 0 Current children cumulated CPU time (s) 1795.34 Current children cumulated vsize (Kb) 304700 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532344/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304832 CPUtime=1796.35 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85756 0 1 0 179485 150 0 0 25 0 1 0 205664733 312147968 75458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76208 75458 435 55 0 75100 0 Current children cumulated CPU time (s) 1796.35 Current children cumulated vsize (Kb) 304832 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532280/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=304964 CPUtime=1797.35 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85786 0 1 0 179585 150 0 0 25 0 1 0 205664733 312283136 75488 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76241 75488 435 55 0 75133 0 Current children cumulated CPU time (s) 1797.35 Current children cumulated vsize (Kb) 304964 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1532216/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=305100 CPUtime=1798.36 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85799 0 1 0 179686 150 0 0 25 0 1 0 205664733 312422400 75501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76275 75501 435 55 0 75167 0 Current children cumulated CPU time (s) 1798.36 Current children cumulated vsize (Kb) 305100 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 15459 /proc/meminfo: memFree=1531896/2055920 swapFree=4180964/4192956 [pid=15264] ppid=15262 vsize=305364 CPUtime=1799.36 /proc/15264/stat : 15264 (bsolo) R 15262 15264 15218 0 -1 0 85868 0 1 0 179786 150 0 0 25 0 1 0 205664733 312692736 75570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15264/statm: 76341 75570 435 55 0 75233 0 Current children cumulated CPU time (s) 1799.36 Current children cumulated vsize (Kb) 305364 Child status: 10 Real time (s): 1800.83 CPU time (s): 1800.07 CPU user time (s): 1798.51 CPU system time (s): 1.55876 CPU usage (%): 99.9576 Max. virtual memory (cumulated for all children) (Kb): 305364
Begin job on node41 on Sun Jun 4 05:46:22 UTC 2006 FILE ID= 40256-1149399982 PBS_JOBID= 313935 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40256-1149399982/instance-40256-1149399982.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-40256-1149399982 -o ROOT/results/node41/solver-40256-1149399982 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40256-1149399982/instance-40256-1149399982.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe RANDOM SEED= 764640688 /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.265 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.265 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: 1834048 kB Buffers: 7276 kB Cached: 153524 kB SwapCached: 3692 kB Active: 33120 kB Inactive: 136428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834048 kB SwapTotal: 4192956 kB SwapFree: 4180964 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14888 kB Slab: 38252 kB Committed_AS: 474772 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node41 on Sun Jun 4 06:16:23 UTC 2006