Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -33 | 1800.01 | 1800.49 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb |
MD5SUM | 7262f9f4ab1a3ada75b3b140acf97f7d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 760 |
Total number of constraints | 41605 |
Number of constraints which are clauses | 41605 |
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 | 760 |
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 | 760 |
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 | 760 |
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.60 c Initial problem consists of 760 variables and 41605 constraints. 4.77 c No problem reductions applied in OPT. instance. 4.77 c preprocess terminated. Elapsed time: 4.765 4.77 c After prepocess the problem consists of 760 variables and 41605 constraints. 4.77 c Initial Lower Bound: -760 4.80 c Sol. found (all assignments made)... 4.80 o -2 4.80 c NEW SOLUTION FOUND: -2 @ 4.798 4.80 c Sol. found (all assignments made)... 4.80 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 o -3 4.81 c NEW SOLUTION FOUND: -3 @ 4.801 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.81 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.82 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.83 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.84 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.85 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.86 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.90 c Restart #1 #Var: 760 LB: -760 @ 4.894 4.93 c Sol. found (all assignments made)... 4.93 o -22 4.93 c NEW SOLUTION FOUND: -22 @ 4.922 4.93 c Sol. found (all assignments made)... 4.93 o -23 4.93 c NEW SOLUTION FOUND: -23 @ 4.923 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.93 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.94 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.95 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.96 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.97 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.98 c Sol. found (all assignments made)... 4.99 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.00 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.01 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.03 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.04 c Sol. found (all assignments made)... 5.08 c Restart #2 #Var: 760 LB: -760 @ 5.07 5.11 c Sol. found (all assignments made)... 5.11 o -29 5.11 c NEW SOLUTION FOUND: -29 @ 5.105 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.12 c Sol. found (all assignments made)... 5.13 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.14 c Sol. found (all assignments made)... 5.15 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.16 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.17 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.19 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.20 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.21 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.24 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.25 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.31 c Restart #3 #Var: 760 LB: -760 @ 5.307 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.35 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.36 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 o -30 5.37 c NEW SOLUTION FOUND: -30 @ 5.365 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.37 c Sol. found (all assignments made)... 5.38 c Sol. found (all assignments made)... 5.64 c Restart #4 #Var: 760 LB: -760 @ 5.629 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.68 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.69 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.73 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.74 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.75 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.82 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.83 c Sol. found (all assignments made)... 5.84 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 6.02 c Restart #5 #Var: 760 LB: -760 @ 6.01 6.10 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.12 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.13 c Sol. found (all assignments made)... 6.17 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.18 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.21 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.23 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.30 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.32 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.33 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.34 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.36 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.46 c Restart #6 #Var: 760 LB: -760 @ 6.45 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.50 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.53 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.54 c Sol. found (all assignments made)... 6.56 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.60 c Sol. found (all assignments made)... 6.69 c Sol. found (all assignments made)... 6.72 c Sol. found (all assignments made)... 6.97 c Restart #7 #Var: 760 LB: -760 @ 6.955 7.03 c Sol. found (all assignments made)... 7.04 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.09 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.10 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.11 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.23 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.24 c Sol. found (all assignments made)... 7.26 c Sol. found (all assignments made)... 7.26 c Sol. found (all assignments made)... 7.30 c Sol. found (all assignments made)... 7.30 c Sol. found (all assignments made)... 7.31 c Sol. found (all assignments made)... 7.31 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.33 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.38 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.40 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.41 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.42 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 27.35 c CHANGE to MIS mode... UB: -30 MIS: -760 LPR: -347 (1.9783) Diff: 2.1902 27.35 c Restart #0 #Var: 760 LB: -760 @ 27.332 27.45 c Sol. found (all assignments made)... 27.54 c Restart #1 #Var: 760 LB: -760 @ 27.524 27.80 c Restart #2 #Var: 760 LB: -760 @ 27.786 28.16 c Restart #3 #Var: 760 LB: -382 @ 28.142 28.28 c Sol. found (all assignments made)... 28.28 c Sol. found (all assignments made)... 28.29 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.30 c Sol. found (all assignments made)... 28.31 c Sol. found (all assignments made)... 28.38 c Sol. found (all assignments made)... 28.51 c Sol. found (all assignments made)... 28.60 c Restart #4 #Var: 760 LB: -383 @ 28.58 28.71 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.73 c Sol. found (all assignments made)... 28.75 c Sol. found (all assignments made)... 28.77 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 c Sol. found (all assignments made)... 28.80 o -31 28.80 c NEW SOLUTION FOUND: -31 @ 28.786 28.81 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.82 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.85 c Sol. found (all assignments made)... 28.89 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.91 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.92 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.93 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.94 c Sol. found (all assignments made)... 28.97 c Sol. found (all assignments made)... 28.98 c Sol. found (all assignments made)... 29.00 c Sol. found (all assignments made)... 29.00 o -32 29.00 c NEW SOLUTION FOUND: -32 @ 28.983 29.01 c Sol. found (all assignments made)... 29.39 c Restart #5 #Var: 760 LB: -386 @ 29.376 29.96 c Restart #6 #Var: 760 LB: -760 @ 29.938 30.55 c Restart #7 #Var: 760 LB: -760 @ 30.533 31.24 c Restart #8 #Var: 760 LB: -760 @ 31.221 31.98 c Restart #9 #Var: 760 LB: -760 @ 31.958 32.83 c Restart #10 #Var: 760 LB: -386 @ 32.814 33.70 c Restart #11 #Var: 760 LB: -760 @ 33.683 34.65 c Restart #12 #Var: 760 LB: -760 @ 34.626 35.72 c Restart #13 #Var: 760 LB: -385 @ 35.701 36.11 c Sol. found (all assignments made)... 36.13 c Sol. found (all assignments made)... 36.13 c Sol. found (all assignments made)... 36.76 c Sol. found (all assignments made)... 36.78 c Sol. found (all assignments made)... 36.86 c Restart #14 #Var: 760 LB: -384 @ 36.842 38.05 c Restart #15 #Var: 760 LB: -384 @ 38.034 38.67 c Sol. found (all assignments made)... 38.69 c Sol. found (all assignments made)... 38.69 c Sol. found (all assignments made)... 39.27 c Restart #16 #Var: 760 LB: -760 @ 39.254 40.54 c Restart #17 #Var: 760 LB: -760 @ 40.517 41.89 c Restart #18 #Var: 760 LB: -760 @ 41.864 43.34 c Restart #19 #Var: 760 LB: -760 @ 43.319 44.85 c Restart #20 #Var: 760 LB: -384 @ 44.829 45.27 c Sol. found (all assignments made)... 45.27 c Sol. found (all assignments made)... 45.31 c Sol. found (all assignments made)... 45.31 c Sol. found (all assignments made)... 45.32 c Sol. found (all assignments made)... 45.69 c Sol. found (all assignments made)... 45.72 c Sol. found (all assignments made)... 45.72 c Sol. found (all assignments made)... 46.08 c Sol. found (all assignments made)... 46.41 c Restart #21 #Var: 760 LB: -760 @ 46.387 48.06 c Restart #22 #Var: 760 LB: -760 @ 48.033 49.81 c Restart #23 #Var: 760 LB: -760 @ 49.789 51.15 c Sol. found (all assignments made)... 51.21 c Sol. found (all assignments made)... 51.21 c Sol. found (all assignments made)... 51.21 c Sol. found (all assignments made)... 51.22 c Sol. found (all assignments made)... 51.22 c Sol. found (all assignments made)... 51.22 c Sol. found (all assignments made)... 51.50 c Sol. found (all assignments made)... 51.50 c Sol. found (all assignments made)... 51.59 c Restart #24 #Var: 760 LB: -383 @ 51.571 53.48 c Restart #25 #Var: 760 LB: -760 @ 53.451 55.42 c Restart #26 #Var: 760 LB: -760 @ 55.392 57.38 c Restart #27 #Var: 760 LB: -760 @ 57.354 59.45 c Restart #28 #Var: 760 LB: -760 @ 59.429 61.61 c Restart #29 #Var: 760 LB: -760 @ 61.578 63.88 c Restart #30 #Var: 760 LB: -385 @ 63.851 66.20 c Restart #31 #Var: 760 LB: -760 @ 66.172 68.54 c Restart #32 #Var: 760 LB: -760 @ 68.513 71.04 c Restart #33 #Var: 760 LB: -760 @ 71.007 72.56 c Sol. found (all assignments made)... 73.46 c Restart #34 #Var: 760 LB: -760 @ 73.426 76.00 c Restart #35 #Var: 760 LB: -760 @ 75.969 78.57 c Restart #36 #Var: 760 LB: -760 @ 78.539 80.89 c Sol. found (all assignments made)... 81.24 c Restart #37 #Var: 760 LB: -385 @ 81.207 84.00 c Restart #38 #Var: 760 LB: -760 @ 83.967 86.79 c Restart #39 #Var: 760 LB: -760 @ 86.754 89.68 c Restart #40 #Var: 760 LB: -760 @ 89.642 92.58 c Restart #41 #Var: 760 LB: -760 @ 92.548 95.59 c Restart #42 #Var: 760 LB: -760 @ 95.558 98.74 c Restart #43 #Var: 760 LB: -760 @ 98.7 101.88 c Restart #44 #Var: 760 LB: -760 @ 101.85 103.66 c Sol. found (all assignments made)... 105.18 c Restart #45 #Var: 760 LB: -760 @ 105.14 108.47 c Restart #46 #Var: 760 LB: -760 @ 108.43 111.90 c Restart #47 #Var: 760 LB: -760 @ 111.86 115.51 c Restart #48 #Var: 760 LB: -760 @ 115.47 116.06 c Sol. found (all assignments made)... 116.06 o -33 116.06 c NEW SOLUTION FOUND: -33 @ 116.02 116.06 c Sol. found (all assignments made)... 116.22 c Sol. found (all assignments made)... 118.80 c Sol. found (all assignments made)... 119.14 c Sol. found (all assignments made)... 119.14 c Sol. found (all assignments made)... 119.14 c Sol. found (all assignments made)... 119.15 c Sol. found (all assignments made)... 119.15 c Sol. found (all assignments made)... 119.17 c Sol. found (all assignments made)... 119.17 c Sol. found (all assignments made)... 119.18 c Sol. found (all assignments made)... 119.18 c Sol. found (all assignments made)... 119.18 c Sol. found (all assignments made)... 119.23 c Sol. found (all assignments made)... 119.28 c Sol. found (all assignments made)... 119.28 c Sol. found (all assignments made)... 119.29 c Sol. found (all assignments made)... 119.29 c Sol. found (all assignments made)... 119.30 c Sol. found (all assignments made)... 119.44 c Restart #49 #Var: 760 LB: -760 @ 119.39 123.22 c Restart #50 #Var: 760 LB: -760 @ 123.17 126.95 c Restart #51 #Var: 760 LB: -760 @ 126.91 130.80 c Restart #52 #Var: 760 LB: -760 @ 130.75 134.64 c Restart #53 #Var: 760 LB: -760 @ 134.59 138.49 c Restart #54 #Var: 760 LB: -760 @ 138.44 142.42 c Restart #55 #Var: 760 LB: -760 @ 142.37 146.51 c Restart #56 #Var: 760 LB: -760 @ 146.46 150.58 c Restart #57 #Var: 760 LB: -760 @ 150.53 154.68 c Restart #58 #Var: 760 LB: -760 @ 154.63 158.85 c Restart #59 #Var: 760 LB: -760 @ 158.8 163.23 c Restart #60 #Var: 760 LB: -760 @ 163.18 167.66 c Restart #61 #Var: 760 LB: -760 @ 167.6 172.09 c Restart #62 #Var: 760 LB: -760 @ 172.04 176.55 c Restart #63 #Var: 760 LB: -760 @ 176.49 181.02 c Restart #64 #Var: 760 LB: -760 @ 180.96 185.71 c Restart #65 #Var: 760 LB: -760 @ 185.65 190.44 c Restart #66 #Var: 760 LB: -760 @ 190.38 195.19 c Restart #67 #Var: 760 LB: -760 @ 195.13 199.98 c Restart #68 #Var: 760 LB: -760 @ 199.92 204.91 c Restart #69 #Var: 760 LB: -760 @ 204.85 209.99 c Restart #70 #Var: 760 LB: -760 @ 209.93 215.03 c Restart #71 #Var: 760 LB: -760 @ 214.97 220.26 c Restart #72 #Var: 760 LB: -760 @ 220.19 220.87 c Sol. found (all assignments made)... 220.87 c Sol. found (all assignments made)... 223.63 c Sol. found (all assignments made)... 223.64 c Sol. found (all assignments made)... 223.66 c Sol. found (all assignments made)... 225.39 c Restart #73 #Var: 760 LB: -760 @ 225.32 230.73 c Restart #74 #Var: 760 LB: -760 @ 230.66 236.21 c Restart #75 #Var: 760 LB: -760 @ 236.13 238.13 c Sol. found (all assignments made)... 241.52 c Restart #76 #Var: 760 LB: -760 @ 241.44 247.14 c Restart #77 #Var: 760 LB: -760 @ 247.07 252.89 c Restart #78 #Var: 760 LB: -760 @ 252.81 258.58 c Restart #79 #Var: 760 LB: -760 @ 258.5 264.31 c Restart #80 #Var: 760 LB: -760 @ 264.23 270.13 c Restart #81 #Var: 760 LB: -760 @ 270.05 275.99 c Restart #82 #Var: 760 LB: -760 @ 275.91 281.10 c Sol. found (all assignments made)... 281.88 c Restart #83 #Var: 760 LB: -760 @ 281.8 287.91 c Restart #84 #Var: 760 LB: -760 @ 287.83 294.00 c Restart #85 #Var: 760 LB: -760 @ 293.91 299.94 c Restart #86 #Var: 760 LB: -760 @ 299.85 306.17 c Restart #87 #Var: 760 LB: -760 @ 306.08 312.32 c Restart #88 #Var: 760 LB: -760 @ 312.23 318.76 c Restart #89 #Var: 760 LB: -760 @ 318.67 325.21 c Restart #90 #Var: 760 LB: -760 @ 325.11 331.69 c Restart #91 #Var: 760 LB: -760 @ 331.59 338.13 c Restart #92 #Var: 760 LB: -760 @ 338.03 338.42 c Sol. found (all assignments made)... 338.60 c Sol. found (all assignments made)... 338.67 c Sol. found (all assignments made)... 341.45 c Sol. found (all assignments made)... 344.74 c Restart #93 #Var: 760 LB: -760 @ 344.64 351.65 c Restart #94 #Var: 760 LB: -760 @ 351.54 358.41 c Restart #95 #Var: 760 LB: -760 @ 358.31 365.27 c Restart #96 #Var: 760 LB: -760 @ 365.17 372.32 c Restart #97 #Var: 760 LB: -760 @ 372.22 379.45 c Restart #98 #Var: 760 LB: -760 @ 379.34 386.48 c Restart #99 #Var: 760 LB: -760 @ 386.37 393.65 c Restart #100 #Var: 760 LB: -760 @ 393.54 400.95 c Restart #101 #Var: 760 LB: -760 @ 400.84 408.36 c Restart #102 #Var: 760 LB: -760 @ 408.25 415.91 c Restart #103 #Var: 760 LB: -760 @ 415.79 423.48 c Restart #104 #Var: 760 LB: -760 @ 423.36 430.93 c Restart #105 #Var: 760 LB: -760 @ 430.81 438.61 c Restart #106 #Var: 760 LB: -760 @ 438.49 446.28 c Restart #107 #Var: 760 LB: -760 @ 446.16 447.51 c Sol. found (all assignments made)... 447.51 c Sol. found (all assignments made)... 453.81 c Restart #108 #Var: 760 LB: -760 @ 453.68 461.38 c Restart #109 #Var: 760 LB: -760 @ 461.25 469.27 c Restart #110 #Var: 760 LB: -760 @ 469.14 476.81 c Sol. found (all assignments made)... 476.82 c Sol. found (all assignments made)... 477.00 c Restart #111 #Var: 760 LB: -760 @ 476.86 484.89 c Restart #112 #Var: 760 LB: -760 @ 484.76 493.20 c Restart #113 #Var: 760 LB: -760 @ 493.06 501.37 c Restart #114 #Var: 760 LB: -385 @ 501.23 505.19 c Sol. found (all assignments made)... 505.20 c Sol. found (all assignments made)... 505.26 c Sol. found (all assignments made)... 505.31 c Sol. found (all assignments made)... 505.33 c Sol. found (all assignments made)... 505.48 c Sol. found (all assignments made)... 505.50 c Sol. found (all assignments made)... 505.76 c Sol. found (all assignments made)... 505.82 c Sol. found (all assignments made)... 506.01 c Sol. found (all assignments made)... 509.58 c Restart #115 #Var: 760 LB: -760 @ 509.44 517.77 c Restart #116 #Var: 760 LB: -760 @ 517.62 525.84 c Restart #117 #Var: 760 LB: -760 @ 525.7 534.42 c Restart #118 #Var: 760 LB: -760 @ 534.27 542.95 c Restart #119 #Var: 760 LB: -760 @ 542.8 551.46 c Restart #120 #Var: 760 LB: -760 @ 551.31 560.09 c Restart #121 #Var: 760 LB: -760 @ 559.93 568.73 c Restart #122 #Var: 760 LB: -760 @ 568.57 577.51 c Restart #123 #Var: 760 LB: -760 @ 577.35 586.27 c Restart #124 #Var: 760 LB: -760 @ 586.11 595.07 c Restart #125 #Var: 760 LB: -760 @ 594.91 603.93 c Restart #126 #Var: 760 LB: -760 @ 603.76 612.86 c Restart #127 #Var: 760 LB: -760 @ 612.69 622.12 c Restart #128 #Var: 760 LB: -760 @ 621.95 631.12 c Restart #129 #Var: 760 LB: -760 @ 630.95 640.24 c Restart #130 #Var: 760 LB: -760 @ 640.07 649.51 c Restart #131 #Var: 760 LB: -760 @ 649.33 658.85 c Restart #132 #Var: 760 LB: -760 @ 658.67 668.13 c Restart #133 #Var: 760 LB: -760 @ 667.94 677.62 c Restart #134 #Var: 760 LB: -760 @ 677.43 687.24 c Restart #135 #Var: 760 LB: -760 @ 687.05 696.86 c Restart #136 #Var: 760 LB: -760 @ 696.67 706.61 c Restart #137 #Var: 760 LB: -760 @ 706.41 706.71 c Sol. found (all assignments made)... 716.63 c Restart #138 #Var: 760 LB: -760 @ 716.43 726.38 c Restart #139 #Var: 760 LB: -760 @ 726.18 736.46 c Restart #140 #Var: 760 LB: -760 @ 736.26 746.62 c Restart #141 #Var: 760 LB: -760 @ 746.41 756.71 c Restart #142 #Var: 760 LB: -760 @ 756.51 766.85 c Restart #143 #Var: 760 LB: -760 @ 766.64 776.90 c Restart #144 #Var: 760 LB: -760 @ 776.69 787.02 c Restart #145 #Var: 760 LB: -760 @ 786.8 797.25 c Restart #146 #Var: 760 LB: -760 @ 797.03 807.59 c Restart #147 #Var: 760 LB: -760 @ 807.37 818.07 c Restart #148 #Var: 760 LB: -760 @ 817.85 828.57 c Restart #149 #Var: 760 LB: -760 @ 828.35 839.22 c Restart #150 #Var: 760 LB: -760 @ 838.99 850.02 c Restart #151 #Var: 760 LB: -760 @ 849.79 860.69 c Restart #152 #Var: 760 LB: -760 @ 860.46 871.71 c Restart #153 #Var: 760 LB: -760 @ 871.48 882.75 c Restart #154 #Var: 760 LB: -760 @ 882.52 893.82 c Restart #155 #Var: 760 LB: -760 @ 893.58 904.63 c Restart #156 #Var: 760 LB: -760 @ 904.38 915.91 c Restart #157 #Var: 760 LB: -760 @ 915.66 927.34 c Restart #158 #Var: 760 LB: -760 @ 927.09 938.56 c Restart #159 #Var: 760 LB: -760 @ 938.31 949.66 c Restart #160 #Var: 760 LB: -760 @ 949.4 961.34 c Restart #161 #Var: 760 LB: -760 @ 961.08 972.69 c Restart #162 #Var: 760 LB: -760 @ 972.43 983.00 c Sol. found (all assignments made)... 984.35 c Restart #163 #Var: 760 LB: -760 @ 984.08 995.90 c Restart #164 #Var: 760 LB: -760 @ 995.63 1007.45 c Restart #165 #Var: 760 LB: -760 @ 1007.2 1019.14 c Restart #166 #Var: 760 LB: -760 @ 1018.9 1019.61 c Sol. found (all assignments made)... 1021.82 c Sol. found (all assignments made)... 1031.17 c Restart #167 #Var: 760 LB: -760 @ 1030.9 1043.14 c Restart #168 #Var: 760 LB: -760 @ 1042.9 1055.01 c Restart #169 #Var: 760 LB: -760 @ 1054.7 1062.39 c Sol. found (all assignments made)... 1064.62 c Sol. found (all assignments made)... 1064.95 c Sol. found (all assignments made)... 1064.96 c Sol. found (all assignments made)... 1064.96 c Sol. found (all assignments made)... 1064.96 c Sol. found (all assignments made)... 1064.97 c Sol. found (all assignments made)... 1064.97 c Sol. found (all assignments made)... 1064.98 c Sol. found (all assignments made)... 1064.98 c Sol. found (all assignments made)... 1064.98 c Sol. found (all assignments made)... 1065.04 c Sol. found (all assignments made)... 1065.04 c Sol. found (all assignments made)... 1065.04 c Sol. found (all assignments made)... 1065.05 c Sol. found (all assignments made)... 1065.05 c Sol. found (all assignments made)... 1065.06 c Sol. found (all assignments made)... 1065.06 c Sol. found (all assignments made)... 1065.06 c Sol. found (all assignments made)... 1065.06 c Sol. found (all assignments made)... 1065.07 c Sol. found (all assignments made)... 1065.07 c Sol. found (all assignments made)... 1065.07 c Sol. found (all assignments made)... 1065.10 c Sol. found (all assignments made)... 1065.11 c Sol. found (all assignments made)... 1065.12 c Sol. found (all assignments made)... 1065.12 c Sol. found (all assignments made)... 1065.12 c Sol. found (all assignments made)... 1065.13 c Sol. found (all assignments made)... 1065.13 c Sol. found (all assignments made)... 1065.13 c Sol. found (all assignments made)... 1065.13 c Sol. found (all assignments made)... 1065.13 c Sol. found (all assignments made)... 1065.13 c Sol. found (all assignments made)... 1065.13 c Sol. found (all assignments made)... 1065.14 c Sol. found (all assignments made)... 1065.14 c Sol. found (all assignments made)... 1065.14 c Sol. found (all assignments made)... 1065.14 c Sol. found (all assignments made)... 1065.14 c Sol. found (all assignments made)... 1065.16 c Sol. found (all assignments made)... 1065.17 c Sol. found (all assignments made)... 1065.20 c Sol. found (all assignments made)... 1065.20 c Sol. found (all assignments made)... 1065.21 c Sol. found (all assignments made)... 1065.21 c Sol. found (all assignments made)... 1065.21 c Sol. found (all assignments made)... 1065.21 c Sol. found (all assignments made)... 1065.21 c Sol. found (all assignments made)... 1065.22 c Sol. found (all assignments made)... 1065.22 c Sol. found (all assignments made)... 1065.22 c Sol. found (all assignments made)... 1065.22 c Sol. found (all assignments made)... 1065.22 c Sol. found (all assignments made)... 1065.23 c Sol. found (all assignments made)... 1065.23 c Sol. found (all assignments made)... 1065.23 c Sol. found (all assignments made)... 1065.23 c Sol. found (all assignments made)... 1065.24 c Sol. found (all assignments made)... 1065.24 c Sol. found (all assignments made)... 1065.25 c Sol. found (all assignments made)... 1065.25 c Sol. found (all assignments made)... 1065.26 c Sol. found (all assignments made)... 1065.26 c Sol. found (all assignments made)... 1065.26 c Sol. found (all assignments made)... 1065.26 c Sol. found (all assignments made)... 1065.27 c Sol. found (all assignments made)... 1065.27 c Sol. found (all assignments made)... 1065.27 c Sol. found (all assignments made)... 1065.27 c Sol. found (all assignments made)... 1065.30 c Sol. found (all assignments made)... 1065.30 c Sol. found (all assignments made)... 1065.31 c Sol. found (all assignments made)... 1065.31 c Sol. found (all assignments made)... 1065.40 c Sol. found (all assignments made)... 1065.47 c Sol. found (all assignments made)... 1065.48 c Sol. found (all assignments made)... 1065.49 c Sol. found (all assignments made)... 1065.53 c Sol. found (all assignments made)... 1065.53 c Sol. found (all assignments made)... 1065.53 c Sol. found (all assignments made)... 1065.55 c Sol. found (all assignments made)... 1065.56 c Sol. found (all assignments made)... 1065.56 c Sol. found (all assignments made)... 1065.56 c Sol. found (all assignments made)... 1065.56 c Sol. found (all assignments made)... 1065.56 c Sol. found (all assignments made)... 1065.57 c Sol. found (all assignments made)... 1065.57 c Sol. found (all assignments made)... 1065.58 c Sol. found (all assignments made)... 1065.58 c Sol. found (all assignments made)... 1065.60 c Sol. found (all assignments made)... 1065.60 c Sol. found (all assignments made)... 1065.61 c Sol. found (all assignments made)... 1065.61 c Sol. found (all assignments made)... 1065.61 c Sol. found (all assignments made)... 1065.62 c Sol. found (all assignments made)... 1065.62 c Sol. found (all assignments made)... 1065.62 c Sol. found (all assignments made)... 1065.63 c Sol. found (all assignments made)... 1065.67 c Sol. found (all assignments made)... 1065.68 c Sol. found (all assignments made)... 1065.68 c Sol. found (all assignments made)... 1065.69 c Sol. found (all assignments made)... 1065.69 c Sol. found (all assignments made)... 1065.69 c Sol. found (all assignments made)... 1065.69 c Sol. found (all assignments made)... 1065.71 c Sol. found (all assignments made)... 1065.73 c Sol. found (all assignments made)... 1065.73 c Sol. found (all assignments made)... 1065.74 c Sol. found (all assignments made)... 1065.74 c Sol. found (all assignments made)... 1065.75 c Sol. found (all assignments made)... 1065.76 c Sol. found (all assignments made)... 1065.76 c Sol. found (all assignments made)... 1065.77 c Sol. found (all assignments made)... 1065.77 c Sol. found (all assignments made)... 1065.78 c Sol. found (all assignments made)... 1065.78 c Sol. found (all assignments made)... 1065.80 c Sol. found (all assignments made)... 1065.90 c Sol. found (all assignments made)... 1065.90 c Sol. found (all assignments made)... 1066.15 c Sol. found (all assignments made)... 1066.16 c Sol. found (all assignments made)... 1066.18 c Sol. found (all assignments made)... 1066.19 c Sol. found (all assignments made)... 1066.46 c Sol. found (all assignments made)... 1066.46 c Sol. found (all assignments made)... 1066.47 c Sol. found (all assignments made)... 1066.48 c Sol. found (all assignments made)... 1066.48 c Sol. found (all assignments made)... 1066.58 c Restart #170 #Var: 760 LB: -760 @ 1066.3 1078.72 c Restart #171 #Var: 760 LB: -760 @ 1078.4 1090.91 c Restart #172 #Var: 760 LB: -760 @ 1090.6 1102.96 c Restart #173 #Var: 760 LB: -760 @ 1102.7 1115.51 c Restart #174 #Var: 760 LB: -760 @ 1115.2 1127.88 c Restart #175 #Var: 760 LB: -760 @ 1127.6 1140.37 c Restart #176 #Var: 760 LB: -760 @ 1140.1 1153.25 c Restart #177 #Var: 760 LB: -760 @ 1152.9 1165.75 c Restart #178 #Var: 760 LB: -760 @ 1165.4 1178.29 c Restart #179 #Var: 760 LB: -760 @ 1178 1190.92 c Restart #180 #Var: 760 LB: -760 @ 1190.6 1192.75 c Sol. found (all assignments made)... 1192.75 c Sol. found (all assignments made)... 1192.85 c Sol. found (all assignments made)... 1192.85 c Sol. found (all assignments made)... 1193.29 c Sol. found (all assignments made)... 1196.44 c Sol. found (all assignments made)... 1203.29 c Sol. found (all assignments made)... 1203.40 c Restart #181 #Var: 760 LB: -760 @ 1203.1 1216.60 c Restart #182 #Var: 760 LB: -760 @ 1216.3 1223.25 c Sol. found (all assignments made)... 1225.55 c Sol. found (all assignments made)... 1225.55 c Sol. found (all assignments made)... 1228.06 c Sol. found (all assignments made)... 1228.07 c Sol. found (all assignments made)... 1228.08 c Sol. found (all assignments made)... 1228.13 c Sol. found (all assignments made)... 1228.13 c Sol. found (all assignments made)... 1228.14 c Sol. found (all assignments made)... 1229.15 c Restart #183 #Var: 760 LB: -760 @ 1228.8 1237.96 c Sol. found (all assignments made)... 1237.97 c Sol. found (all assignments made)... 1237.97 c Sol. found (all assignments made)... 1237.97 c Sol. found (all assignments made)... 1241.83 c Restart #184 #Var: 760 LB: -760 @ 1241.5 1254.88 c Restart #185 #Var: 760 LB: -760 @ 1254.5 1268.34 c Restart #186 #Var: 760 LB: -760 @ 1268 1281.46 c Restart #187 #Var: 760 LB: -760 @ 1281.1 1294.63 c Restart #188 #Var: 760 LB: -760 @ 1294.3 1307.94 c Restart #189 #Var: 760 LB: -760 @ 1307.6 1321.50 c Restart #190 #Var: 760 LB: -760 @ 1321.1 1335.43 c Restart #191 #Var: 760 LB: -760 @ 1335.1 1348.50 c Restart #192 #Var: 760 LB: -760 @ 1348.1 1361.93 c Restart #193 #Var: 760 LB: -760 @ 1361.6 1375.88 c Restart #194 #Var: 760 LB: -760 @ 1375.5 1389.77 c Restart #195 #Var: 760 LB: -760 @ 1389.4 1403.96 c Restart #196 #Var: 760 LB: -384 @ 1403.6 1418.33 c Restart #197 #Var: 760 LB: -760 @ 1418 1432.96 c Restart #198 #Var: 760 LB: -760 @ 1432.6 1447.27 c Restart #199 #Var: 760 LB: -760 @ 1446.9 1459.85 c Sol. found (all assignments made)... 1459.88 c Sol. found (all assignments made)... 1459.89 c Sol. found (all assignments made)... 1459.89 c Sol. found (all assignments made)... 1459.95 c Sol. found (all assignments made)... 1459.95 c Sol. found (all assignments made)... 1461.09 c Restart #200 #Var: 760 LB: -760 @ 1460.7 1475.63 c Restart #201 #Var: 760 LB: -760 @ 1475.2 1489.93 c Restart #202 #Var: 760 LB: -760 @ 1489.5 1503.98 c Restart #203 #Var: 760 LB: -760 @ 1503.6 1504.43 c Sol. found (all assignments made)... 1504.43 c Sol. found (all assignments made)... 1507.82 c Sol. found (all assignments made)... 1507.82 c Sol. found (all assignments made)... 1507.82 c Sol. found (all assignments made)... 1507.84 c Sol. found (all assignments made)... 1507.84 c Sol. found (all assignments made)... 1507.84 c Sol. found (all assignments made)... 1507.89 c Sol. found (all assignments made)... 1507.90 c Sol. found (all assignments made)... 1507.91 c Sol. found (all assignments made)... 1507.92 c Sol. found (all assignments made)... 1507.95 c Sol. found (all assignments made)... 1507.96 c Sol. found (all assignments made)... 1507.97 c Sol. found (all assignments made)... 1507.98 c Sol. found (all assignments made)... 1507.99 c Sol. found (all assignments made)... 1508.00 c Sol. found (all assignments made)... 1508.00 c Sol. found (all assignments made)... 1508.00 c Sol. found (all assignments made)... 1508.01 c Sol. found (all assignments made)... 1508.01 c Sol. found (all assignments made)... 1508.12 c Sol. found (all assignments made)... 1508.13 c Sol. found (all assignments made)... 1508.13 c Sol. found (all assignments made)... 1508.13 c Sol. found (all assignments made)... 1511.17 c Sol. found (all assignments made)... 1511.17 c Sol. found (all assignments made)... 1511.20 c Sol. found (all assignments made)... 1511.20 c Sol. found (all assignments made)... 1511.21 c Sol. found (all assignments made)... 1511.22 c Sol. found (all assignments made)... 1511.22 c Sol. found (all assignments made)... 1511.22 c Sol. found (all assignments made)... 1511.30 c Sol. found (all assignments made)... 1511.31 c Sol. found (all assignments made)... 1511.31 c Sol. found (all assignments made)... 1511.37 c Sol. found (all assignments made)... 1511.37 c Sol. found (all assignments made)... 1511.47 c Sol. found (all assignments made)... 1511.47 c Sol. found (all assignments made)... 1511.51 c Sol. found (all assignments made)... 1511.51 c Sol. found (all assignments made)... 1511.51 c Sol. found (all assignments made)... 1511.51 c Sol. found (all assignments made)... 1511.52 c Sol. found (all assignments made)... 1511.53 c Sol. found (all assignments made)... 1511.53 c Sol. found (all assignments made)... 1511.55 c Sol. found (all assignments made)... 1511.55 c Sol. found (all assignments made)... 1511.55 c Sol. found (all assignments made)... 1513.25 c Sol. found (all assignments made)... 1516.26 c Sol. found (all assignments made)... 1516.27 c Sol. found (all assignments made)... 1516.29 c Sol. found (all assignments made)... 1516.37 c Sol. found (all assignments made)... 1516.38 c Sol. found (all assignments made)... 1516.47 c Sol. found (all assignments made)... 1516.48 c Sol. found (all assignments made)... 1516.51 c Sol. found (all assignments made)... 1516.52 c Sol. found (all assignments made)... 1516.52 c Sol. found (all assignments made)... 1516.55 c Sol. found (all assignments made)... 1516.56 c Sol. found (all assignments made)... 1516.78 c Sol. found (all assignments made)... 1516.79 c Sol. found (all assignments made)... 1516.79 c Sol. found (all assignments made)... 1516.81 c Sol. found (all assignments made)... 1516.81 c Sol. found (all assignments made)... 1516.81 c Sol. found (all assignments made)... 1516.84 c Sol. found (all assignments made)... 1516.85 c Sol. found (all assignments made)... 1516.85 c Sol. found (all assignments made)... 1516.86 c Sol. found (all assignments made)... 1516.87 c Sol. found (all assignments made)... 1516.88 c Sol. found (all assignments made)... 1516.88 c Sol. found (all assignments made)... 1516.89 c Sol. found (all assignments made)... 1516.94 c Sol. found (all assignments made)... 1516.95 c Sol. found (all assignments made)... 1516.95 c Sol. found (all assignments made)... 1516.97 c Sol. found (all assignments made)... 1516.97 c Sol. found (all assignments made)... 1516.98 c Sol. found (all assignments made)... 1517.73 c Restart #204 #Var: 760 LB: -760 @ 1517.3 1532.31 c Restart #205 #Var: 760 LB: -760 @ 1531.9 1547.13 c Restart #206 #Var: 760 LB: -385 @ 1546.7 1561.31 c Restart #207 #Var: 760 LB: -760 @ 1560.9 1575.83 c Restart #208 #Var: 760 LB: -760 @ 1575.4 1578.39 c Sol. found (all assignments made)... 1578.39 c Sol. found (all assignments made)... 1590.32 c Restart #209 #Var: 760 LB: -760 @ 1589.9 1604.90 c Restart #210 #Var: 760 LB: -760 @ 1604.5 1620.12 c Restart #211 #Var: 760 LB: -760 @ 1619.7 1634.84 c Restart #212 #Var: 760 LB: -760 @ 1634.4 1650.00 c Restart #213 #Var: 760 LB: -760 @ 1649.6 1665.46 c Restart #214 #Var: 760 LB: -760 @ 1665 1680.14 c Restart #215 #Var: 760 LB: -760 @ 1679.7 1695.44 c Restart #216 #Var: 760 LB: -760 @ 1695 1710.79 c Restart #217 #Var: 760 LB: -760 @ 1710.3 1726.19 c Restart #218 #Var: 760 LB: -760 @ 1725.7 1741.92 c Restart #219 #Var: 760 LB: -760 @ 1741.5 1753.13 c Sol. found (all assignments made)... 1757.35 c Restart #220 #Var: 760 LB: -760 @ 1756.9 1772.68 c Restart #221 #Var: 760 LB: -760 @ 1772.2 1788.70 c Restart #222 #Var: 760 LB: -760 @ 1788.2 1800.47 s SATISFIABLE 1800.47 c Cost: -33 1800.47 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 1800.47 v -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 1800.47 v x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 1800.47 v -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 1800.47 v -x676 x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 1800.47 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 1800.47 v -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 1800.47 v -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 1800.47 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 1800.47 v x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 1800.47 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 1800.47 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 1800.47 v -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 1800.47 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 1800.47 v -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 1800.47 v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 1800.47 v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 1800.47 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 1800.47 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 1800.47 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 1800.47 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 1800.47 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 1800.47 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 1800.47 v x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 1800.47 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 1800.47 v -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 1800.47 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 1800.47 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 1800.47 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 1800.47 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 1800.47 v -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 1800.47 v -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 1800.47 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 1800.47 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 1800.47 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 1800.47 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.47 c Exit Code: 10 1800.47 c Total time: 1800 s
OK -33
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/node30/watcher-40492-1149293549 -o ROOT/results/node30/solver-40492-1149293549 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/40492-1149293549/instance-40492-1149293549.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 2/64 25510 /proc/meminfo: memFree=1711280/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=2900 CPUtime=0 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 195018545 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7017252 0 0 4096 0 0 0 0 17 1 0 0 /proc/25510/statm: 725 27 19 55 0 38 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.95 0.97 2/64 25510 /proc/meminfo: memFree=1686256/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=29660 CPUtime=9.98 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 6709 0 0 0 994 4 0 0 25 0 1 0 195018545 30371840 6557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 7415 6557 307 55 0 6307 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 29660 [startup+20.0078 s] /proc/loadavg: 0.94 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1669744/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=53444 CPUtime=19.99 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 13633 0 0 0 1991 8 0 0 25 0 1 0 195018545 54726656 10750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159171167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 13361 10750 413 55 0 12253 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 53444 [startup+30.0138 s] /proc/loadavg: 0.95 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1678320/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=37988 CPUtime=29.99 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138126 0 0 0 2933 66 0 0 25 0 1 0 195018545 38899712 8694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9497 8694 436 55 0 8389 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 37988 [startup+40.0199 s] /proc/loadavg: 0.95 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1678000/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38288 CPUtime=39.99 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138394 0 0 0 3932 67 0 0 25 0 1 0 195018545 39206912 8775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9572 8775 436 55 0 8464 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 38288 [startup+50.0259 s] /proc/loadavg: 0.96 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1678064/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38220 CPUtime=50 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138394 0 0 0 4931 69 0 0 25 0 1 0 195018545 39137280 8758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9555 8758 436 55 0 8447 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 38220 [startup+60.032 s] /proc/loadavg: 0.97 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1677872/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38416 CPUtime=59.99 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138456 0 0 0 5929 70 0 0 25 0 1 0 195018545 39337984 8783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9604 8783 436 55 0 8496 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 38416 [startup+70.038 s] /proc/loadavg: 0.97 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1677872/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38472 CPUtime=70 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138496 0 0 0 6929 71 0 0 25 0 1 0 195018545 39395328 8821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9618 8821 436 55 0 8510 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 38472 [startup+80.0441 s] /proc/loadavg: 0.98 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1677872/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38456 CPUtime=80.01 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138524 0 0 0 7928 73 0 0 25 0 1 0 195018545 39378944 8817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9614 8817 436 55 0 8506 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 38456 [startup+90.0501 s] /proc/loadavg: 0.98 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1677872/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38500 CPUtime=90.01 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138559 0 0 0 8927 74 0 0 25 0 1 0 195018545 39424000 8802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9625 8802 436 55 0 8517 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 38500 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1677872/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38240 CPUtime=100 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138573 0 0 0 9925 75 0 0 25 0 1 0 195018545 39157760 8763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9560 8763 436 55 0 8452 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 38240 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.97 2/64 25510 /proc/meminfo: memFree=1677744/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38604 CPUtime=110.01 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138652 0 0 0 10924 77 0 0 25 0 1 0 195018545 39530496 8842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9651 8842 436 55 0 8543 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 38604 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677424/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38980 CPUtime=120.01 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138730 0 0 0 11923 78 0 0 25 0 1 0 195018545 39915520 8920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9745 8920 436 55 0 8637 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 38980 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677552/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38528 CPUtime=130.02 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138730 0 0 0 12922 80 0 0 25 0 1 0 195018545 39452672 8835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9632 8835 436 55 0 8524 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 38528 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677616/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38552 CPUtime=140.02 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138735 0 0 0 13921 81 0 0 25 0 1 0 195018545 39477248 8834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9638 8834 436 55 0 8530 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 38552 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677552/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38816 CPUtime=150.03 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138790 0 0 0 14920 83 0 0 25 0 1 0 195018545 39747584 8889 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9704 8889 436 55 0 8596 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 38816 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677680/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38496 CPUtime=160.03 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138792 0 0 0 15919 84 0 0 25 0 1 0 195018545 39419904 8809 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9624 8809 436 55 0 8516 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 38496 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677680/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38536 CPUtime=170.03 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138809 0 0 0 16918 85 0 0 25 0 1 0 195018545 39460864 8815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9634 8815 436 55 0 8526 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 38536 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677680/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38532 CPUtime=180.04 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138809 0 0 0 17918 86 0 0 25 0 1 0 195018545 39456768 8815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7446544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9633 8815 436 55 0 8525 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 38532 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677680/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38480 CPUtime=190.04 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138809 0 0 0 18918 86 0 0 25 0 1 0 195018545 39403520 8815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9620 8815 436 55 0 8512 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 38480 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677808/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38492 CPUtime=200.05 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 138844 0 0 0 19917 88 0 0 25 0 1 0 195018545 39415808 8796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9623 8796 436 55 0 8515 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 38492 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25510 /proc/meminfo: memFree=1677552/2055920 swapFree=4180904/4192956 ################ # More data... # ################ /proc/25510/statm: 9738 8941 436 55 0 8630 0 Current children cumulated CPU time (s) 1760.57 Current children cumulated vsize (Kb) 38952 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676792/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38952 CPUtime=1770.57 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140227 0 0 0 176753 304 0 0 25 0 1 0 195018545 39886848 8941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9738 8941 436 55 0 8630 0 Current children cumulated CPU time (s) 1770.57 Current children cumulated vsize (Kb) 38952 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38932 CPUtime=1780.58 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140227 0 0 0 177752 306 0 0 25 0 1 0 195018545 39866368 8936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9733 8936 436 55 0 8625 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 38932 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38932 CPUtime=1781.58 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140227 0 0 0 177852 306 0 0 25 0 1 0 195018545 39866368 8936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9733 8936 436 55 0 8625 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 38932 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38932 CPUtime=1782.59 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140227 0 0 0 177953 306 0 0 25 0 1 0 195018545 39866368 8936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9733 8936 436 55 0 8625 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 38932 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38932 CPUtime=1783.59 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140227 0 0 0 178053 306 0 0 25 0 1 0 195018545 39866368 8936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7450723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9733 8936 436 55 0 8625 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 38932 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=38932 CPUtime=1784.6 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140227 0 0 0 178153 307 0 0 25 0 1 0 195018545 39866368 8936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618961 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9733 8936 436 55 0 8625 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 38932 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1785.61 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 178254 307 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 39196 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1786.61 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 178354 307 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 39196 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1787.61 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 178454 307 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7451209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 39196 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1788.62 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 178555 307 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 39196 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1789.62 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 178655 307 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 39196 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1790.62 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 178755 307 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7450182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 39196 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1791.63 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 178856 307 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 39196 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1792.64 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 178956 308 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7450774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 39196 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1793.64 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 179056 308 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 39196 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1794.64 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 179156 308 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 39196 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1795.65 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 179257 308 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7451320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 39196 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1796.65 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 179357 308 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 39196 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1797.66 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 179458 308 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695676 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 39196 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1798.66 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 179558 308 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 39196 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 25512 /proc/meminfo: memFree=1676856/2055920 swapFree=4180904/4192956 [pid=25510] ppid=25508 vsize=39196 CPUtime=1799.66 /proc/25510/stat : 25510 (bsolo) R 25508 25510 25464 0 -1 0 140263 0 0 0 179658 308 0 0 25 0 1 0 195018545 40136704 8972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25510/statm: 9799 8972 436 55 0 8691 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 39196 Child status: 10 Real time (s): 1800.49 CPU time (s): 1800.01 CPU user time (s): 1796.91 CPU system time (s): 3.09453 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (Kb): 53444
Begin job on node30 on Sat Jun 3 00:12:29 UTC 2006 FILE ID= 40492-1149293549 PBS_JOBID= 307006 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/40492-1149293549/instance-40492-1149293549.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-40492-1149293549 -o ROOT/results/node30/solver-40492-1149293549 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node30/40492-1149293549/instance-40492-1149293549.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d RANDOM SEED= 105257973 /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.216 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.216 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: 1711488 kB Buffers: 17048 kB Cached: 257380 kB SwapCached: 3488 kB Active: 47880 kB Inactive: 235008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1711488 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14724 kB Slab: 47556 kB Committed_AS: 261496 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Sat Jun 3 00:42:30 UTC 2006