Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 9281536 | 1800.01 | 1800.6 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb |
MD5SUM | b5587ac28cf407bbfa21e21c74984478 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3979264 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3581952 |
Optimality of the best value was proved | NO |
Number of variables | 3100 |
Total number of constraints | 120 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4831838208 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 511129031204 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 511129031204 |
Number of bits of the biggest sum of numbers | 39 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 0.08 c Initial problem consists of 3100 variables and 140 constraints. 0.09 c No problem reductions applied in OPT. instance. 0.09 c preprocess terminated. Elapsed time: 0.078 0.09 c After prepocess the problem consists of 1392 variables and 140 constraints. 0.09 c Initial Lower Bound: 0 0.13 c Restart #1 #Var: 1392 LB: 0 @ 0.125 0.23 c Restart #2 #Var: 1392 LB: 0 @ 0.215 0.36 c Restart #3 #Var: 1392 LB: 0 @ 0.345 0.53 c Restart #4 #Var: 1392 LB: 0 @ 0.516 0.74 c Restart #5 #Var: 1392 LB: 0 @ 0.729 0.99 c Restart #6 #Var: 1392 LB: 0 @ 0.978 1.29 c Restart #7 #Var: 1392 LB: 0 @ 1.281 1.65 c Restart #8 #Var: 1392 LB: 0 @ 1.638 2.04 c Restart #9 #Var: 1392 LB: 0 @ 2.028 2.44 c Restart #10 #Var: 1392 LB: 0 @ 2.427 2.82 c Restart #11 #Var: 1392 LB: 0 @ 2.814 3.27 c Restart #12 #Var: 1392 LB: 0 @ 3.262 3.72 c Restart #13 #Var: 1392 LB: 0 @ 3.71 4.21 c Restart #14 #Var: 1392 LB: 0 @ 4.204 4.77 c Restart #15 #Var: 1392 LB: 0 @ 4.761 5.31 c Restart #16 #Var: 1392 LB: 0 @ 5.295 5.94 c Restart #17 #Var: 1392 LB: 0 @ 5.93 6.57 c Restart #18 #Var: 1392 LB: 0 @ 6.555 7.21 c Restart #19 #Var: 1392 LB: 0 @ 7.194 7.98 c Restart #20 #Var: 1392 LB: 0 @ 7.963 8.77 c Restart #21 #Var: 1392 LB: 0 @ 8.748 9.61 c Restart #22 #Var: 1392 LB: 0 @ 9.589 10.52 c Restart #23 #Var: 1392 LB: 0 @ 10.5 11.43 c Restart #24 #Var: 1392 LB: 0 @ 11.411 12.36 c Restart #25 #Var: 1392 LB: 0 @ 12.339 13.38 c Restart #26 #Var: 1392 LB: 0 @ 13.357 13.81 c Sol. found (all assignments made)... 13.81 o 10828800 13.81 c NEW SOLUTION FOUND: 10828800 @ 13.791 13.81 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 c Sol. found (all assignments made)... 13.82 o 10662912 13.82 c NEW SOLUTION FOUND: 10662912 @ 13.805 13.83 c Sol. found (all assignments made)... 13.83 o 10394624 13.83 c NEW SOLUTION FOUND: 10394624 @ 13.814 13.84 c Sol. found (all assignments made)... 13.84 c Sol. found (all assignments made)... 13.84 o 10226688 13.84 c NEW SOLUTION FOUND: 10226688 @ 13.822 13.84 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 c Sol. found (all assignments made)... 13.85 o 10223616 13.85 c NEW SOLUTION FOUND: 10223616 @ 13.835 13.87 c Sol. found (all assignments made)... 13.87 c Sol. found (all assignments made)... 13.89 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.90 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.91 c Sol. found (all assignments made)... 13.94 c Sol. found (all assignments made)... 13.94 o 10203136 13.94 c NEW SOLUTION FOUND: 10203136 @ 13.923 13.94 c Sol. found (all assignments made)... 13.95 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.96 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.97 c Sol. found (all assignments made)... 13.99 c Sol. found (all assignments made)... 14.01 c Sol. found (all assignments made)... 14.01 o 10200064 14.01 c NEW SOLUTION FOUND: 10200064 @ 13.99 14.02 c Sol. found (all assignments made)... 14.02 c Sol. found (all assignments made)... 14.04 c Sol. found (all assignments made)... 14.05 c Sol. found (all assignments made)... 14.06 c Sol. found (all assignments made)... 14.06 c Sol. found (all assignments made)... 14.07 c Sol. found (all assignments made)... 14.07 c Sol. found (all assignments made)... 14.08 c Sol. found (all assignments made)... 14.11 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.12 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.13 c Sol. found (all assignments made)... 14.14 c Sol. found (all assignments made)... 14.14 c Sol. found (all assignments made)... 14.15 c Sol. found (all assignments made)... 14.15 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.16 c Sol. found (all assignments made)... 14.18 c Sol. found (all assignments made)... 14.18 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.19 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.20 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.22 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.23 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.24 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.25 c Sol. found (all assignments made)... 14.26 c Sol. found (all assignments made)... 14.27 c Sol. found (all assignments made)... 14.27 o 10199040 14.27 c NEW SOLUTION FOUND: 10199040 @ 14.25 14.28 c Sol. found (all assignments made)... 14.28 c Sol. found (all assignments made)... 14.30 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.31 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.32 c Sol. found (all assignments made)... 14.34 c Sol. found (all assignments made)... 14.34 c Sol. found (all assignments made)... 14.34 c Sol. found (all assignments made)... 14.35 c Sol. found (all assignments made)... 14.35 c Sol. found (all assignments made)... 14.37 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.38 c Sol. found (all assignments made)... 14.39 c Sol. found (all assignments made)... 14.40 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.41 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.43 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.44 c Sol. found (all assignments made)... 14.49 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.50 c Sol. found (all assignments made)... 14.51 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.52 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.53 c Sol. found (all assignments made)... 14.54 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.55 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.56 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.57 c Sol. found (all assignments made)... 14.58 c Sol. found (all assignments made)... 14.59 c Sol. found (all assignments made)... 14.60 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.62 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.63 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.68 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.70 c Sol. found (all assignments made)... 14.71 c Sol. found (all assignments made)... 14.71 c Sol. found (all assignments made)... 14.71 c Sol. found (all assignments made)... 14.75 c Sol. found (all assignments made)... 14.75 o 10174464 14.75 c NEW SOLUTION FOUND: 10174464 @ 14.729 14.75 c Sol. found (all assignments made)... 14.75 o 10173440 14.75 c NEW SOLUTION FOUND: 10173440 @ 14.732 14.76 c Sol. found (all assignments made)... 14.76 o 9847808 14.76 c NEW SOLUTION FOUND: 9847808 @ 14.745 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.78 c Sol. found (all assignments made)... 14.79 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.82 c Sol. found (all assignments made)... 14.85 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.86 c Sol. found (all assignments made)... 14.89 c Sol. found (all assignments made)... 14.89 o 9726976 14.89 c NEW SOLUTION FOUND: 9726976 @ 14.873 14.97 c Sol. found (all assignments made)... 14.97 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 14.98 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.00 c Sol. found (all assignments made)... 15.08 c Sol. found (all assignments made)... 15.19 c Sol. found (all assignments made)... 15.21 c Sol. found (all assignments made)... 15.24 c Sol. found (all assignments made)... 15.31 c Sol. found (all assignments made)... 15.34 c Sol. found (all assignments made)... 15.35 c Sol. found (all assignments made)... 15.36 c Sol. found (all assignments made)... 15.37 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.41 c Sol. found (all assignments made)... 15.42 c Sol. found (all assignments made)... 15.44 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.45 c Sol. found (all assignments made)... 15.48 c Sol. found (all assignments made)... 15.54 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.55 c Sol. found (all assignments made)... 15.57 c Sol. found (all assignments made)... 15.58 c Sol. found (all assignments made)... 15.65 c Sol. found (all assignments made)... 15.66 c Sol. found (all assignments made)... 15.68 c Sol. found (all assignments made)... 15.70 c Sol. found (all assignments made)... 15.73 c Sol. found (all assignments made)... 15.78 c Sol. found (all assignments made)... 15.86 c Sol. found (all assignments made)... 15.94 c Sol. found (all assignments made)... 15.96 c Sol. found (all assignments made)... 16.08 c Sol. found (all assignments made)... 16.08 c Sol. found (all assignments made)... 16.08 o 9662464 16.08 c NEW SOLUTION FOUND: 9662464 @ 16.059 16.09 c Sol. found (all assignments made)... 16.09 c Sol. found (all assignments made)... 16.09 c Sol. found (all assignments made)... 16.17 c Sol. found (all assignments made)... 16.17 o 9478144 16.17 c NEW SOLUTION FOUND: 9478144 @ 16.149 16.21 c Sol. found (all assignments made)... 16.25 c Sol. found (all assignments made)... 16.25 c Sol. found (all assignments made)... 16.27 c Sol. found (all assignments made)... 16.29 c Sol. found (all assignments made)... 16.30 c Sol. found (all assignments made)... 16.30 c Sol. found (all assignments made)... 16.30 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.31 c Sol. found (all assignments made)... 16.34 c Sol. found (all assignments made)... 16.34 c Sol. found (all assignments made)... 16.34 c Sol. found (all assignments made)... 16.35 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.36 c Sol. found (all assignments made)... 16.37 c Sol. found (all assignments made)... 16.39 c Sol. found (all assignments made)... 16.39 c Sol. found (all assignments made)... 16.42 c Sol. found (all assignments made)... 16.43 c Sol. found (all assignments made)... 16.43 c Sol. found (all assignments made)... 16.46 c Sol. found (all assignments made)... 16.46 c Sol. found (all assignments made)... 16.47 c Sol. found (all assignments made)... 16.49 c Sol. found (all assignments made)... 16.49 c Sol. found (all assignments made)... 16.55 c Sol. found (all assignments made)... 16.55 c Sol. found (all assignments made)... 16.56 c Sol. found (all assignments made)... 16.57 c Sol. found (all assignments made)... 16.58 c Sol. found (all assignments made)... 16.59 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.61 c Sol. found (all assignments made)... 16.63 c Sol. found (all assignments made)... 16.63 c Sol. found (all assignments made)... 16.64 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.67 c Sol. found (all assignments made)... 16.68 c Sol. found (all assignments made)... 16.70 c Sol. found (all assignments made)... 16.70 c Sol. found (all assignments made)... 16.70 o 9443328 16.70 c NEW SOLUTION FOUND: 9443328 @ 16.682 16.74 c Sol. found (all assignments made)... 16.74 c Sol. found (all assignments made)... 16.77 c Sol. found (all assignments made)... 16.77 o 9360384 16.77 c NEW SOLUTION FOUND: 9360384 @ 16.75 16.78 c Sol. found (all assignments made)... 16.82 c Sol. found (all assignments made)... 16.87 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.88 c Sol. found (all assignments made)... 16.92 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 16.97 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.02 c Sol. found (all assignments made)... 17.36 c Sol. found (all assignments made)... 17.36 c Sol. found (all assignments made)... 17.40 c Sol. found (all assignments made)... 17.42 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.45 c Sol. found (all assignments made)... 17.46 c Sol. found (all assignments made)... 17.47 c Sol. found (all assignments made)... 17.48 c Sol. found (all assignments made)... 17.49 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.52 c Sol. found (all assignments made)... 17.54 c Sol. found (all assignments made)... 17.55 c Sol. found (all assignments made)... 17.55 c Sol. found (all assignments made)... 17.57 c Sol. found (all assignments made)... 17.58 c Sol. found (all assignments made)... 17.58 c Sol. found (all assignments made)... 17.61 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.62 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.63 c Sol. found (all assignments made)... 17.68 c Sol. found (all assignments made)... 17.68 c Sol. found (all assignments made)... 17.83 c Sol. found (all assignments made)... 17.84 c Sol. found (all assignments made)... 18.07 c Sol. found (all assignments made)... 18.44 c Sol. found (all assignments made)... 18.46 c Sol. found (all assignments made)... 18.73 c Sol. found (all assignments made)... 18.80 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.02 c Sol. found (all assignments made)... 19.03 c Sol. found (all assignments made)... 19.14 c Sol. found (all assignments made)... 19.28 c Sol. found (all assignments made)... 19.30 c Sol. found (all assignments made)... 19.30 c Sol. found (all assignments made)... 19.34 c Sol. found (all assignments made)... 19.36 c Sol. found (all assignments made)... 19.36 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.37 c Sol. found (all assignments made)... 19.38 c Sol. found (all assignments made)... 19.44 c Sol. found (all assignments made)... 19.45 c Sol. found (all assignments made)... 19.55 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.56 c Sol. found (all assignments made)... 19.71 c Sol. found (all assignments made)... 19.92 c Sol. found (all assignments made)... 19.93 c Sol. found (all assignments made)... 19.94 c Sol. found (all assignments made)... 20.14 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.28 c Sol. found (all assignments made)... 20.35 c Sol. found (all assignments made)... 20.35 c Sol. found (all assignments made)... 20.70 c Sol. found (all assignments made)... 20.95 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.29 c Sol. found (all assignments made)... 22.68 c Sol. found (all assignments made)... 23.43 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.44 o 9294848 23.44 c NEW SOLUTION FOUND: 9294848 @ 23.419 23.45 c Sol. found (all assignments made)... 23.45 c Sol. found (all assignments made)... 23.51 c Sol. found (all assignments made)... 23.54 c Sol. found (all assignments made)... 23.56 c Sol. found (all assignments made)... 23.58 c Sol. found (all assignments made)... 23.60 c Sol. found (all assignments made)... 23.74 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.75 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 c Sol. found (all assignments made)... 23.92 o 9281536 23.92 c NEW SOLUTION FOUND: 9281536 @ 23.901 23.97 c Sol. found (all assignments made)... 23.97 c Sol. found (all assignments made)... 24.05 c Sol. found (all assignments made)... 24.06 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.07 c Sol. found (all assignments made)... 24.10 c Sol. found (all assignments made)... 24.11 c Sol. found (all assignments made)... 24.18 c Sol. found (all assignments made)... 24.19 c Sol. found (all assignments made)... 24.19 c Sol. found (all assignments made)... 24.22 c Sol. found (all assignments made)... 24.23 c Sol. found (all assignments made)... 24.37 c Sol. found (all assignments made)... 24.49 c Sol. found (all assignments made)... 24.62 c Sol. found (all assignments made)... 24.65 c Sol. found (all assignments made)... 24.66 c Sol. found (all assignments made)... 24.73 c Sol. found (all assignments made)... 24.74 c Sol. found (all assignments made)... 24.86 c Sol. found (all assignments made)... 24.90 c Sol. found (all assignments made)... 24.96 c Sol. found (all assignments made)... 24.99 c Sol. found (all assignments made)... 25.01 c Sol. found (all assignments made)... 25.02 c Sol. found (all assignments made)... 25.11 c Sol. found (all assignments made)... 25.19 c Sol. found (all assignments made)... 25.21 c Sol. found (all assignments made)... 25.25 c Sol. found (all assignments made)... 25.26 c Sol. found (all assignments made)... 25.36 c Sol. found (all assignments made)... 25.37 c Sol. found (all assignments made)... 25.38 c Sol. found (all assignments made)... 25.42 c Sol. found (all assignments made)... 25.53 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.54 c Sol. found (all assignments made)... 25.59 c Sol. found (all assignments made)... 25.79 c Sol. found (all assignments made)... 25.81 c Sol. found (all assignments made)... 25.88 c Sol. found (all assignments made)... 25.92 c Sol. found (all assignments made)... 25.96 c Sol. found (all assignments made)... 25.98 c Sol. found (all assignments made)... 26.00 c Sol. found (all assignments made)... 26.01 c Sol. found (all assignments made)... 26.03 c Sol. found (all assignments made)... 26.04 c Sol. found (all assignments made)... 26.05 c Sol. found (all assignments made)... 26.20 c Sol. found (all assignments made)... 26.21 c Sol. found (all assignments made)... 26.22 c Sol. found (all assignments made)... 26.22 c Sol. found (all assignments made)... 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.24 c Sol. found (all assignments made)... 26.27 c Sol. found (all assignments made)... 26.29 c Sol. found (all assignments made)... 26.30 c Sol. found (all assignments made)... 26.39 c Sol. found (all assignments made)... 26.54 c Sol. found (all assignments made)... 26.65 c Sol. found (all assignments made)... 26.91 c Sol. found (all assignments made)... 26.98 c Sol. found (all assignments made)... 27.23 c Sol. found (all assignments made)... 27.27 c Sol. found (all assignments made)... 27.56 c Sol. found (all assignments made)... 27.56 c Sol. found (all assignments made)... 27.57 c Sol. found (all assignments made)... 28.03 c Sol. found (all assignments made)... 28.63 c Sol. found (all assignments made)... 28.70 c Sol. found (all assignments made)... 29.07 c Sol. found (all assignments made)... 29.10 c Sol. found (all assignments made)... 29.16 c Sol. found (all assignments made)... 29.24 c Sol. found (all assignments made)... 29.27 c Sol. found (all assignments made)... 29.55 c Sol. found (all assignments made)... 29.57 c Sol. found (all assignments made)... 29.67 c Sol. found (all assignments made)... 30.29 c Sol. found (all assignments made)... 30.31 c Sol. found (all assignments made)... 30.35 c Sol. found (all assignments made)... 30.49 c Restart #27 #Var: 1392 LB: 0 @ 30.464 31.97 c Restart #28 #Var: 1392 LB: 0 @ 31.946 34.99 c Restart #29 #Var: 1392 LB: 0 @ 34.97 37.15 c Restart #30 #Var: 1392 LB: 0 @ 37.121 38.48 c CHANGE to MIS mode... UB: 9281536 MIS: 0 LPR: -2147483648 (0) Diff: -0 38.48 c Restart #0 #Var: 1392 LB: 0 @ 38.46 38.72 c Restart #1 #Var: 1392 LB: 0 @ 38.695 39.15 c Restart #2 #Var: 1392 LB: 0 @ 39.12 39.71 c Restart #3 #Var: 1392 LB: 34 @ 39.688 39.96 c Restart #4 #Var: 1392 LB: 34 @ 39.936 41.05 c Restart #5 #Var: 1392 LB: 34 @ 41.022 41.37 c Restart #6 #Var: 1392 LB: 34 @ 41.341 41.77 c Restart #7 #Var: 1392 LB: 34 @ 41.745 43.65 c Restart #8 #Var: 1392 LB: 0 @ 43.624 45.84 c Restart #9 #Var: 1392 LB: 34 @ 45.814 48.06 c Restart #10 #Var: 1392 LB: 34 @ 48.033 48.89 c Restart #11 #Var: 1392 LB: 34 @ 48.858 51.90 c Restart #12 #Var: 1392 LB: 0 @ 51.868 55.64 c Restart #13 #Var: 1392 LB: 34 @ 55.605 58.16 c Restart #14 #Var: 1392 LB: 0 @ 58.13 64.14 c Restart #15 #Var: 1392 LB: 34 @ 64.107 65.08 c Restart #16 #Var: 1392 LB: 34 @ 65.047 72.11 c Restart #17 #Var: 1392 LB: 0 @ 72.08 73.54 c Restart #18 #Var: 1392 LB: 34 @ 73.505 79.33 c Restart #19 #Var: 1392 LB: 0 @ 79.289 84.35 c Restart #20 #Var: 1392 LB: 34 @ 84.314 85.84 c Restart #21 #Var: 1392 LB: 0 @ 85.806 91.73 c Restart #22 #Var: 1392 LB: 34 @ 91.694 100.05 c Restart #23 #Var: 1392 LB: 34 @ 100.01 107.67 c Restart #24 #Var: 1392 LB: 34 @ 107.62 115.64 c Restart #25 #Var: 1392 LB: 34 @ 115.59 122.03 c Restart #26 #Var: 1392 LB: 0 @ 121.98 132.90 c Restart #27 #Var: 1392 LB: 34 @ 132.85 141.66 c Restart #28 #Var: 1392 LB: 34 @ 141.61 170.72 c Restart #29 #Var: 1392 LB: 0 @ 170.66 187.64 c Restart #30 #Var: 1392 LB: 34 @ 187.58 212.31 c Restart #31 #Var: 1392 LB: 34 @ 212.24 222.51 c Restart #32 #Var: 1392 LB: 34 @ 222.43 247.10 c Restart #33 #Var: 1392 LB: 34 @ 247.02 268.51 c Restart #34 #Var: 1392 LB: 34 @ 268.42 285.14 c Restart #35 #Var: 1392 LB: 0 @ 285.05 305.63 c Restart #36 #Var: 1392 LB: 34 @ 305.53 323.81 c Restart #37 #Var: 1392 LB: 34 @ 323.7 344.92 c Restart #38 #Var: 1392 LB: 34 @ 344.81 358.39 c Restart #39 #Var: 1392 LB: 34 @ 358.27 371.34 c Restart #40 #Var: 1392 LB: 34 @ 371.23 386.75 c Restart #41 #Var: 1392 LB: 34 @ 386.63 401.34 c Restart #42 #Var: 1392 LB: 34 @ 401.22 411.73 c Restart #43 #Var: 1392 LB: 34 @ 411.6 436.31 c Restart #44 #Var: 1392 LB: 34 @ 436.18 452.46 c Restart #45 #Var: 1392 LB: 0 @ 452.32 482.10 c Restart #46 #Var: 1392 LB: 34 @ 481.96 517.57 c Restart #47 #Var: 1392 LB: 34 @ 517.42 530.89 c Restart #48 #Var: 1392 LB: 34 @ 530.73 548.53 c Restart #49 #Var: 1392 LB: 34 @ 548.36 551.37 c Restart #50 #Var: 1392 LB: 34 @ 551.2 573.60 c Restart #51 #Var: 1392 LB: 34 @ 573.43 576.95 c Restart #52 #Var: 1392 LB: 34 @ 576.77 611.96 c Restart #53 #Var: 1392 LB: 34 @ 611.77 615.66 c Restart #54 #Var: 1392 LB: 34 @ 615.47 653.91 c Restart #55 #Var: 1392 LB: 34 @ 653.71 677.60 c Restart #56 #Var: 1392 LB: 34 @ 677.4 692.04 c Restart #57 #Var: 1392 LB: 0 @ 691.83 696.35 c Restart #58 #Var: 1392 LB: 13 @ 696.15 699.16 c Restart #59 #Var: 1392 LB: 13 @ 698.95 707.20 c Restart #60 #Var: 1392 LB: 34 @ 706.99 731.60 c Restart #61 #Var: 1392 LB: 0 @ 731.38 743.09 c Restart #62 #Var: 1392 LB: 0 @ 742.87 746.73 c Restart #63 #Var: 1392 LB: 0 @ 746.51 767.60 c Restart #64 #Var: 1392 LB: 0 @ 767.37 785.33 c Restart #65 #Var: 1392 LB: 34 @ 785.09 789.76 c Restart #66 #Var: 1392 LB: 0 @ 789.53 793.11 c Restart #67 #Var: 1392 LB: 0 @ 792.88 831.71 c Restart #68 #Var: 1392 LB: 0 @ 831.47 855.68 c Restart #69 #Var: 1392 LB: 0 @ 855.43 902.67 c Restart #70 #Var: 1392 LB: 0 @ 902.41 937.60 c Restart #71 #Var: 1392 LB: 0 @ 937.32 980.80 c Restart #72 #Var: 1392 LB: 34 @ 980.52 1018.27 c Restart #73 #Var: 1392 LB: 34 @ 1018 1051.83 c Restart #74 #Var: 1392 LB: 34 @ 1051.5 1101.12 c Restart #75 #Var: 1392 LB: 0 @ 1100.8 1141.92 c Restart #76 #Var: 1392 LB: 0 @ 1141.6 1149.72 c Restart #77 #Var: 1392 LB: 34 @ 1149.4 1181.82 c Restart #78 #Var: 1392 LB: 0 @ 1181.5 1202.02 c Restart #79 #Var: 1392 LB: 0 @ 1201.7 1218.05 c Restart #80 #Var: 1392 LB: 34 @ 1217.7 1245.44 c Restart #81 #Var: 1392 LB: 34 @ 1245.1 1256.95 c Restart #82 #Var: 1392 LB: 0 @ 1256.6 1274.82 c Restart #83 #Var: 1392 LB: 0 @ 1274.5 1292.66 c Restart #84 #Var: 1392 LB: 0 @ 1292.3 1298.40 c Restart #85 #Var: 1392 LB: 0 @ 1298 1322.62 c Restart #86 #Var: 1392 LB: 0 @ 1322.2 1345.32 c Restart #87 #Var: 1392 LB: 34 @ 1344.9 1367.37 c Restart #88 #Var: 1392 LB: 34 @ 1367 1425.04 c Restart #89 #Var: 1392 LB: 34 @ 1424.6 1460.72 c Restart #90 #Var: 1392 LB: 0 @ 1460.3 1485.22 c Restart #91 #Var: 1392 LB: 0 @ 1484.8 1511.69 c Restart #92 #Var: 1392 LB: 34 @ 1511.3 1542.04 c Restart #93 #Var: 1392 LB: 0 @ 1541.6 1569.24 c Restart #94 #Var: 1392 LB: 0 @ 1568.8 1616.54 c Restart #95 #Var: 1392 LB: 0 @ 1616.1 1657.48 c Restart #96 #Var: 1392 LB: 0 @ 1656.9 1691.65 c Restart #97 #Var: 1392 LB: 34 @ 1691.1 1724.13 c Restart #98 #Var: 1392 LB: 0 @ 1723.6 1747.09 c Restart #99 #Var: 1392 LB: 34 @ 1746.5 1783.40 c Restart #100 #Var: 1392 LB: 34 @ 1782.8 1800.59 s SATISFIABLE 1800.59 c Cost: 9281536 1800.59 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.59 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.59 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1800.59 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.59 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.59 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1800.59 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 1800.59 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.59 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.59 v -x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.59 v -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 1800.59 v -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1800.59 v -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.59 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 1800.59 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.59 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 1800.59 v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 1800.59 v -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.59 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1800.59 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 1800.59 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.59 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1800.59 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 1800.59 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1800.59 v -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1800.59 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1800.59 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 1800.59 v -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1800.59 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1800.59 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.59 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.59 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.59 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.59 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.59 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1800.59 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1800.59 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1800.59 v -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.59 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.59 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.59 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.59 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.59 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.59 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 1800.59 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1800.59 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 x763 -x764 -x765 -x766 1800.59 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1800.59 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1800.59 v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 1800.59 v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1800.59 v -x851 x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1800.59 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 1800.59 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 1800.59 v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 1800.59 v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 1800.59 v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.59 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 1800.59 v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.59 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.59 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.59 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.59 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.59 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.59 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.59 v -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.59 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.59 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.59 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.59 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.59 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.59 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.59 v -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1800.59 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.59 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1800.59 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.59 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 1800.59 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.59 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.59 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.59 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.59 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.59 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 -x1483 -x1484 1800.59 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1800.59 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.59 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1800.59 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.59 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.59 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.59 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.59 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.59 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.59 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.59 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.59 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.59 v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1800.59 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 1800.59 v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1800.59 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.59 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 1800.59 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1800.59 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 1800.59 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 1800.59 v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 1800.59 v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 1800.59 v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1800.59 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 1800.59 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.59 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.59 v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 1800.59 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1800.59 v -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1800.59 v -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1800.59 v -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 1800.59 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 1800.59 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1800.59 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.59 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 1800.59 v -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 1800.59 v -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 1800.59 v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 1800.59 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 1800.59 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 1800.59 v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 1800.59 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 1800.59 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1800.59 v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 1800.59 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1800.59 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1800.59 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 1800.59 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.59 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1800.59 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 1800.59 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1800.59 v -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.59 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.59 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.59 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.59 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.59 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.59 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.59 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.59 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1800.59 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1800.59 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1800.59 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1800.59 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1800.59 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.59 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 1800.59 v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 1800.59 v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1800.59 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 1800.59 v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 1800.59 v -x2795 -x2796 -x2797 -x2798 -x2799 x2800 x2801 -x2802 x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1800.59 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1800.59 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1800.59 v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 1800.59 v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1800.59 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 1800.59 v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 1800.59 v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 1800.59 v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 1800.59 v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 1800.59 v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1800.59 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1800.59 v x3001 x3002 -x3013 -x3024 -x3035 -x3046 x3057 x3068 -x3079 -x3090 x3003 x3004 -x3005 x3006 x3007 -x3008 x3009 -x3010 x3011 1800.59 v -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 x3020 -x3021 -x3022 -x3023 -x3025 x3026 -x3027 -x3028 x3029 x3030 -x3031 1800.59 v -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 x3042 x3043 -x3044 -x3045 x3047 x3048 -x3049 x3050 x3051 1800.59 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 -x3064 x3065 -x3066 x3067 -x3069 -x3070 x3071 1800.59 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3091 1800.59 v -x3092 -x3093 x3094 -x3095 x3096 x3097 -x3098 -x3099 -x3100 1800.59 c Exit Code: 10 1800.59 c Total time: 1800 s
OK 9281536
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/node62/watcher-40528-1149302044 -o ROOT/results/node62/solver-40528-1149302044 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/40528-1149302044/instance-40528-1149302044.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.71 0.91 0.91 2/64 9464 /proc/meminfo: memFree=1573464/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=4928 CPUtime=0 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 345 0 0 0 0 0 0 0 19 0 1 0 39407908 5046272 309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159119380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 1232 320 217 55 0 124 0 [startup+10.0025 s] /proc/loadavg: 0.76 0.91 0.91 2/64 9464 /proc/meminfo: memFree=1568920/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=9080 CPUtime=9.98 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 1505 0 0 0 993 5 0 0 25 0 1 0 39407908 9297920 1420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 2270 1420 297 55 0 1162 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9080 [startup+20.0087 s] /proc/loadavg: 0.79 0.92 0.91 2/64 9464 /proc/meminfo: memFree=1563416/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=14536 CPUtime=19.98 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 2874 0 0 0 1991 7 0 0 25 0 1 0 39407908 14884864 2787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 3634 2787 298 55 0 2526 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14536 [startup+30.0149 s] /proc/loadavg: 0.82 0.92 0.91 2/64 9464 /proc/meminfo: memFree=1555992/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=21908 CPUtime=29.99 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 4731 0 0 0 2990 9 0 0 25 0 1 0 39407908 22433792 4641 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5477 4641 298 55 0 4369 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 21908 [startup+40.0211 s] /proc/loadavg: 0.85 0.92 0.91 2/64 9464 /proc/meminfo: memFree=1555672/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=22172 CPUtime=39.98 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 4802 0 0 0 3988 10 0 0 25 0 1 0 39407908 22704128 4712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5543 4712 298 55 0 4435 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 22172 [startup+50.0273 s] /proc/loadavg: 0.87 0.92 0.91 2/64 9464 /proc/meminfo: memFree=1555480/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=22224 CPUtime=49.99 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 4899 0 0 0 4987 12 0 0 25 0 1 0 39407908 22757376 4728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8540134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5556 4728 298 55 0 4448 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 22224 [startup+60.0334 s] /proc/loadavg: 0.89 0.92 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=59.99 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5104 0 0 0 5987 12 0 0 25 0 1 0 39407908 23638016 4933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4933 298 55 0 4663 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 23084 [startup+70.0396 s] /proc/loadavg: 0.91 0.93 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=70 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5105 0 0 0 6987 13 0 0 25 0 1 0 39407908 23638016 4934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4934 298 55 0 4663 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 23084 [startup+80.0458 s] /proc/loadavg: 0.92 0.93 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=80 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5105 0 0 0 7986 14 0 0 25 0 1 0 39407908 23638016 4934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4934 298 55 0 4663 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 23084 [startup+90.051 s] /proc/loadavg: 0.93 0.93 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=90 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5105 0 0 0 8986 14 0 0 25 0 1 0 39407908 23638016 4934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4934 298 55 0 4663 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 23084 [startup+100.057 s] /proc/loadavg: 0.94 0.93 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=100.01 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5105 0 0 0 9986 15 0 0 25 0 1 0 39407908 23638016 4934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4934 298 55 0 4663 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 23084 [startup+110.063 s] /proc/loadavg: 0.95 0.93 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=110.01 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5105 0 0 0 10986 15 0 0 25 0 1 0 39407908 23638016 4934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4934 298 55 0 4663 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 23084 [startup+120.07 s] /proc/loadavg: 0.96 0.94 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=120.02 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5105 0 0 0 11986 16 0 0 25 0 1 0 39407908 23638016 4934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4934 298 55 0 4663 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 23084 [startup+130.076 s] /proc/loadavg: 0.96 0.94 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=130.01 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5105 0 0 0 12985 16 0 0 25 0 1 0 39407908 23638016 4934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4934 298 55 0 4663 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 23084 [startup+140.083 s] /proc/loadavg: 0.97 0.94 0.91 2/64 9464 /proc/meminfo: memFree=1554776/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=140.03 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5116 0 0 0 13985 18 0 0 25 0 1 0 39407908 23638016 4943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4943 298 55 0 4663 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 23084 [startup+150.088 s] /proc/loadavg: 0.97 0.94 0.91 2/64 9464 /proc/meminfo: memFree=1554776/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=150.03 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5116 0 0 0 14985 18 0 0 25 0 1 0 39407908 23638016 4943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4943 298 55 0 4663 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 23084 [startup+160.094 s] /proc/loadavg: 0.98 0.94 0.91 2/64 9464 /proc/meminfo: memFree=1554776/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=160.03 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5116 0 0 0 15985 18 0 0 25 0 1 0 39407908 23638016 4943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4943 298 55 0 4663 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 23084 [startup+170.101 s] /proc/loadavg: 0.98 0.94 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=170.03 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5116 0 0 0 16985 18 0 0 25 0 1 0 39407908 23638016 4943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4943 298 55 0 4663 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 23084 [startup+180.107 s] /proc/loadavg: 0.98 0.94 0.91 2/64 9464 /proc/meminfo: memFree=1554840/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=180.03 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5116 0 0 0 17985 18 0 0 25 0 1 0 39407908 23638016 4943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4943 298 55 0 4663 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 23084 [startup+190.113 s] /proc/loadavg: 0.98 0.95 0.91 2/64 9464 /proc/meminfo: memFree=1554776/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=190.04 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5116 0 0 0 18986 18 0 0 25 0 1 0 39407908 23638016 4943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4943 298 55 0 4663 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 23084 [startup+200.119 s] /proc/loadavg: 0.99 0.95 0.91 2/64 9464 /proc/meminfo: memFree=1554776/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=23084 CPUtime=200.04 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5116 0 0 0 19986 18 0 0 25 0 1 0 39407908 23638016 4943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 5771 4943 298 55 0 4663 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 23084 [startup+210.124 s] /proc/loadavg: 0.99 0.95 0.91 2/64 9464 /proc/meminfo: memFree=1554776/2055920 swapFree=4191908/4192956 ################ # More data... # ################ /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1760.49 Current children cumulated vsize (Kb) 24096 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1770.49 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 176974 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 24096 [startup+1781.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1780.5 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 177975 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1780.5 Current children cumulated vsize (Kb) 24096 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1781.5 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178075 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 24096 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1782.51 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178176 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 24096 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1783.51 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178276 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8539688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1783.51 Current children cumulated vsize (Kb) 24096 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1784.51 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178376 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8540134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 24096 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1785.52 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178477 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (Kb) 24096 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1786.52 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178577 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 24096 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1787.53 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178678 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 24096 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1788.53 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178778 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 24096 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1789.54 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178879 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (Kb) 24096 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1790.54 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 178979 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 24096 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553304/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1791.55 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179080 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8540866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 24096 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553368/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1792.55 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179180 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1792.55 Current children cumulated vsize (Kb) 24096 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553368/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1793.56 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179281 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 24096 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553368/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1794.56 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179381 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 24096 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553368/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1795.56 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179481 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 24096 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553368/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1796.57 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179582 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1796.57 Current children cumulated vsize (Kb) 24096 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553368/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1797.57 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179682 75 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1797.57 Current children cumulated vsize (Kb) 24096 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553432/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1798.59 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179783 76 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 24096 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 9659 /proc/meminfo: memFree=1553432/2055920 swapFree=4191908/4192956 [pid=9464] ppid=9462 vsize=24096 CPUtime=1799.59 /proc/9464/stat : 9464 (bsolo) R 9462 9464 9418 0 -1 0 5700 0 0 0 179883 76 0 0 25 0 1 0 39407908 24674304 5196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9464/statm: 6024 5196 298 55 0 4916 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 24096 Child status: 10 Real time (s): 1800.6 CPU time (s): 1800.01 CPU user time (s): 1799.25 CPU system time (s): 0.764883 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (Kb): 24096
Begin job on node62 on Sat Jun 3 02:34:04 UTC 2006 FILE ID= 40528-1149302044 PBS_JOBID= 307426 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/40528-1149302044/instance-40528-1149302044.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-40528-1149302044 -o ROOT/results/node62/solver-40528-1149302044 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/40528-1149302044/instance-40528-1149302044.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478 RANDOM SEED= 679230399 /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.225 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.225 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: 1573672 kB Buffers: 32172 kB Cached: 372128 kB SwapCached: 572 kB Active: 43928 kB Inactive: 374588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1573672 kB SwapTotal: 4192956 kB SwapFree: 4191908 kB Dirty: 216 kB Writeback: 0 kB Mapped: 23728 kB Slab: 49744 kB Committed_AS: 245112 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node62 on Sat Jun 3 03:04:04 UTC 2006