Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 7 | 1800.07 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb |
MD5SUM | a432642e9fdf105f945bae55612ade38 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 280 |
Total number of constraints | 11 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 130 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 43691 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524412 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261245 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524412 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 280 variables and 17 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.009 0.02 c After prepocess the problem consists of 226 variables and 17 constraints. 0.02 c Initial Lower Bound: 0 0.04 c Restart #1 #Var: 226 LB: 0 @ 0.03 0.08 c Restart #2 #Var: 226 LB: 0 @ 0.071 0.14 c Restart #3 #Var: 226 LB: 0 @ 0.131 0.22 c Restart #4 #Var: 226 LB: 0 @ 0.211 0.33 c Restart #5 #Var: 226 LB: 0 @ 0.312 0.44 c Restart #6 #Var: 226 LB: 0 @ 0.428 0.57 c Restart #7 #Var: 226 LB: 0 @ 0.557 0.58 c Sol. found (all assignments made)... 0.58 o 102 0.58 c NEW SOLUTION FOUND: 102 @ 0.568 0.59 c Sol. found (all assignments made)... 0.59 o 66 0.59 c NEW SOLUTION FOUND: 66 @ 0.576 0.60 c Sol. found (all assignments made)... 0.60 o 53 0.60 c NEW SOLUTION FOUND: 53 @ 0.583 0.60 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.72 c Sol. found (all assignments made)... 0.77 c Restart #8 #Var: 226 LB: 0 @ 0.758 0.87 c Restart #9 #Var: 226 LB: 0 @ 0.855 0.98 c Restart #10 #Var: 226 LB: 0 @ 0.965 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 o 50 0.98 c NEW SOLUTION FOUND: 50 @ 0.967 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 o 49 0.98 c NEW SOLUTION FOUND: 49 @ 0.968 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 o 47 0.98 c NEW SOLUTION FOUND: 47 @ 0.97 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 o 46 0.99 c NEW SOLUTION FOUND: 46 @ 0.973 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 o 44 1.00 c NEW SOLUTION FOUND: 44 @ 0.984 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 o 43 1.06 c NEW SOLUTION FOUND: 43 @ 1.046 1.06 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.20 c Restart #11 #Var: 226 LB: 0 @ 1.184 1.32 c Restart #12 #Var: 226 LB: 0 @ 1.303 1.64 c Restart #13 #Var: 226 LB: 0 @ 1.625 1.65 c Sol. found (all assignments made)... 1.65 o 42 1.65 c NEW SOLUTION FOUND: 42 @ 1.634 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.66 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.67 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 o 41 1.68 c NEW SOLUTION FOUND: 41 @ 1.664 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.70 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.72 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.73 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.75 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.76 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.79 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.80 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.81 c Sol. found (all assignments made)... 1.86 c Restart #14 #Var: 226 LB: 0 @ 1.85 2.10 c Restart #15 #Var: 226 LB: 0 @ 2.084 2.35 c Restart #16 #Var: 226 LB: 0 @ 2.332 3.05 c Restart #17 #Var: 226 LB: 0 @ 3.037 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.07 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.09 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.10 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.11 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.16 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.35 c CHANGE to MIS mode... UB: 41 MIS: 0 LPR: 0 (0.009) Diff: nan 3.35 c Restart #0 #Var: 226 LB: 0 @ 3.292 3.41 c Restart #1 #Var: 226 LB: 0 @ 3.352 3.44 c Sol. found (all assignments made)... 3.44 c Sol. found (all assignments made)... 3.44 o 40 3.44 c NEW SOLUTION FOUND: 40 @ 3.377 3.55 c Sol. found (all assignments made)... 3.55 o 39 3.55 c NEW SOLUTION FOUND: 39 @ 3.489 3.69 c Restart #2 #Var: 226 LB: 0 @ 3.632 3.72 c Sol. found (all assignments made)... 3.72 o 36 3.72 c NEW SOLUTION FOUND: 36 @ 3.658 3.79 c Sol. found (all assignments made)... 3.79 o 33 3.79 c NEW SOLUTION FOUND: 33 @ 3.726 3.80 c Sol. found (all assignments made)... 3.80 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.81 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.93 c Sol. found (all assignments made)... 4.17 c Sol. found (all assignments made)... 4.17 o 32 4.17 c NEW SOLUTION FOUND: 32 @ 4.106 4.66 c Restart #3 #Var: 226 LB: 0 @ 4.598 5.53 c Restart #4 #Var: 226 LB: 0 @ 5.469 8.75 c Restart #5 #Var: 226 LB: 0 @ 8.688 9.19 c Restart #6 #Var: 226 LB: 0 @ 9.121 9.77 c Restart #7 #Var: 226 LB: 0 @ 9.702 11.36 c Restart #8 #Var: 226 LB: 0 @ 11.287 11.72 c Restart #9 #Var: 226 LB: 0 @ 11.656 11.75 c Sol. found (all assignments made)... 11.75 o 31 11.75 c NEW SOLUTION FOUND: 31 @ 11.684 11.76 c Sol. found (all assignments made)... 11.76 o 30 11.76 c NEW SOLUTION FOUND: 30 @ 11.688 12.06 c Sol. found (all assignments made)... 12.06 o 29 12.06 c NEW SOLUTION FOUND: 29 @ 11.994 12.07 c Sol. found (all assignments made)... 12.07 o 28 12.07 c NEW SOLUTION FOUND: 28 @ 11.997 12.07 c Sol. found (all assignments made)... 12.07 o 27 12.07 c NEW SOLUTION FOUND: 27 @ 12 12.73 c Sol. found (all assignments made)... 12.73 o 26 12.73 c NEW SOLUTION FOUND: 26 @ 12.658 12.73 c Sol. found (all assignments made)... 12.73 o 25 12.73 c NEW SOLUTION FOUND: 25 @ 12.661 13.73 c Sol. found (all assignments made)... 13.73 o 24 13.73 c NEW SOLUTION FOUND: 24 @ 13.655 14.89 c Sol. found (all assignments made)... 14.89 o 23 14.89 c NEW SOLUTION FOUND: 23 @ 14.818 14.98 c Sol. found (all assignments made)... 14.98 o 22 14.98 c NEW SOLUTION FOUND: 22 @ 14.914 15.31 c Sol. found (all assignments made)... 15.31 o 21 15.31 c NEW SOLUTION FOUND: 21 @ 15.239 21.79 c Restart #10 #Var: 226 LB: 0 @ 21.722 25.84 c Sol. found (all assignments made)... 25.84 o 20 25.84 c NEW SOLUTION FOUND: 20 @ 25.763 25.87 c Sol. found (all assignments made)... 25.87 o 19 25.87 c NEW SOLUTION FOUND: 19 @ 25.799 26.87 c Sol. found (all assignments made)... 26.87 o 18 26.87 c NEW SOLUTION FOUND: 18 @ 26.799 26.89 c Sol. found (all assignments made)... 26.89 o 17 26.89 c NEW SOLUTION FOUND: 17 @ 26.812 26.93 c Sol. found (all assignments made)... 26.93 o 16 26.93 c NEW SOLUTION FOUND: 16 @ 26.86 30.90 c Restart #11 #Var: 225 LB: 0 @ 30.824 36.51 c Restart #12 #Var: 224 LB: 0 @ 36.434 39.10 c Restart #13 #Var: 224 LB: 0 @ 39.018 42.50 c Restart #14 #Var: 223 LB: 0 @ 42.418 60.62 c Restart #15 #Var: 223 LB: 0 @ 60.531 62.91 c Sol. found (all assignments made)... 62.91 o 15 62.91 c NEW SOLUTION FOUND: 15 @ 62.824 62.92 c Sol. found (all assignments made)... 62.92 o 14 62.92 c NEW SOLUTION FOUND: 14 @ 62.834 67.02 c Restart #16 #Var: 221 LB: 0 @ 66.936 73.63 c Restart #17 #Var: 220 LB: 0 @ 73.538 79.38 c Restart #18 #Var: 220 LB: 0 @ 79.286 85.16 c Restart #19 #Var: 220 LB: 0 @ 85.07 93.14 c Restart #20 #Var: 220 LB: 0 @ 93.046 98.51 c Restart #21 #Var: 220 LB: 0 @ 98.415 108.26 c Restart #22 #Var: 220 LB: 0 @ 108.16 113.15 c Restart #23 #Var: 220 LB: 0 @ 113.05 121.16 c Restart #24 #Var: 220 LB: 0 @ 121.06 130.89 c Restart #25 #Var: 220 LB: 0 @ 130.78 141.89 c Restart #26 #Var: 220 LB: 0 @ 141.78 150.72 c Restart #27 #Var: 220 LB: 0 @ 150.61 161.84 c Restart #28 #Var: 220 LB: 0 @ 161.73 169.85 c Restart #29 #Var: 220 LB: 0 @ 169.74 180.55 c Restart #30 #Var: 220 LB: 0 @ 180.43 188.29 c Restart #31 #Var: 220 LB: 0 @ 188.17 201.39 c Restart #32 #Var: 220 LB: 0 @ 201.27 213.58 c Restart #33 #Var: 220 LB: 0 @ 213.45 222.21 c Restart #34 #Var: 220 LB: 0 @ 222.08 236.01 c Restart #35 #Var: 220 LB: 0 @ 235.88 251.65 c Restart #36 #Var: 220 LB: 0 @ 251.52 265.69 c Restart #37 #Var: 220 LB: 0 @ 265.55 283.05 c Restart #38 #Var: 220 LB: 0 @ 282.91 300.28 c Restart #39 #Var: 220 LB: 0 @ 300.13 319.35 c Restart #40 #Var: 220 LB: 0 @ 319.2 330.83 c Restart #41 #Var: 220 LB: 0 @ 330.68 355.34 c Restart #42 #Var: 220 LB: 0 @ 355.18 373.92 c Restart #43 #Var: 220 LB: 0 @ 373.75 398.85 c Restart #44 #Var: 220 LB: 0 @ 398.68 417.47 c Restart #45 #Var: 220 LB: 0 @ 417.29 436.17 c Restart #46 #Var: 220 LB: 0 @ 435.98 455.49 c Restart #47 #Var: 220 LB: 0 @ 455.3 461.15 c Sol. found (all assignments made)... 461.15 o 13 461.15 c NEW SOLUTION FOUND: 13 @ 460.96 461.16 c Sol. found (all assignments made)... 461.16 o 12 461.16 c NEW SOLUTION FOUND: 12 @ 460.97 461.17 c Sol. found (all assignments made)... 461.17 o 11 461.17 c NEW SOLUTION FOUND: 11 @ 460.98 477.52 c Restart #48 #Var: 217 LB: 0 @ 477.33 525.38 c Restart #49 #Var: 217 LB: 0 @ 525.17 531.10 c Sol. found (all assignments made)... 531.10 o 8 531.10 c NEW SOLUTION FOUND: 8 @ 530.89 554.23 c Restart #50 #Var: 217 LB: 0 @ 554.01 575.63 c Restart #51 #Var: 217 LB: 0 @ 575.4 599.92 c Restart #52 #Var: 217 LB: 0 @ 599.69 623.28 c Restart #53 #Var: 216 LB: 0 @ 623.04 656.03 c Restart #54 #Var: 216 LB: 0 @ 655.78 682.57 c Restart #55 #Var: 216 LB: 0 @ 682.32 702.72 c Restart #56 #Var: 216 LB: 0 @ 702.46 721.01 c Restart #57 #Var: 215 LB: 0 @ 720.75 753.11 c Restart #58 #Var: 215 LB: 0 @ 752.84 777.48 c Restart #59 #Var: 215 LB: 0 @ 777.21 796.26 c Restart #60 #Var: 215 LB: 0 @ 795.98 827.74 c Restart #61 #Var: 215 LB: 0 @ 827.46 864.22 c Restart #62 #Var: 215 LB: 0 @ 863.92 899.58 c Restart #63 #Var: 214 LB: 0 @ 899.27 919.62 c Restart #64 #Var: 214 LB: 0 @ 919.31 931.75 c Restart #65 #Var: 214 LB: 0 @ 931.44 961.51 c Restart #66 #Var: 213 LB: 0 @ 961.18 997.94 c Restart #67 #Var: 213 LB: 0 @ 997.6 1030.65 c Restart #68 #Var: 213 LB: 0 @ 1030.3 1071.38 c Restart #69 #Var: 213 LB: 0 @ 1071 1092.76 c Sol. found (all assignments made)... 1092.76 o 7 1092.76 c NEW SOLUTION FOUND: 7 @ 1092.4 1129.28 c Restart #70 #Var: 213 LB: 0 @ 1128.9 1166.67 c Restart #71 #Var: 213 LB: 0 @ 1166.3 1202.68 c Restart #72 #Var: 213 LB: 0 @ 1202.3 1234.99 c Restart #73 #Var: 213 LB: 0 @ 1234.6 1261.35 c Restart #74 #Var: 213 LB: 0 @ 1260.9 1293.29 c Restart #75 #Var: 213 LB: 0 @ 1292.9 1337.80 c Restart #76 #Var: 213 LB: 0 @ 1337.4 1377.02 c Restart #77 #Var: 213 LB: 0 @ 1376.6 1407.13 c Restart #78 #Var: 213 LB: 0 @ 1406.7 1433.56 c Restart #79 #Var: 213 LB: 0 @ 1433.1 1473.98 c Restart #80 #Var: 213 LB: 0 @ 1473.5 1503.97 c Restart #81 #Var: 213 LB: 0 @ 1503.5 1542.16 c Restart #82 #Var: 213 LB: 0 @ 1541.7 1573.08 c Restart #83 #Var: 213 LB: 0 @ 1572.6 1614.15 c Restart #84 #Var: 213 LB: 0 @ 1613.6 1669.60 c Restart #85 #Var: 213 LB: 0 @ 1669.1 1705.59 c Restart #86 #Var: 213 LB: 0 @ 1705.1 1750.95 c Restart #87 #Var: 213 LB: 0 @ 1750.4 1785.35 c Restart #88 #Var: 213 LB: 0 @ 1784.8 1800.56 s SATISFIABLE 1800.56 c Cost: 7 1800.56 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.56 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.56 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.56 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 1800.56 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.56 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.56 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 1800.56 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 -x191 1800.56 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 -x252 x253 1800.56 v x254 x255 x256 x257 x258 x259 x260 x261 x262 -x263 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 -x275 x192 -x203 x214 -x225 1800.56 v x276 x277 x278 x279 -x280 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 x202 x204 -x205 -x206 x207 -x208 -x209 x210 -x211 1800.56 v -x212 x213 x215 -x216 x217 -x218 x219 x220 -x221 -x222 x223 -x224 -x226 -x227 -x228 x229 x230 -x264 1800.56 c Exit Code: 10 1800.56 c Total time: 1800 s
OK 7
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/node81/watcher-39821-1149254431 -o ROOT/results/node81/solver-39821-1149254431 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39821-1149254431/instance-39821-1149254431.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1242456/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=2900 CPUtime=0 /proc/22762/stat : 22762 (bsolo) D 22760 22762 22716 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 191082510 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10101684 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/22762/statm: 725 27 19 55 0 38 0 [startup+10.0033 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1192104/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=54744 CPUtime=9.93 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 13004 0 3 0 983 10 0 0 25 0 1 0 191082510 56057856 12919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 13686 12919 417 55 0 12577 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 54744 [startup+20.0094 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1169640/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=77180 CPUtime=19.93 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 18603 0 3 0 1980 13 0 0 25 0 1 0 191082510 79032320 18518 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10537003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 19295 18518 417 55 0 18186 0 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 77180 [startup+30.0155 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1161384/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=85380 CPUtime=29.93 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 20665 0 3 0 2979 14 0 0 25 0 1 0 191082510 87429120 20580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 21345 20580 417 55 0 20236 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 85380 [startup+40.0216 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1158888/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=87884 CPUtime=39.94 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 21280 0 3 0 3978 16 0 0 25 0 1 0 191082510 89993216 21195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 21971 21195 417 55 0 20862 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 87884 [startup+50.0277 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1155304/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=91448 CPUtime=49.94 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 22184 0 3 0 4977 17 0 0 25 0 1 0 191082510 93642752 22099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 22862 22099 417 55 0 21753 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 91448 [startup+60.0338 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1151976/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=94748 CPUtime=59.95 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 23006 0 3 0 5976 19 0 0 25 0 1 0 191082510 97021952 22921 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 23687 22921 417 55 0 22578 0 Current children cumulated CPU time (s) 59.95 Current children cumulated vsize (Kb) 94748 [startup+70.0399 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1149480/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=97268 CPUtime=69.95 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 23628 0 3 0 6975 20 0 0 25 0 1 0 191082510 99602432 23543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 24317 23543 417 55 0 23208 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 97268 [startup+80.046 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1147112/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=99644 CPUtime=79.95 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 24218 0 3 0 7974 21 0 0 25 0 1 0 191082510 102035456 24133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 24911 24133 417 55 0 23802 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 99644 [startup+90.0521 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1144232/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=102672 CPUtime=89.95 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 24960 0 3 0 8973 22 0 0 25 0 1 0 191082510 105136128 24875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 25668 24875 417 55 0 24559 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 102672 [startup+100.058 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1141544/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=105312 CPUtime=99.95 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 25627 0 3 0 9972 23 0 0 25 0 1 0 191082510 107839488 25542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 26328 25542 417 55 0 25219 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 105312 [startup+110.064 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1139048/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=107820 CPUtime=109.96 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 26237 0 3 0 10971 25 0 0 25 0 1 0 191082510 110407680 26152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 26955 26152 417 55 0 25846 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 107820 [startup+120.07 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1136040/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=110856 CPUtime=119.96 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 27001 0 3 0 11970 26 0 0 25 0 1 0 191082510 113516544 26916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 27714 26916 417 55 0 26605 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 110856 [startup+130.077 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1132264/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=114592 CPUtime=129.97 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 28217 0 3 0 12969 28 0 0 25 0 1 0 191082510 117342208 27852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 28648 27852 417 55 0 27539 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 114592 [startup+140.083 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1129128/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=117636 CPUtime=139.96 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 28996 0 3 0 13967 29 0 0 25 0 1 0 191082510 120459264 28631 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 29409 28631 417 55 0 28300 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 117636 [startup+150.089 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1126888/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=119900 CPUtime=149.98 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 29554 0 3 0 14967 31 0 0 25 0 1 0 191082510 122777600 29189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 29975 29189 417 55 0 28866 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 119900 [startup+160.095 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1123112/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=123720 CPUtime=159.97 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 30499 0 3 0 15965 32 0 0 25 0 1 0 191082510 126689280 30134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 30930 30134 417 55 0 29821 0 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 123720 [startup+170.101 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1120360/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=126496 CPUtime=169.97 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 31181 0 3 0 16964 33 0 0 25 0 1 0 191082510 129531904 30816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 31624 30816 417 55 0 30515 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 126496 [startup+180.107 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1116520/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=130324 CPUtime=179.98 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 32137 0 3 0 17963 35 0 0 25 0 1 0 191082510 133451776 31772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 32581 31772 417 55 0 31472 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 130324 [startup+190.112 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1114024/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=132832 CPUtime=189.99 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 32771 0 3 0 18962 37 0 0 25 0 1 0 191082510 136019968 32406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 33208 32406 417 55 0 32099 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 132832 [startup+200.118 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1111016/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=135736 CPUtime=199.99 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 33516 0 3 0 19961 38 0 0 25 0 1 0 191082510 138993664 33151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 33934 33151 417 55 0 32825 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 135736 [startup+210.125 s] /proc/loadavg: 1.00 0.97 0.93 2/68 22762 /proc/meminfo: memFree=1108648/2055892 swapFree=4085344/4096564 ################ # More data... # ################ /proc/22762/statm: 89277 88226 417 55 0 88168 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 357108 [startup+1771.06 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=889192/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=358032 CPUtime=1770.5 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89405 0 3 0 176874 176 0 0 25 0 1 0 191082510 366624768 88454 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 89508 88454 417 55 0 88399 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 358032 [startup+1781.06 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=887784/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=359352 CPUtime=1780.51 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89755 0 3 0 177873 178 0 0 25 0 1 0 191082510 367976448 88804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 89838 88804 417 55 0 88729 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 359352 [startup+1782.07 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=887656/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=359484 CPUtime=1781.52 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89790 0 3 0 177974 178 0 0 25 0 1 0 191082510 368111616 88839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 89871 88839 417 55 0 88762 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 359484 [startup+1783.07 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=887528/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=359616 CPUtime=1782.52 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89823 0 3 0 178074 178 0 0 25 0 1 0 191082510 368246784 88872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 89904 88872 417 55 0 88795 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 359616 [startup+1784.08 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=887464/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=359748 CPUtime=1783.52 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89848 0 3 0 178174 178 0 0 25 0 1 0 191082510 368381952 88897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 89937 88897 417 55 0 88828 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 359748 [startup+1785.08 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=887272/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=359880 CPUtime=1784.53 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89889 0 3 0 178274 179 0 0 25 0 1 0 191082510 368517120 88938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 89970 88938 417 55 0 88861 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 359880 [startup+1786.09 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=887080/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360228 CPUtime=1785.54 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89935 0 3 0 178375 179 0 0 25 0 1 0 191082510 368873472 88984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90057 88984 417 55 0 88948 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 360228 [startup+1787.09 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=887080/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360228 CPUtime=1786.54 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89935 0 3 0 178475 179 0 0 25 0 1 0 191082510 368873472 88984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90057 88984 417 55 0 88948 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 360228 [startup+1788.1 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=887016/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360228 CPUtime=1787.55 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89949 0 3 0 178576 179 0 0 25 0 1 0 191082510 368873472 88998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90057 88998 417 55 0 88948 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 360228 [startup+1789.1 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886952/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360228 CPUtime=1788.55 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89966 0 3 0 178676 179 0 0 25 0 1 0 191082510 368873472 89015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90057 89015 417 55 0 88948 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 360228 [startup+1790.11 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886888/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360360 CPUtime=1789.56 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 89985 0 3 0 178777 179 0 0 25 0 1 0 191082510 369008640 89034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90090 89034 417 55 0 88981 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 360360 [startup+1791.11 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886824/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360492 CPUtime=1790.56 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90005 0 3 0 178877 179 0 0 25 0 1 0 191082510 369143808 89054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90123 89054 417 55 0 89014 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 360492 [startup+1792.12 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886760/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360492 CPUtime=1791.56 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90018 0 3 0 178977 179 0 0 25 0 1 0 191082510 369143808 89067 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90123 89067 417 55 0 89014 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 360492 [startup+1793.12 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886632/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360624 CPUtime=1792.57 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90044 0 3 0 179078 179 0 0 25 0 1 0 191082510 369278976 89093 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90156 89093 417 55 0 89047 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 360624 [startup+1794.13 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886568/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360624 CPUtime=1793.57 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90066 0 3 0 179178 179 0 0 25 0 1 0 191082510 369278976 89115 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90156 89115 417 55 0 89047 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 360624 [startup+1795.13 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886440/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360756 CPUtime=1794.58 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90089 0 3 0 179279 179 0 0 25 0 1 0 191082510 369414144 89138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90189 89138 417 55 0 89080 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 360756 [startup+1796.14 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886440/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360880 CPUtime=1795.58 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90103 0 3 0 179379 179 0 0 25 0 1 0 191082510 369541120 89152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90220 89152 417 55 0 89111 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 360880 [startup+1797.14 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886312/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=360880 CPUtime=1796.59 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90123 0 3 0 179480 179 0 0 25 0 1 0 191082510 369541120 89172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90220 89172 417 55 0 89111 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 360880 [startup+1798.15 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886248/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=361012 CPUtime=1797.59 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90149 0 3 0 179580 179 0 0 25 0 1 0 191082510 369676288 89198 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90253 89198 417 55 0 89144 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 361012 [startup+1799.15 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886120/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=361144 CPUtime=1798.59 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90169 0 3 0 179680 179 0 0 25 0 1 0 191082510 369811456 89218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90286 89218 417 55 0 89177 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 361144 [startup+1800.15 s] /proc/loadavg: 1.00 0.99 0.94 2/68 22764 /proc/meminfo: memFree=886056/2055892 swapFree=4085344/4096564 [pid=22762] ppid=22760 vsize=361144 CPUtime=1799.6 /proc/22762/stat : 22762 (bsolo) R 22760 22762 22716 0 -1 0 90185 0 3 0 179781 179 0 0 25 0 1 0 191082510 369811456 89234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22762/statm: 90286 89234 417 55 0 89177 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 361144 Child status: 10 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1798.22 CPU system time (s): 1.84972 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (Kb): 361144
Begin job on node81 on Fri Jun 2 13:20:31 UTC 2006 FILE ID= 39821-1149254431 PBS_JOBID= 298286 BENCH NAME= ROOT/tmp/node81/39821-1149254431/instance-39821-1149254431.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39821-1149254431/instance-39821-1149254431.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-39821-1149254431 -o ROOT/results/node81/solver-39821-1149254431 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39821-1149254431/instance-39821-1149254431.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a432642e9fdf105f945bae55612ade38 RANDOM SEED= 482014959 /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.248 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 : 6006.19 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.248 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1242792 kB Buffers: 44352 kB Cached: 690316 kB SwapCached: 2656 kB Active: 168508 kB Inactive: 575040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1242792 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 184 kB Writeback: 0 kB Mapped: 16516 kB Slab: 56084 kB Committed_AS: 245644 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Fri Jun 2 13:50:31 UTC 2006