Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.61 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb |
MD5SUM | 158d85b2efcaf56eab2db834482aadfb |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 16224 |
Total number of constraints | 1488 |
Number of constraints which are clauses | 192 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 309 |
Number of terms in the objective function | 10368 |
Biggest coefficient in the objective function | 418848431931392 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 180197911475330400 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 418848431931392 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 180197911475330400 |
Number of bits of the biggest sum of numbers | 58 |
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.08 c INFO: OSL Context initialized. 0.08 c BIG Int formula... 0.43 c Initial problem consists of 16224 variables and 1608 constraints. 0.47 c No problem reductions applied in OPT. instance. 0.47 c preprocess terminated. Elapsed time: 0.403 0.47 c After prepocess the problem consists of 9144 variables and 1608 constraints. 0.47 c Initial Lower Bound: 0 0.71 c Restart #1 #Var: 9144 LB: 0 @ 0.643 1.12 c Restart #2 #Var: 9144 LB: 0 @ 1.05 1.74 c Restart #3 #Var: 9144 LB: 0 @ 1.672 2.55 c Restart #4 #Var: 9144 LB: 0 @ 2.483 3.57 c Restart #5 #Var: 9144 LB: 0 @ 3.494 4.98 c Restart #6 #Var: 9144 LB: 0 @ 4.9 6.71 c Restart #7 #Var: 9144 LB: 0 @ 6.631 8.67 c Restart #8 #Var: 9144 LB: 0 @ 8.595 10.83 c Restart #9 #Var: 9144 LB: 0 @ 10.748 11.55 c Restart #10 #Var: 9144 LB: 0 @ 11.468 12.66 c Restart #11 #Var: 9144 LB: 0 @ 12.584 13.63 c Restart #12 #Var: 9144 LB: 0 @ 13.556 13.95 c Restart #13 #Var: 9144 LB: 0 @ 13.867 14.19 c Restart #14 #Var: 9143 LB: 0 @ 14.106 14.54 c Restart #15 #Var: 9143 LB: 0 @ 14.456 14.85 c Restart #16 #Var: 9143 LB: 0 @ 14.769 15.14 c Restart #17 #Var: 9143 LB: 0 @ 15.061 15.53 c Restart #18 #Var: 9143 LB: 0 @ 15.454 15.92 c Restart #19 #Var: 9142 LB: 0 @ 15.843 16.32 c Restart #20 #Var: 9142 LB: 0 @ 16.239 16.71 c Restart #21 #Var: 9142 LB: 0 @ 16.631 17.20 c Restart #22 #Var: 9142 LB: 0 @ 17.118 17.65 c Restart #23 #Var: 9142 LB: 0 @ 17.568 18.13 c Restart #24 #Var: 9142 LB: 0 @ 18.054 18.59 c Restart #25 #Var: 9142 LB: 0 @ 18.508 19.11 c Restart #26 #Var: 9142 LB: 0 @ 19.029 19.65 c Restart #27 #Var: 9142 LB: 0 @ 19.566 20.26 c Restart #28 #Var: 9142 LB: 0 @ 20.178 21.28 c Restart #29 #Var: 9142 LB: 0 @ 21.197 21.86 c Restart #30 #Var: 9142 LB: 0 @ 21.781 22.41 c Restart #31 #Var: 9142 LB: 0 @ 22.326 22.98 c Restart #32 #Var: 9142 LB: 0 @ 22.902 23.61 c Restart #33 #Var: 9142 LB: 0 @ 23.524 24.26 c Restart #34 #Var: 9142 LB: 0 @ 24.182 24.92 c Restart #35 #Var: 9142 LB: 0 @ 24.834 25.50 c Restart #36 #Var: 9142 LB: 0 @ 25.419 26.24 c Restart #37 #Var: 9142 LB: 0 @ 26.154 26.99 c Restart #38 #Var: 9142 LB: 0 @ 26.909 28.04 c Restart #39 #Var: 9142 LB: 0 @ 27.953 29.10 c Restart #40 #Var: 9142 LB: 0 @ 29.021 30.11 c Restart #41 #Var: 9142 LB: 0 @ 30.025 31.05 c Restart #42 #Var: 9142 LB: 0 @ 30.967 32.74 c Restart #43 #Var: 9142 LB: 0 @ 32.652 33.84 c Restart #44 #Var: 9142 LB: 0 @ 33.76 34.97 c Restart #45 #Var: 9142 LB: 0 @ 34.88 35.84 c Restart #46 #Var: 9142 LB: 0 @ 35.756 36.79 c Restart #47 #Var: 9142 LB: 0 @ 36.701 37.62 c Restart #48 #Var: 9142 LB: 0 @ 37.532 38.46 c Restart #49 #Var: 9142 LB: 0 @ 38.379 39.39 c Restart #50 #Var: 9142 LB: 0 @ 39.303 40.28 c Restart #51 #Var: 9142 LB: 0 @ 40.197 41.17 c Restart #52 #Var: 9141 LB: 0 @ 41.086 42.14 c Restart #53 #Var: 9141 LB: 0 @ 42.048 43.05 c Restart #54 #Var: 9141 LB: 0 @ 42.965 43.94 c Restart #55 #Var: 9141 LB: 0 @ 43.857 44.87 c Restart #56 #Var: 9141 LB: 0 @ 44.784 45.79 c Restart #57 #Var: 9141 LB: 0 @ 45.699 46.78 c Restart #58 #Var: 9141 LB: 0 @ 46.692 47.86 c Restart #59 #Var: 9141 LB: 0 @ 47.774 49.09 c Restart #60 #Var: 9141 LB: 0 @ 48.996 50.25 c Restart #61 #Var: 9141 LB: 0 @ 50.159 51.41 c Restart #62 #Var: 9141 LB: 0 @ 51.323 52.47 c Restart #63 #Var: 9141 LB: 0 @ 52.377 53.61 c Restart #64 #Var: 9141 LB: 0 @ 53.523 54.84 c Restart #65 #Var: 9141 LB: 0 @ 54.749 56.05 c Restart #66 #Var: 9141 LB: 0 @ 55.957 57.17 c Restart #67 #Var: 9139 LB: 0 @ 57.08 58.46 c Restart #68 #Var: 9139 LB: 0 @ 58.366 59.62 c Restart #69 #Var: 9139 LB: 0 @ 59.531 60.84 c Restart #70 #Var: 9139 LB: 0 @ 60.752 62.09 c Restart #71 #Var: 9139 LB: 0 @ 61.993 63.47 c Restart #72 #Var: 9139 LB: 0 @ 63.376 64.74 c Restart #73 #Var: 9139 LB: 0 @ 64.646 66.06 c Restart #74 #Var: 9139 LB: 0 @ 65.969 67.36 c Restart #75 #Var: 9139 LB: 0 @ 67.271 68.71 c Restart #76 #Var: 9139 LB: 0 @ 68.614 70.17 c Restart #77 #Var: 9139 LB: 0 @ 70.08 71.70 c Restart #78 #Var: 9139 LB: 0 @ 71.609 73.12 c Restart #79 #Var: 9139 LB: 0 @ 73.03 74.54 c Restart #80 #Var: 9139 LB: 0 @ 74.444 75.92 c Restart #81 #Var: 9139 LB: 0 @ 75.828 77.35 c Restart #82 #Var: 9139 LB: 0 @ 77.252 78.78 c Restart #83 #Var: 9139 LB: 0 @ 78.682 80.23 c Restart #84 #Var: 9139 LB: 0 @ 80.135 81.72 c Restart #85 #Var: 9139 LB: 0 @ 81.619 83.25 c Restart #86 #Var: 9139 LB: 0 @ 83.153 84.76 c Restart #87 #Var: 9139 LB: 0 @ 84.667 86.33 c Restart #88 #Var: 9139 LB: 0 @ 86.233 87.93 c Restart #89 #Var: 9139 LB: 0 @ 87.829 89.49 c Restart #90 #Var: 9139 LB: 0 @ 89.39 91.03 c Restart #91 #Var: 9139 LB: 0 @ 90.935 92.62 c Restart #92 #Var: 9139 LB: 0 @ 92.516 94.21 c Restart #93 #Var: 9139 LB: 0 @ 94.113 95.85 c Restart #94 #Var: 9139 LB: 0 @ 95.754 97.48 c Restart #95 #Var: 9139 LB: 0 @ 97.377 99.15 c Restart #96 #Var: 9139 LB: 0 @ 99.049 100.84 c Restart #97 #Var: 9139 LB: 0 @ 100.73 102.55 c Restart #98 #Var: 9139 LB: 0 @ 102.44 104.27 c Restart #99 #Var: 9139 LB: 0 @ 104.16 106.00 c Restart #100 #Var: 9139 LB: 0 @ 105.89 107.72 c Restart #101 #Var: 9139 LB: 0 @ 107.61 109.47 c Restart #102 #Var: 9139 LB: 0 @ 109.37 111.25 c Restart #103 #Var: 9139 LB: 0 @ 111.14 113.05 c Restart #104 #Var: 9139 LB: 0 @ 112.95 114.89 c Restart #105 #Var: 9139 LB: 0 @ 114.78 116.75 c Restart #106 #Var: 9139 LB: 0 @ 116.64 118.60 c Restart #107 #Var: 9139 LB: 0 @ 118.49 120.47 c Restart #108 #Var: 9139 LB: 0 @ 120.36 122.36 c Restart #109 #Var: 9139 LB: 0 @ 122.26 124.26 c Restart #110 #Var: 9139 LB: 0 @ 124.15 126.18 c Restart #111 #Var: 9139 LB: 0 @ 126.07 128.13 c Restart #112 #Var: 9139 LB: 0 @ 128.02 130.06 c Restart #113 #Var: 9139 LB: 0 @ 129.95 132.02 c Restart #114 #Var: 9139 LB: 0 @ 131.91 133.97 c Restart #115 #Var: 9139 LB: 0 @ 133.86 136.00 c Restart #116 #Var: 9139 LB: 0 @ 135.89 138.01 c Restart #117 #Var: 9139 LB: 0 @ 137.89 140.04 c Restart #118 #Var: 9139 LB: 0 @ 139.93 142.08 c Restart #119 #Var: 9139 LB: 0 @ 141.97 144.14 c Restart #120 #Var: 9139 LB: 0 @ 144.03 146.21 c Restart #121 #Var: 9139 LB: 0 @ 146.09 148.32 c Restart #122 #Var: 9139 LB: 0 @ 148.2 150.44 c Restart #123 #Var: 9139 LB: 0 @ 150.32 152.56 c Restart #124 #Var: 9139 LB: 0 @ 152.44 154.72 c Restart #125 #Var: 9139 LB: 0 @ 154.6 156.92 c Restart #126 #Var: 9139 LB: 0 @ 156.8 159.11 c Restart #127 #Var: 9139 LB: 0 @ 158.99 161.33 c Restart #128 #Var: 9139 LB: 0 @ 161.21 163.56 c Restart #129 #Var: 9139 LB: 0 @ 163.44 165.78 c Restart #130 #Var: 9139 LB: 0 @ 165.66 168.05 c Restart #131 #Var: 9139 LB: 0 @ 167.93 170.31 c Restart #132 #Var: 9139 LB: 0 @ 170.18 172.62 c Restart #133 #Var: 9139 LB: 0 @ 172.49 174.93 c Restart #134 #Var: 9139 LB: 0 @ 174.8 177.26 c Restart #135 #Var: 9139 LB: 0 @ 177.14 179.61 c Restart #136 #Var: 9139 LB: 0 @ 179.49 181.97 c Restart #137 #Var: 9139 LB: 0 @ 181.85 184.35 c Restart #138 #Var: 9139 LB: 0 @ 184.22 186.73 c Restart #139 #Var: 9139 LB: 0 @ 186.61 189.11 c Restart #140 #Var: 9139 LB: 0 @ 188.98 191.52 c Restart #141 #Var: 9139 LB: 0 @ 191.39 193.95 c Restart #142 #Var: 9139 LB: 0 @ 193.82 196.40 c Restart #143 #Var: 9139 LB: 0 @ 196.27 198.90 c Restart #144 #Var: 9139 LB: 0 @ 198.77 201.36 c Restart #145 #Var: 9139 LB: 0 @ 201.23 203.84 c Restart #146 #Var: 9139 LB: 0 @ 203.71 206.52 c Restart #147 #Var: 9139 LB: 0 @ 206.38 209.11 c Restart #148 #Var: 9139 LB: 0 @ 208.98 211.85 c Restart #149 #Var: 9139 LB: 0 @ 211.72 214.44 c Restart #150 #Var: 9139 LB: 0 @ 214.31 217.05 c Restart #151 #Var: 9139 LB: 0 @ 216.92 219.70 c Restart #152 #Var: 9139 LB: 0 @ 219.56 222.29 c Restart #153 #Var: 9139 LB: 0 @ 222.16 224.97 c Restart #154 #Var: 9139 LB: 0 @ 224.84 227.66 c Restart #155 #Var: 9139 LB: 0 @ 227.52 230.34 c Restart #156 #Var: 9139 LB: 0 @ 230.2 233.13 c Restart #157 #Var: 9139 LB: 0 @ 232.99 236.00 c Restart #158 #Var: 9139 LB: 0 @ 235.87 238.86 c Restart #159 #Var: 9139 LB: 0 @ 238.72 241.88 c Restart #160 #Var: 9139 LB: 0 @ 241.74 244.68 c Restart #161 #Var: 9139 LB: 0 @ 244.54 247.61 c Restart #162 #Var: 9139 LB: 0 @ 247.47 250.48 c Restart #163 #Var: 9139 LB: 0 @ 250.34 253.41 c Restart #164 #Var: 9139 LB: 0 @ 253.26 256.30 c Restart #165 #Var: 9139 LB: 0 @ 256.16 259.28 c Restart #166 #Var: 9139 LB: 0 @ 259.13 262.22 c Restart #167 #Var: 9139 LB: 0 @ 262.08 265.18 c Restart #168 #Var: 9139 LB: 0 @ 265.03 268.05 c Restart #169 #Var: 9139 LB: 0 @ 267.9 270.92 c Restart #170 #Var: 9139 LB: 0 @ 270.78 273.85 c Restart #171 #Var: 9139 LB: 0 @ 273.7 276.98 c Restart #172 #Var: 9139 LB: 0 @ 276.83 279.95 c Restart #173 #Var: 9139 LB: 0 @ 279.8 282.96 c Restart #174 #Var: 9139 LB: 0 @ 282.81 285.95 c Restart #175 #Var: 9139 LB: 0 @ 285.79 289.02 c Restart #176 #Var: 9139 LB: 0 @ 288.86 292.05 c Restart #177 #Var: 9139 LB: 0 @ 291.89 295.12 c Restart #178 #Var: 9139 LB: 0 @ 294.96 298.11 c Restart #179 #Var: 9139 LB: 0 @ 297.96 301.20 c Restart #180 #Var: 9139 LB: 0 @ 301.04 304.24 c Restart #181 #Var: 9139 LB: 0 @ 304.08 307.33 c Restart #182 #Var: 9139 LB: 0 @ 307.17 310.37 c Restart #183 #Var: 9139 LB: 0 @ 310.21 313.48 c Restart #184 #Var: 9139 LB: 0 @ 313.32 316.60 c Restart #185 #Var: 9139 LB: 0 @ 316.44 319.83 c Restart #186 #Var: 9139 LB: 0 @ 319.67 323.06 c Restart #187 #Var: 9139 LB: 0 @ 322.9 326.37 c Restart #188 #Var: 9139 LB: 0 @ 326.21 329.62 c Restart #189 #Var: 9139 LB: 0 @ 329.45 332.94 c Restart #190 #Var: 9139 LB: 0 @ 332.77 336.26 c Restart #191 #Var: 9139 LB: 0 @ 336.09 339.63 c Restart #192 #Var: 9139 LB: 0 @ 339.46 343.03 c Restart #193 #Var: 9139 LB: 0 @ 342.87 346.43 c Restart #194 #Var: 9139 LB: 0 @ 346.26 349.87 c Restart #195 #Var: 9139 LB: 0 @ 349.7 353.22 c Restart #196 #Var: 9139 LB: 0 @ 353.05 356.62 c Restart #197 #Var: 9139 LB: 0 @ 356.45 359.98 c Restart #198 #Var: 9139 LB: 0 @ 359.81 363.38 c Restart #199 #Var: 9139 LB: 0 @ 363.2 366.77 c Restart #200 #Var: 9139 LB: 0 @ 366.6 370.17 c Restart #201 #Var: 9139 LB: 0 @ 369.99 373.59 c Restart #202 #Var: 9139 LB: 0 @ 373.42 377.08 c Restart #203 #Var: 9139 LB: 0 @ 376.9 380.58 c Restart #204 #Var: 9139 LB: 0 @ 380.4 384.14 c Restart #205 #Var: 9139 LB: 0 @ 383.96 387.76 c Restart #206 #Var: 9139 LB: 0 @ 387.58 391.67 c Restart #207 #Var: 9139 LB: 0 @ 391.49 395.27 c Restart #208 #Var: 9139 LB: 0 @ 395.09 399.07 c Restart #209 #Var: 9139 LB: 0 @ 398.88 402.75 c Restart #210 #Var: 9139 LB: 0 @ 402.57 406.51 c Restart #211 #Var: 9139 LB: 0 @ 406.32 410.23 c Restart #212 #Var: 9139 LB: 0 @ 410.05 413.88 c Restart #213 #Var: 9139 LB: 0 @ 413.69 417.81 c Restart #214 #Var: 9139 LB: 0 @ 417.62 421.71 c Restart #215 #Var: 9138 LB: 0 @ 421.52 425.94 c Restart #216 #Var: 9138 LB: 0 @ 425.75 429.60 c Restart #217 #Var: 9138 LB: 0 @ 429.41 433.42 c Restart #218 #Var: 9138 LB: 0 @ 433.23 437.30 c Restart #219 #Var: 9137 LB: 0 @ 437.1 442.03 c Restart #220 #Var: 9137 LB: 0 @ 441.84 446.33 c Restart #221 #Var: 9137 LB: 0 @ 446.13 450.02 c Restart #222 #Var: 9137 LB: 0 @ 449.82 453.95 c Restart #223 #Var: 9137 LB: 0 @ 453.75 458.10 c Restart #224 #Var: 9137 LB: 0 @ 457.9 462.14 c Restart #225 #Var: 9137 LB: 0 @ 461.94 465.92 c Restart #226 #Var: 9137 LB: 0 @ 465.72 470.26 c Restart #227 #Var: 9135 LB: 0 @ 470.05 476.63 c Restart #228 #Var: 9135 LB: 0 @ 476.43 480.94 c Restart #229 #Var: 9135 LB: 0 @ 480.74 485.55 c Restart #230 #Var: 9135 LB: 0 @ 485.35 490.09 c Restart #231 #Var: 9135 LB: 0 @ 489.88 494.26 c Restart #232 #Var: 9135 LB: 0 @ 494.05 498.65 c Restart #233 #Var: 9135 LB: 0 @ 498.44 502.85 c Restart #234 #Var: 9135 LB: 0 @ 502.64 507.16 c Restart #235 #Var: 9135 LB: 0 @ 506.95 511.38 c Restart #236 #Var: 9135 LB: 0 @ 511.16 515.83 c Restart #237 #Var: 9135 LB: 0 @ 515.62 520.32 c Restart #238 #Var: 9135 LB: 0 @ 520.1 524.92 c Restart #239 #Var: 9135 LB: 0 @ 524.7 529.38 c Restart #240 #Var: 9135 LB: 0 @ 529.16 533.60 c Restart #241 #Var: 9135 LB: 0 @ 533.38 537.81 c Restart #242 #Var: 9135 LB: 0 @ 537.59 542.08 c Restart #243 #Var: 9135 LB: 0 @ 541.86 546.32 c Restart #244 #Var: 9135 LB: 0 @ 546.1 550.57 c Restart #245 #Var: 9135 LB: 0 @ 550.35 554.87 c Restart #246 #Var: 9135 LB: 0 @ 554.64 559.09 c Restart #247 #Var: 9135 LB: 0 @ 558.87 563.48 c Restart #248 #Var: 9135 LB: 0 @ 563.25 567.66 c Restart #249 #Var: 9135 LB: 0 @ 567.43 571.92 c Restart #250 #Var: 9135 LB: 0 @ 571.69 576.18 c Restart #251 #Var: 9135 LB: 0 @ 575.95 580.60 c Restart #252 #Var: 9135 LB: 0 @ 580.36 584.97 c Restart #253 #Var: 9135 LB: 0 @ 584.73 589.38 c Restart #254 #Var: 9135 LB: 0 @ 589.15 593.94 c Restart #255 #Var: 9135 LB: 0 @ 593.7 598.42 c Restart #256 #Var: 9135 LB: 0 @ 598.18 602.98 c Restart #257 #Var: 9135 LB: 0 @ 602.75 607.32 c Restart #258 #Var: 9135 LB: 0 @ 607.08 611.70 c Restart #259 #Var: 9135 LB: 0 @ 611.46 616.18 c Restart #260 #Var: 9135 LB: 0 @ 615.94 620.65 c Restart #261 #Var: 9135 LB: 0 @ 620.41 625.12 c Restart #262 #Var: 9135 LB: 0 @ 624.88 629.65 c Restart #263 #Var: 9135 LB: 0 @ 629.4 634.21 c Restart #264 #Var: 9135 LB: 0 @ 633.97 639.03 c Restart #265 #Var: 9135 LB: 0 @ 638.79 643.73 c Restart #266 #Var: 9135 LB: 0 @ 643.48 648.27 c Restart #267 #Var: 9135 LB: 0 @ 648.02 652.94 c Restart #268 #Var: 9135 LB: 0 @ 652.69 657.48 c Restart #269 #Var: 9135 LB: 0 @ 657.22 662.09 c Restart #270 #Var: 9135 LB: 0 @ 661.84 666.82 c Restart #271 #Var: 9135 LB: 0 @ 666.56 671.45 c Restart #272 #Var: 9135 LB: 0 @ 671.2 676.16 c Restart #273 #Var: 9135 LB: 0 @ 675.9 680.55 c Restart #274 #Var: 9135 LB: 0 @ 680.29 685.64 c Restart #275 #Var: 9135 LB: 0 @ 685.38 690.36 c Restart #276 #Var: 9135 LB: 0 @ 690.09 695.18 c Restart #277 #Var: 9135 LB: 0 @ 694.92 699.89 c Restart #278 #Var: 9135 LB: 0 @ 699.63 704.75 c Restart #279 #Var: 9135 LB: 0 @ 704.48 709.57 c Restart #280 #Var: 9135 LB: 0 @ 709.3 714.42 c Restart #281 #Var: 9135 LB: 0 @ 714.15 719.43 c Restart #282 #Var: 9135 LB: 0 @ 719.16 724.30 c Restart #283 #Var: 9135 LB: 0 @ 724.03 729.20 c Restart #284 #Var: 9135 LB: 0 @ 728.93 734.00 c Restart #285 #Var: 9135 LB: 0 @ 733.72 739.00 c Restart #286 #Var: 9135 LB: 0 @ 738.73 743.95 c Restart #287 #Var: 9135 LB: 0 @ 743.67 748.94 c Restart #288 #Var: 9135 LB: 0 @ 748.66 753.74 c Restart #289 #Var: 9135 LB: 0 @ 753.47 758.83 c Restart #290 #Var: 9135 LB: 0 @ 758.55 763.84 c Restart #291 #Var: 9135 LB: 0 @ 763.56 768.83 c Restart #292 #Var: 9135 LB: 0 @ 768.54 773.87 c Restart #293 #Var: 9135 LB: 0 @ 773.59 778.98 c Restart #294 #Var: 9135 LB: 0 @ 778.7 784.00 c Restart #295 #Var: 9135 LB: 0 @ 783.71 789.13 c Restart #296 #Var: 9135 LB: 0 @ 788.84 794.22 c Restart #297 #Var: 9135 LB: 0 @ 793.93 799.38 c Restart #298 #Var: 9135 LB: 0 @ 799.09 804.48 c Restart #299 #Var: 9135 LB: 0 @ 804.19 809.59 c Restart #300 #Var: 9135 LB: 0 @ 809.3 814.70 c Restart #301 #Var: 9135 LB: 0 @ 814.4 819.82 c Restart #302 #Var: 9135 LB: 0 @ 819.52 824.99 c Restart #303 #Var: 9135 LB: 0 @ 824.69 830.26 c Restart #304 #Var: 9135 LB: 0 @ 829.97 835.39 c Restart #305 #Var: 9135 LB: 0 @ 835.09 841.21 c Restart #306 #Var: 9135 LB: 0 @ 840.91 846.73 c Restart #307 #Var: 9135 LB: 0 @ 846.43 852.51 c Restart #308 #Var: 9135 LB: 0 @ 852.21 858.28 c Restart #309 #Var: 9135 LB: 0 @ 857.97 863.97 c Restart #310 #Var: 9135 LB: 0 @ 863.66 869.35 c Restart #311 #Var: 9135 LB: 0 @ 869.04 874.78 c Restart #312 #Var: 9135 LB: 0 @ 874.47 880.44 c Restart #313 #Var: 9135 LB: 0 @ 880.13 886.26 c Restart #314 #Var: 9135 LB: 0 @ 885.95 891.56 c Restart #315 #Var: 9135 LB: 0 @ 891.24 896.81 c Restart #316 #Var: 9135 LB: 0 @ 896.5 902.23 c CHANGE Heuristic... 902.23 c Restart #0 #Var: 9135 LB: 0 @ 901.91 902.27 c Restart #1 #Var: 9129 LB: 0 @ 901.95 902.36 c Restart #2 #Var: 9121 LB: 0 @ 902.04 902.46 c Restart #3 #Var: 9121 LB: 0 @ 902.14 902.55 c Restart #4 #Var: 9121 LB: 0 @ 902.23 902.68 c Restart #5 #Var: 9121 LB: 0 @ 902.36 902.89 c Restart #6 #Var: 9121 LB: 0 @ 902.57 903.11 c Restart #7 #Var: 9121 LB: 0 @ 902.79 903.37 c Restart #8 #Var: 9121 LB: 0 @ 903.05 903.68 c Restart #9 #Var: 9121 LB: 0 @ 903.36 904.02 c Restart #10 #Var: 9121 LB: 0 @ 903.7 904.35 c Restart #11 #Var: 9121 LB: 0 @ 904.03 904.74 c Restart #12 #Var: 9121 LB: 0 @ 904.42 905.16 c Restart #13 #Var: 9121 LB: 0 @ 904.84 905.65 c Restart #14 #Var: 9121 LB: 0 @ 905.33 906.09 c Restart #15 #Var: 9121 LB: 0 @ 905.77 906.60 c Restart #16 #Var: 9121 LB: 0 @ 906.28 907.20 c Restart #17 #Var: 9121 LB: 0 @ 906.88 907.81 c Restart #18 #Var: 9121 LB: 0 @ 907.49 908.45 c Restart #19 #Var: 9121 LB: 0 @ 908.13 909.10 c Restart #20 #Var: 9121 LB: 0 @ 908.77 909.75 c Restart #21 #Var: 9121 LB: 0 @ 909.43 910.45 c Restart #22 #Var: 9121 LB: 0 @ 910.12 911.19 c Restart #23 #Var: 9121 LB: 0 @ 910.87 911.97 c Restart #24 #Var: 9121 LB: 0 @ 911.65 912.75 c Restart #25 #Var: 9121 LB: 0 @ 912.43 913.87 c Restart #26 #Var: 9121 LB: 0 @ 913.55 915.02 c Restart #27 #Var: 9121 LB: 0 @ 914.7 916.11 c Restart #28 #Var: 9121 LB: 0 @ 915.78 916.93 c Restart #29 #Var: 9121 LB: 0 @ 916.61 917.86 c Restart #30 #Var: 9121 LB: 0 @ 917.54 918.77 c Restart #31 #Var: 9121 LB: 0 @ 918.45 919.95 c Restart #32 #Var: 9121 LB: 0 @ 919.63 920.94 c Restart #33 #Var: 9121 LB: 0 @ 920.62 922.06 c Restart #34 #Var: 9121 LB: 0 @ 921.74 923.19 c Restart #35 #Var: 9121 LB: 0 @ 922.87 924.23 c Restart #36 #Var: 9121 LB: 0 @ 923.91 925.33 c Restart #37 #Var: 9121 LB: 0 @ 925.01 926.60 c Restart #38 #Var: 9121 LB: 0 @ 926.28 927.77 c Restart #39 #Var: 9121 LB: 0 @ 927.45 928.94 c Restart #40 #Var: 9121 LB: 0 @ 928.61 930.34 c Restart #41 #Var: 9121 LB: 0 @ 930.01 931.59 c Restart #42 #Var: 9121 LB: 0 @ 931.26 932.88 c Restart #43 #Var: 9121 LB: 0 @ 932.55 934.55 c Restart #44 #Var: 9121 LB: 0 @ 934.23 935.89 c Restart #45 #Var: 9121 LB: 0 @ 935.56 937.41 c Restart #46 #Var: 9121 LB: 0 @ 937.08 939.20 c Restart #47 #Var: 9121 LB: 0 @ 938.87 940.80 c Restart #48 #Var: 9121 LB: 0 @ 940.47 942.33 c Restart #49 #Var: 9121 LB: 0 @ 942 943.93 c Restart #50 #Var: 9121 LB: 0 @ 943.6 945.50 c Restart #51 #Var: 9121 LB: 0 @ 945.17 947.21 c Restart #52 #Var: 9121 LB: 0 @ 946.88 949.08 c Restart #53 #Var: 9121 LB: 0 @ 948.75 950.83 c Restart #54 #Var: 9121 LB: 0 @ 950.5 952.59 c Restart #55 #Var: 9121 LB: 0 @ 952.25 954.43 c Restart #56 #Var: 9121 LB: 0 @ 954.1 956.06 c Restart #57 #Var: 9121 LB: 0 @ 955.73 958.08 c Restart #58 #Var: 9121 LB: 0 @ 957.75 959.88 c Restart #59 #Var: 9121 LB: 0 @ 959.55 961.70 c Restart #60 #Var: 9121 LB: 0 @ 961.37 963.66 c Restart #61 #Var: 9121 LB: 0 @ 963.33 965.66 c Restart #62 #Var: 9121 LB: 0 @ 965.32 967.65 c Restart #63 #Var: 9121 LB: 0 @ 967.32 969.73 c Restart #64 #Var: 9121 LB: 0 @ 969.39 971.89 c Restart #65 #Var: 9121 LB: 0 @ 971.55 974.00 c Restart #66 #Var: 9121 LB: 0 @ 973.66 976.13 c Restart #67 #Var: 9121 LB: 0 @ 975.79 978.47 c Restart #68 #Var: 9121 LB: 0 @ 978.13 980.59 c Restart #69 #Var: 9121 LB: 0 @ 980.25 982.76 c Restart #70 #Var: 9121 LB: 0 @ 982.42 985.10 c Restart #71 #Var: 9121 LB: 0 @ 984.76 987.57 c Restart #72 #Var: 9121 LB: 0 @ 987.23 990.05 c Restart #73 #Var: 9121 LB: 0 @ 989.7 992.16 c Restart #74 #Var: 9121 LB: 0 @ 991.82 994.64 c Restart #75 #Var: 9121 LB: 0 @ 994.3 997.45 c Restart #76 #Var: 9121 LB: 0 @ 997.11 999.80 c Restart #77 #Var: 9121 LB: 0 @ 999.46 1002.20 c Restart #78 #Var: 9121 LB: 0 @ 1001.9 1004.90 c Restart #79 #Var: 9121 LB: 0 @ 1004.6 1007.46 c Restart #80 #Var: 9121 LB: 0 @ 1007.1 1009.99 c Restart #81 #Var: 9121 LB: 0 @ 1009.6 1012.76 c Restart #82 #Var: 9121 LB: 0 @ 1012.4 1015.36 c Restart #83 #Var: 9121 LB: 0 @ 1015 1018.11 c Restart #84 #Var: 9121 LB: 0 @ 1017.8 1020.95 c Restart #85 #Var: 9121 LB: 0 @ 1020.6 1023.73 c Restart #86 #Var: 9121 LB: 0 @ 1023.4 1026.47 c Restart #87 #Var: 9121 LB: 0 @ 1026.1 1029.27 c Restart #88 #Var: 9121 LB: 0 @ 1028.9 1032.04 c Restart #89 #Var: 9121 LB: 0 @ 1031.7 1035.05 c Restart #90 #Var: 9121 LB: 0 @ 1034.7 1038.07 c Restart #91 #Var: 9121 LB: 0 @ 1037.7 1041.10 c Restart #92 #Var: 9121 LB: 0 @ 1040.7 1044.34 c Restart #93 #Var: 9121 LB: 0 @ 1044 1047.34 c Restart #94 #Var: 9121 LB: 0 @ 1047 1050.34 c Restart #95 #Var: 9121 LB: 0 @ 1050 1053.34 c Restart #96 #Var: 9121 LB: 0 @ 1053 1056.29 c Restart #97 #Var: 9121 LB: 0 @ 1055.9 1059.39 c Restart #98 #Var: 9121 LB: 0 @ 1059 1062.43 c Restart #99 #Var: 9121 LB: 0 @ 1062.1 1065.59 c Restart #100 #Var: 9121 LB: 0 @ 1065.2 1068.68 c Restart #101 #Var: 9121 LB: 0 @ 1068.3 1071.98 c Restart #102 #Var: 9121 LB: 0 @ 1071.6 1075.14 c Restart #103 #Var: 9121 LB: 0 @ 1074.8 1078.40 c Restart #104 #Var: 9121 LB: 0 @ 1078 1081.57 c Restart #105 #Var: 9121 LB: 0 @ 1081.2 1084.97 c Restart #106 #Var: 9121 LB: 0 @ 1084.6 1088.31 c Restart #107 #Var: 9121 LB: 0 @ 1087.9 1091.72 c Restart #108 #Var: 9121 LB: 0 @ 1091.4 1095.17 c Restart #109 #Var: 9121 LB: 0 @ 1094.8 1098.62 c Restart #110 #Var: 9121 LB: 0 @ 1098.2 1102.00 c Restart #111 #Var: 9121 LB: 0 @ 1101.6 1105.64 c Restart #112 #Var: 9121 LB: 0 @ 1105.3 1109.25 c Restart #113 #Var: 9121 LB: 0 @ 1108.9 1112.81 c Restart #114 #Var: 9121 LB: 0 @ 1112.4 1116.46 c Restart #115 #Var: 9121 LB: 0 @ 1116.1 1120.13 c Restart #116 #Var: 9121 LB: 0 @ 1119.8 1123.85 c Restart #117 #Var: 9121 LB: 0 @ 1123.5 1127.56 c Restart #118 #Var: 9121 LB: 0 @ 1127.2 1131.21 c Restart #119 #Var: 9121 LB: 0 @ 1130.8 1134.99 c Restart #120 #Var: 9121 LB: 0 @ 1134.6 1138.78 c Restart #121 #Var: 9121 LB: 0 @ 1138.4 1142.55 c Restart #122 #Var: 9121 LB: 0 @ 1142.2 1146.43 c Restart #123 #Var: 9121 LB: 0 @ 1146 1150.23 c Restart #124 #Var: 9121 LB: 0 @ 1149.8 1154.14 c Restart #125 #Var: 9121 LB: 0 @ 1153.8 1158.09 c Restart #126 #Var: 9121 LB: 0 @ 1157.7 1162.07 c Restart #127 #Var: 9121 LB: 0 @ 1161.7 1166.13 c Restart #128 #Var: 9121 LB: 0 @ 1165.7 1170.11 c Restart #129 #Var: 9121 LB: 0 @ 1169.7 1174.22 c Restart #130 #Var: 9121 LB: 0 @ 1173.8 1178.50 c Restart #131 #Var: 9121 LB: 0 @ 1178.1 1182.79 c Restart #132 #Var: 9121 LB: 0 @ 1182.4 1187.09 c Restart #133 #Var: 9121 LB: 0 @ 1186.7 1191.32 c Restart #134 #Var: 9121 LB: 0 @ 1190.9 1195.67 c Restart #135 #Var: 9121 LB: 0 @ 1195.3 1199.91 c Restart #136 #Var: 9121 LB: 0 @ 1199.5 1204.11 c Restart #137 #Var: 9121 LB: 0 @ 1203.7 1208.50 c Restart #138 #Var: 9121 LB: 0 @ 1208.1 1212.82 c Restart #139 #Var: 9121 LB: 0 @ 1212.4 1217.25 c Restart #140 #Var: 9121 LB: 0 @ 1216.8 1221.62 c Restart #141 #Var: 9121 LB: 0 @ 1221.2 1226.10 c Restart #142 #Var: 9121 LB: 0 @ 1225.7 1230.65 c Restart #143 #Var: 9121 LB: 0 @ 1230.2 1235.01 c Restart #144 #Var: 9121 LB: 0 @ 1234.6 1239.54 c Restart #145 #Var: 9121 LB: 0 @ 1239.1 1244.47 c Restart #146 #Var: 9121 LB: 0 @ 1244.1 1249.05 c Restart #147 #Var: 9121 LB: 0 @ 1248.6 1253.47 c Restart #148 #Var: 9121 LB: 0 @ 1253.1 1258.26 c Restart #149 #Var: 9121 LB: 0 @ 1257.8 1263.07 c Restart #150 #Var: 9121 LB: 0 @ 1262.7 1267.86 c Restart #151 #Var: 9121 LB: 0 @ 1267.4 1272.36 c Restart #152 #Var: 9121 LB: 0 @ 1271.9 1277.12 c Restart #153 #Var: 9121 LB: 0 @ 1276.7 1281.70 c Restart #154 #Var: 9121 LB: 0 @ 1281.3 1286.58 c Restart #155 #Var: 9121 LB: 0 @ 1286.2 1291.29 c Restart #156 #Var: 9121 LB: 0 @ 1290.9 1296.43 c Restart #157 #Var: 9121 LB: 0 @ 1296 1301.30 c Restart #158 #Var: 9121 LB: 0 @ 1300.9 1306.17 c Restart #159 #Var: 9121 LB: 0 @ 1305.7 1311.57 c Restart #160 #Var: 9121 LB: 0 @ 1311.1 1316.76 c Restart #161 #Var: 9121 LB: 0 @ 1316.3 1321.54 c Restart #162 #Var: 9121 LB: 0 @ 1321.1 1326.43 c Restart #163 #Var: 9121 LB: 0 @ 1326 1331.31 c Restart #164 #Var: 9121 LB: 0 @ 1330.9 1336.50 c Restart #165 #Var: 9121 LB: 0 @ 1336.1 1341.70 c Restart #166 #Var: 9121 LB: 0 @ 1341.3 1346.68 c Restart #167 #Var: 9121 LB: 0 @ 1346.2 1352.43 c Restart #168 #Var: 9121 LB: 0 @ 1352 1357.66 c Restart #169 #Var: 9121 LB: 0 @ 1357.2 1362.97 c Restart #170 #Var: 9121 LB: 0 @ 1362.5 1368.14 c Restart #171 #Var: 9121 LB: 0 @ 1367.7 1373.86 c Restart #172 #Var: 9121 LB: 0 @ 1373.4 1378.98 c Restart #173 #Var: 9121 LB: 0 @ 1378.5 1384.47 c Restart #174 #Var: 9121 LB: 0 @ 1384 1389.66 c Restart #175 #Var: 9121 LB: 0 @ 1389.2 1395.20 c Restart #176 #Var: 9121 LB: 0 @ 1394.7 1400.78 c Restart #177 #Var: 9121 LB: 0 @ 1400.3 1406.61 c Restart #178 #Var: 9121 LB: 0 @ 1406.1 1412.59 c Restart #179 #Var: 9121 LB: 0 @ 1412.1 1418.68 c Restart #180 #Var: 9121 LB: 0 @ 1418.2 1424.68 c Restart #181 #Var: 9121 LB: 0 @ 1424.2 1430.37 c Restart #182 #Var: 9121 LB: 0 @ 1429.9 1435.84 c Restart #183 #Var: 9121 LB: 0 @ 1435.3 1441.55 c Restart #184 #Var: 9121 LB: 0 @ 1441 1447.18 c Restart #185 #Var: 9121 LB: 0 @ 1446.7 1452.82 c Restart #186 #Var: 9121 LB: 0 @ 1452.3 1458.50 c Restart #187 #Var: 9121 LB: 0 @ 1458 1464.12 c Restart #188 #Var: 9121 LB: 0 @ 1463.6 1469.90 c Restart #189 #Var: 9121 LB: 0 @ 1469.4 1475.56 c Restart #190 #Var: 9121 LB: 0 @ 1475.1 1481.45 c Restart #191 #Var: 9121 LB: 0 @ 1480.9 1487.45 c Restart #192 #Var: 9121 LB: 0 @ 1486.9 1493.36 c Restart #193 #Var: 9121 LB: 0 @ 1492.9 1499.34 c Restart #194 #Var: 9121 LB: 0 @ 1498.8 1505.12 c Restart #195 #Var: 9121 LB: 0 @ 1504.6 1511.87 c Restart #196 #Var: 9121 LB: 0 @ 1511.4 1518.51 c Restart #197 #Var: 9121 LB: 0 @ 1518 1524.65 c Restart #198 #Var: 9121 LB: 0 @ 1524.1 1530.79 c Restart #199 #Var: 9121 LB: 0 @ 1530.3 1536.78 c Restart #200 #Var: 9121 LB: 0 @ 1536.3 1543.12 c Restart #201 #Var: 9121 LB: 0 @ 1542.6 1549.19 c Restart #202 #Var: 9121 LB: 0 @ 1548.7 1555.50 c Restart #203 #Var: 9121 LB: 0 @ 1555 1561.57 c Restart #204 #Var: 9121 LB: 0 @ 1561 1567.90 c Restart #205 #Var: 9121 LB: 0 @ 1567.4 1574.04 c Restart #206 #Var: 9121 LB: 0 @ 1573.5 1580.18 c Restart #207 #Var: 9121 LB: 0 @ 1579.6 1586.31 c Restart #208 #Var: 9121 LB: 0 @ 1585.8 1592.55 c Restart #209 #Var: 9121 LB: 0 @ 1592 1598.84 c Restart #210 #Var: 9121 LB: 0 @ 1598.3 1605.38 c Restart #211 #Var: 9121 LB: 0 @ 1604.8 1611.76 c Restart #212 #Var: 9121 LB: 0 @ 1611.2 1617.85 c Restart #213 #Var: 9121 LB: 0 @ 1617.3 1624.56 c Restart #214 #Var: 9121 LB: 0 @ 1624 1631.17 c Restart #215 #Var: 9121 LB: 0 @ 1630.6 1637.96 c Restart #216 #Var: 9121 LB: 0 @ 1637.4 1644.84 c Restart #217 #Var: 9121 LB: 0 @ 1644.3 1651.27 c Restart #218 #Var: 9121 LB: 0 @ 1650.7 1658.19 c Restart #219 #Var: 9121 LB: 0 @ 1657.6 1664.71 c Restart #220 #Var: 9121 LB: 0 @ 1664.2 1671.25 c Restart #221 #Var: 9121 LB: 0 @ 1670.7 1677.88 c Restart #222 #Var: 9121 LB: 0 @ 1677.3 1684.74 c Restart #223 #Var: 9121 LB: 0 @ 1684.2 1691.65 c Restart #224 #Var: 9121 LB: 0 @ 1691.1 1698.56 c Restart #225 #Var: 9121 LB: 0 @ 1698 1705.56 c Restart #226 #Var: 9121 LB: 0 @ 1705 1712.67 c Restart #227 #Var: 9121 LB: 0 @ 1712.1 1720.00 c Restart #228 #Var: 9121 LB: 0 @ 1719.4 1727.13 c Restart #229 #Var: 9121 LB: 0 @ 1726.5 1734.25 c Restart #230 #Var: 9121 LB: 0 @ 1733.7 1742.23 c Restart #231 #Var: 9121 LB: 0 @ 1741.6 1750.12 c Restart #232 #Var: 9121 LB: 0 @ 1749.5 1757.97 c Restart #233 #Var: 9121 LB: 0 @ 1757.4 1765.37 c Restart #234 #Var: 9121 LB: 0 @ 1764.8 1772.82 c Restart #235 #Var: 9121 LB: 0 @ 1772.2 1780.53 c Restart #236 #Var: 9121 LB: 0 @ 1779.9 1787.98 c Restart #237 #Var: 9121 LB: 0 @ 1787.4 1795.06 c Restart #238 #Var: 9121 LB: 0 @ 1794.5 1800.60 s UNKNOWN 1800.60 c Exit Code: 0 1800.60 c Total time: 1800 s
ERROR: no interpretation found !
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-40769-1149316687 -o ROOT/results/node62/solver-40769-1149316687 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/40769-1149316687/instance-40769-1149316687.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.89 0.92 0.94 2/64 11141 /proc/meminfo: memFree=1360280/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=4616 CPUtime=0 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 188 0 0 0 0 0 0 0 19 0 1 0 40872284 4726784 158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11141/statm: 1154 169 127 55 0 46 0 [startup+10.0022 s] /proc/loadavg: 0.91 0.92 0.94 2/64 11141 /proc/meminfo: memFree=1340448/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=25132 CPUtime=9.92 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 5367 0 0 0 931 61 0 0 25 0 1 0 40872284 25735168 5282 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 6283 5282 297 55 0 5175 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 25132 [startup+20.0093 s] /proc/loadavg: 0.92 0.93 0.94 2/64 11141 /proc/meminfo: memFree=1337832/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=27760 CPUtime=19.92 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6029 0 0 0 1913 79 0 0 25 0 1 0 40872284 28426240 5944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 6940 5944 297 55 0 5832 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 27760 [startup+30.0165 s] /proc/loadavg: 0.93 0.93 0.94 2/64 11141 /proc/meminfo: memFree=1336808/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=28792 CPUtime=29.92 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6282 0 0 0 2910 82 0 0 25 0 1 0 40872284 29483008 6197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7198 6197 297 55 0 6090 0 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 28792 [startup+40.0227 s] /proc/loadavg: 0.94 0.93 0.94 2/64 11141 /proc/meminfo: memFree=1336744/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=28920 CPUtime=39.93 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6309 0 0 0 3907 86 0 0 25 0 1 0 40872284 29614080 6224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7230 6224 297 55 0 6122 0 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 28920 [startup+50.0299 s] /proc/loadavg: 0.95 0.93 0.94 2/64 11141 /proc/meminfo: memFree=1336424/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29148 CPUtime=49.94 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6385 0 0 0 4904 90 0 0 25 0 1 0 40872284 29847552 6300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7287 6300 297 55 0 6179 0 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 29148 [startup+60.0351 s] /proc/loadavg: 0.96 0.93 0.94 2/64 11141 /proc/meminfo: memFree=1336168/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29384 CPUtime=59.93 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6442 0 0 0 5899 94 0 0 25 0 1 0 40872284 30089216 6357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7346 6357 297 55 0 6238 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 29384 [startup+70.0413 s] /proc/loadavg: 0.96 0.94 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29384 CPUtime=69.94 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6448 0 0 0 6895 99 0 0 25 0 1 0 40872284 30089216 6363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7346 6363 297 55 0 6238 0 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 29384 [startup+80.0475 s] /proc/loadavg: 0.97 0.94 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29384 CPUtime=79.94 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6448 0 0 0 7891 103 0 0 25 0 1 0 40872284 30089216 6363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134547755 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7346 6363 297 55 0 6238 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 29384 [startup+90.0537 s] /proc/loadavg: 0.97 0.94 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29384 CPUtime=89.94 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6452 0 0 0 8887 107 0 0 25 0 1 0 40872284 30089216 6367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7346 6367 297 55 0 6238 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 29384 [startup+100.06 s] /proc/loadavg: 0.98 0.94 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29384 CPUtime=99.95 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6452 0 0 0 9884 111 0 0 25 0 1 0 40872284 30089216 6367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7346 6367 297 55 0 6238 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 29384 [startup+110.066 s] /proc/loadavg: 0.98 0.94 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=109.95 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6456 0 0 0 10881 114 0 0 25 0 1 0 40872284 30179328 6371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6371 297 55 0 6260 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 29472 [startup+120.071 s] /proc/loadavg: 0.98 0.94 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=119.96 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6456 0 0 0 11878 118 0 0 25 0 1 0 40872284 30179328 6371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6371 297 55 0 6260 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 29472 [startup+130.077 s] /proc/loadavg: 0.98 0.94 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=129.96 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6456 0 0 0 12874 122 0 0 25 0 1 0 40872284 30179328 6371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6371 297 55 0 6260 0 Current children cumulated CPU time (s) 129.96 Current children cumulated vsize (Kb) 29472 [startup+140.084 s] /proc/loadavg: 0.99 0.95 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=139.96 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6460 0 0 0 13870 126 0 0 25 0 1 0 40872284 30179328 6375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6375 297 55 0 6260 0 Current children cumulated CPU time (s) 139.96 Current children cumulated vsize (Kb) 29472 [startup+150.09 s] /proc/loadavg: 0.99 0.95 0.94 2/64 11141 /proc/meminfo: memFree=1336104/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=149.96 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6462 0 0 0 14866 130 0 0 25 0 1 0 40872284 30179328 6377 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6377 297 55 0 6260 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 29472 [startup+160.096 s] /proc/loadavg: 0.99 0.95 0.94 2/64 11141 /proc/meminfo: memFree=1336040/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=159.96 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6463 0 0 0 15862 134 0 0 25 0 1 0 40872284 30179328 6378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6378 297 55 0 6260 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 29472 [startup+170.102 s] /proc/loadavg: 0.99 0.95 0.94 2/64 11141 /proc/meminfo: memFree=1336040/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=169.97 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6463 0 0 0 16859 138 0 0 25 0 1 0 40872284 30179328 6378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6378 297 55 0 6260 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 29472 [startup+180.108 s] /proc/loadavg: 0.99 0.95 0.94 2/64 11141 /proc/meminfo: memFree=1336040/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=179.98 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6463 0 0 0 17857 141 0 0 25 0 1 0 40872284 30179328 6378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6378 297 55 0 6260 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 29472 [startup+190.115 s] /proc/loadavg: 0.99 0.95 0.94 2/64 11141 /proc/meminfo: memFree=1336040/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=189.97 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6465 0 0 0 18852 145 0 0 25 0 1 0 40872284 30179328 6380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6380 297 55 0 6260 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 29472 [startup+200.121 s] /proc/loadavg: 0.99 0.95 0.94 2/64 11141 /proc/meminfo: memFree=1336040/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=29472 CPUtime=199.98 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 6465 0 0 0 19847 151 0 0 25 0 1 0 40872284 30179328 6380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 7368 6380 297 55 0 6260 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 29472 [startup+210.127 s] /proc/loadavg: 0.99 0.95 0.94 2/64 11141 /proc/meminfo: memFree=1336040/2055920 swapFree=4191908/4192956 ################ # More data... # ################ /proc/11141/statm: 14060 13080 297 55 0 12952 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 56240 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56372 CPUtime=1770.48 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13301 0 0 0 176409 639 0 0 25 0 1 0 40872284 57724928 13085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14093 13085 297 55 0 12985 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 56372 [startup+1781.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1780.49 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 177408 641 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1780.49 Current children cumulated vsize (Kb) 56312 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1781.49 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 177508 641 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 56312 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1782.49 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 177608 641 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 56312 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1783.5 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 177709 641 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 56312 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1784.51 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 177809 642 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 56312 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1785.51 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 177909 642 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 56312 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1786.52 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178010 642 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 56312 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1787.52 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178110 642 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 56312 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1788.52 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178210 642 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 56312 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1789.52 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178310 642 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 56312 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1790.54 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178411 643 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1790.54 Current children cumulated vsize (Kb) 56312 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1791.54 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178511 643 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 56312 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1792.54 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178611 643 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 56312 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1793.54 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178711 643 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 56312 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1794.56 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178812 644 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (Kb) 56312 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1795.56 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 178912 644 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 56312 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11336 /proc/meminfo: memFree=1308968/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1796.56 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 179012 644 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 56312 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11338 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1797.56 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 179112 644 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 56312 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11338 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1798.57 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 179212 645 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 56312 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.94 2/64 11338 /proc/meminfo: memFree=1308904/2055920 swapFree=4191908/4192956 [pid=11141] ppid=11139 vsize=56312 CPUtime=1799.57 /proc/11141/stat : 11141 (bsolo) R 11139 11141 11095 0 -1 0 13306 0 0 0 179312 645 0 0 25 0 1 0 40872284 57663488 13090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11141/statm: 14078 13090 297 55 0 12970 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 56312 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.01 CPU user time (s): 1793.54 CPU system time (s): 6.46802 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (Kb): 56372
Begin job on node62 on Sat Jun 3 06:38:07 UTC 2006 FILE ID= 40769-1149316687 PBS_JOBID= 308389 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/40769-1149316687/instance-40769-1149316687.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-40769-1149316687 -o ROOT/results/node62/solver-40769-1149316687 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node62/40769-1149316687/instance-40769-1149316687.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 158d85b2efcaf56eab2db834482aadfb RANDOM SEED= 300627949 /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: 1360680 kB Buffers: 33384 kB Cached: 583008 kB SwapCached: 572 kB Active: 57252 kB Inactive: 573356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1360680 kB SwapTotal: 4192956 kB SwapFree: 4191908 kB Dirty: 196 kB Writeback: 0 kB Mapped: 23728 kB Slab: 50624 kB Committed_AS: 263860 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 07:08:08 UTC 2006