Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT (TO) | 69 | 1800.78 | 1801.43 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.a.opb |
MD5SUM | a983c7d791d0da9cc5e2ec69578db721 |
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 | 1800.46 |
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 | 1226 |
Total number of constraints | 4208 |
Number of constraints which are clauses | 4208 |
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 | 105 |
Number of terms in the objective function | 1226 |
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 | 1226 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1226 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04 c Time Limit set via PBTIMEOUT to 1800 0.07 c INFO: OSL Context initialized. 0.26 c Initial problem consists of 1226 variables and 4208 constraints. 0.29 c preprocess terminated. Elapsed time: 0.24 0.29 c After prepocess the problem consists of 1157 variables and 3979 constraints. 0.29 c Initial Lower Bound: 0 0.41 c Sol. found (all assignments made)... 0.41 o 84 0.41 c NEW SOLUTION FOUND: 84 @ 0.353 0.41 c Sol. found (all assignments made)... 0.41 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.43 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.44 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.47 c Sol. found (all assignments made)... 0.48 c Sol. found (all assignments made)... 0.49 c Restart #1 #Var: 1157 LB: 0 @ 0.439 0.94 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.96 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.97 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 1.00 c Sol. found (all assignments made)... 1.01 c Sol. found (all assignments made)... 1.01 c Sol. found (all assignments made)... 1.01 c Sol. found (all assignments made)... 1.01 c Sol. found (all assignments made)... 1.02 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.03 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.08 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.09 c Sol. found (all assignments made)... 1.10 c Sol. found (all assignments made)... 1.10 c Sol. found (all assignments made)... 1.10 c Sol. found (all assignments made)... 1.10 c Sol. found (all assignments made)... 1.10 c Sol. found (all assignments made)... 1.10 c Sol. found (all assignments made)... 1.10 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.13 c Sol. found (all assignments made)... 1.16 c Restart #2 #Var: 1157 LB: 0 @ 1.102 1.41 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.44 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.56 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.57 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.58 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 c Sol. found (all assignments made)... 1.59 o 83 1.59 c NEW SOLUTION FOUND: 83 @ 1.54 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.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.61 c Sol. found (all assignments made)... 1.61 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 c Sol. found (all assignments made)... 1.63 o 82 1.63 c NEW SOLUTION FOUND: 82 @ 1.579 1.63 c Sol. found (all assignments made)... 1.64 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.69 c Sol. found (all assignments made)... 1.71 c Sol. found (all assignments made)... 1.87 c Restart #3 #Var: 1157 LB: 0 @ 1.811 3.16 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.22 c Sol. found (all assignments made)... 3.23 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 c Sol. found (all assignments made)... 3.24 o 81 3.24 c NEW SOLUTION FOUND: 81 @ 3.186 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.27 c Sol. found (all assignments made)... 3.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.29 c Sol. found (all assignments made)... 3.31 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.35 c Sol. found (all assignments made)... 3.35 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.36 c Sol. found (all assignments made)... 3.37 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.53 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 o 80 3.58 c NEW SOLUTION FOUND: 80 @ 3.527 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.58 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.59 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.60 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.61 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.62 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.63 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.64 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.65 c Sol. found (all assignments made)... 3.66 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 o 79 3.71 c NEW SOLUTION FOUND: 79 @ 3.656 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.71 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.72 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.73 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.74 c Sol. found (all assignments made)... 3.75 c Sol. found (all assignments made)... 3.76 c Sol. found (all assignments made)... 3.77 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.78 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.82 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.83 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 o 78 3.91 c NEW SOLUTION FOUND: 78 @ 3.854 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.91 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.96 c Sol. found (all assignments made)... 4.36 c Restart #4 #Var: 1157 LB: 0 @ 4.306 7.17 c Sol. found (all assignments made)... 7.17 c Sol. found (all assignments made)... 7.44 c Restart #5 #Var: 1157 LB: 0 @ 7.388 15.92 c Restart #6 #Var: 1157 LB: 0 @ 15.856 17.69 c Sol. found (all assignments made)... 17.69 c Sol. found (all assignments made)... 17.70 c Sol. found (all assignments made)... 18.18 c Restart #7 #Var: 1157 LB: 0 @ 18.122 23.05 c CHANGE to MIS mode... UB: 78 MIS: 50 LPR: 59 (1.367) Diff: 0.84746 23.05 c Restart #0 #Var: 1157 LB: 0 @ 22.98 26.22 c Sol. found (all assignments made)... 26.22 o 77 26.22 c NEW SOLUTION FOUND: 77 @ 26.154 26.22 c Sol. found (all assignments made)... 26.23 c Sol. found (all assignments made)... 26.23 c Sol. found (all assignments made)... 26.23 c Sol. found (all assignments made)... 26.23 c Sol. found (all assignments made)... 26.23 o 76 26.23 c NEW SOLUTION FOUND: 76 @ 26.161 26.23 c Sol. found (all assignments made)... 26.24 c Sol. found (all assignments made)... 26.24 o 75 26.24 c NEW SOLUTION FOUND: 75 @ 26.166 26.69 c Restart #1 #Var: 1157 LB: 50 @ 26.622 31.47 c Restart #2 #Var: 1157 LB: 50 @ 31.402 33.90 c Restart #3 #Var: 1157 LB: 50 @ 33.823 36.31 c Restart #4 #Var: 1157 LB: 50 @ 36.241 38.66 c Restart #5 #Var: 1157 LB: 50 @ 38.591 41.63 c Restart #6 #Var: 1157 LB: 50 @ 41.557 45.20 c Restart #7 #Var: 1157 LB: 50 @ 45.122 51.61 c Restart #8 #Var: 1157 LB: 50 @ 51.53 57.13 c Restart #9 #Var: 1157 LB: 50 @ 57.049 60.37 c Restart #10 #Var: 1157 LB: 50 @ 60.293 68.04 c Restart #11 #Var: 1157 LB: 50 @ 67.962 73.70 c Restart #12 #Var: 1157 LB: 51 @ 73.617 85.81 c Restart #13 #Var: 1157 LB: 50 @ 85.728 94.48 c Sol. found (all assignments made)... 94.49 c Sol. found (all assignments made)... 94.49 o 74 94.49 c NEW SOLUTION FOUND: 74 @ 94.402 94.61 c Sol. found (all assignments made)... 94.61 c Sol. found (all assignments made)... 94.61 c Sol. found (all assignments made)... 94.61 c Sol. found (all assignments made)... 94.62 c Sol. found (all assignments made)... 94.62 c Sol. found (all assignments made)... 94.62 c Sol. found (all assignments made)... 94.62 c Sol. found (all assignments made)... 94.63 c Sol. found (all assignments made)... 94.63 c Sol. found (all assignments made)... 94.63 c Sol. found (all assignments made)... 94.63 c Sol. found (all assignments made)... 94.64 c Sol. found (all assignments made)... 94.64 c Sol. found (all assignments made)... 94.64 c Sol. found (all assignments made)... 94.64 c Sol. found (all assignments made)... 94.64 c Sol. found (all assignments made)... 94.64 c Sol. found (all assignments made)... 94.64 c Sol. found (all assignments made)... 94.64 c Sol. found (all assignments made)... 94.82 c Sol. found (all assignments made)... 94.82 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.83 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 94.84 c Sol. found (all assignments made)... 95.06 c Sol. found (all assignments made)... 95.06 c Sol. found (all assignments made)... 95.06 c Sol. found (all assignments made)... 95.06 c Sol. found (all assignments made)... 95.06 c Sol. found (all assignments made)... 95.07 c Sol. found (all assignments made)... 95.07 c Sol. found (all assignments made)... 95.07 c Sol. found (all assignments made)... 95.07 c Sol. found (all assignments made)... 95.08 c Sol. found (all assignments made)... 95.08 c Sol. found (all assignments made)... 95.08 c Sol. found (all assignments made)... 95.08 c Sol. found (all assignments made)... 95.08 c Sol. found (all assignments made)... 95.09 c Sol. found (all assignments made)... 95.09 c Sol. found (all assignments made)... 95.10 c Sol. found (all assignments made)... 95.10 c Sol. found (all assignments made)... 95.10 c Sol. found (all assignments made)... 95.10 o 73 95.10 c NEW SOLUTION FOUND: 73 @ 95.009 95.41 c Sol. found (all assignments made)... 95.42 c Sol. found (all assignments made)... 95.42 c Sol. found (all assignments made)... 95.42 c Sol. found (all assignments made)... 95.43 c Sol. found (all assignments made)... 95.43 c Sol. found (all assignments made)... 95.43 c Sol. found (all assignments made)... 95.43 c Sol. found (all assignments made)... 95.43 c Sol. found (all assignments made)... 95.43 c Sol. found (all assignments made)... 95.44 c Sol. found (all assignments made)... 95.44 c Sol. found (all assignments made)... 95.44 c Sol. found (all assignments made)... 97.21 c Restart #14 #Var: 1157 LB: 51 @ 97.122 109.48 c Restart #15 #Var: 1157 LB: 50 @ 109.38 111.93 c Sol. found (all assignments made)... 111.94 c Sol. found (all assignments made)... 111.94 c Sol. found (all assignments made)... 111.94 c Sol. found (all assignments made)... 111.95 c Sol. found (all assignments made)... 111.95 c Sol. found (all assignments made)... 111.95 c Sol. found (all assignments made)... 111.96 c Sol. found (all assignments made)... 111.96 c Sol. found (all assignments made)... 111.96 c Sol. found (all assignments made)... 112.16 c Sol. found (all assignments made)... 112.16 c Sol. found (all assignments made)... 112.16 c Sol. found (all assignments made)... 112.16 c Sol. found (all assignments made)... 112.16 c Sol. found (all assignments made)... 112.17 c Sol. found (all assignments made)... 112.17 c Sol. found (all assignments made)... 112.17 c Sol. found (all assignments made)... 112.27 c Sol. found (all assignments made)... 112.27 c Sol. found (all assignments made)... 112.27 c Sol. found (all assignments made)... 112.28 c Sol. found (all assignments made)... 112.28 c Sol. found (all assignments made)... 112.28 c Sol. found (all assignments made)... 114.00 c Restart #16 #Var: 1157 LB: 51 @ 113.91 129.47 c Restart #17 #Var: 1157 LB: 51 @ 129.37 143.40 c Sol. found (all assignments made)... 143.40 o 72 143.40 c NEW SOLUTION FOUND: 72 @ 143.3 143.45 c Sol. found (all assignments made)... 143.45 o 71 143.45 c NEW SOLUTION FOUND: 71 @ 143.35 143.52 c Sol. found (all assignments made)... 143.52 o 70 143.52 c NEW SOLUTION FOUND: 70 @ 143.41 145.71 c Restart #18 #Var: 1157 LB: 51 @ 145.61 162.13 c Restart #19 #Var: 1157 LB: 51 @ 162.03 178.58 c Sol. found (all assignments made)... 178.58 c Sol. found (all assignments made)... 178.58 c Sol. found (all assignments made)... 178.97 c Sol. found (all assignments made)... 179.02 c Sol. found (all assignments made)... 179.02 c Sol. found (all assignments made)... 181.55 c Restart #20 #Var: 1157 LB: 51 @ 181.44 208.83 c Restart #21 #Var: 1157 LB: 51 @ 208.71 230.83 c Restart #22 #Var: 1157 LB: 52 @ 230.7 245.88 c Restart #23 #Var: 1157 LB: 51 @ 245.75 259.69 c Sol. found (all assignments made)... 259.69 c Sol. found (all assignments made)... 259.69 c Sol. found (all assignments made)... 259.70 c Sol. found (all assignments made)... 259.70 c Sol. found (all assignments made)... 259.70 c Sol. found (all assignments made)... 259.72 c Sol. found (all assignments made)... 259.72 c Sol. found (all assignments made)... 259.72 c Sol. found (all assignments made)... 259.73 c Sol. found (all assignments made)... 259.73 c Sol. found (all assignments made)... 259.73 c Sol. found (all assignments made)... 259.76 c Sol. found (all assignments made)... 259.76 c Sol. found (all assignments made)... 259.77 c Sol. found (all assignments made)... 259.77 c Sol. found (all assignments made)... 259.77 c Sol. found (all assignments made)... 259.77 c Sol. found (all assignments made)... 259.77 c Sol. found (all assignments made)... 259.78 c Sol. found (all assignments made)... 259.78 c Sol. found (all assignments made)... 259.78 c Sol. found (all assignments made)... 259.78 c Sol. found (all assignments made)... 259.78 c Sol. found (all assignments made)... 259.84 c Sol. found (all assignments made)... 259.84 c Sol. found (all assignments made)... 259.84 c Sol. found (all assignments made)... 259.85 c Sol. found (all assignments made)... 259.85 c Sol. found (all assignments made)... 259.85 c Sol. found (all assignments made)... 260.03 c Sol. found (all assignments made)... 260.03 c Sol. found (all assignments made)... 260.03 c Sol. found (all assignments made)... 260.07 c Sol. found (all assignments made)... 260.07 c Sol. found (all assignments made)... 260.07 c Sol. found (all assignments made)... 260.08 c Sol. found (all assignments made)... 260.08 c Sol. found (all assignments made)... 260.08 c Sol. found (all assignments made)... 260.10 c Sol. found (all assignments made)... 260.10 c Sol. found (all assignments made)... 260.10 c Sol. found (all assignments made)... 260.10 c Sol. found (all assignments made)... 260.11 c Sol. found (all assignments made)... 260.11 c Sol. found (all assignments made)... 260.18 c Sol. found (all assignments made)... 260.18 c Sol. found (all assignments made)... 260.19 c Sol. found (all assignments made)... 260.20 c Sol. found (all assignments made)... 260.20 c Sol. found (all assignments made)... 260.20 o 69 260.20 c NEW SOLUTION FOUND: 69 @ 260.07 260.20 c Sol. found (all assignments made)... 260.21 c Sol. found (all assignments made)... 265.14 c Restart #24 #Var: 1157 LB: 52 @ 265 285.81 c Restart #25 #Var: 1157 LB: 52 @ 285.67 309.69 c Restart #26 #Var: 1157 LB: 52 @ 309.54 331.07 c Restart #27 #Var: 1157 LB: 52 @ 330.92 357.87 c Restart #28 #Var: 1157 LB: 52 @ 357.71 401.31 c Restart #29 #Var: 1157 LB: 52 @ 401.13 434.90 c Restart #30 #Var: 1157 LB: 53 @ 434.71 463.56 c Restart #31 #Var: 1157 LB: 52 @ 463.37 515.33 c Restart #32 #Var: 1157 LB: 51 @ 515.12 545.79 c Restart #33 #Var: 1157 LB: 52 @ 545.57 607.99 c Restart #34 #Var: 1157 LB: 53 @ 607.75 644.73 c Restart #35 #Var: 1157 LB: 51 @ 644.48 707.32 c Restart #36 #Var: 1157 LB: 52 @ 707.06 759.85 c Restart #37 #Var: 1157 LB: 51 @ 759.57 822.08 c Restart #38 #Var: 1157 LB: 51 @ 821.78 856.64 c Restart #39 #Var: 1157 LB: 52 @ 856.33 891.74 c Restart #40 #Var: 1157 LB: 52 @ 891.42 948.62 c Restart #41 #Var: 1157 LB: 51 @ 948.28 981.76 c Restart #42 #Var: 1157 LB: 52 @ 981.41 1034.62 c Restart #43 #Var: 1157 LB: 52 @ 1034.3 1083.40 c Restart #44 #Var: 1157 LB: 52 @ 1083 1126.21 c Restart #45 #Var: 1157 LB: 52 @ 1125.8 1196.43 c Restart #46 #Var: 1157 LB: 51 @ 1196 1252.66 c Restart #47 #Var: 1157 LB: 52 @ 1252.2 1337.20 c Restart #48 #Var: 1157 LB: 52 @ 1336.8 1425.33 c Restart #49 #Var: 1157 LB: 53 @ 1424.9 1532.33 c Restart #50 #Var: 1157 LB: 52 @ 1531.8 1608.63 c Restart #51 #Var: 1157 LB: 53 @ 1608 1724.48 c Restart #52 #Var: 1157 LB: 53 @ 1723.9 1797.18 c Restart #53 #Var: 1157 LB: 52 @ 1796.5 1801.22 c Caught signal: 15 1801.22 s SATISFIABLE 1801.22 c Cost: 69 1801.22 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 1801.22 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1801.22 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1801.22 v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1801.22 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1801.22 v -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1801.22 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 1801.22 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 1801.22 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1801.22 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1801.22 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1801.22 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1801.22 v -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1801.22 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1801.22 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1801.22 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1801.22 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1801.22 v -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 1801.22 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1801.22 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1801.22 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1801.22 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1801.22 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 1801.22 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1801.22 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1801.22 v -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1801.22 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1801.22 v -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1801.22 v -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 1801.22 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1801.22 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1801.22 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1801.22 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1801.22 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1801.22 v -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 1801.22 v -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 1801.22 v x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 1801.22 v -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1801.22 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1801.22 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1801.22 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 x880 -x881 x882 1801.22 v -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1801.22 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 1801.22 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1801.22 v -x946 -x947 -x948 -x949 -x950 x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 x965 -x966 1801.22 v x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1801.22 v x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1801.22 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1801.22 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1801.22 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 1801.22 v -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1801.22 v x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 1801.22 v -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 1801.22 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 1801.22 v -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 x1146 1801.22 v -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1801.22 v -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 1801.22 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 1801.22 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 x1216 -x1217 1801.22 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1801.22 c Exit Code: 10
OK 69
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node47/watcher-50289-1154093721 -o ROOT/results/node47/solver-50289-1154093721 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/50289-1154093721/instance-50289-1154093721.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 11215 /proc/meminfo: memFree=1111392/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=436 CPUtime=0 /proc/11215/stat : 11215 (bsolo) D 11213 11215 11166 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156242845 446464 23 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10519332 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/11215/statm: 109 23 18 55 0 18 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/64 11215 /proc/meminfo: memFree=1078368/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=35076 CPUtime=9.93 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 7995 0 10 0 987 6 0 0 25 0 1 0 156242845 35917824 7919 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 8769 7919 297 55 0 7661 0 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 35076 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.99 2/64 11215 /proc/meminfo: memFree=1067872/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=45956 CPUtime=19.94 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 10650 0 10 0 1986 8 0 0 25 0 1 0 156242845 47058944 10573 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 11489 10573 297 55 0 10381 0 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 45956 [startup+30.0161 s] /proc/loadavg: 0.95 0.98 0.99 2/64 11215 /proc/meminfo: memFree=1056864/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=57104 CPUtime=29.93 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 14878 0 12 0 2983 10 0 0 25 0 1 0 156242845 58474496 13351 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 14276 13351 434 55 0 13168 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 57104 [startup+40.0222 s] /proc/loadavg: 0.96 0.98 0.99 2/64 11215 /proc/meminfo: memFree=1046240/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=67716 CPUtime=39.93 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 17542 0 12 0 3981 12 0 0 25 0 1 0 156242845 69341184 16014 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 16929 16014 434 55 0 15821 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 67716 [startup+50.0282 s] /proc/loadavg: 0.96 0.98 0.99 2/64 11215 /proc/meminfo: memFree=1033632/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=80716 CPUtime=49.94 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 20691 0 12 0 4980 14 0 0 25 0 1 0 156242845 82653184 19146 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 20179 19146 434 55 0 19071 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 80716 [startup+60.0343 s] /proc/loadavg: 0.97 0.98 0.99 2/64 11215 /proc/meminfo: memFree=1009440/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=106296 CPUtime=59.94 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 26880 0 12 0 5976 18 0 0 25 0 1 0 156242845 108847104 25224 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 26574 25224 434 55 0 25466 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 106296 [startup+70.0404 s] /proc/loadavg: 0.97 0.98 0.99 2/64 11215 /proc/meminfo: memFree=999008/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=116912 CPUtime=69.95 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 29492 0 12 0 6976 19 0 0 25 0 1 0 156242845 119717888 27813 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 29228 27813 434 55 0 28120 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 116912 [startup+80.0464 s] /proc/loadavg: 0.98 0.98 0.99 2/64 11215 /proc/meminfo: memFree=987936/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=128028 CPUtime=79.95 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 32303 0 12 0 7973 22 0 0 25 0 1 0 156242845 131100672 30568 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 32007 30568 434 55 0 30899 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 128028 [startup+90.0525 s] /proc/loadavg: 0.98 0.98 0.99 2/64 11215 /proc/meminfo: memFree=977504/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=138916 CPUtime=89.95 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 34937 0 12 0 8972 23 0 0 25 0 1 0 156242845 142249984 33175 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 34729 33175 434 55 0 33621 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 138916 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 11215 /proc/meminfo: memFree=954400/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=163912 CPUtime=99.96 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 40863 0 12 0 9971 25 0 0 25 0 1 0 156242845 167845888 38925 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 40978 38925 434 55 0 39870 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 163912 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 11215 /proc/meminfo: memFree=945440/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=173340 CPUtime=109.96 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 43178 0 12 0 10970 26 0 0 25 0 1 0 156242845 177500160 41160 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 43335 41160 434 55 0 42227 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 173340 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=932192/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=187060 CPUtime=119.97 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 46554 0 12 0 11969 28 0 0 25 0 1 0 156242845 191549440 44478 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 46765 44478 434 55 0 45657 0 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 187060 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=921696/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=197652 CPUtime=129.96 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 49255 0 12 0 12967 29 0 0 25 0 1 0 156242845 202395648 47102 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 49413 47102 434 55 0 48305 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 197652 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=921696/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=197652 CPUtime=139.97 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 49255 0 12 0 13968 29 0 0 25 0 1 0 156242845 202395648 47102 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 49413 47102 434 55 0 48305 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 197652 [startup+150.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=903072/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=216576 CPUtime=149.98 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 54056 0 12 0 14966 32 0 0 25 0 1 0 156242845 221773824 51735 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134535143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 54144 51735 434 55 0 53036 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 216576 [startup+160.096 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=893472/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=226472 CPUtime=159.98 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 56533 0 12 0 15964 34 0 0 25 0 1 0 156242845 231907328 54144 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 56618 54144 434 55 0 55510 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 226472 [startup+170.102 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=892384/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=227392 CPUtime=169.98 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 56791 0 12 0 16964 34 0 0 25 0 1 0 156242845 232849408 54402 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 56848 54402 434 55 0 55740 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 227392 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=878048/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=241700 CPUtime=179.98 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 60686 0 12 0 17962 36 0 0 25 0 1 0 156242845 247500800 57977 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 60425 57977 434 55 0 59317 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 241700 [startup+190.114 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=871712/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=248892 CPUtime=189.99 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 62344 0 12 0 18962 37 0 0 25 0 1 0 156242845 254865408 59560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 62223 59560 434 55 0 61115 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 248892 [startup+200.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 /proc/meminfo: memFree=871392/2055920 swapFree=4183152/4192956 [pid=11215] ppid=11213 vsize=249156 CPUtime=199.99 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 62424 0 12 0 19962 37 0 0 25 0 1 0 156242845 255135744 59640 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 62289 59640 434 55 0 61181 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 249156 [startup+210.126 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11215 ################ # More data... # ################ /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 338849 0 12 0 177937 210 0 0 25 0 1 0 156242845 1348050944 312920 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134604115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 329114 312920 434 55 0 328006 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 1316456 [startup+1783.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15648/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1317576 CPUtime=1782.48 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 339133 0 12 0 178038 210 0 0 25 0 1 0 156242845 1349197824 313195 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 329394 313195 434 55 0 328286 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 1317576 [startup+1784.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15840/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1319244 CPUtime=1783.49 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 339513 0 12 0 178138 211 0 0 25 0 1 0 156242845 1350905856 313533 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 329811 313533 434 55 0 328703 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 1319244 [startup+1785.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=16096/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1320632 CPUtime=1784.49 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 339842 0 12 0 178238 211 0 0 25 0 1 0 156242845 1352327168 313849 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 330158 313849 434 55 0 329050 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 1320632 [startup+1786.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15008/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1322124 CPUtime=1785.49 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 340275 0 12 0 178338 211 0 0 25 0 1 0 156242845 1353854976 314116 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 330531 314116 434 55 0 329423 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 1322124 [startup+1787.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=16096/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1324140 CPUtime=1786.5 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 340785 0 12 0 178439 211 0 0 25 0 1 0 156242845 1355919360 314623 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 331035 314623 434 55 0 329927 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 1324140 [startup+1788.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15072/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1325416 CPUtime=1787.5 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 341119 0 12 0 178539 211 0 0 25 0 1 0 156242845 1357225984 314871 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134538714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 331354 314871 434 55 0 330246 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 1325416 [startup+1789.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15136/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1326832 CPUtime=1788.5 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 341482 0 12 0 178639 211 0 0 25 0 1 0 156242845 1358675968 315234 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 331708 315234 434 55 0 330600 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 1326832 [startup+1790.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=16032/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1327492 CPUtime=1789.52 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 341659 0 12 0 178740 212 0 0 25 0 1 0 156242845 1359351808 315411 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649870 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 331873 315411 434 55 0 330765 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 1327492 [startup+1791.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=16160/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1328812 CPUtime=1790.52 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342010 0 12 0 178840 212 0 0 25 0 1 0 156242845 1360703488 315762 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332203 315762 434 55 0 331095 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 1328812 [startup+1792.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15136/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1791.52 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342280 0 12 0 178940 212 0 0 25 0 1 0 156242845 1361858560 316028 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316028 434 55 0 331377 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 1329940 [startup+1793.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15136/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1792.52 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342280 0 12 0 179040 212 0 0 25 0 1 0 156242845 1361858560 316028 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316028 434 55 0 331377 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 1329940 [startup+1794.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15136/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1793.53 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342280 0 12 0 179141 212 0 0 25 0 1 0 156242845 1361858560 316028 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316028 434 55 0 331377 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 1329940 [startup+1795.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15136/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1794.53 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342280 0 12 0 179241 212 0 0 25 0 1 0 156242845 1361858560 316028 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316028 434 55 0 331377 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 1329940 [startup+1796.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15136/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1795.54 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342280 0 12 0 179342 212 0 0 25 0 1 0 156242845 1361858560 316028 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316028 434 55 0 331377 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 1329940 [startup+1797.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15136/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1796.54 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342280 0 12 0 179442 212 0 0 25 0 1 0 156242845 1361858560 316028 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316028 434 55 0 331377 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 1329940 [startup+1798.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15072/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1797.55 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342282 0 12 0 179543 212 0 0 25 0 1 0 156242845 1361858560 316030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316030 434 55 0 331377 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 1329940 [startup+1799.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15072/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1798.55 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342282 0 12 0 179643 212 0 0 25 0 1 0 156242845 1361858560 316030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316030 434 55 0 331377 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 1329940 [startup+1800.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15072/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1799.56 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342282 0 12 0 179744 212 0 0 25 0 1 0 156242845 1361858560 316030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316030 434 55 0 331377 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 1329940 [startup+1801.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15072/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1800.56 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342282 0 12 0 179844 212 0 0 25 0 1 0 156242845 1361858560 316030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316030 434 55 0 331377 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 1329940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11415 /proc/meminfo: memFree=15072/2055920 swapFree=4183120/4192956 [pid=11215] ppid=11213 vsize=1329940 CPUtime=1800.57 /proc/11215/stat : 11215 (bsolo) R 11213 11215 11166 0 -1 0 342282 0 12 0 179845 212 0 0 25 0 1 0 156242845 1361858560 316030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11215/statm: 332485 316030 434 55 0 331377 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 1329940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 10 Real time (s): 1801.43 CPU time (s): 1800.78 CPU user time (s): 1798.45 CPU system time (s): 2.32265 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (Kb): 1329940 The end
Begin job on node47 on Fri Jul 28 13:35:21 UTC 2006 FILE ID= 50289-1154093721 PBS_JOBID= 885812 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/50289-1154093721/instance-50289-1154093721.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-50289-1154093721 -o ROOT/results/node47/solver-50289-1154093721 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/50289-1154093721/instance-50289-1154093721.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721 RANDOM SEED= 590538865 TIMEOUT= 1800 seconds /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.241 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.241 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: 1111664 kB Buffers: 32500 kB Cached: 850496 kB SwapCached: 3656 kB Active: 365016 kB Inactive: 526528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1111664 kB SwapTotal: 4192956 kB SwapFree: 4183152 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14744 kB Slab: 38724 kB Committed_AS: 658600 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Fri Jul 28 14:05:22 UTC 2006