Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -7 | 1800.02 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb |
MD5SUM | aaad086a46811221a1e6b3eb30cad49d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 2.03269 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 1340 |
Total number of constraints | 207 |
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 | 207 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 425 |
Number of terms in the objective function | 425 |
Biggest coefficient in the objective function | 10486 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 524475 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262137 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524482 |
Number of bits of the biggest sum of numbers | 20 |
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.06 c Initial problem consists of 1340 variables and 209 constraints. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.058 0.07 c After prepocess the problem consists of 549 variables and 184 constraints. 0.07 c Initial Lower Bound: -63 0.07 c Sol. found (all assignments made)... 0.07 o -1 0.07 c NEW SOLUTION FOUND: -1 @ 0.06 0.07 c Sol. found (all assignments made)... 0.07 o -3 0.07 c NEW SOLUTION FOUND: -3 @ 0.06 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 o -5 0.07 c NEW SOLUTION FOUND: -5 @ 0.061 0.07 c Sol. found (all assignments made)... 0.07 c Sol. found (all assignments made)... 0.07 o -7 0.07 c NEW SOLUTION FOUND: -7 @ 0.063 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.09 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.10 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.11 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.12 c Sol. found (all assignments made)... 0.14 c Sol. found (all assignments made)... 0.14 c Restart #1 #Var: 549 LB: -63 @ 0.133 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.15 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.16 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.17 c Sol. found (all assignments made)... 0.18 c Sol. found (all assignments made)... 0.19 c Sol. found (all assignments made)... 0.21 c Sol. found (all assignments made)... 0.23 c Sol. found (all assignments made)... 0.24 c Sol. found (all assignments made)... 0.26 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.27 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.31 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.32 c Sol. found (all assignments made)... 0.33 c Restart #2 #Var: 549 LB: -63 @ 0.315 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.34 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.35 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.36 c Sol. found (all assignments made)... 0.37 c Sol. found (all assignments made)... 0.39 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.42 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.45 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.49 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.50 c Sol. found (all assignments made)... 0.51 c Sol. found (all assignments made)... 0.53 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.54 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.55 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.56 c Sol. found (all assignments made)... 0.57 c Sol. found (all assignments made)... 0.60 c Sol. found (all assignments made)... 0.61 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.62 c Restart #3 #Var: 549 LB: -63 @ 0.609 0.62 c Sol. found (all assignments made)... 0.62 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.63 c Sol. found (all assignments made)... 0.64 c Sol. found (all assignments made)... 0.65 c Sol. found (all assignments made)... 0.66 c Sol. found (all assignments made)... 0.67 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.69 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.70 c Sol. found (all assignments made)... 0.73 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.75 c Sol. found (all assignments made)... 0.76 c Sol. found (all assignments made)... 0.78 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.79 c Sol. found (all assignments made)... 0.80 c Sol. found (all assignments made)... 0.82 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.83 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.84 c Sol. found (all assignments made)... 0.85 c Sol. found (all assignments made)... 0.87 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.89 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.90 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.91 c Sol. found (all assignments made)... 0.92 c Sol. found (all assignments made)... 0.93 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.97 c Sol. found (all assignments made)... 0.97 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)... 1.00 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.04 c Restart #4 #Var: 549 LB: -63 @ 1.022 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.04 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.05 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.06 c Sol. found (all assignments made)... 1.07 c Sol. found (all assignments made)... 1.09 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.15 c Sol. found (all assignments made)... 1.16 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.17 c Sol. found (all assignments made)... 1.19 c Sol. found (all assignments made)... 1.20 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.22 c Sol. found (all assignments made)... 1.23 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.25 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.26 c Sol. found (all assignments made)... 1.27 c Sol. found (all assignments made)... 1.29 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.30 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.32 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.36 c Sol. found (all assignments made)... 1.37 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.38 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.39 c Sol. found (all assignments made)... 1.40 c Sol. found (all assignments made)... 1.41 c Sol. found (all assignments made)... 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.42 c Sol. found (all assignments made)... 1.42 c Sol. found (all assignments made)... 1.43 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.47 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.49 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.52 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.54 c Sol. found (all assignments made)... 1.55 c Sol. found (all assignments made)... 1.55 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.66 c CHANGE to MIS mode... UB: -7 MIS: -29 LPR: -7 (0.025667) Diff: 4.1429 1.66 c Restart #0 #Var: 549 LB: -63 @ 1.647 1.75 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.77 c Sol. found (all assignments made)... 1.79 c Restart #1 #Var: 549 LB: -29 @ 1.774 1.88 c Sol. found (all assignments made)... 1.89 c Sol. found (all assignments made)... 1.90 c Sol. found (all assignments made)... 1.92 c Sol. found (all assignments made)... 1.93 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.96 c Sol. found (all assignments made)... 1.97 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.00 c Sol. found (all assignments made)... 2.01 c Sol. found (all assignments made)... 2.02 c Sol. found (all assignments made)... 2.05 c Restart #2 #Var: 549 LB: -29 @ 2.027 2.13 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.15 c Sol. found (all assignments made)... 2.18 c Sol. found (all assignments made)... 2.19 c Sol. found (all assignments made)... 2.21 c Sol. found (all assignments made)... 2.22 c Sol. found (all assignments made)... 2.23 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.26 c Sol. found (all assignments made)... 2.27 c Sol. found (all assignments made)... 2.28 c Sol. found (all assignments made)... 2.31 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.32 c Sol. found (all assignments made)... 2.33 c Sol. found (all assignments made)... 2.34 c Sol. found (all assignments made)... 2.39 c Sol. found (all assignments made)... 2.40 c Sol. found (all assignments made)... 2.41 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.42 c Sol. found (all assignments made)... 2.43 c Restart #3 #Var: 549 LB: -29 @ 2.412 2.52 c Sol. found (all assignments made)... 2.53 c Sol. found (all assignments made)... 2.54 c Sol. found (all assignments made)... 2.56 c Sol. found (all assignments made)... 2.57 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.60 c Sol. found (all assignments made)... 2.61 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.64 c Sol. found (all assignments made)... 2.65 c Sol. found (all assignments made)... 2.66 c Sol. found (all assignments made)... 2.69 c Sol. found (all assignments made)... 2.70 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.71 c Sol. found (all assignments made)... 2.73 c Sol. found (all assignments made)... 2.77 c Sol. found (all assignments made)... 2.78 c Sol. found (all assignments made)... 2.79 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.80 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.82 c Sol. found (all assignments made)... 2.83 c Sol. found (all assignments made)... 2.84 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.85 c Sol. found (all assignments made)... 2.86 c Sol. found (all assignments made)... 2.87 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.88 c Sol. found (all assignments made)... 2.89 c Sol. found (all assignments made)... 2.90 c Sol. found (all assignments made)... 2.94 c Restart #4 #Var: 549 LB: -29 @ 2.926 3.03 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.05 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.08 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.12 c Sol. found (all assignments made)... 3.13 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.17 c Sol. found (all assignments made)... 3.18 c Sol. found (all assignments made)... 3.18 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.25 c Sol. found (all assignments made)... 3.26 c Sol. found (all assignments made)... 3.30 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.31 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.33 c Sol. found (all assignments made)... 3.34 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.38 c Sol. found (all assignments made)... 3.38 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.39 c Sol. found (all assignments made)... 3.40 c Sol. found (all assignments made)... 3.41 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.42 c Sol. found (all assignments made)... 3.52 c Sol. found (all assignments made)... 3.54 c Restart #5 #Var: 549 LB: -29 @ 3.518 3.64 c Sol. found (all assignments made)... 3.81 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.84 c Sol. found (all assignments made)... 3.84 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.86 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.87 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.88 c Sol. found (all assignments made)... 3.89 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.90 c Sol. found (all assignments made)... 3.92 c Sol. found (all assignments made)... 3.98 c Restart #6 #Var: 549 LB: -29 @ 3.964 4.43 c Restart #7 #Var: 549 LB: -29 @ 4.408 5.43 c Restart #8 #Var: 549 LB: -29 @ 5.414 6.35 c Restart #9 #Var: 549 LB: -29 @ 6.33 7.39 c Restart #10 #Var: 549 LB: -29 @ 7.37 8.45 c Restart #11 #Var: 549 LB: -29 @ 8.426 9.76 c Restart #12 #Var: 549 LB: -29 @ 9.735 11.00 c Restart #13 #Var: 549 LB: -29 @ 10.978 12.51 c Restart #14 #Var: 549 LB: -29 @ 12.485 14.05 c Restart #15 #Var: 549 LB: -29 @ 14.023 15.93 c Restart #16 #Var: 549 LB: -29 @ 15.902 17.72 c Restart #17 #Var: 549 LB: -29 @ 17.69 19.43 c Restart #18 #Var: 549 LB: -29 @ 19.403 21.16 c Restart #19 #Var: 549 LB: -29 @ 21.133 23.23 c Restart #20 #Var: 549 LB: -29 @ 23.202 25.52 c Restart #21 #Var: 549 LB: -29 @ 25.488 27.97 c Restart #22 #Var: 549 LB: -29 @ 27.937 30.30 c Restart #23 #Var: 549 LB: -29 @ 30.268 33.12 c Restart #24 #Var: 549 LB: -29 @ 33.087 36.00 c Restart #25 #Var: 549 LB: -29 @ 35.968 38.60 c Restart #26 #Var: 549 LB: -29 @ 38.562 43.01 c Restart #27 #Var: 549 LB: -29 @ 42.972 48.33 c Restart #28 #Var: 549 LB: -29 @ 48.297 52.96 c Restart #29 #Var: 549 LB: -29 @ 52.925 55.79 c Restart #30 #Var: 549 LB: -29 @ 55.754 58.74 c Restart #31 #Var: 549 LB: -29 @ 58.701 62.40 c Restart #32 #Var: 549 LB: -29 @ 62.362 65.45 c Restart #33 #Var: 549 LB: -29 @ 65.413 68.65 c Restart #34 #Var: 549 LB: -29 @ 68.612 72.91 c Restart #35 #Var: 549 LB: -29 @ 72.865 76.34 c Restart #36 #Var: 549 LB: -29 @ 76.297 80.58 c Restart #37 #Var: 549 LB: -29 @ 80.534 84.63 c Restart #38 #Var: 549 LB: -29 @ 84.587 88.30 c Restart #39 #Var: 549 LB: -29 @ 88.252 91.82 c Restart #40 #Var: 549 LB: -29 @ 91.768 96.43 c Restart #41 #Var: 549 LB: -29 @ 96.377 100.29 c Restart #42 #Var: 549 LB: -29 @ 100.24 105.57 c Restart #43 #Var: 549 LB: -29 @ 105.52 110.40 c Restart #44 #Var: 549 LB: -29 @ 110.35 115.16 c Restart #45 #Var: 549 LB: -29 @ 115.1 120.89 c Restart #46 #Var: 549 LB: -29 @ 120.83 125.84 c Restart #47 #Var: 549 LB: -29 @ 125.78 130.58 c Restart #48 #Var: 549 LB: -29 @ 130.53 136.45 c Restart #49 #Var: 549 LB: -29 @ 136.39 141.31 c Restart #50 #Var: 549 LB: -29 @ 141.25 146.71 c Restart #51 #Var: 549 LB: -29 @ 146.65 153.12 c Restart #52 #Var: 549 LB: -29 @ 153.06 158.52 c Restart #53 #Var: 549 LB: -29 @ 158.46 163.83 c Restart #54 #Var: 549 LB: -29 @ 163.76 170.36 c Restart #55 #Var: 549 LB: -29 @ 170.29 175.82 c Restart #56 #Var: 549 LB: -29 @ 175.75 182.42 c Restart #57 #Var: 549 LB: -29 @ 182.35 187.97 c Restart #58 #Var: 549 LB: -29 @ 187.89 195.09 c Restart #59 #Var: 549 LB: -29 @ 195.01 200.83 c Restart #60 #Var: 549 LB: -29 @ 200.75 207.78 c Restart #61 #Var: 549 LB: -29 @ 207.7 214.05 c Restart #62 #Var: 549 LB: -29 @ 213.97 220.71 c Restart #63 #Var: 549 LB: -29 @ 220.63 227.17 c Restart #64 #Var: 549 LB: -29 @ 227.09 235.13 c Restart #65 #Var: 549 LB: -29 @ 235.04 241.64 c Restart #66 #Var: 549 LB: -29 @ 241.55 250.20 c Restart #67 #Var: 549 LB: -29 @ 250.11 257.42 c Restart #68 #Var: 549 LB: -29 @ 257.33 265.70 c Restart #69 #Var: 549 LB: -29 @ 265.61 272.52 c Restart #70 #Var: 549 LB: -29 @ 272.42 281.14 c Restart #71 #Var: 549 LB: -29 @ 281.05 288.47 c Restart #72 #Var: 549 LB: -29 @ 288.37 297.39 c Restart #73 #Var: 549 LB: -29 @ 297.28 305.20 c Restart #74 #Var: 549 LB: -29 @ 305.1 313.16 c Restart #75 #Var: 549 LB: -29 @ 313.05 323.43 c Restart #76 #Var: 549 LB: -29 @ 323.32 332.71 c Restart #77 #Var: 549 LB: -29 @ 332.6 342.86 c Restart #78 #Var: 549 LB: -29 @ 342.75 351.60 c Restart #79 #Var: 549 LB: -29 @ 351.49 353.76 c Sol. found (all assignments made)... 362.41 c Restart #80 #Var: 549 LB: -29 @ 362.29 364.10 c Sol. found (all assignments made)... 365.67 c Sol. found (all assignments made)... 373.95 c Restart #81 #Var: 549 LB: -29 @ 373.83 382.26 c Restart #82 #Var: 549 LB: -29 @ 382.13 392.45 c Restart #83 #Var: 549 LB: -29 @ 392.32 400.36 c Restart #84 #Var: 549 LB: -29 @ 400.23 410.07 c Restart #85 #Var: 549 LB: -29 @ 409.94 421.84 c Restart #86 #Var: 549 LB: -29 @ 421.7 423.06 c Sol. found (all assignments made)... 424.43 c Sol. found (all assignments made)... 432.62 c Restart #87 #Var: 549 LB: -29 @ 432.48 445.08 c Restart #88 #Var: 549 LB: -29 @ 444.94 456.20 c Restart #89 #Var: 549 LB: -29 @ 456.06 468.78 c Restart #90 #Var: 549 LB: -29 @ 468.63 478.93 c Restart #91 #Var: 549 LB: -29 @ 478.78 489.48 c Restart #92 #Var: 549 LB: -29 @ 489.32 498.56 c Restart #93 #Var: 549 LB: -29 @ 498.41 510.36 c Restart #94 #Var: 549 LB: -29 @ 510.2 522.57 c Restart #95 #Var: 549 LB: -29 @ 522.41 534.97 c Restart #96 #Var: 549 LB: -29 @ 534.8 544.17 c Restart #97 #Var: 549 LB: -29 @ 544 556.96 c Restart #98 #Var: 549 LB: -29 @ 556.79 566.81 c Restart #99 #Var: 549 LB: -29 @ 566.64 579.36 c Restart #100 #Var: 549 LB: -29 @ 579.19 590.30 c Restart #101 #Var: 549 LB: -29 @ 590.12 601.36 c Restart #102 #Var: 549 LB: -29 @ 601.18 610.97 c Restart #103 #Var: 549 LB: -29 @ 610.79 624.04 c Restart #104 #Var: 549 LB: -29 @ 623.85 633.76 c Restart #105 #Var: 549 LB: -29 @ 633.57 647.72 c Restart #106 #Var: 549 LB: -29 @ 647.53 657.61 c Restart #107 #Var: 549 LB: -29 @ 657.41 671.39 c Restart #108 #Var: 549 LB: -29 @ 671.19 682.82 c Restart #109 #Var: 549 LB: -29 @ 682.62 694.47 c Restart #110 #Var: 549 LB: -29 @ 694.26 714.45 c Restart #111 #Var: 549 LB: -29 @ 714.24 725.22 c Restart #112 #Var: 549 LB: -29 @ 725.01 738.11 c Restart #113 #Var: 549 LB: -29 @ 737.89 752.70 c Restart #114 #Var: 549 LB: -29 @ 752.48 762.97 c Restart #115 #Var: 549 LB: -29 @ 762.75 774.81 c Restart #116 #Var: 549 LB: -29 @ 774.59 786.83 c Restart #117 #Var: 549 LB: -29 @ 786.6 798.62 c Restart #118 #Var: 549 LB: -29 @ 798.39 810.85 c Restart #119 #Var: 549 LB: -29 @ 810.61 825.29 c Restart #120 #Var: 549 LB: -29 @ 825.04 840.82 c Restart #121 #Var: 549 LB: -29 @ 840.57 852.47 c Restart #122 #Var: 549 LB: -29 @ 852.22 869.50 c Restart #123 #Var: 549 LB: -29 @ 869.25 880.48 c Restart #124 #Var: 549 LB: -29 @ 880.22 897.57 c Restart #125 #Var: 549 LB: -29 @ 897.3 909.25 c Restart #126 #Var: 549 LB: -29 @ 908.98 925.95 c Restart #127 #Var: 549 LB: -29 @ 925.67 938.08 c Restart #128 #Var: 549 LB: -29 @ 937.81 956.20 c Restart #129 #Var: 549 LB: -29 @ 955.91 968.06 c Restart #130 #Var: 549 LB: -29 @ 967.78 985.24 c Restart #131 #Var: 549 LB: -29 @ 984.95 997.71 c Restart #132 #Var: 549 LB: -29 @ 997.41 1015.38 c Restart #133 #Var: 549 LB: -29 @ 1015.1 1027.82 c Restart #134 #Var: 549 LB: -29 @ 1027.5 1041.42 c Restart #135 #Var: 549 LB: -29 @ 1041.1 1055.59 c Restart #136 #Var: 549 LB: -29 @ 1055.3 1074.73 c Restart #137 #Var: 549 LB: -29 @ 1074.4 1086.01 c Restart #138 #Var: 549 LB: -29 @ 1085.7 1102.49 c Restart #139 #Var: 549 LB: -29 @ 1102.2 1115.86 c Restart #140 #Var: 549 LB: -29 @ 1115.5 1130.59 c Restart #141 #Var: 549 LB: -29 @ 1130.3 1145.29 c Restart #142 #Var: 549 LB: -29 @ 1145 1160.12 c Restart #143 #Var: 549 LB: -29 @ 1159.8 1172.48 c Restart #144 #Var: 549 LB: -29 @ 1172.1 1187.45 c Restart #145 #Var: 549 LB: -29 @ 1187.1 1206.70 c Restart #146 #Var: 549 LB: -29 @ 1206.3 1218.60 c Restart #147 #Var: 549 LB: -29 @ 1218.2 1237.92 c Restart #148 #Var: 549 LB: -29 @ 1237.6 1250.17 c Restart #149 #Var: 549 LB: -29 @ 1249.8 1269.41 c Restart #150 #Var: 549 LB: -29 @ 1269 1286.74 c Restart #151 #Var: 549 LB: -29 @ 1286.4 1299.74 c Restart #152 #Var: 549 LB: -29 @ 1299.4 1319.48 c Restart #153 #Var: 549 LB: -29 @ 1319.1 1332.21 c Restart #154 #Var: 549 LB: -29 @ 1331.8 1349.39 c Restart #155 #Var: 549 LB: -29 @ 1349 1362.22 c Restart #156 #Var: 549 LB: -29 @ 1361.8 1380.97 c Restart #157 #Var: 549 LB: -29 @ 1380.6 1394.88 c Restart #158 #Var: 549 LB: -29 @ 1394.5 1414.06 c Restart #159 #Var: 549 LB: -29 @ 1413.7 1427.36 c Restart #160 #Var: 549 LB: -29 @ 1427 1447.00 c Restart #161 #Var: 549 LB: -29 @ 1446.6 1464.66 c Restart #162 #Var: 549 LB: -29 @ 1464.2 1483.69 c Restart #163 #Var: 549 LB: -29 @ 1483.3 1497.24 c Restart #164 #Var: 549 LB: -29 @ 1496.8 1522.69 c Restart #165 #Var: 549 LB: -29 @ 1522.3 1536.92 c Restart #166 #Var: 549 LB: -29 @ 1536.5 1563.91 c Restart #167 #Var: 549 LB: -29 @ 1563.5 1578.52 c Restart #168 #Var: 549 LB: -29 @ 1578.1 1608.11 c Restart #169 #Var: 549 LB: -29 @ 1607.7 1628.54 c Restart #170 #Var: 549 LB: -29 @ 1628.1 1648.73 c Restart #171 #Var: 549 LB: -29 @ 1648.3 1682.96 c Restart #172 #Var: 549 LB: -29 @ 1682.5 1701.48 c Restart #173 #Var: 549 LB: -29 @ 1701 1727.38 c Restart #174 #Var: 549 LB: -29 @ 1726.9 1749.13 c Restart #175 #Var: 549 LB: -29 @ 1748.6 1773.47 c Restart #176 #Var: 549 LB: -29 @ 1773 1789.94 c Restart #177 #Var: 549 LB: -29 @ 1789.4 1800.51 s SATISFIABLE 1800.51 c Cost: -7 1800.51 v -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x923 -x924 -x925 x926 1800.51 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 1800.51 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 1800.51 v -x971 -x972 -x973 -x974 -x975 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.51 v -x994 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.51 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1800.51 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.51 v -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1800.51 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 1800.51 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1800.51 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 1800.51 v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 1800.51 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.51 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.51 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.51 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.51 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1800.51 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.51 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.51 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.51 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1800.51 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 1800.51 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.51 v -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x922 -x885 x1049 -x260 -x261 -x262 -x263 -x264 -x265 1800.51 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1800.51 v -x287 -x288 -x289 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 1800.51 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x886 -x1340 -x291 -x292 -x293 -x294 -x295 -x296 1800.51 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1800.51 v -x318 -x319 -x320 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1800.51 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x1067 -x1086 -x321 -x322 -x323 -x324 -x325 -x326 1800.51 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1800.51 v -x348 -x349 -x350 -x1104 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 1800.51 v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x1122 -x381 -x382 -x383 -x384 -x385 1800.51 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.51 v -x407 -x408 -x409 -x410 -x1140 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1800.51 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x1158 -x441 -x442 -x443 -x444 1800.51 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.51 v -x466 -x467 -x468 -x469 -x470 x940 -x887 -x1177 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.51 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x888 -x1195 -x501 1800.51 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 1800.51 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x889 -x1213 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 1800.51 v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x890 1800.51 v -x1231 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 1800.51 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x892 -x1249 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.51 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1800.51 v -x620 -x621 -x958 -x893 -x1268 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.51 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x894 -x1286 -x652 -x653 -x654 1800.51 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1800.51 v -x676 -x677 -x678 -x679 -x680 -x681 -x895 -x1304 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.51 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x896 -x1322 1800.51 v -x897 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1800.51 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 1800.51 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x976 -x832 1800.51 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 1800.51 v -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x898 -x899 -x900 -x901 -x903 -x1 -x995 -x20 -x21 -x22 -x23 -x24 -x25 -x26 1800.51 v -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x170 -x171 1800.51 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.51 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 x904 -x869 -x1013 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 1800.51 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1800.51 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1800.51 v -x228 -x229 -x880 -x1031 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 1800.51 v -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1800.51 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x891 -x110 1800.51 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1800.51 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x902 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.51 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x977 -x1068 1800.51 v -x1159 -x1250 -x2 -x290 -x591 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 1800.51 v -x879 -x881 -x882 -x883 -x884 1800.51 c Exit Code: 10 1800.51 c Total time: 1800 s
OK -7
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/node43/watcher-40050-1149362439 -o ROOT/results/node43/solver-40050-1149362439 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40050-1149362439/instance-40050-1149362439.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.77 0.92 0.91 2/64 11089 /proc/meminfo: memFree=1806296/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=4616 CPUtime=0 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 206 0 0 0 0 0 0 0 19 0 1 0 201910651 4726784 176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157841472 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 1187 186 141 55 0 79 0 [startup+10.0018 s] /proc/loadavg: 0.81 0.92 0.91 2/64 11089 /proc/meminfo: memFree=1800576/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=10236 CPUtime=9.96 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2064 0 0 0 995 1 0 0 25 0 1 0 201910651 10481664 1866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 2559 1866 428 55 0 1451 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 10236 [startup+20.0076 s] /proc/loadavg: 0.84 0.93 0.91 2/64 11089 /proc/meminfo: memFree=1800576/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=10236 CPUtime=19.97 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2069 0 0 0 1995 2 0 0 25 0 1 0 201910651 10481664 1871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 2559 1871 428 55 0 1451 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 10236 [startup+30.0135 s] /proc/loadavg: 0.86 0.93 0.91 2/64 11089 /proc/meminfo: memFree=1800512/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=10396 CPUtime=29.97 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2100 0 0 0 2994 3 0 0 25 0 1 0 201910651 10645504 1902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 2599 1902 428 55 0 1491 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 10396 [startup+40.0194 s] /proc/loadavg: 0.88 0.93 0.91 2/64 11089 /proc/meminfo: memFree=1799424/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=11424 CPUtime=39.97 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2367 0 0 0 3993 4 0 0 25 0 1 0 201910651 11698176 2169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 2856 2169 428 55 0 1748 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 11424 [startup+50.0252 s] /proc/loadavg: 0.90 0.93 0.91 2/64 11089 /proc/meminfo: memFree=1799360/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=11548 CPUtime=49.98 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2383 0 0 0 4993 5 0 0 25 0 1 0 201910651 11825152 2185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 2887 2185 428 55 0 1779 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 11548 [startup+60.0311 s] /proc/loadavg: 0.91 0.93 0.91 2/64 11089 /proc/meminfo: memFree=1799424/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=11472 CPUtime=59.98 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2397 0 0 0 5992 6 0 0 25 0 1 0 201910651 11747328 2187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 2868 2187 428 55 0 1760 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 11472 [startup+70.037 s] /proc/loadavg: 0.93 0.94 0.91 2/64 11089 /proc/meminfo: memFree=1799360/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=11604 CPUtime=69.99 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2412 0 0 0 6992 7 0 0 25 0 1 0 201910651 11882496 2202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5166136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 2901 2202 428 55 0 1793 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 11604 [startup+80.0428 s] /proc/loadavg: 0.94 0.94 0.91 2/64 11089 /proc/meminfo: memFree=1799296/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=11596 CPUtime=79.99 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2427 0 0 0 7991 8 0 0 25 0 1 0 201910651 11874304 2217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 2899 2217 428 55 0 1791 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 11596 [startup+90.0487 s] /proc/loadavg: 0.95 0.94 0.91 2/64 11089 /proc/meminfo: memFree=1798848/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12124 CPUtime=89.99 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2540 0 0 0 8990 9 0 0 25 0 1 0 201910651 12414976 2330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3031 2330 428 55 0 1923 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 12124 [startup+100.055 s] /proc/loadavg: 0.95 0.94 0.91 2/64 11089 /proc/meminfo: memFree=1798848/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12100 CPUtime=99.99 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2540 0 0 0 9989 10 0 0 25 0 1 0 201910651 12390400 2330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3025 2330 428 55 0 1917 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 12100 [startup+110.06 s] /proc/loadavg: 0.96 0.94 0.91 2/64 11089 /proc/meminfo: memFree=1798464/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12476 CPUtime=110 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2634 0 0 0 10989 11 0 0 25 0 1 0 201910651 12775424 2424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3119 2424 428 55 0 2011 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 12476 [startup+120.066 s] /proc/loadavg: 0.97 0.94 0.91 2/64 11089 /proc/meminfo: memFree=1798400/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12476 CPUtime=120 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2643 0 0 0 11988 12 0 0 25 0 1 0 201910651 12775424 2433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3119 2433 428 55 0 2011 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 12476 [startup+130.071 s] /proc/loadavg: 0.97 0.94 0.91 2/64 11089 /proc/meminfo: memFree=1798400/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12476 CPUtime=130 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2648 0 0 0 12987 13 0 0 25 0 1 0 201910651 12775424 2438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3119 2438 428 55 0 2011 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 12476 [startup+140.077 s] /proc/loadavg: 0.98 0.95 0.91 2/64 11089 /proc/meminfo: memFree=1798400/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12476 CPUtime=140.01 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2648 0 0 0 13987 14 0 0 25 0 1 0 201910651 12775424 2438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3119 2438 428 55 0 2011 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 12476 [startup+150.083 s] /proc/loadavg: 0.98 0.95 0.91 2/64 11089 /proc/meminfo: memFree=1798400/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12476 CPUtime=150.01 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2648 0 0 0 14986 15 0 0 25 0 1 0 201910651 12775424 2438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3119 2438 428 55 0 2011 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 12476 [startup+160.089 s] /proc/loadavg: 0.98 0.95 0.91 2/64 11089 /proc/meminfo: memFree=1798336/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12608 CPUtime=160.01 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2656 0 0 0 15985 16 0 0 25 0 1 0 201910651 12910592 2446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3152 2446 428 55 0 2044 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 12608 [startup+170.095 s] /proc/loadavg: 0.98 0.95 0.91 2/64 11089 /proc/meminfo: memFree=1798336/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12608 CPUtime=170.01 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2656 0 0 0 16984 17 0 0 25 0 1 0 201910651 12910592 2446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3152 2446 428 55 0 2044 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 12608 [startup+180.1 s] /proc/loadavg: 0.99 0.95 0.91 2/64 11089 /proc/meminfo: memFree=1798336/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12608 CPUtime=180.02 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2656 0 0 0 17984 18 0 0 25 0 1 0 201910651 12910592 2446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3152 2446 428 55 0 2044 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 12608 [startup+190.105 s] /proc/loadavg: 0.99 0.95 0.91 2/64 11089 /proc/meminfo: memFree=1798336/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12608 CPUtime=190.02 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2656 0 0 0 18983 19 0 0 25 0 1 0 201910651 12910592 2446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3152 2446 428 55 0 2044 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 12608 [startup+200.111 s] /proc/loadavg: 0.99 0.95 0.91 2/64 11089 /proc/meminfo: memFree=1798336/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=12608 CPUtime=200.03 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 2656 0 0 0 19983 20 0 0 25 0 1 0 201910651 12910592 2446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 3152 2446 428 55 0 2044 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 12608 [startup+210.117 s] /proc/loadavg: 0.99 0.95 0.91 2/64 11089 /proc/meminfo: memFree=1798272/2055920 swapFree=4180880/4192956 ################ # More data... # ################ /proc/11089/statm: 22681 21989 428 55 0 21573 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 90724 [startup+1771.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719616/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=90856 CPUtime=1770.52 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22503 0 0 0 176892 160 0 0 25 0 1 0 201910651 93036544 22020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22714 22020 428 55 0 21606 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 90856 [startup+1781.03 s] /proc/loadavg: 0.99 0.97 0.91 3/64 11091 /proc/meminfo: memFree=1719232/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1780.52 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22596 0 0 0 177891 161 0 0 25 0 1 0 201910651 93442048 22113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22113 428 55 0 21705 0 Current children cumulated CPU time (s) 1780.52 Current children cumulated vsize (Kb) 91252 [startup+1782.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719232/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1781.53 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22596 0 0 0 177992 161 0 0 25 0 1 0 201910651 93442048 22113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22113 428 55 0 21705 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 91252 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719232/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1782.53 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22596 0 0 0 178092 161 0 0 25 0 1 0 201910651 93442048 22113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22113 428 55 0 21705 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 91252 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719232/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1783.54 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22596 0 0 0 178193 161 0 0 25 0 1 0 201910651 93442048 22113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22113 428 55 0 21705 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 91252 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719232/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1784.54 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22596 0 0 0 178293 161 0 0 25 0 1 0 201910651 93442048 22113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22113 428 55 0 21705 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 91252 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719232/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1785.54 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22596 0 0 0 178393 161 0 0 25 0 1 0 201910651 93442048 22113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22113 428 55 0 21705 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 91252 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719232/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1786.55 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22596 0 0 0 178494 161 0 0 25 0 1 0 201910651 93442048 22113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22113 428 55 0 21705 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 91252 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719232/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1787.55 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22596 0 0 0 178594 161 0 0 25 0 1 0 201910651 93442048 22113 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4848756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22113 428 55 0 21705 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 91252 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1788.56 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22606 0 0 0 178695 161 0 0 25 0 1 0 201910651 93442048 22123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524329 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22123 428 55 0 21705 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 91252 [startup+1790.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1789.57 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22606 0 0 0 178795 162 0 0 25 0 1 0 201910651 93442048 22123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22123 428 55 0 21705 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 91252 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1790.57 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22606 0 0 0 178895 162 0 0 25 0 1 0 201910651 93442048 22123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22123 428 55 0 21705 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 91252 [startup+1792.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1791.57 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22606 0 0 0 178995 162 0 0 25 0 1 0 201910651 93442048 22123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535002 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22123 428 55 0 21705 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 91252 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1792.58 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22606 0 0 0 179096 162 0 0 25 0 1 0 201910651 93442048 22123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22123 428 55 0 21705 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 91252 [startup+1794.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1793.58 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22609 0 0 0 179196 162 0 0 25 0 1 0 201910651 93442048 22126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5165759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22126 428 55 0 21705 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 91252 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1794.59 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22609 0 0 0 179297 162 0 0 25 0 1 0 201910651 93442048 22126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22126 428 55 0 21705 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 91252 [startup+1796.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1795.59 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22609 0 0 0 179397 162 0 0 25 0 1 0 201910651 93442048 22126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22126 428 55 0 21705 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 91252 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1796.59 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22609 0 0 0 179497 162 0 0 25 0 1 0 201910651 93442048 22126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22126 428 55 0 21705 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 91252 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719168/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91252 CPUtime=1797.6 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22609 0 0 0 179598 162 0 0 25 0 1 0 201910651 93442048 22126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22813 22126 428 55 0 21705 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 91252 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1719104/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91384 CPUtime=1798.6 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22621 0 0 0 179698 162 0 0 25 0 1 0 201910651 93577216 22138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22846 22138 428 55 0 21738 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 91384 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11091 /proc/meminfo: memFree=1718912/2055920 swapFree=4180880/4192956 [pid=11089] ppid=11087 vsize=91516 CPUtime=1799.61 /proc/11089/stat : 11089 (bsolo) R 11087 11089 11043 0 -1 0 22669 0 0 0 179798 163 0 0 25 0 1 0 201910651 93712384 22186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11089/statm: 22879 22186 428 55 0 21771 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 91516 Child status: 10 Real time (s): 1800.53 CPU time (s): 1800.02 CPU user time (s): 1798.37 CPU system time (s): 1.64775 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (Kb): 91516
Begin job on node43 on Sat Jun 3 19:20:39 UTC 2006 FILE ID= 40050-1149362439 PBS_JOBID= 311597 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40050-1149362439/instance-40050-1149362439.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-40050-1149362439 -o ROOT/results/node43/solver-40050-1149362439 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/40050-1149362439/instance-40050-1149362439.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= aaad086a46811221a1e6b3eb30cad49d RANDOM SEED= 148933849 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1806504 kB Buffers: 22308 kB Cached: 169228 kB SwapCached: 3760 kB Active: 54860 kB Inactive: 145328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806504 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 300 kB Writeback: 0 kB Mapped: 14888 kB Slab: 35236 kB Committed_AS: 338884 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Sat Jun 3 19:50:40 UTC 2006