Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 66 | 1800.22 | 1800.82 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
| MD5SUM | ff9be653d1d3ea3b1a82846016e94df6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 1782.73 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 64 |
| Optimality of the best value was proved | NO |
| Number of variables | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 3 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01 c Time Limit set via PBTIMEOUT to 1800 0.03 c INFO: OSL Context initialized. 0.14 c Initial problem consists of 540 variables and 4626 constraints. 0.16 c No problem reductions applied in OPT. instance. 0.16 c preprocess terminated. Elapsed time: 0.145 0.16 c After prepocess the problem consists of 540 variables and 4626 constraints. 0.16 c Initial Lower Bound: 0 0.24 c Restart #1 #Var: 540 LB: 0 @ 0.216 0.39 c Restart #2 #Var: 540 LB: 0 @ 0.376 0.72 c Restart #3 #Var: 540 LB: 0 @ 0.698 0.93 c Restart #4 #Var: 540 LB: 0 @ 0.914 1.17 c Sol. found (all assignments made)... 1.17 o 90 1.17 c NEW SOLUTION FOUND: 90 @ 1.148 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 o 88 1.17 c NEW SOLUTION FOUND: 88 @ 1.149 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 o 86 1.18 c NEW SOLUTION FOUND: 86 @ 1.165 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 o 84 1.18 c NEW SOLUTION FOUND: 84 @ 1.165 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.18 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.24 o 82 1.24 c NEW SOLUTION FOUND: 82 @ 1.224 1.24 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.24 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 o 80 1.26 c NEW SOLUTION FOUND: 80 @ 1.245 1.26 c Sol. found (all assignments made)... 1.28 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.62 c Restart #5 #Var: 540 LB: 0 @ 1.6 1.85 c Sol. found (all assignments made)... 1.94 c Sol. found (all assignments made)... 1.95 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.51 c Restart #6 #Var: 540 LB: 0 @ 2.486 2.52 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.55 c Sol. found (all assignments made)... 2.58 c Sol. found (all assignments made)... 2.58 c Sol. found (all assignments made)... 2.59 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.62 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.63 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.67 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 o 78 2.74 c NEW SOLUTION FOUND: 78 @ 2.721 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.74 c Sol. found (all assignments made)... 2.75 c Sol. found (all assignments made)... 2.75 c Sol. found (all assignments made)... 2.75 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.76 c Sol. found (all assignments made)... 2.77 c Sol. found (all assignments made)... 2.77 c Sol. found (all assignments made)... 2.77 c Sol. found (all assignments made)... 2.77 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.91 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.92 c Sol. found (all assignments made)... 2.96 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.14 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.15 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.25 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.28 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.29 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.32 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.34 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.36 c Restart #7 #Var: 540 LB: 0 @ 3.341 4.38 c Restart #8 #Var: 540 LB: 0 @ 4.359 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.40 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.41 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.42 c Sol. found (all assignments made)... 4.43 c Sol. found (all assignments made)... 4.46 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.60 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.61 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.62 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.63 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.69 o 76 4.69 c NEW SOLUTION FOUND: 76 @ 4.671 4.69 c Sol. found (all assignments made)... 4.69 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.70 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.73 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.74 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 c Sol. found (all assignments made)... 4.79 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.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.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.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.87 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.91 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 4.92 c Sol. found (all assignments made)... 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.93 c Sol. found (all assignments made)... 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.93 c Sol. found (all assignments made)... 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.93 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.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 o 74 4.98 c NEW SOLUTION FOUND: 74 @ 4.965 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.06 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.07 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.09 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.10 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 5.11 c Sol. found (all assignments made)... 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.15 c Sol. found (all assignments made)... 5.15 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.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.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.18 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 c Sol. found (all assignments made)... 5.23 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.26 c Sol. found (all assignments made)... 5.26 c Sol. found (all assignments made)... 5.29 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.30 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.56 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.57 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.81 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.85 c Sol. found (all assignments made)... 5.86 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.91 c Sol. found (all assignments made)... 5.92 c Restart #9 #Var: 540 LB: 0 @ 5.904 5.95 c Sol. found (all assignments made)... 5.95 c Sol. found (all assignments made)... 5.96 c Sol. found (all assignments made)... 5.97 c Sol. found (all assignments made)... 6.00 c Sol. found (all assignments made)... 6.08 c Sol. found (all assignments made)... 6.09 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.20 c Sol. found (all assignments made)... 6.24 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.26 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 c Sol. found (all assignments made)... 6.27 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.34 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.35 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.38 c Sol. found (all assignments made)... 6.39 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.42 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.43 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.48 c Sol. found (all assignments made)... 6.52 c Sol. found (all assignments made)... 6.52 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.56 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.58 c Sol. found (all assignments made)... 6.78 c Sol. found (all assignments made)... 6.84 c Sol. found (all assignments made)... 6.85 c Sol. found (all assignments made)... 6.87 c Sol. found (all assignments made)... 6.88 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.95 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.96 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.97 c Sol. found (all assignments made)... 6.98 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 6.99 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.17 c Sol. found (all assignments made)... 7.25 c Restart #10 #Var: 540 LB: 0 @ 7.229 7.98 c Sol. found (all assignments made)... 7.98 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.06 c Sol. found (all assignments made)... 8.08 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.16 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.18 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.28 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.29 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.30 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.34 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.38 c Sol. found (all assignments made)... 8.39 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.44 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.85 c Sol. found (all assignments made)... 8.94 c Restart #11 #Var: 540 LB: 0 @ 8.909 9.40 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.57 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.62 c Sol. found (all assignments made)... 9.63 c Sol. found (all assignments made)... 9.63 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.76 c Sol. found (all assignments made)... 9.85 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.11 c Sol. found (all assignments made)... 10.29 c Sol. found (all assignments made)... 10.31 c Sol. found (all assignments made)... 10.65 c Restart #12 #Var: 540 LB: 0 @ 10.628 11.63 c Sol. found (all assignments made)... 11.66 c Sol. found (all assignments made)... 11.66 c Sol. found (all assignments made)... 11.74 c Sol. found (all assignments made)... 11.75 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.76 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.77 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.78 c Sol. found (all assignments made)... 11.79 c Sol. found (all assignments made)... 11.81 c Sol. found (all assignments made)... 11.82 c Sol. found (all assignments made)... 11.83 c Sol. found (all assignments made)... 11.83 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.90 c Sol. found (all assignments made)... 11.90 c Sol. found (all assignments made)... 11.92 c Sol. found (all assignments made)... 11.92 c Sol. found (all assignments made)... 11.93 c Sol. found (all assignments made)... 11.93 c Sol. found (all assignments made)... 11.93 c Sol. found (all assignments made)... 11.93 c Sol. found (all assignments made)... 11.94 c Sol. found (all assignments made)... 11.94 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.95 c Sol. found (all assignments made)... 11.96 c Sol. found (all assignments made)... 11.96 c Sol. found (all assignments made)... 11.96 c Sol. found (all assignments made)... 11.96 c Sol. found (all assignments made)... 12.01 c Sol. found (all assignments made)... 12.01 c Sol. found (all assignments made)... 12.01 c Sol. found (all assignments made)... 12.01 c Sol. found (all assignments made)... 12.03 c Sol. found (all assignments made)... 12.04 c Sol. found (all assignments made)... 12.05 c Sol. found (all assignments made)... 12.10 c Sol. found (all assignments made)... 12.12 c Sol. found (all assignments made)... 12.23 c Sol. found (all assignments made)... 12.25 c Sol. found (all assignments made)... 12.26 c Sol. found (all assignments made)... 12.34 c Sol. found (all assignments made)... 12.79 c Sol. found (all assignments made)... 12.81 c Sol. found (all assignments made)... 12.82 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.83 c Sol. found (all assignments made)... 12.86 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.97 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.98 c Sol. found (all assignments made)... 12.99 c Sol. found (all assignments made)... 14.62 c CHANGE to LPR mode... UB: 74 MIS: 0 LPR: 48 (0.798) Diff: 0 14.62 c Restart #0 #Var: 540 LB: 0 @ 14.595 173.31 c Restart #1 #Var: 540 LB: 48 @ 173.24 225.18 c Restart #2 #Var: 540 LB: 48 @ 225.1 264.76 c Sol. found (all assignments made)... 288.44 c Restart #3 #Var: 540 LB: 48 @ 288.33 308.66 c Sol. found (all assignments made)... 344.39 c Restart #4 #Var: 540 LB: 48 @ 344.27 420.85 c Sol. found (all assignments made)... 428.41 c Restart #5 #Var: 540 LB: 48 @ 428.27 439.39 c Sol. found (all assignments made)... 442.04 c Sol. found (all assignments made)... 443.62 c Sol. found (all assignments made)... 464.59 c Sol. found (all assignments made)... 485.09 c Sol. found (all assignments made)... 511.95 c Restart #6 #Var: 540 LB: 48 @ 511.79 562.87 c Sol. found (all assignments made)... 609.28 c Sol. found (all assignments made)... 618.97 c Restart #7 #Var: 540 LB: 48 @ 618.78 670.19 c Sol. found (all assignments made)... 680.46 c Sol. found (all assignments made)... 719.43 c Sol. found (all assignments made)... 740.34 c Sol. found (all assignments made)... 745.43 c Sol. found (all assignments made)... 751.61 c Restart #8 #Var: 540 LB: 48 @ 751.38 758.07 c Sol. found (all assignments made)... 761.10 o 68 761.10 c NEW SOLUTION FOUND: 68 @ 760.86 765.29 c Sol. found (all assignments made)... 766.62 c Sol. found (all assignments made)... 790.06 c Sol. found (all assignments made)... 794.99 o 66 794.99 c NEW SOLUTION FOUND: 66 @ 794.74 831.27 c Sol. found (all assignments made)... 875.39 c Sol. found (all assignments made)... 947.78 c Restart #9 #Var: 540 LB: 48 @ 947.49 1211.09 c Restart #10 #Var: 540 LB: 48 @ 1210.7 1446.52 c Restart #11 #Var: 540 LB: 48 @ 1446 1721.13 c Restart #12 #Var: 540 LB: 48 @ 1720.6 1764.97 c Sol. found (all assignments made)... 1800.81 s SATISFIABLE 1800.81 c Cost: 66 1800.81 v x361 -x362 -x363 x364 x365 -x366 x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 x381 -x382 1800.81 v -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 x402 -x403 -x404 1800.81 v -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 1800.81 v x426 -x427 -x428 -x429 -x430 -x431 x432 x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 1800.81 v x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 x469 1800.81 v -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 x487 -x488 -x489 -x490 1800.81 v -x491 -x492 -x493 x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 x506 -x507 -x508 -x509 -x510 x511 -x512 1800.81 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 1800.81 v -x534 x535 x536 -x537 -x538 x539 -x540 -x2 -x38 -x74 -x110 -x146 -x182 -x218 -x254 x290 -x326 -x3 -x39 -x75 -x111 -x147 -x183 1800.81 v -x219 -x255 -x291 x327 -x4 x40 -x76 -x112 -x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 x185 -x221 -x257 -x293 1800.81 v -x329 x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 -x294 -x330 -x7 -x43 x79 -x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 1800.81 v -x81 -x117 -x153 -x189 -x225 x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 x226 -x262 -x298 -x334 x11 -x47 -x83 -x119 -x155 1800.81 v -x191 -x227 -x263 -x299 -x335 -x12 x48 -x84 -x120 -x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 x229 1800.81 v -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 x194 -x230 -x266 -x302 -x338 x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 1800.81 v -x340 -x17 x53 -x89 -x125 -x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 1800.81 v -x55 -x91 -x127 x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 x344 -x21 -x57 -x93 x129 1800.81 v -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 x311 -x347 -x24 -x60 -x96 -x132 -x168 x204 1800.81 v -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 -x205 -x241 x277 -x313 -x349 -x26 -x62 -x98 x134 -x170 -x206 -x242 -x278 1800.81 v -x314 -x350 -x27 -x63 -x99 -x135 x171 -x207 -x243 -x279 -x315 -x351 -x28 -x64 x100 -x136 -x172 -x208 -x244 -x280 -x316 -x352 1800.81 v -x30 -x66 -x102 -x138 -x174 -x210 x246 -x282 -x318 -x354 -x31 -x67 -x103 x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 1800.81 v -x104 -x140 x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 x321 -x357 -x34 -x70 -x106 -x142 1800.81 v -x178 -x214 -x250 x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 x359 -x8 -x44 -x80 x116 x152 x188 -x224 1800.81 v -x260 x296 x332 -x15 -x51 -x87 x123 x159 -x195 -x231 x267 x303 x339 x22 x58 x94 -x130 -x166 -x202 x238 x274 -x310 -x346 x29 x65 1800.81 v -x101 -x137 -x173 x209 -x245 -x281 x317 x353 x36 x72 x108 -x144 -x180 x216 x252 -x288 -x324 -x360 -x1 -x37 x73 x109 x145 -x181 1800.81 v x217 x253 -x289 -x325 1800.81 c Exit Code: 10 1800.81 c Total time: 1800.2 s
OK 66
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/node39/watcher-40255-1149399553 -o ROOT/results/node39/solver-40255-1149399553 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40255-1149399553/instance-40255-1149399553.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1870728/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=2948 CPUtime=0 /proc/25749/stat : 25749 (bsolo) D 25747 25749 25703 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 205621646 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11092772 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/25749/statm: 737 34 26 55 0 38 0 [startup+10.0022 s] /proc/loadavg: 0.98 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1851464/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=23636 CPUtime=9.97 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5181 0 0 0 992 5 0 0 25 0 1 0 205621646 24203264 5096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 5909 5096 298 55 0 4801 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 23636 [startup+20.0082 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1844568/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=31680 CPUtime=19.97 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 15624 0 0 0 1986 11 0 0 25 0 1 0 205621646 32440320 6901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159265842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7920 6901 435 55 0 6812 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 31680 [startup+30.0141 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1844760/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=31556 CPUtime=29.97 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 27335 0 0 0 2981 16 0 0 25 0 1 0 205621646 32313344 6871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7889 6871 435 55 0 6781 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 31556 [startup+40.02 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845400/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=32216 CPUtime=39.98 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 38399 0 0 0 3976 22 0 0 25 0 1 0 205621646 32989184 6770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343418 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 8054 6770 435 55 0 6946 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 32216 [startup+50.026 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1846296/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=28748 CPUtime=49.98 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 49161 0 0 0 4971 27 0 0 25 0 1 0 205621646 29437952 6498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11526004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7187 6498 435 55 0 6079 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 28748 [startup+60.0319 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845400/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30940 CPUtime=59.98 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 59377 0 0 0 5966 32 0 0 25 0 1 0 205621646 31682560 6734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159946385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7735 6734 435 55 0 6627 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 30940 [startup+70.0378 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845656/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30588 CPUtime=69.99 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 68709 0 0 0 6962 37 0 0 25 0 1 0 205621646 31322112 6664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7647 6664 435 55 0 6539 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 30588 [startup+80.0438 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845720/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30588 CPUtime=79.99 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 80450 0 0 0 7958 41 0 0 25 0 1 0 205621646 31322112 6651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7647 6651 436 55 0 6539 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 30588 [startup+90.0497 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1846296/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=28748 CPUtime=90 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 91386 0 0 0 8954 46 0 0 25 0 1 0 205621646 29437952 6499 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7187 6499 436 55 0 6079 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 28748 [startup+100.056 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845656/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30588 CPUtime=99.99 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 105112 0 0 0 9949 50 0 0 25 0 1 0 205621646 31322112 6664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159496464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7647 6664 436 55 0 6539 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 30588 [startup+110.062 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845528/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30764 CPUtime=110 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 116897 0 0 0 10945 55 0 0 25 0 1 0 205621646 31502336 6698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7691 6698 439 55 0 6583 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 30764 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845528/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30752 CPUtime=120 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 130972 0 0 0 11940 60 0 0 25 0 1 0 205621646 31490048 6691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7688 6691 439 55 0 6580 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 30752 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1846296/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=31508 CPUtime=130.01 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 147130 0 0 0 12935 66 0 0 25 0 1 0 205621646 32264192 6543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159217748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7877 6543 439 55 0 6769 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 31508 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1846296/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=28748 CPUtime=140.01 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 159197 0 0 0 13929 72 0 0 25 0 1 0 205621646 29437952 6502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7187 6502 439 55 0 6079 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 28748 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845336/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30924 CPUtime=150.01 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 173064 0 0 0 14923 78 0 0 25 0 1 0 205621646 31666176 6745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255559 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7731 6745 439 55 0 6623 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 30924 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845464/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30768 CPUtime=160.01 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 188950 0 0 0 15915 86 0 0 25 0 1 0 205621646 31506432 6700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160277878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7692 6700 439 55 0 6584 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 30768 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845592/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=30748 CPUtime=170.02 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 206947 0 0 0 16907 95 0 0 25 0 1 0 205621646 31485952 6672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7687 6672 439 55 0 6579 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 30748 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845336/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=31072 CPUtime=180.02 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 222389 0 0 0 17901 101 0 0 25 0 1 0 205621646 31817728 6750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159002321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7768 6750 439 55 0 6660 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 31072 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845592/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=29076 CPUtime=190.02 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 251229 0 1 0 18888 114 0 0 25 0 1 0 205621646 29773824 6593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7269 6593 448 55 0 6161 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 29076 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845592/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=29076 CPUtime=200.03 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 281743 0 1 0 19877 126 0 0 25 0 1 0 205621646 29773824 6593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 7269 6593 448 55 0 6161 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 29076 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25749 /proc/meminfo: memFree=1845592/2055920 swapFree=4180844/4192956 ################ # More data... # ################ /proc/25749/statm: 10071 8723 451 55 0 8963 0 Current children cumulated CPU time (s) 1760.51 Current children cumulated vsize (Kb) 40284 [startup+1771.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40284 CPUtime=1770.51 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5288454 0 4 0 174767 2284 0 0 25 0 1 0 205621646 41250816 8721 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346609 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10071 8721 451 55 0 8963 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 40284 [startup+1781.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835864/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40416 CPUtime=1780.52 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5320076 0 4 0 175754 2298 0 0 25 0 1 0 205621646 41385984 8737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10104 8737 451 55 0 8996 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 40416 [startup+1782.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=37388 CPUtime=1781.53 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5323892 0 4 0 175853 2300 0 0 25 0 1 0 205621646 38285312 8674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9347 8674 451 55 0 8239 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 37388 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=37388 CPUtime=1782.52 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5327009 0 4 0 175951 2301 0 0 25 0 1 0 205621646 38285312 8674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9347 8674 451 55 0 8239 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 37388 [startup+1784.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835288/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=39488 CPUtime=1783.53 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5330833 0 4 0 176050 2303 0 0 25 0 1 0 205621646 40435712 8830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9872 8830 451 55 0 8764 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 39488 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835864/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40448 CPUtime=1784.54 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5334039 0 4 0 176149 2305 0 0 25 0 1 0 205621646 41418752 8738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159265752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10112 8738 451 55 0 9004 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 40448 [startup+1786.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835352/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=39320 CPUtime=1785.54 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5337484 0 4 0 176248 2306 0 0 25 0 1 0 205621646 40263680 8822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9830 8822 451 55 0 8722 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 39320 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40300 CPUtime=1786.55 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5340754 0 4 0 176347 2308 0 0 25 0 1 0 205621646 41267200 8712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159265869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10075 8712 451 55 0 8967 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 40300 [startup+1788.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835352/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=39320 CPUtime=1787.55 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5343940 0 4 0 176446 2309 0 0 25 0 1 0 205621646 40263680 8818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160346416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9830 8818 451 55 0 8722 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 39320 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40472 CPUtime=1788.55 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5346878 0 4 0 176544 2311 0 0 25 0 1 0 205621646 41443328 8740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497925 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10118 8740 451 55 0 9010 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 40472 [startup+1790.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40284 CPUtime=1789.56 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5350043 0 4 0 176644 2312 0 0 25 0 1 0 205621646 41250816 8713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170767 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10071 8713 451 55 0 8963 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 40284 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=37388 CPUtime=1790.57 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5353603 0 4 0 176743 2314 0 0 25 0 1 0 205621646 38285312 8674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160211734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9347 8674 451 55 0 8239 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 37388 [startup+1792.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40284 CPUtime=1791.57 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5357500 0 4 0 176842 2315 0 0 25 0 1 0 205621646 41250816 8706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11558615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10071 8706 451 55 0 8963 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 40284 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40300 CPUtime=1792.58 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5360702 0 4 0 176941 2317 0 0 25 0 1 0 205621646 41267200 8724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159169766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10075 8724 451 55 0 8967 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 40300 [startup+1794.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835736/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40488 CPUtime=1793.58 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5364652 0 4 0 177039 2319 0 0 25 0 1 0 205621646 41459712 8762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159497192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10122 8762 451 55 0 9014 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 40488 [startup+1795.19 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835224/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=37404 CPUtime=1794.58 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5368216 0 4 0 177138 2320 0 0 25 0 1 0 205621646 38301696 8678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9351 8678 451 55 0 8243 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 37404 [startup+1796.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=37388 CPUtime=1795.59 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5371828 0 4 0 177237 2322 0 0 25 0 1 0 205621646 38285312 8674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158536008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9347 8674 451 55 0 8239 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 37388 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=37528 CPUtime=1796.59 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5375367 0 4 0 177336 2323 0 0 25 0 1 0 205621646 38428672 8682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160200584 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9382 8682 451 55 0 8274 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 37528 [startup+1798.21 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40284 CPUtime=1797.6 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5378752 0 4 0 177436 2324 0 0 25 0 1 0 205621646 41250816 8702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160350103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10071 8702 451 55 0 8963 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 40284 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835672/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=40544 CPUtime=1798.61 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5381876 0 4 0 177535 2326 0 0 25 0 1 0 205621646 41517056 8791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160342471 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 10136 8791 451 55 0 9028 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 40544 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.99 2/64 25944 /proc/meminfo: memFree=1835928/2055920 swapFree=4180844/4192956 [pid=25749] ppid=25747 vsize=37388 CPUtime=1799.6 /proc/25749/stat : 25749 (bsolo) R 25747 25749 25703 0 -1 0 5385092 0 4 0 177633 2327 0 0 25 0 1 0 205621646 38285312 8674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520370 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25749/statm: 9347 8674 451 55 0 8239 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 37388 Child status: 10 Real time (s): 1800.82 CPU time (s): 1800.22 CPU user time (s): 1776.92 CPU system time (s): 23.2955 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (Kb): 40544
Begin job on node39 on Sun Jun 4 05:39:13 UTC 2006 FILE ID= 40255-1149399553 PBS_JOBID= 313924 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40255-1149399553/instance-40255-1149399553.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-40255-1149399553 -o ROOT/results/node39/solver-40255-1149399553 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node39/40255-1149399553/instance-40255-1149399553.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED= 460062301 /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.213 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 : 5931.00 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.213 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: 1870936 kB Buffers: 7776 kB Cached: 116372 kB SwapCached: 3624 kB Active: 17960 kB Inactive: 114684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870936 kB SwapTotal: 4192956 kB SwapFree: 4180844 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14596 kB Slab: 38356 kB Committed_AS: 403100 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Sun Jun 4 06:09:14 UTC 2006