Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -39 | 1800.01 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
MD5SUM | 49f1950e042362832bbb830f499dd3e3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.65 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58245 |
Number of constraints which are clauses | 58245 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.80 c Initial problem consists of 945 variables and 58245 constraints. 7.69 c No problem reductions applied in OPT. instance. 7.69 c preprocess terminated. Elapsed time: 7.681 7.69 c After prepocess the problem consists of 945 variables and 58245 constraints. 7.69 c Initial Lower Bound: -945 7.74 c Sol. found (all assignments made)... 7.74 o -2 7.74 c NEW SOLUTION FOUND: -2 @ 7.729 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 o -3 7.74 c NEW SOLUTION FOUND: -3 @ 7.734 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.74 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.76 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 o -4 7.77 c NEW SOLUTION FOUND: -4 @ 7.763 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.77 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.79 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.80 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.82 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.83 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.84 c Sol. found (all assignments made)... 7.89 c Restart #1 #Var: 945 LB: -945 @ 7.885 7.94 c Sol. found (all assignments made)... 7.94 o -30 7.94 c NEW SOLUTION FOUND: -30 @ 7.93 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.94 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 o -31 7.95 c NEW SOLUTION FOUND: -31 @ 7.943 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 o -32 7.95 c NEW SOLUTION FOUND: -32 @ 7.944 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.01 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 c Sol. found (all assignments made)... 8.03 o -33 8.03 c NEW SOLUTION FOUND: -33 @ 8.025 8.03 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.04 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.11 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.17 c Sol. found (all assignments made)... 8.22 c Restart #2 #Var: 945 LB: -945 @ 8.214 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.54 c Restart #3 #Var: 945 LB: -945 @ 8.528 8.62 c Sol. found (all assignments made)... 8.62 c Sol. found (all assignments made)... 8.92 c Restart #4 #Var: 945 LB: -945 @ 8.915 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.00 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.02 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.06 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.07 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.09 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.12 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.13 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.15 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.18 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.19 c Sol. found (all assignments made)... 9.20 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.21 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.23 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.39 c Restart #5 #Var: 945 LB: -945 @ 9.373 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.59 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.67 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.68 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.73 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.77 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.80 c Sol. found (all assignments made)... 44.96 c CHANGE to MIS mode... UB: -33 MIS: -945 LPR: -439 (3.4974) Diff: 2.1526 44.96 c Restart #0 #Var: 945 LB: -945 @ 44.904 45.13 c Sol. found (all assignments made)... 45.13 o -34 45.13 c NEW SOLUTION FOUND: -34 @ 45.075 45.13 c Sol. found (all assignments made)... 45.26 c Restart #1 #Var: 945 LB: -945 @ 45.203 45.60 c Restart #2 #Var: 945 LB: -945 @ 45.546 46.05 c Restart #3 #Var: 945 LB: -945 @ 45.995 46.56 c Restart #4 #Var: 945 LB: -945 @ 46.503 46.72 c Sol. found (all assignments made)... 46.72 c Sol. found (all assignments made)... 46.73 c Sol. found (all assignments made)... 46.73 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.74 c Sol. found (all assignments made)... 46.75 c Sol. found (all assignments made)... 46.75 c Sol. found (all assignments made)... 46.75 c Sol. found (all assignments made)... 46.75 c Sol. found (all assignments made)... 46.76 c Sol. found (all assignments made)... 46.77 c Sol. found (all assignments made)... 46.77 c Sol. found (all assignments made)... 46.77 c Sol. found (all assignments made)... 46.77 c Sol. found (all assignments made)... 46.78 c Sol. found (all assignments made)... 46.78 c Sol. found (all assignments made)... 46.78 c Sol. found (all assignments made)... 46.92 c Sol. found (all assignments made)... 46.92 c Sol. found (all assignments made)... 46.93 c Sol. found (all assignments made)... 46.93 c Sol. found (all assignments made)... 46.95 c Sol. found (all assignments made)... 46.95 c Sol. found (all assignments made)... 46.96 c Sol. found (all assignments made)... 46.96 c Sol. found (all assignments made)... 46.96 c Sol. found (all assignments made)... 46.96 c Sol. found (all assignments made)... 46.97 c Sol. found (all assignments made)... 46.98 c Sol. found (all assignments made)... 46.99 c Sol. found (all assignments made)... 47.00 c Sol. found (all assignments made)... 47.00 c Sol. found (all assignments made)... 47.01 c Sol. found (all assignments made)... 47.01 c Sol. found (all assignments made)... 47.02 c Sol. found (all assignments made)... 47.03 c Sol. found (all assignments made)... 47.03 c Sol. found (all assignments made)... 47.04 c Sol. found (all assignments made)... 47.05 c Sol. found (all assignments made)... 47.05 c Sol. found (all assignments made)... 47.05 c Sol. found (all assignments made)... 47.05 c Sol. found (all assignments made)... 47.05 c Sol. found (all assignments made)... 47.05 c Sol. found (all assignments made)... 47.06 c Sol. found (all assignments made)... 47.06 c Sol. found (all assignments made)... 47.08 c Sol. found (all assignments made)... 47.09 c Sol. found (all assignments made)... 47.09 c Sol. found (all assignments made)... 47.09 c Sol. found (all assignments made)... 47.15 c Restart #5 #Var: 945 LB: -945 @ 47.09 47.65 c Sol. found (all assignments made)... 47.87 c Restart #6 #Var: 945 LB: -476 @ 47.812 48.46 c Sol. found (all assignments made)... 48.65 c Restart #7 #Var: 945 LB: -945 @ 48.593 49.10 c Sol. found (all assignments made)... 49.57 c Restart #8 #Var: 945 LB: -479 @ 49.518 50.56 c Restart #9 #Var: 945 LB: -476 @ 50.505 51.63 c Restart #10 #Var: 945 LB: -476 @ 51.571 52.75 c Restart #11 #Var: 945 LB: -476 @ 52.697 53.96 c Restart #12 #Var: 945 LB: -477 @ 53.9 54.15 c Sol. found (all assignments made)... 54.15 c Sol. found (all assignments made)... 54.15 c Sol. found (all assignments made)... 54.15 c Sol. found (all assignments made)... 54.15 c Sol. found (all assignments made)... 54.15 c Sol. found (all assignments made)... 54.15 c Sol. found (all assignments made)... 54.15 o -35 54.15 c NEW SOLUTION FOUND: -35 @ 54.096 54.15 c Sol. found (all assignments made)... 54.16 c Sol. found (all assignments made)... 54.16 c Sol. found (all assignments made)... 54.16 c Sol. found (all assignments made)... 54.16 c Sol. found (all assignments made)... 54.17 c Sol. found (all assignments made)... 54.17 c Sol. found (all assignments made)... 54.17 c Sol. found (all assignments made)... 54.17 c Sol. found (all assignments made)... 54.18 c Sol. found (all assignments made)... 54.18 c Sol. found (all assignments made)... 54.18 c Sol. found (all assignments made)... 54.69 c Sol. found (all assignments made)... 54.73 c Sol. found (all assignments made)... 54.76 c Sol. found (all assignments made)... 54.79 c Sol. found (all assignments made)... 54.80 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.83 c Sol. found (all assignments made)... 54.84 c Sol. found (all assignments made)... 54.85 c Sol. found (all assignments made)... 54.85 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.86 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.90 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.91 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.94 c Sol. found (all assignments made)... 54.95 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.97 c Sol. found (all assignments made)... 54.98 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 54.99 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.00 c Sol. found (all assignments made)... 55.01 c Sol. found (all assignments made)... 55.01 c Sol. found (all assignments made)... 55.02 c Sol. found (all assignments made)... 55.02 c Sol. found (all assignments made)... 55.05 c Sol. found (all assignments made)... 55.07 c Sol. found (all assignments made)... 55.07 c Sol. found (all assignments made)... 55.10 c Sol. found (all assignments made)... 55.11 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.13 c Sol. found (all assignments made)... 55.17 c Sol. found (all assignments made)... 55.18 c Sol. found (all assignments made)... 55.24 c Restart #13 #Var: 945 LB: -945 @ 55.178 55.48 c Sol. found (all assignments made)... 55.49 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.50 c Sol. found (all assignments made)... 55.56 c Sol. found (all assignments made)... 55.56 c Sol. found (all assignments made)... 55.56 c Sol. found (all assignments made)... 55.67 c Sol. found (all assignments made)... 55.69 c Sol. found (all assignments made)... 56.61 c Restart #14 #Var: 945 LB: -945 @ 56.55 56.76 c Sol. found (all assignments made)... 56.76 c Sol. found (all assignments made)... 56.89 c Sol. found (all assignments made)... 56.89 o -36 56.89 c NEW SOLUTION FOUND: -36 @ 56.836 56.90 c Sol. found (all assignments made)... 56.91 c Sol. found (all assignments made)... 56.91 c Sol. found (all assignments made)... 56.91 o -37 56.91 c NEW SOLUTION FOUND: -37 @ 56.853 56.97 c Sol. found (all assignments made)... 58.23 c Restart #15 #Var: 945 LB: -478 @ 58.172 59.81 c Restart #16 #Var: 945 LB: -945 @ 59.749 61.42 c Restart #17 #Var: 945 LB: -945 @ 61.364 63.17 c Restart #18 #Var: 945 LB: -945 @ 63.112 64.99 c Restart #19 #Var: 945 LB: -478 @ 64.925 66.85 c Restart #20 #Var: 945 LB: -945 @ 66.788 68.81 c Restart #21 #Var: 945 LB: -945 @ 68.747 70.88 c Restart #22 #Var: 945 LB: -945 @ 70.82 72.94 c Restart #23 #Var: 945 LB: -945 @ 72.876 75.17 c Restart #24 #Var: 945 LB: -945 @ 75.103 77.53 c Restart #25 #Var: 945 LB: -945 @ 77.464 79.95 c Restart #26 #Var: 945 LB: -945 @ 79.887 82.48 c Restart #27 #Var: 945 LB: -478 @ 82.416 85.06 c Restart #28 #Var: 945 LB: -945 @ 84.994 87.71 c Restart #29 #Var: 945 LB: -945 @ 87.638 90.42 c Restart #30 #Var: 945 LB: -477 @ 90.351 93.29 c Restart #31 #Var: 945 LB: -945 @ 93.217 96.15 c Restart #32 #Var: 945 LB: -945 @ 96.072 96.94 c Sol. found (all assignments made)... 96.95 c Sol. found (all assignments made)... 96.95 c Sol. found (all assignments made)... 96.97 c Sol. found (all assignments made)... 96.97 c Sol. found (all assignments made)... 96.97 c Sol. found (all assignments made)... 96.97 c Sol. found (all assignments made)... 96.97 c Sol. found (all assignments made)... 96.98 c Sol. found (all assignments made)... 96.98 c Sol. found (all assignments made)... 96.98 c Sol. found (all assignments made)... 96.99 c Sol. found (all assignments made)... 97.05 c Sol. found (all assignments made)... 97.06 c Sol. found (all assignments made)... 97.06 c Sol. found (all assignments made)... 97.06 c Sol. found (all assignments made)... 97.07 c Sol. found (all assignments made)... 97.07 c Sol. found (all assignments made)... 97.10 c Sol. found (all assignments made)... 99.29 c Restart #33 #Var: 945 LB: -945 @ 99.213 102.31 c Restart #34 #Var: 945 LB: -945 @ 102.24 105.52 c Restart #35 #Var: 945 LB: -945 @ 105.44 108.72 c Restart #36 #Var: 945 LB: -945 @ 108.64 111.99 c Restart #37 #Var: 945 LB: -945 @ 111.91 115.40 c Restart #38 #Var: 945 LB: -945 @ 115.32 118.81 c Restart #39 #Var: 945 LB: -945 @ 118.73 122.47 c Restart #40 #Var: 945 LB: -478 @ 122.39 126.16 c Restart #41 #Var: 945 LB: -945 @ 126.07 129.85 c Restart #42 #Var: 945 LB: -479 @ 129.76 133.71 c Restart #43 #Var: 945 LB: -945 @ 133.62 137.61 c Restart #44 #Var: 945 LB: -945 @ 137.52 140.62 c Sol. found (all assignments made)... 140.67 c Sol. found (all assignments made)... 140.67 c Sol. found (all assignments made)... 140.68 c Sol. found (all assignments made)... 140.68 c Sol. found (all assignments made)... 140.68 c Sol. found (all assignments made)... 140.68 c Sol. found (all assignments made)... 140.73 c Sol. found (all assignments made)... 140.73 c Sol. found (all assignments made)... 140.74 c Sol. found (all assignments made)... 140.81 c Sol. found (all assignments made)... 141.48 c Restart #45 #Var: 945 LB: -945 @ 141.39 145.59 c Restart #46 #Var: 945 LB: -945 @ 145.5 149.68 c Restart #47 #Var: 945 LB: -945 @ 149.59 153.91 c Restart #48 #Var: 945 LB: -945 @ 153.82 158.27 c Restart #49 #Var: 945 LB: -945 @ 158.17 162.74 c Restart #50 #Var: 945 LB: -945 @ 162.65 167.21 c Restart #51 #Var: 945 LB: -945 @ 167.11 171.71 c Restart #52 #Var: 945 LB: -945 @ 171.6 176.41 c Restart #53 #Var: 945 LB: -945 @ 176.31 181.14 c Restart #54 #Var: 945 LB: -945 @ 181.04 185.97 c Restart #55 #Var: 945 LB: -945 @ 185.87 190.79 c Restart #56 #Var: 945 LB: -478 @ 190.68 195.87 c Restart #57 #Var: 945 LB: -945 @ 195.76 201.02 c Restart #58 #Var: 945 LB: -945 @ 200.9 206.26 c Restart #59 #Var: 945 LB: -945 @ 206.15 211.48 c Restart #60 #Var: 945 LB: -945 @ 211.36 216.86 c Restart #61 #Var: 945 LB: -945 @ 216.74 222.20 c Restart #62 #Var: 945 LB: -945 @ 222.08 227.88 c Restart #63 #Var: 945 LB: -945 @ 227.76 233.45 c Restart #64 #Var: 945 LB: -945 @ 233.32 239.03 c Restart #65 #Var: 945 LB: -945 @ 238.91 244.82 c Restart #66 #Var: 945 LB: -945 @ 244.69 246.18 c Sol. found (all assignments made)... 246.21 c Sol. found (all assignments made)... 246.22 c Sol. found (all assignments made)... 250.63 c Restart #67 #Var: 945 LB: -945 @ 250.5 256.60 c Restart #68 #Var: 945 LB: -945 @ 256.47 262.69 c Restart #69 #Var: 945 LB: -945 @ 262.55 268.68 c Restart #70 #Var: 945 LB: -945 @ 268.55 274.85 c Restart #71 #Var: 945 LB: -945 @ 274.71 281.10 c Restart #72 #Var: 945 LB: -945 @ 280.96 287.38 c Restart #73 #Var: 945 LB: -945 @ 287.23 293.60 c Restart #74 #Var: 945 LB: -945 @ 293.45 299.98 c Restart #75 #Var: 945 LB: -945 @ 299.83 306.43 c Restart #76 #Var: 945 LB: -945 @ 306.28 313.19 c Restart #77 #Var: 945 LB: -945 @ 313.03 319.94 c Restart #78 #Var: 945 LB: -945 @ 319.78 326.72 c Restart #79 #Var: 945 LB: -945 @ 326.56 333.61 c Restart #80 #Var: 945 LB: -945 @ 333.44 340.49 c Restart #81 #Var: 945 LB: -945 @ 340.33 347.54 c Restart #82 #Var: 945 LB: -945 @ 347.37 354.50 c Restart #83 #Var: 945 LB: -945 @ 354.33 362.00 c Restart #84 #Var: 945 LB: -945 @ 361.82 369.56 c Restart #85 #Var: 945 LB: -945 @ 369.38 376.93 c Restart #86 #Var: 945 LB: -945 @ 376.75 384.39 c Restart #87 #Var: 945 LB: -945 @ 384.21 392.00 c Restart #88 #Var: 945 LB: -945 @ 391.82 399.67 c Restart #89 #Var: 945 LB: -945 @ 399.49 407.55 c Restart #90 #Var: 945 LB: -945 @ 407.37 415.36 c Restart #91 #Var: 945 LB: -945 @ 415.17 423.47 c Restart #92 #Var: 945 LB: -945 @ 423.28 431.37 c Restart #93 #Var: 945 LB: -945 @ 431.18 439.55 c Restart #94 #Var: 945 LB: -945 @ 439.35 448.16 c Restart #95 #Var: 945 LB: -945 @ 447.95 456.12 c Restart #96 #Var: 945 LB: -945 @ 455.91 464.46 c Restart #97 #Var: 945 LB: -945 @ 464.25 472.86 c Restart #98 #Var: 945 LB: -945 @ 472.65 481.21 c Restart #99 #Var: 945 LB: -945 @ 480.99 489.89 c Restart #100 #Var: 945 LB: -945 @ 489.67 498.90 c Restart #101 #Var: 945 LB: -945 @ 498.68 507.64 c Restart #102 #Var: 945 LB: -945 @ 507.42 516.28 c Restart #103 #Var: 945 LB: -945 @ 516.05 525.26 c Restart #104 #Var: 945 LB: -945 @ 525.02 534.02 c Restart #105 #Var: 945 LB: -945 @ 533.78 543.06 c Restart #106 #Var: 945 LB: -945 @ 542.82 552.23 c Restart #107 #Var: 945 LB: -945 @ 551.99 561.52 c Restart #108 #Var: 945 LB: -945 @ 561.27 570.67 c Restart #109 #Var: 945 LB: -945 @ 570.43 579.86 c Restart #110 #Var: 945 LB: -945 @ 579.61 589.41 c Restart #111 #Var: 945 LB: -477 @ 589.15 599.00 c Restart #112 #Var: 945 LB: -945 @ 598.74 599.21 c Sol. found (all assignments made)... 599.21 c Sol. found (all assignments made)... 599.22 c Sol. found (all assignments made)... 599.23 c Sol. found (all assignments made)... 600.71 c Sol. found (all assignments made)... 606.81 c Sol. found (all assignments made)... 606.81 c Sol. found (all assignments made)... 606.85 c Sol. found (all assignments made)... 608.29 c Restart #113 #Var: 945 LB: -945 @ 608.03 617.86 c Restart #114 #Var: 945 LB: -945 @ 617.6 618.04 c Sol. found (all assignments made)... 618.09 c Sol. found (all assignments made)... 618.10 c Sol. found (all assignments made)... 618.15 c Sol. found (all assignments made)... 622.90 c Sol. found (all assignments made)... 622.92 c Sol. found (all assignments made)... 622.92 c Sol. found (all assignments made)... 622.93 c Sol. found (all assignments made)... 622.93 c Sol. found (all assignments made)... 622.99 c Sol. found (all assignments made)... 622.99 c Sol. found (all assignments made)... 622.99 c Sol. found (all assignments made)... 622.99 c Sol. found (all assignments made)... 622.99 c Sol. found (all assignments made)... 622.99 c Sol. found (all assignments made)... 623.01 c Sol. found (all assignments made)... 623.01 c Sol. found (all assignments made)... 623.01 c Sol. found (all assignments made)... 623.01 c Sol. found (all assignments made)... 623.01 c Sol. found (all assignments made)... 623.02 c Sol. found (all assignments made)... 623.04 c Sol. found (all assignments made)... 623.04 c Sol. found (all assignments made)... 623.04 c Sol. found (all assignments made)... 623.04 c Sol. found (all assignments made)... 623.04 c Sol. found (all assignments made)... 623.04 c Sol. found (all assignments made)... 623.05 c Sol. found (all assignments made)... 623.06 c Sol. found (all assignments made)... 623.06 c Sol. found (all assignments made)... 623.06 c Sol. found (all assignments made)... 623.06 c Sol. found (all assignments made)... 623.06 c Sol. found (all assignments made)... 623.06 c Sol. found (all assignments made)... 623.07 c Sol. found (all assignments made)... 623.15 c Sol. found (all assignments made)... 623.15 c Sol. found (all assignments made)... 623.15 c Sol. found (all assignments made)... 623.15 c Sol. found (all assignments made)... 623.16 c Sol. found (all assignments made)... 623.16 c Sol. found (all assignments made)... 623.16 c Sol. found (all assignments made)... 623.17 c Sol. found (all assignments made)... 623.35 c Sol. found (all assignments made)... 624.42 c Sol. found (all assignments made)... 624.42 c Sol. found (all assignments made)... 624.42 c Sol. found (all assignments made)... 624.43 c Sol. found (all assignments made)... 624.44 c Sol. found (all assignments made)... 624.44 c Sol. found (all assignments made)... 624.45 c Sol. found (all assignments made)... 624.45 c Sol. found (all assignments made)... 624.45 c Sol. found (all assignments made)... 625.65 c Sol. found (all assignments made)... 627.42 c Restart #115 #Var: 945 LB: -945 @ 627.15 637.11 c Restart #116 #Var: 945 LB: -945 @ 636.83 647.26 c Restart #117 #Var: 945 LB: -945 @ 646.98 657.35 c Restart #118 #Var: 945 LB: -945 @ 657.07 667.45 c Restart #119 #Var: 945 LB: -945 @ 667.16 677.39 c Restart #120 #Var: 945 LB: -945 @ 677.1 687.77 c Restart #121 #Var: 945 LB: -945 @ 687.47 698.14 c Restart #122 #Var: 945 LB: -945 @ 697.85 709.17 c Restart #123 #Var: 945 LB: -945 @ 708.87 719.73 c Restart #124 #Var: 945 LB: -945 @ 719.43 730.40 c Restart #125 #Var: 945 LB: -945 @ 730.09 741.36 c Restart #126 #Var: 945 LB: -945 @ 741.05 752.14 c Restart #127 #Var: 945 LB: -945 @ 751.82 763.09 c Restart #128 #Var: 945 LB: -945 @ 762.77 765.47 c Sol. found (all assignments made)... 765.48 c Sol. found (all assignments made)... 773.88 c Restart #129 #Var: 945 LB: -945 @ 773.56 784.99 c Restart #130 #Var: 945 LB: -945 @ 784.67 796.32 c Restart #131 #Var: 945 LB: -945 @ 795.99 807.59 c Restart #132 #Var: 945 LB: -945 @ 807.25 819.49 c Restart #133 #Var: 945 LB: -945 @ 819.15 831.16 c Restart #134 #Var: 945 LB: -945 @ 830.82 842.82 c Restart #135 #Var: 945 LB: -945 @ 842.47 854.13 c Restart #136 #Var: 945 LB: -945 @ 853.78 865.85 c Restart #137 #Var: 945 LB: -945 @ 865.49 877.52 c Restart #138 #Var: 945 LB: -945 @ 877.16 889.46 c Restart #139 #Var: 945 LB: -945 @ 889.09 901.29 c Restart #140 #Var: 945 LB: -945 @ 900.92 913.40 c Restart #141 #Var: 945 LB: -945 @ 913.03 925.90 c Restart #142 #Var: 945 LB: -945 @ 925.52 937.97 c Restart #143 #Var: 945 LB: -945 @ 937.59 950.24 c Restart #144 #Var: 945 LB: -945 @ 949.85 954.70 c Sol. found (all assignments made)... 955.22 c Sol. found (all assignments made)... 955.28 c Sol. found (all assignments made)... 955.30 c Sol. found (all assignments made)... 955.31 c Sol. found (all assignments made)... 958.40 c Sol. found (all assignments made)... 958.40 c Sol. found (all assignments made)... 958.41 c Sol. found (all assignments made)... 958.41 c Sol. found (all assignments made)... 958.44 c Sol. found (all assignments made)... 958.44 c Sol. found (all assignments made)... 958.45 c Sol. found (all assignments made)... 958.46 c Sol. found (all assignments made)... 958.46 c Sol. found (all assignments made)... 958.46 c Sol. found (all assignments made)... 958.46 c Sol. found (all assignments made)... 958.47 c Sol. found (all assignments made)... 962.38 c Restart #145 #Var: 945 LB: -945 @ 961.99 974.74 c Restart #146 #Var: 945 LB: -945 @ 974.34 987.40 c Restart #147 #Var: 945 LB: -945 @ 986.99 1000.06 c Restart #148 #Var: 945 LB: -945 @ 999.65 1012.62 c Restart #149 #Var: 945 LB: -945 @ 1012.2 1025.81 c Restart #150 #Var: 945 LB: -945 @ 1025.4 1029.21 c Sol. found (all assignments made)... 1038.44 c Restart #151 #Var: 945 LB: -945 @ 1038 1051.46 c Restart #152 #Var: 945 LB: -945 @ 1051 1064.52 c Restart #153 #Var: 945 LB: -945 @ 1064.1 1077.55 c Restart #154 #Var: 945 LB: -945 @ 1077.1 1090.66 c Restart #155 #Var: 945 LB: -945 @ 1090.2 1104.01 c Restart #156 #Var: 945 LB: -945 @ 1103.6 1117.46 c Restart #157 #Var: 945 LB: -945 @ 1117 1131.12 c Restart #158 #Var: 945 LB: -945 @ 1130.7 1144.75 c Restart #159 #Var: 945 LB: -945 @ 1144.3 1158.27 c Restart #160 #Var: 945 LB: -945 @ 1157.8 1171.96 c Restart #161 #Var: 945 LB: -945 @ 1171.5 1185.96 c Restart #162 #Var: 945 LB: -945 @ 1185.5 1189.50 c Sol. found (all assignments made)... 1189.50 c Sol. found (all assignments made)... 1189.60 c Sol. found (all assignments made)... 1189.60 o -38 1189.60 c NEW SOLUTION FOUND: -38 @ 1189.1 1189.60 c Sol. found (all assignments made)... 1189.68 c Sol. found (all assignments made)... 1189.68 o -39 1189.68 c NEW SOLUTION FOUND: -39 @ 1189.2 1189.68 c Sol. found (all assignments made)... 1203.46 c Restart #163 #Var: 945 LB: -945 @ 1203 1217.55 c Restart #164 #Var: 945 LB: -945 @ 1217.1 1231.95 c Restart #165 #Var: 945 LB: -945 @ 1231.5 1246.61 c Restart #166 #Var: 945 LB: -945 @ 1246.1 1261.29 c Restart #167 #Var: 945 LB: -945 @ 1260.8 1275.58 c Restart #168 #Var: 945 LB: -945 @ 1275.1 1290.27 c Restart #169 #Var: 945 LB: -945 @ 1289.8 1304.76 c Restart #170 #Var: 945 LB: -945 @ 1304.2 1319.81 c Restart #171 #Var: 945 LB: -945 @ 1319.3 1334.61 c Restart #172 #Var: 945 LB: -945 @ 1334.1 1349.49 c Restart #173 #Var: 945 LB: -945 @ 1349 1364.94 c Restart #174 #Var: 945 LB: -945 @ 1364.4 1380.53 c Restart #175 #Var: 945 LB: -945 @ 1380 1396.24 c Restart #176 #Var: 945 LB: -945 @ 1395.7 1411.42 c Restart #177 #Var: 945 LB: -945 @ 1410.8 1426.82 c Restart #178 #Var: 945 LB: -945 @ 1426.2 1442.61 c Restart #179 #Var: 945 LB: -945 @ 1442 1458.65 c Restart #180 #Var: 945 LB: -945 @ 1458 1474.57 c Restart #181 #Var: 945 LB: -945 @ 1473.9 1490.71 c Restart #182 #Var: 945 LB: -945 @ 1490.1 1506.57 c Restart #183 #Var: 945 LB: -945 @ 1505.9 1523.00 c Restart #184 #Var: 945 LB: -945 @ 1522.4 1539.19 c Restart #185 #Var: 945 LB: -945 @ 1538.5 1554.89 c Restart #186 #Var: 945 LB: -945 @ 1554.2 1571.56 c Restart #187 #Var: 945 LB: -945 @ 1570.9 1588.22 c Restart #188 #Var: 945 LB: -945 @ 1587.5 1604.69 c Restart #189 #Var: 945 LB: -945 @ 1604 1621.24 c Restart #190 #Var: 945 LB: -945 @ 1620.6 1637.73 c Restart #191 #Var: 945 LB: -945 @ 1637 1654.62 c Restart #192 #Var: 945 LB: -945 @ 1653.9 1671.85 c Restart #193 #Var: 945 LB: -945 @ 1671.2 1688.64 c Restart #194 #Var: 945 LB: -945 @ 1687.9 1706.18 c Restart #195 #Var: 945 LB: -945 @ 1705.5 1723.11 c Restart #196 #Var: 945 LB: -945 @ 1722.4 1740.43 c Restart #197 #Var: 945 LB: -945 @ 1739.7 1757.67 c Restart #198 #Var: 945 LB: -945 @ 1756.9 1774.87 c Restart #199 #Var: 945 LB: -945 @ 1774.1 1779.68 c Sol. found (all assignments made)... 1779.68 c Sol. found (all assignments made)... 1779.68 c Sol. found (all assignments made)... 1779.69 c Sol. found (all assignments made)... 1779.69 c Sol. found (all assignments made)... 1779.70 c Sol. found (all assignments made)... 1779.76 c Sol. found (all assignments made)... 1791.80 c Restart #200 #Var: 945 LB: -945 @ 1791.1 1800.75 s SATISFIABLE 1800.75 c Cost: -39 1800.75 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 1800.75 v -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.75 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.75 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.75 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.75 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 1800.75 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.75 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1800.75 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1800.75 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.75 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.75 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694 1800.75 v x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.75 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.75 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.75 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.75 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.75 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1800.75 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.75 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1800.75 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 1800.75 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1800.75 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 1800.75 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.75 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.75 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.75 v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 1800.75 v -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.75 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1800.75 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.75 v -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1800.75 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 1800.75 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 1800.75 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 1800.75 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1800.75 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 1800.75 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.75 v -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.75 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.75 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.75 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 -x81 1800.75 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 1800.75 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 1800.75 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.75 c Exit Code: 10 1800.75 c Total time: 1800 s
OK -39
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/node59/watcher-40498-1149295057 -o ROOT/results/node59/solver-40498-1149295057 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/40498-1149295057/instance-40498-1149295057.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.96 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1571128/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=4616 CPUtime=0 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 188 0 0 0 0 0 0 0 19 0 1 0 195173972 4726784 158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1529/statm: 1154 169 127 55 0 46 0 [startup+10.0029 s] /proc/loadavg: 0.97 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1539144/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=37408 CPUtime=9.97 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 8702 0 0 0 992 5 0 0 25 0 1 0 195173972 38305792 8411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 9352 8411 307 55 0 8244 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 37408 [startup+20.0098 s] /proc/loadavg: 0.97 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1535688/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=40656 CPUtime=19.97 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 9639 0 0 0 1989 8 0 0 25 0 1 0 195173972 41631744 9299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 10164 9299 308 55 0 9056 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 40656 [startup+30.0167 s] /proc/loadavg: 0.97 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1512520/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=73560 CPUtime=29.96 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 19288 0 3 0 2982 14 0 0 25 0 1 0 195173972 75325440 14976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343053 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 18390 14976 414 55 0 17282 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 73560 [startup+40.0237 s] /proc/loadavg: 0.98 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1522312/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=55564 CPUtime=39.96 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 70174 0 3 0 3959 37 0 0 25 0 1 0 195173972 56897536 12599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346498 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13891 12599 435 55 0 12783 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 55564 [startup+50.0306 s] /proc/loadavg: 0.98 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1524360/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=51600 CPUtime=49.96 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 199873 0 3 0 4902 94 0 0 25 0 1 0 195173972 52838400 12045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 12900 12045 436 55 0 11792 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 51600 [startup+60.0365 s] /proc/loadavg: 0.98 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1524104/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=51816 CPUtime=59.97 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200055 0 3 0 5901 96 0 0 25 0 1 0 195173972 53059584 12099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 12954 12099 436 55 0 11846 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 51816 [startup+70.0425 s] /proc/loadavg: 0.98 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1524040/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52128 CPUtime=69.97 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200191 0 3 0 6899 98 0 0 25 0 1 0 195173972 53379072 12165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13032 12165 436 55 0 11924 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 52128 [startup+80.0484 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523848/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52304 CPUtime=79.97 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200231 0 3 0 7898 99 0 0 25 0 1 0 195173972 53559296 12205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13076 12205 436 55 0 11968 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 52304 [startup+90.0543 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1524104/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52100 CPUtime=89.97 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200434 0 3 0 8897 100 0 0 25 0 1 0 195173972 53350400 12142 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13025 12142 436 55 0 11917 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 52100 [startup+100.06 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1524040/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52116 CPUtime=99.98 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200470 0 3 0 9896 102 0 0 25 0 1 0 195173972 53366784 12166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13029 12166 436 55 0 11921 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 52116 [startup+110.066 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523912/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52084 CPUtime=109.98 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200495 0 3 0 10895 103 0 0 25 0 1 0 195173972 53334016 12166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13021 12166 436 55 0 11913 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 52084 [startup+120.072 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523912/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52216 CPUtime=119.98 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200521 0 3 0 11894 104 0 0 25 0 1 0 195173972 53469184 12192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13054 12192 436 55 0 11946 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 52216 [startup+130.078 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523912/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52032 CPUtime=129.98 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200529 0 3 0 12893 105 0 0 25 0 1 0 195173972 53280768 12153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13008 12153 436 55 0 11900 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 52032 [startup+140.084 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523912/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52024 CPUtime=139.98 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200529 0 3 0 13891 107 0 0 25 0 1 0 195173972 53272576 12151 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13006 12151 436 55 0 11898 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 52024 [startup+150.09 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523912/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52148 CPUtime=149.99 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200565 0 3 0 14890 109 0 0 25 0 1 0 195173972 53399552 12167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13037 12167 436 55 0 11929 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 52148 [startup+160.096 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523656/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52412 CPUtime=159.99 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200643 0 3 0 15889 110 0 0 25 0 1 0 195173972 53669888 12245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13103 12245 436 55 0 11995 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 52412 [startup+170.102 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523848/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52180 CPUtime=169.99 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200644 0 3 0 16888 111 0 0 25 0 1 0 195173972 53432320 12158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13045 12158 436 55 0 11937 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 52180 [startup+180.108 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523720/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52304 CPUtime=179.99 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200708 0 3 0 17887 112 0 0 25 0 1 0 195173972 53559296 12221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9727717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13076 12221 436 55 0 11968 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 52304 [startup+190.114 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523720/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52304 CPUtime=189.99 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200708 0 3 0 18886 113 0 0 25 0 1 0 195173972 53559296 12221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13076 12221 436 55 0 11968 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 52304 [startup+200.12 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523720/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52304 CPUtime=200 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 200708 0 3 0 19886 114 0 0 25 0 1 0 195173972 53559296 12221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13076 12221 436 55 0 11968 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 52304 [startup+210.125 s] /proc/loadavg: 0.99 0.99 0.96 2/64 1529 /proc/meminfo: memFree=1523720/2055920 swapFree=4180876/4192956 ################ # More data... # ################ /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1760.32 Current children cumulated vsize (Kb) 52936 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1770.32 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 176716 316 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550966 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1770.32 Current children cumulated vsize (Kb) 52936 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1780.32 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 177715 317 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1780.32 Current children cumulated vsize (Kb) 52936 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1781.32 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 177815 317 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1781.32 Current children cumulated vsize (Kb) 52936 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1782.34 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 177916 318 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (Kb) 52936 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1783.34 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178016 318 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1783.34 Current children cumulated vsize (Kb) 52936 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1784.34 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178116 318 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1784.34 Current children cumulated vsize (Kb) 52936 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1785.35 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178217 318 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1785.35 Current children cumulated vsize (Kb) 52936 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1786.35 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178317 318 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1786.35 Current children cumulated vsize (Kb) 52936 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1787.35 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178417 318 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618789 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1787.35 Current children cumulated vsize (Kb) 52936 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1788.36 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178518 318 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1788.36 Current children cumulated vsize (Kb) 52936 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1789.36 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178617 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1789.36 Current children cumulated vsize (Kb) 52936 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1790.37 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178718 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1790.37 Current children cumulated vsize (Kb) 52936 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1791.37 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178818 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (Kb) 52936 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1792.38 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 178919 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134525065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1792.38 Current children cumulated vsize (Kb) 52936 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1793.38 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 179019 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9403508 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1793.38 Current children cumulated vsize (Kb) 52936 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1794.39 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 179120 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (Kb) 52936 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1795.39 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 179220 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (Kb) 52936 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1796.39 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 179320 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (Kb) 52936 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1797.4 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 179421 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 52936 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1798.4 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 179521 319 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1798.4 Current children cumulated vsize (Kb) 52936 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 1728 /proc/meminfo: memFree=1522568/2055920 swapFree=4180876/4192956 [pid=1529] ppid=1527 vsize=52936 CPUtime=1799.41 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1483 0 -1 0 202586 0 3 0 179621 320 0 0 25 0 1 0 195173972 54206464 12379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 13234 12379 436 55 0 12126 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (Kb) 52936 Child status: 10 Real time (s): 1800.76 CPU time (s): 1800.01 CPU user time (s): 1796.8 CPU system time (s): 3.20951 CPU usage (%): 99.9582 Max. virtual memory (cumulated for all children) (Kb): 73560
Begin job on node59 on Sat Jun 3 00:37:38 UTC 2006 FILE ID= 40498-1149295057 PBS_JOBID= 307087 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/40498-1149295057/instance-40498-1149295057.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-40498-1149295057 -o ROOT/results/node59/solver-40498-1149295057 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/40498-1149295057/instance-40498-1149295057.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3 RANDOM SEED= 547764440 /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.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1571544 kB Buffers: 33836 kB Cached: 378444 kB SwapCached: 3744 kB Active: 28540 kB Inactive: 392468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1571544 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 232 kB Writeback: 0 kB Mapped: 14732 kB Slab: 49348 kB Committed_AS: 292360 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Sat Jun 3 01:07:38 UTC 2006