Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.03 | 1800.53 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gesa3_o.opb |
MD5SUM | 65c2bbddd90efb87154e28c84e06f5c3 |
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 | 15504 |
Total number of constraints | 1416 |
Number of constraints which are clauses | 168 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1248 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 311 |
Number of terms in the objective function | 8784 |
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 | 144203531006459664 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 144203531006459664 |
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.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.37 c Initial problem consists of 15504 variables and 1536 constraints. 0.41 c No problem reductions applied in OPT. instance. 0.41 c preprocess terminated. Elapsed time: 0.398 0.41 c After prepocess the problem consists of 8856 variables and 1536 constraints. 0.41 c Initial Lower Bound: 0 0.58 c Restart #1 #Var: 8856 LB: 0 @ 0.568 0.86 c Restart #2 #Var: 8856 LB: 0 @ 0.853 1.29 c Restart #3 #Var: 8856 LB: 0 @ 1.279 1.92 c Restart #4 #Var: 8856 LB: 0 @ 1.911 2.71 c Restart #5 #Var: 8856 LB: 0 @ 2.699 3.66 c Restart #6 #Var: 8856 LB: 0 @ 3.65 4.80 c Restart #7 #Var: 8856 LB: 0 @ 4.785 6.06 c Restart #8 #Var: 8856 LB: 0 @ 6.047 7.64 c Restart #9 #Var: 8856 LB: 0 @ 7.63 8.75 c Restart #10 #Var: 8856 LB: 0 @ 8.74 9.34 c Restart #11 #Var: 8856 LB: 0 @ 9.322 10.61 c Restart #12 #Var: 8856 LB: 0 @ 10.594 10.93 c Restart #13 #Var: 8856 LB: 0 @ 10.917 11.19 c Restart #14 #Var: 8856 LB: 0 @ 11.17 11.45 c Restart #15 #Var: 8856 LB: 0 @ 11.436 11.74 c Restart #16 #Var: 8856 LB: 0 @ 11.726 12.03 c Restart #17 #Var: 8856 LB: 0 @ 12.017 12.38 c Restart #18 #Var: 8856 LB: 0 @ 12.36 12.72 c Restart #19 #Var: 8856 LB: 0 @ 12.707 13.10 c Restart #20 #Var: 8856 LB: 0 @ 13.086 13.50 c Restart #21 #Var: 8856 LB: 0 @ 13.482 13.88 c Restart #22 #Var: 8856 LB: 0 @ 13.865 14.31 c Restart #23 #Var: 8856 LB: 0 @ 14.297 14.76 c Restart #24 #Var: 8856 LB: 0 @ 14.746 15.27 c Restart #25 #Var: 8856 LB: 0 @ 15.248 15.76 c Restart #26 #Var: 8856 LB: 0 @ 15.747 16.36 c Restart #27 #Var: 8856 LB: 0 @ 16.347 16.94 c Restart #28 #Var: 8856 LB: 0 @ 16.926 17.59 c Restart #29 #Var: 8856 LB: 0 @ 17.572 18.17 c Restart #30 #Var: 8856 LB: 0 @ 18.155 18.76 c Restart #31 #Var: 8856 LB: 0 @ 18.741 19.36 c Restart #32 #Var: 8856 LB: 0 @ 19.341 20.09 c Restart #33 #Var: 8856 LB: 0 @ 20.07 21.28 c Restart #34 #Var: 8856 LB: 0 @ 21.264 22.13 c Restart #35 #Var: 8856 LB: 0 @ 22.115 22.76 c Restart #36 #Var: 8856 LB: 0 @ 22.745 23.44 c Restart #37 #Var: 8856 LB: 0 @ 23.423 24.19 c Restart #38 #Var: 8856 LB: 0 @ 24.173 24.92 c Restart #39 #Var: 8856 LB: 0 @ 24.897 25.69 c Restart #40 #Var: 8856 LB: 0 @ 25.666 26.47 c Restart #41 #Var: 8856 LB: 0 @ 26.446 27.34 c Restart #42 #Var: 8856 LB: 0 @ 27.32 28.28 c Restart #43 #Var: 8856 LB: 0 @ 28.258 29.06 c Restart #44 #Var: 8856 LB: 0 @ 29.04 29.88 c Restart #45 #Var: 8856 LB: 0 @ 29.859 30.73 c Restart #46 #Var: 8856 LB: 0 @ 30.711 31.60 c Restart #47 #Var: 8856 LB: 0 @ 31.575 32.44 c Restart #48 #Var: 8856 LB: 0 @ 32.414 33.33 c Restart #49 #Var: 8856 LB: 0 @ 33.304 34.25 c Restart #50 #Var: 8856 LB: 0 @ 34.229 35.19 c Restart #51 #Var: 8856 LB: 0 @ 35.17 36.10 c Restart #52 #Var: 8856 LB: 0 @ 36.078 37.07 c Restart #53 #Var: 8856 LB: 0 @ 37.042 37.95 c Restart #54 #Var: 8856 LB: 0 @ 37.93 38.91 c Restart #55 #Var: 8856 LB: 0 @ 38.889 39.93 c Restart #56 #Var: 8856 LB: 0 @ 39.909 41.01 c Restart #57 #Var: 8856 LB: 0 @ 40.987 42.26 c Restart #58 #Var: 8856 LB: 0 @ 42.232 43.36 c Restart #59 #Var: 8856 LB: 0 @ 43.333 44.46 c Restart #60 #Var: 8856 LB: 0 @ 44.433 45.59 c Restart #61 #Var: 8856 LB: 0 @ 45.568 46.70 c Restart #62 #Var: 8856 LB: 0 @ 46.672 47.82 c Restart #63 #Var: 8856 LB: 0 @ 47.791 49.00 c Restart #64 #Var: 8856 LB: 0 @ 48.974 50.27 c Restart #65 #Var: 8856 LB: 0 @ 50.243 51.45 c Restart #66 #Var: 8856 LB: 0 @ 51.425 52.60 c Restart #67 #Var: 8856 LB: 0 @ 52.571 53.75 c Restart #68 #Var: 8856 LB: 0 @ 53.726 54.94 c Restart #69 #Var: 8856 LB: 0 @ 54.912 56.12 c Restart #70 #Var: 8856 LB: 0 @ 56.09 57.30 c Restart #71 #Var: 8856 LB: 0 @ 57.276 58.44 c Restart #72 #Var: 8856 LB: 0 @ 58.414 59.67 c Restart #73 #Var: 8856 LB: 0 @ 59.639 60.90 c Restart #74 #Var: 8856 LB: 0 @ 60.87 62.18 c Restart #75 #Var: 8856 LB: 0 @ 62.154 63.48 c Restart #76 #Var: 8856 LB: 0 @ 63.454 64.79 c Restart #77 #Var: 8856 LB: 0 @ 64.762 66.09 c Restart #78 #Var: 8856 LB: 0 @ 66.064 67.42 c Restart #79 #Var: 8856 LB: 0 @ 67.387 68.77 c Restart #80 #Var: 8856 LB: 0 @ 68.742 70.42 c Restart #81 #Var: 8856 LB: 0 @ 70.394 71.80 c Restart #82 #Var: 8856 LB: 0 @ 71.766 73.23 c Restart #83 #Var: 8855 LB: 0 @ 73.201 74.68 c Restart #84 #Var: 8855 LB: 0 @ 74.648 76.35 c Restart #85 #Var: 8855 LB: 0 @ 76.313 78.06 c Restart #86 #Var: 8855 LB: 0 @ 78.022 80.33 c Restart #87 #Var: 8855 LB: 0 @ 80.297 82.07 c Restart #88 #Var: 8855 LB: 0 @ 82.035 83.89 c Restart #89 #Var: 8855 LB: 0 @ 83.858 85.43 c Restart #90 #Var: 8855 LB: 0 @ 85.393 87.18 c Restart #91 #Var: 8855 LB: 0 @ 87.143 88.45 c Restart #92 #Var: 8855 LB: 0 @ 88.411 90.16 c Restart #93 #Var: 8855 LB: 0 @ 90.127 91.86 c Restart #94 #Var: 8855 LB: 0 @ 91.821 93.89 c Restart #95 #Var: 8855 LB: 0 @ 93.853 96.39 c Restart #96 #Var: 8855 LB: 0 @ 96.35 98.28 c Restart #97 #Var: 8855 LB: 0 @ 98.246 100.25 c Restart #98 #Var: 8854 LB: 0 @ 100.21 102.01 c Restart #99 #Var: 8854 LB: 0 @ 101.97 103.68 c Restart #100 #Var: 8854 LB: 0 @ 103.64 105.89 c Restart #101 #Var: 8854 LB: 0 @ 105.85 107.91 c Restart #102 #Var: 8854 LB: 0 @ 107.87 110.23 c Restart #103 #Var: 8854 LB: 0 @ 110.19 111.80 c Restart #104 #Var: 8854 LB: 0 @ 111.76 113.86 c Restart #105 #Var: 8854 LB: 0 @ 113.82 115.85 c Restart #106 #Var: 8854 LB: 0 @ 115.8 117.80 c Restart #107 #Var: 8854 LB: 0 @ 117.75 120.08 c Restart #108 #Var: 8854 LB: 0 @ 120.03 122.06 c Restart #109 #Var: 8854 LB: 0 @ 122.02 124.22 c Restart #110 #Var: 8854 LB: 0 @ 124.17 126.17 c Restart #111 #Var: 8854 LB: 0 @ 126.12 128.14 c Restart #112 #Var: 8854 LB: 0 @ 128.1 130.30 c Restart #113 #Var: 8854 LB: 0 @ 130.26 132.47 c Restart #114 #Var: 8854 LB: 0 @ 132.42 134.61 c Restart #115 #Var: 8854 LB: 0 @ 134.56 136.74 c Restart #116 #Var: 8854 LB: 0 @ 136.69 139.20 c Restart #117 #Var: 8854 LB: 0 @ 139.15 141.36 c Restart #118 #Var: 8854 LB: 0 @ 141.31 143.61 c Restart #119 #Var: 8854 LB: 0 @ 143.56 145.92 c Restart #120 #Var: 8854 LB: 0 @ 145.87 148.00 c Restart #121 #Var: 8854 LB: 0 @ 147.95 150.13 c Restart #122 #Var: 8854 LB: 0 @ 150.07 152.25 c Restart #123 #Var: 8854 LB: 0 @ 152.2 154.43 c Restart #124 #Var: 8854 LB: 0 @ 154.38 156.34 c Restart #125 #Var: 8854 LB: 0 @ 156.29 158.36 c Restart #126 #Var: 8854 LB: 0 @ 158.31 160.52 c Restart #127 #Var: 8854 LB: 0 @ 160.46 162.95 c Restart #128 #Var: 8854 LB: 0 @ 162.89 165.31 c Restart #129 #Var: 8854 LB: 0 @ 165.26 167.26 c Restart #130 #Var: 8854 LB: 0 @ 167.21 169.36 c Restart #131 #Var: 8854 LB: 0 @ 169.3 171.33 c Restart #132 #Var: 8854 LB: 0 @ 171.27 173.44 c Restart #133 #Var: 8854 LB: 0 @ 173.38 175.43 c Restart #134 #Var: 8854 LB: 0 @ 175.37 177.57 c Restart #135 #Var: 8854 LB: 0 @ 177.51 179.60 c Restart #136 #Var: 8854 LB: 0 @ 179.53 181.79 c Restart #137 #Var: 8854 LB: 0 @ 181.72 183.85 c Restart #138 #Var: 8854 LB: 0 @ 183.79 186.07 c Restart #139 #Var: 8854 LB: 0 @ 186.01 188.17 c Restart #140 #Var: 8854 LB: 0 @ 188.11 190.43 c Restart #141 #Var: 8854 LB: 0 @ 190.36 192.53 c Restart #142 #Var: 8854 LB: 0 @ 192.47 194.80 c Restart #143 #Var: 8854 LB: 0 @ 194.74 196.95 c Restart #144 #Var: 8854 LB: 0 @ 196.88 199.29 c Restart #145 #Var: 8854 LB: 0 @ 199.23 201.90 c Restart #146 #Var: 8853 LB: 0 @ 201.83 204.43 c Restart #147 #Var: 8852 LB: 0 @ 204.37 206.99 c Restart #148 #Var: 8852 LB: 0 @ 206.92 209.76 c Restart #149 #Var: 8851 LB: 0 @ 209.7 212.29 c Restart #150 #Var: 8851 LB: 0 @ 212.22 215.04 c Restart #151 #Var: 8851 LB: 0 @ 214.97 217.81 c Restart #152 #Var: 8851 LB: 0 @ 217.74 220.54 c Restart #153 #Var: 8851 LB: 0 @ 220.47 223.29 c Restart #154 #Var: 8848 LB: 0 @ 223.22 226.12 c Restart #155 #Var: 8848 LB: 0 @ 226.04 229.40 c Restart #156 #Var: 8848 LB: 0 @ 229.33 232.04 c Restart #157 #Var: 8848 LB: 0 @ 231.97 234.86 c Restart #158 #Var: 8848 LB: 0 @ 234.78 237.66 c Restart #159 #Var: 8848 LB: 0 @ 237.59 240.52 c Restart #160 #Var: 8848 LB: 0 @ 240.44 243.26 c Restart #161 #Var: 8848 LB: 0 @ 243.18 246.21 c Restart #162 #Var: 8848 LB: 0 @ 246.13 248.99 c Restart #163 #Var: 8848 LB: 0 @ 248.91 251.80 c Restart #164 #Var: 8848 LB: 0 @ 251.72 254.48 c Restart #165 #Var: 8848 LB: 0 @ 254.4 257.67 c Restart #166 #Var: 8848 LB: 0 @ 257.59 260.29 c Restart #167 #Var: 8848 LB: 0 @ 260.21 263.61 c Restart #168 #Var: 8848 LB: 0 @ 263.53 266.56 c Restart #169 #Var: 8848 LB: 0 @ 266.47 269.51 c Restart #170 #Var: 8848 LB: 0 @ 269.43 272.40 c Restart #171 #Var: 8848 LB: 0 @ 272.31 275.38 c Restart #172 #Var: 8848 LB: 0 @ 275.29 278.30 c Restart #173 #Var: 8848 LB: 0 @ 278.21 281.25 c Restart #174 #Var: 8848 LB: 0 @ 281.16 284.18 c Restart #175 #Var: 8848 LB: 0 @ 284.09 287.16 c Restart #176 #Var: 8848 LB: 0 @ 287.07 290.16 c Restart #177 #Var: 8848 LB: 0 @ 290.07 293.15 c Restart #178 #Var: 8848 LB: 0 @ 293.06 296.11 c Restart #179 #Var: 8848 LB: 0 @ 296.02 299.02 c Restart #180 #Var: 8848 LB: 0 @ 298.92 302.20 c Restart #181 #Var: 8848 LB: 0 @ 302.11 305.32 c Restart #182 #Var: 8848 LB: 0 @ 305.22 308.54 c Restart #183 #Var: 8848 LB: 0 @ 308.45 311.72 c Restart #184 #Var: 8848 LB: 0 @ 311.63 314.78 c Restart #185 #Var: 8848 LB: 0 @ 314.68 317.98 c Restart #186 #Var: 8848 LB: 0 @ 317.88 321.29 c Restart #187 #Var: 8848 LB: 0 @ 321.19 324.64 c Restart #188 #Var: 8848 LB: 0 @ 324.54 328.19 c Restart #189 #Var: 8848 LB: 0 @ 328.09 331.49 c Restart #190 #Var: 8848 LB: 0 @ 331.39 334.62 c Restart #191 #Var: 8848 LB: 0 @ 334.52 337.91 c Restart #192 #Var: 8848 LB: 0 @ 337.81 341.14 c Restart #193 #Var: 8848 LB: 0 @ 341.03 344.47 c Restart #194 #Var: 8848 LB: 0 @ 344.37 347.90 c Restart #195 #Var: 8848 LB: 0 @ 347.8 351.30 c Restart #196 #Var: 8848 LB: 0 @ 351.2 354.72 c Restart #197 #Var: 8848 LB: 0 @ 354.61 358.18 c Restart #198 #Var: 8848 LB: 0 @ 358.07 361.56 c Restart #199 #Var: 8848 LB: 0 @ 361.45 365.20 c Restart #200 #Var: 8848 LB: 0 @ 365.08 368.63 c Restart #201 #Var: 8848 LB: 0 @ 368.51 372.06 c Restart #202 #Var: 8848 LB: 0 @ 371.95 375.56 c Restart #203 #Var: 8848 LB: 0 @ 375.44 379.18 c Restart #204 #Var: 8848 LB: 0 @ 379.07 382.79 c Restart #205 #Var: 8848 LB: 0 @ 382.68 386.47 c Restart #206 #Var: 8847 LB: 0 @ 386.36 390.58 c Restart #207 #Var: 8847 LB: 0 @ 390.46 394.46 c Restart #208 #Var: 8847 LB: 0 @ 394.34 398.58 c Restart #209 #Var: 8847 LB: 0 @ 398.46 402.26 c Restart #210 #Var: 8846 LB: 0 @ 402.14 406.41 c Restart #211 #Var: 8846 LB: 0 @ 406.29 410.05 c Restart #212 #Var: 8846 LB: 0 @ 409.93 413.65 c Restart #213 #Var: 8846 LB: 0 @ 413.53 417.26 c Restart #214 #Var: 8846 LB: 0 @ 417.13 420.90 c Restart #215 #Var: 8846 LB: 0 @ 420.78 424.69 c Restart #216 #Var: 8846 LB: 0 @ 424.56 428.26 c Restart #217 #Var: 8846 LB: 0 @ 428.13 431.96 c Restart #218 #Var: 8846 LB: 0 @ 431.83 435.57 c Restart #219 #Var: 8846 LB: 0 @ 435.44 439.30 c Restart #220 #Var: 8846 LB: 0 @ 439.17 443.02 c Restart #221 #Var: 8846 LB: 0 @ 442.89 446.84 c Restart #222 #Var: 8846 LB: 0 @ 446.7 450.61 c Restart #223 #Var: 8846 LB: 0 @ 450.48 454.38 c Restart #224 #Var: 8846 LB: 0 @ 454.25 458.16 c Restart #225 #Var: 8846 LB: 0 @ 458.03 461.99 c Restart #226 #Var: 8846 LB: 0 @ 461.85 465.81 c Restart #227 #Var: 8846 LB: 0 @ 465.68 469.63 c Restart #228 #Var: 8846 LB: 0 @ 469.49 473.45 c Restart #229 #Var: 8846 LB: 0 @ 473.31 477.25 c Restart #230 #Var: 8846 LB: 0 @ 477.11 481.15 c Restart #231 #Var: 8846 LB: 0 @ 481.01 485.02 c Restart #232 #Var: 8846 LB: 0 @ 484.88 488.94 c Restart #233 #Var: 8846 LB: 0 @ 488.8 492.89 c Restart #234 #Var: 8846 LB: 0 @ 492.75 496.80 c Restart #235 #Var: 8846 LB: 0 @ 496.66 500.75 c Restart #236 #Var: 8846 LB: 0 @ 500.6 504.78 c Restart #237 #Var: 8846 LB: 0 @ 504.63 508.79 c Restart #238 #Var: 8846 LB: 0 @ 508.64 512.80 c Restart #239 #Var: 8846 LB: 0 @ 512.65 516.70 c Restart #240 #Var: 8846 LB: 0 @ 516.54 520.77 c Restart #241 #Var: 8846 LB: 0 @ 520.62 524.88 c Restart #242 #Var: 8846 LB: 0 @ 524.73 529.01 c Restart #243 #Var: 8846 LB: 0 @ 528.85 533.12 c Restart #244 #Var: 8846 LB: 0 @ 532.96 537.13 c Restart #245 #Var: 8846 LB: 0 @ 536.98 541.64 c Restart #246 #Var: 8845 LB: 0 @ 541.48 546.12 c Restart #247 #Var: 8845 LB: 0 @ 545.96 550.85 c Restart #248 #Var: 8845 LB: 0 @ 550.69 555.45 c Restart #249 #Var: 8844 LB: 0 @ 555.28 559.66 c Restart #250 #Var: 8844 LB: 0 @ 559.49 564.13 c Restart #251 #Var: 8844 LB: 0 @ 563.97 568.53 c Restart #252 #Var: 8844 LB: 0 @ 568.36 572.88 c Restart #253 #Var: 8844 LB: 0 @ 572.71 577.30 c Restart #254 #Var: 8844 LB: 0 @ 577.14 581.77 c Restart #255 #Var: 8844 LB: 0 @ 581.6 586.26 c Restart #256 #Var: 8844 LB: 0 @ 586.09 590.73 c Restart #257 #Var: 8844 LB: 0 @ 590.56 595.27 c Restart #258 #Var: 8844 LB: 0 @ 595.1 599.75 c Restart #259 #Var: 8844 LB: 0 @ 599.57 604.28 c Restart #260 #Var: 8844 LB: 0 @ 604.1 608.81 c Restart #261 #Var: 8844 LB: 0 @ 608.63 613.35 c Restart #262 #Var: 8844 LB: 0 @ 613.17 617.92 c Restart #263 #Var: 8844 LB: 0 @ 617.74 622.50 c Restart #264 #Var: 8844 LB: 0 @ 622.32 627.14 c Restart #265 #Var: 8844 LB: 0 @ 626.96 631.78 c Restart #266 #Var: 8844 LB: 0 @ 631.6 636.40 c Restart #267 #Var: 8844 LB: 0 @ 636.21 641.02 c Restart #268 #Var: 8844 LB: 0 @ 640.84 645.69 c Restart #269 #Var: 8844 LB: 0 @ 645.5 650.39 c Restart #270 #Var: 8844 LB: 0 @ 650.21 655.12 c Restart #271 #Var: 8844 LB: 0 @ 654.93 659.75 c Restart #272 #Var: 8844 LB: 0 @ 659.56 664.40 c Restart #273 #Var: 8844 LB: 0 @ 664.21 668.97 c Restart #274 #Var: 8844 LB: 0 @ 668.78 673.62 c Restart #275 #Var: 8844 LB: 0 @ 673.42 678.44 c Restart #276 #Var: 8844 LB: 0 @ 678.24 683.91 c Restart #277 #Var: 8842 LB: 0 @ 683.71 689.72 c Restart #278 #Var: 8842 LB: 0 @ 689.52 695.05 c Restart #279 #Var: 8842 LB: 0 @ 694.86 699.93 c Restart #280 #Var: 8842 LB: 0 @ 699.73 704.85 c Restart #281 #Var: 8842 LB: 0 @ 704.65 711.13 c Restart #282 #Var: 8838 LB: 0 @ 710.93 716.57 c Restart #283 #Var: 8838 LB: 0 @ 716.36 721.58 c Restart #284 #Var: 8838 LB: 0 @ 721.38 726.84 c Restart #285 #Var: 8838 LB: 0 @ 726.64 731.84 c Restart #286 #Var: 8838 LB: 0 @ 731.63 736.88 c Restart #287 #Var: 8838 LB: 0 @ 736.67 741.90 c Restart #288 #Var: 8838 LB: 0 @ 741.68 746.96 c Restart #289 #Var: 8838 LB: 0 @ 746.75 752.24 c Restart #290 #Var: 8838 LB: 0 @ 752.02 757.21 c Restart #291 #Var: 8838 LB: 0 @ 757 762.35 c Restart #292 #Var: 8838 LB: 0 @ 762.13 767.50 c Restart #293 #Var: 8838 LB: 0 @ 767.28 772.97 c Restart #294 #Var: 8838 LB: 0 @ 772.75 778.80 c Restart #295 #Var: 8838 LB: 0 @ 778.58 784.27 c Restart #296 #Var: 8838 LB: 0 @ 784.05 789.64 c Restart #297 #Var: 8837 LB: 0 @ 789.41 794.80 c Restart #298 #Var: 8837 LB: 0 @ 794.57 800.10 c Restart #299 #Var: 8837 LB: 0 @ 799.87 805.15 c Restart #300 #Var: 8837 LB: 0 @ 804.93 810.58 c Restart #301 #Var: 8837 LB: 0 @ 810.35 816.69 c Restart #302 #Var: 8836 LB: 0 @ 816.46 822.88 c Restart #303 #Var: 8836 LB: 0 @ 822.64 828.23 c Restart #304 #Var: 8836 LB: 0 @ 828 833.95 c Restart #305 #Var: 8836 LB: 0 @ 833.71 839.73 c Restart #306 #Var: 8836 LB: 0 @ 839.49 845.48 c Restart #307 #Var: 8836 LB: 0 @ 845.24 851.62 c Restart #308 #Var: 8836 LB: 0 @ 851.38 857.79 c Restart #309 #Var: 8836 LB: 0 @ 857.54 863.36 c Restart #310 #Var: 8836 LB: 0 @ 863.11 868.94 c Restart #311 #Var: 8836 LB: 0 @ 868.69 874.38 c Restart #312 #Var: 8836 LB: 0 @ 874.13 879.85 c Restart #313 #Var: 8836 LB: 0 @ 879.6 885.32 c Restart #314 #Var: 8836 LB: 0 @ 885.07 890.91 c Restart #315 #Var: 8836 LB: 0 @ 890.66 896.52 c Restart #316 #Var: 8836 LB: 0 @ 896.27 901.76 c CHANGE Heuristic... 901.76 c Restart #0 #Var: 8836 LB: 0 @ 901.51 901.88 c Restart #1 #Var: 8831 LB: 0 @ 901.63 901.92 c Restart #2 #Var: 8831 LB: 0 @ 901.66 902.11 c Restart #3 #Var: 8825 LB: 0 @ 901.86 902.21 c Restart #4 #Var: 8825 LB: 0 @ 901.96 902.31 c Restart #5 #Var: 8825 LB: 0 @ 902.05 902.41 c Restart #6 #Var: 8825 LB: 0 @ 902.15 902.55 c Restart #7 #Var: 8825 LB: 0 @ 902.3 902.70 c Restart #8 #Var: 8825 LB: 0 @ 902.45 902.86 c Restart #9 #Var: 8825 LB: 0 @ 902.61 903.03 c Restart #10 #Var: 8825 LB: 0 @ 902.78 903.34 c Restart #11 #Var: 8825 LB: 0 @ 903.08 903.64 c Restart #12 #Var: 8825 LB: 0 @ 903.38 903.96 c Restart #13 #Var: 8825 LB: 0 @ 903.7 904.37 c Restart #14 #Var: 8825 LB: 0 @ 904.12 904.83 c Restart #15 #Var: 8825 LB: 0 @ 904.57 905.26 c Restart #16 #Var: 8825 LB: 0 @ 905 905.73 c Restart #17 #Var: 8825 LB: 0 @ 905.48 906.28 c Restart #18 #Var: 8825 LB: 0 @ 906.02 906.80 c Restart #19 #Var: 8825 LB: 0 @ 906.54 907.31 c Restart #20 #Var: 8825 LB: 0 @ 907.06 907.92 c Restart #21 #Var: 8825 LB: 0 @ 907.67 908.44 c Restart #22 #Var: 8825 LB: 0 @ 908.19 909.06 c Restart #23 #Var: 8825 LB: 0 @ 908.8 909.70 c Restart #24 #Var: 8825 LB: 0 @ 909.44 910.36 c Restart #25 #Var: 8825 LB: 0 @ 910.1 911.15 c Restart #26 #Var: 8825 LB: 0 @ 910.89 911.90 c Restart #27 #Var: 8825 LB: 0 @ 911.64 912.40 c Restart #28 #Var: 8825 LB: 0 @ 912.14 912.91 c Restart #29 #Var: 8825 LB: 0 @ 912.66 913.39 c Restart #30 #Var: 8823 LB: 0 @ 913.13 913.92 c Restart #31 #Var: 8823 LB: 0 @ 913.66 914.44 c Restart #32 #Var: 8823 LB: 0 @ 914.18 914.96 c Restart #33 #Var: 8823 LB: 0 @ 914.71 915.76 c Restart #34 #Var: 8823 LB: 0 @ 915.5 916.44 c Restart #35 #Var: 8823 LB: 0 @ 916.18 917.15 c Restart #36 #Var: 8823 LB: 0 @ 916.89 918.14 c Restart #37 #Var: 8823 LB: 0 @ 917.88 919.16 c Restart #38 #Var: 8823 LB: 0 @ 918.9 920.18 c Restart #39 #Var: 8823 LB: 0 @ 919.92 921.47 c Restart #40 #Var: 8823 LB: 0 @ 921.21 922.78 c Restart #41 #Var: 8823 LB: 0 @ 922.52 923.81 c Restart #42 #Var: 8823 LB: 0 @ 923.55 924.96 c Restart #43 #Var: 8823 LB: 0 @ 924.7 926.25 c Restart #44 #Var: 8823 LB: 0 @ 925.99 927.88 c Restart #45 #Var: 8823 LB: 0 @ 927.62 929.49 c Restart #46 #Var: 8823 LB: 0 @ 929.23 930.75 c Restart #47 #Var: 8823 LB: 0 @ 930.49 932.08 c Restart #48 #Var: 8823 LB: 0 @ 931.81 933.32 c Restart #49 #Var: 8823 LB: 0 @ 933.06 934.55 c Restart #50 #Var: 8823 LB: 0 @ 934.28 935.90 c Restart #51 #Var: 8823 LB: 0 @ 935.64 937.26 c Restart #52 #Var: 8823 LB: 0 @ 937 938.69 c Restart #53 #Var: 8823 LB: 0 @ 938.43 940.05 c Restart #54 #Var: 8823 LB: 0 @ 939.79 941.49 c Restart #55 #Var: 8823 LB: 0 @ 941.23 942.96 c Restart #56 #Var: 8823 LB: 0 @ 942.7 944.73 c Restart #57 #Var: 8823 LB: 0 @ 944.47 946.38 c Restart #58 #Var: 8823 LB: 0 @ 946.11 947.91 c Restart #59 #Var: 8823 LB: 0 @ 947.65 949.63 c Restart #60 #Var: 8823 LB: 0 @ 949.36 951.45 c Restart #61 #Var: 8823 LB: 0 @ 951.19 953.04 c Restart #62 #Var: 8823 LB: 0 @ 952.77 954.63 c Restart #63 #Var: 8823 LB: 0 @ 954.37 956.40 c Restart #64 #Var: 8823 LB: 0 @ 956.13 958.23 c Restart #65 #Var: 8823 LB: 0 @ 957.96 960.01 c Restart #66 #Var: 8823 LB: 0 @ 959.74 961.75 c Restart #67 #Var: 8823 LB: 0 @ 961.48 963.52 c Restart #68 #Var: 8823 LB: 0 @ 963.25 965.41 c Restart #69 #Var: 8823 LB: 0 @ 965.14 967.16 c Restart #70 #Var: 8823 LB: 0 @ 966.89 968.93 c Restart #71 #Var: 8823 LB: 0 @ 968.66 970.74 c Restart #72 #Var: 8823 LB: 0 @ 970.46 972.55 c Restart #73 #Var: 8823 LB: 0 @ 972.28 974.41 c Restart #74 #Var: 8823 LB: 0 @ 974.13 976.36 c Restart #75 #Var: 8823 LB: 0 @ 976.09 978.25 c Restart #76 #Var: 8823 LB: 0 @ 977.98 980.21 c Restart #77 #Var: 8823 LB: 0 @ 979.94 982.19 c Restart #78 #Var: 8823 LB: 0 @ 981.92 984.26 c Restart #79 #Var: 8823 LB: 0 @ 983.98 986.34 c Restart #80 #Var: 8823 LB: 0 @ 986.06 988.44 c Restart #81 #Var: 8823 LB: 0 @ 988.16 990.54 c Restart #82 #Var: 8823 LB: 0 @ 990.26 992.59 c Restart #83 #Var: 8823 LB: 0 @ 992.32 995.22 c Restart #84 #Var: 8823 LB: 0 @ 994.94 997.67 c Restart #85 #Var: 8823 LB: 0 @ 997.39 1000.19 c Restart #86 #Var: 8823 LB: 0 @ 999.91 1002.67 c Restart #87 #Var: 8823 LB: 0 @ 1002.4 1005.06 c Restart #88 #Var: 8823 LB: 0 @ 1004.8 1007.66 c Restart #89 #Var: 8823 LB: 0 @ 1007.4 1010.49 c Restart #90 #Var: 8823 LB: 0 @ 1010.2 1012.87 c Restart #91 #Var: 8823 LB: 0 @ 1012.6 1015.89 c Restart #92 #Var: 8823 LB: 0 @ 1015.6 1018.50 c Restart #93 #Var: 8823 LB: 0 @ 1018.2 1021.20 c Restart #94 #Var: 8823 LB: 0 @ 1020.9 1024.36 c Restart #95 #Var: 8823 LB: 0 @ 1024.1 1027.25 c Restart #96 #Var: 8823 LB: 0 @ 1027 1030.07 c Restart #97 #Var: 8823 LB: 0 @ 1029.8 1032.76 c Restart #98 #Var: 8823 LB: 0 @ 1032.5 1035.54 c Restart #99 #Var: 8823 LB: 0 @ 1035.2 1038.20 c Restart #100 #Var: 8823 LB: 0 @ 1037.9 1041.01 c Restart #101 #Var: 8823 LB: 0 @ 1040.7 1043.77 c Restart #102 #Var: 8823 LB: 0 @ 1043.5 1046.58 c Restart #103 #Var: 8823 LB: 0 @ 1046.3 1049.46 c Restart #104 #Var: 8823 LB: 0 @ 1049.2 1051.53 c Restart #105 #Var: 8823 LB: 0 @ 1051.2 1053.39 c Restart #106 #Var: 8823 LB: 0 @ 1053.1 1055.44 c Restart #107 #Var: 8823 LB: 0 @ 1055.1 1058.22 c Restart #108 #Var: 8823 LB: 0 @ 1057.9 1060.24 c Restart #109 #Var: 8823 LB: 0 @ 1059.9 1062.33 c Restart #110 #Var: 8823 LB: 0 @ 1062 1064.26 c Restart #111 #Var: 8823 LB: 0 @ 1064 1066.19 c Restart #112 #Var: 8823 LB: 0 @ 1065.9 1068.09 c Restart #113 #Var: 8823 LB: 0 @ 1067.8 1070.17 c Restart #114 #Var: 8823 LB: 0 @ 1069.9 1072.08 c Restart #115 #Var: 8823 LB: 0 @ 1071.8 1074.12 c Restart #116 #Var: 8823 LB: 0 @ 1073.8 1076.04 c Restart #117 #Var: 8823 LB: 0 @ 1075.7 1078.05 c Restart #118 #Var: 8822 LB: 0 @ 1077.7 1080.08 c Restart #119 #Var: 8822 LB: 0 @ 1079.8 1082.27 c Restart #120 #Var: 8821 LB: 0 @ 1082 1084.59 c Restart #121 #Var: 8821 LB: 0 @ 1084.3 1087.04 c Restart #122 #Var: 8821 LB: 0 @ 1086.7 1089.38 c Restart #123 #Var: 8821 LB: 0 @ 1089.1 1091.80 c Restart #124 #Var: 8821 LB: 0 @ 1091.5 1094.33 c Restart #125 #Var: 8821 LB: 0 @ 1094 1096.64 c Restart #126 #Var: 8821 LB: 0 @ 1096.3 1099.25 c Restart #127 #Var: 8821 LB: 0 @ 1098.9 1101.97 c Restart #128 #Var: 8821 LB: 0 @ 1101.7 1104.28 c Restart #129 #Var: 8821 LB: 0 @ 1104 1106.59 c Restart #130 #Var: 8821 LB: 0 @ 1106.3 1109.01 c Restart #131 #Var: 8821 LB: 0 @ 1108.7 1111.27 c Restart #132 #Var: 8821 LB: 0 @ 1111 1113.54 c Restart #133 #Var: 8821 LB: 0 @ 1113.2 1116.21 c Restart #134 #Var: 8821 LB: 0 @ 1115.9 1118.70 c Restart #135 #Var: 8821 LB: 0 @ 1118.4 1121.04 c Restart #136 #Var: 8821 LB: 0 @ 1120.7 1123.83 c Restart #137 #Var: 8821 LB: 0 @ 1123.5 1126.31 c Restart #138 #Var: 8821 LB: 0 @ 1126 1128.95 c Restart #139 #Var: 8821 LB: 0 @ 1128.6 1131.57 c Restart #140 #Var: 8821 LB: 0 @ 1131.2 1134.38 c Restart #141 #Var: 8821 LB: 0 @ 1134.1 1137.21 c Restart #142 #Var: 8821 LB: 0 @ 1136.9 1140.00 c Restart #143 #Var: 8821 LB: 0 @ 1139.7 1142.70 c Restart #144 #Var: 8821 LB: 0 @ 1142.4 1145.57 c Restart #145 #Var: 8821 LB: 0 @ 1145.3 1148.55 c Restart #146 #Var: 8821 LB: 0 @ 1148.2 1151.27 c Restart #147 #Var: 8821 LB: 0 @ 1151 1153.90 c Restart #148 #Var: 8821 LB: 0 @ 1153.6 1156.55 c Restart #149 #Var: 8821 LB: 0 @ 1156.2 1159.56 c Restart #150 #Var: 8821 LB: 0 @ 1159.2 1162.59 c Restart #151 #Var: 8821 LB: 0 @ 1162.3 1165.51 c Restart #152 #Var: 8821 LB: 0 @ 1165.2 1168.73 c Restart #153 #Var: 8819 LB: 0 @ 1168.4 1171.54 c Restart #154 #Var: 8819 LB: 0 @ 1171.2 1174.83 c Restart #155 #Var: 8819 LB: 0 @ 1174.5 1177.86 c Restart #156 #Var: 8819 LB: 0 @ 1177.5 1181.13 c Restart #157 #Var: 8819 LB: 0 @ 1180.8 1183.91 c Restart #158 #Var: 8819 LB: 0 @ 1183.6 1186.99 c Restart #159 #Var: 8819 LB: 0 @ 1186.7 1190.02 c Restart #160 #Var: 8819 LB: 0 @ 1189.7 1192.79 c Restart #161 #Var: 8819 LB: 0 @ 1192.5 1196.43 c Restart #162 #Var: 8818 LB: 0 @ 1196.1 1199.65 c Restart #163 #Var: 8818 LB: 0 @ 1199.3 1202.75 c Restart #164 #Var: 8817 LB: 0 @ 1202.4 1206.11 c Restart #165 #Var: 8816 LB: 0 @ 1205.8 1209.31 c Restart #166 #Var: 8816 LB: 0 @ 1209 1212.92 c Restart #167 #Var: 8816 LB: 0 @ 1212.6 1215.91 c Restart #168 #Var: 8816 LB: 0 @ 1215.6 1218.97 c Restart #169 #Var: 8816 LB: 0 @ 1218.6 1222.53 c Restart #170 #Var: 8816 LB: 0 @ 1222.2 1225.75 c Restart #171 #Var: 8815 LB: 0 @ 1225.4 1228.98 c Restart #172 #Var: 8815 LB: 0 @ 1228.6 1233.21 c Restart #173 #Var: 8812 LB: 0 @ 1232.9 1238.38 c Restart #174 #Var: 8812 LB: 0 @ 1238 1244.12 c Restart #175 #Var: 8812 LB: 0 @ 1243.8 1249.05 c Restart #176 #Var: 8812 LB: 0 @ 1248.7 1253.75 c Restart #177 #Var: 8812 LB: 0 @ 1253.4 1258.42 c Restart #178 #Var: 8812 LB: 0 @ 1258.1 1263.09 c Restart #179 #Var: 8812 LB: 0 @ 1262.7 1267.76 c Restart #180 #Var: 8812 LB: 0 @ 1267.4 1272.52 c Restart #181 #Var: 8812 LB: 0 @ 1272.2 1277.26 c Restart #182 #Var: 8812 LB: 0 @ 1276.9 1282.04 c Restart #183 #Var: 8812 LB: 0 @ 1281.7 1286.86 c Restart #184 #Var: 8812 LB: 0 @ 1286.5 1291.82 c Restart #185 #Var: 8812 LB: 0 @ 1291.5 1296.83 c Restart #186 #Var: 8812 LB: 0 @ 1296.5 1301.85 c Restart #187 #Var: 8812 LB: 0 @ 1301.5 1306.98 c Restart #188 #Var: 8812 LB: 0 @ 1306.6 1312.21 c Restart #189 #Var: 8812 LB: 0 @ 1311.8 1317.20 c Restart #190 #Var: 8812 LB: 0 @ 1316.8 1322.25 c Restart #191 #Var: 8812 LB: 0 @ 1321.9 1327.33 c Restart #192 #Var: 8812 LB: 0 @ 1327 1332.26 c Restart #193 #Var: 8812 LB: 0 @ 1331.9 1337.31 c Restart #194 #Var: 8812 LB: 0 @ 1336.9 1342.40 c Restart #195 #Var: 8812 LB: 0 @ 1342 1347.49 c Restart #196 #Var: 8812 LB: 0 @ 1347.1 1352.60 c Restart #197 #Var: 8812 LB: 0 @ 1352.2 1357.87 c Restart #198 #Var: 8812 LB: 0 @ 1357.5 1363.37 c Restart #199 #Var: 8812 LB: 0 @ 1363 1368.61 c Restart #200 #Var: 8812 LB: 0 @ 1368.2 1373.95 c Restart #201 #Var: 8812 LB: 0 @ 1373.6 1379.25 c Restart #202 #Var: 8812 LB: 0 @ 1378.9 1384.95 c Restart #203 #Var: 8812 LB: 0 @ 1384.6 1390.18 c Restart #204 #Var: 8812 LB: 0 @ 1389.8 1396.12 c Restart #205 #Var: 8812 LB: 0 @ 1395.7 1401.53 c Restart #206 #Var: 8812 LB: 0 @ 1401.1 1406.96 c Restart #207 #Var: 8812 LB: 0 @ 1406.6 1412.58 c Restart #208 #Var: 8812 LB: 0 @ 1412.2 1418.62 c Restart #209 #Var: 8812 LB: 0 @ 1418.2 1424.21 c Restart #210 #Var: 8812 LB: 0 @ 1423.8 1429.94 c Restart #211 #Var: 8812 LB: 0 @ 1429.5 1435.86 c Restart #212 #Var: 8812 LB: 0 @ 1435.5 1441.82 c Restart #213 #Var: 8812 LB: 0 @ 1441.4 1447.51 c Restart #214 #Var: 8812 LB: 0 @ 1447.1 1453.29 c Restart #215 #Var: 8812 LB: 0 @ 1452.9 1458.95 c Restart #216 #Var: 8812 LB: 0 @ 1458.6 1464.81 c Restart #217 #Var: 8812 LB: 0 @ 1464.4 1470.64 c Restart #218 #Var: 8812 LB: 0 @ 1470.2 1476.52 c Restart #219 #Var: 8812 LB: 0 @ 1476.1 1482.29 c Restart #220 #Var: 8812 LB: 0 @ 1481.9 1488.32 c Restart #221 #Var: 8812 LB: 0 @ 1487.9 1494.21 c Restart #222 #Var: 8812 LB: 0 @ 1493.8 1500.27 c Restart #223 #Var: 8812 LB: 0 @ 1499.9 1506.19 c Restart #224 #Var: 8812 LB: 0 @ 1505.8 1512.32 c Restart #225 #Var: 8812 LB: 0 @ 1511.9 1518.25 c Restart #226 #Var: 8812 LB: 0 @ 1517.8 1524.34 c Restart #227 #Var: 8812 LB: 0 @ 1523.9 1530.43 c Restart #228 #Var: 8812 LB: 0 @ 1530 1536.51 c Restart #229 #Var: 8811 LB: 0 @ 1536.1 1542.84 c Restart #230 #Var: 8811 LB: 0 @ 1542.4 1549.73 c Restart #231 #Var: 8811 LB: 0 @ 1549.3 1555.82 c Restart #232 #Var: 8811 LB: 0 @ 1555.4 1562.16 c Restart #233 #Var: 8811 LB: 0 @ 1561.7 1568.14 c Restart #234 #Var: 8811 LB: 0 @ 1567.7 1574.28 c Restart #235 #Var: 8811 LB: 0 @ 1573.8 1580.22 c Restart #236 #Var: 8811 LB: 0 @ 1579.8 1586.68 c Restart #237 #Var: 8811 LB: 0 @ 1586.2 1592.81 c Restart #238 #Var: 8811 LB: 0 @ 1592.4 1599.32 c Restart #239 #Var: 8811 LB: 0 @ 1598.9 1605.65 c Restart #240 #Var: 8811 LB: 0 @ 1605.2 1611.87 c Restart #241 #Var: 8811 LB: 0 @ 1611.4 1618.19 c Restart #242 #Var: 8811 LB: 0 @ 1617.7 1624.52 c Restart #243 #Var: 8811 LB: 0 @ 1624.1 1630.85 c Restart #244 #Var: 8811 LB: 0 @ 1630.4 1637.19 c Restart #245 #Var: 8811 LB: 0 @ 1636.7 1643.64 c Restart #246 #Var: 8811 LB: 0 @ 1643.2 1650.11 c Restart #247 #Var: 8811 LB: 0 @ 1649.7 1656.65 c Restart #248 #Var: 8811 LB: 0 @ 1656.2 1663.07 c Restart #249 #Var: 8811 LB: 0 @ 1662.6 1669.65 c Restart #250 #Var: 8811 LB: 0 @ 1669.2 1676.19 c Restart #251 #Var: 8811 LB: 0 @ 1675.7 1684.44 c Restart #252 #Var: 8811 LB: 0 @ 1684 1691.11 c Restart #253 #Var: 8811 LB: 0 @ 1690.6 1698.33 c Restart #254 #Var: 8811 LB: 0 @ 1697.9 1705.44 c Restart #255 #Var: 8811 LB: 0 @ 1705 1712.55 c Restart #256 #Var: 8811 LB: 0 @ 1712.1 1720.59 c Restart #257 #Var: 8811 LB: 0 @ 1720.1 1727.93 c Restart #258 #Var: 8811 LB: 0 @ 1727.5 1735.01 c Restart #259 #Var: 8811 LB: 0 @ 1734.5 1741.53 c Restart #260 #Var: 8811 LB: 0 @ 1741.1 1748.59 c Restart #261 #Var: 8811 LB: 0 @ 1748.1 1755.16 c Restart #262 #Var: 8811 LB: 0 @ 1754.7 1761.75 c Restart #263 #Var: 8811 LB: 0 @ 1761.3 1768.89 c Restart #264 #Var: 8811 LB: 0 @ 1768.4 1776.03 c Restart #265 #Var: 8811 LB: 0 @ 1775.5 1782.90 c Restart #266 #Var: 8811 LB: 0 @ 1782.4 1789.98 c Restart #267 #Var: 8811 LB: 0 @ 1789.5 1796.90 c Restart #268 #Var: 8811 LB: 0 @ 1796.4 1800.50 s UNKNOWN 1800.50 c Exit Code: 0 1800.50 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/node72/watcher-40793-1149318368 -o ROOT/results/node72/solver-40793-1149318368 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40793-1149318368/instance-40793-1149318368.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.90 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1764272/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=4664 CPUtime=0 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 135 0 0 0 0 0 0 0 19 0 1 0 197501196 4775936 117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2499776 0 0 4096 0 0 0 0 17 1 0 0 /proc/27092/statm: 1166 120 100 55 0 46 0 [startup+10.0029 s] /proc/loadavg: 0.92 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1744640/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=24592 CPUtime=9.98 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5305 0 0 0 946 52 0 0 25 0 1 0 197501196 25182208 5220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 6148 5220 297 55 0 5040 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 24592 [startup+20.0088 s] /proc/loadavg: 0.93 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1743872/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=25464 CPUtime=19.98 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5518 0 0 0 1941 57 0 0 25 0 1 0 197501196 26075136 5433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 6366 5433 297 55 0 5258 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 25464 [startup+30.0147 s] /proc/loadavg: 0.94 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1743680/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=25692 CPUtime=29.98 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5579 0 0 0 2937 61 0 0 25 0 1 0 197501196 26308608 5494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 6423 5494 297 55 0 5315 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 25692 [startup+40.0206 s] /proc/loadavg: 0.95 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1743488/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=25920 CPUtime=39.99 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5624 0 0 0 3933 66 0 0 25 0 1 0 197501196 26542080 5539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 6480 5539 297 55 0 5372 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 25920 [startup+50.0265 s] /proc/loadavg: 0.96 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1743168/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=26300 CPUtime=49.99 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5702 0 0 0 4930 69 0 0 25 0 1 0 197501196 26931200 5617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 6575 5617 297 55 0 5467 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 26300 [startup+60.0324 s] /proc/loadavg: 0.96 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1743168/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=26300 CPUtime=59.99 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5705 0 0 0 5926 73 0 0 25 0 1 0 197501196 26931200 5620 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 6575 5620 297 55 0 5467 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 26300 [startup+70.0383 s] /proc/loadavg: 0.97 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1743104/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=26300 CPUtime=70 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5708 0 0 0 6924 76 0 0 25 0 1 0 197501196 26931200 5623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 6575 5623 297 55 0 5467 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 26300 [startup+80.0442 s] /proc/loadavg: 0.97 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1743168/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=26300 CPUtime=80 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 5721 0 0 0 7921 79 0 0 25 0 1 0 197501196 26931200 5636 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 6575 5636 297 55 0 5467 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 26300 [startup+90.0501 s] /proc/loadavg: 0.98 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1716224/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=53208 CPUtime=90.01 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 12434 0 0 0 8915 86 0 0 25 0 1 0 197501196 54484992 12346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 13302 12346 297 55 0 12194 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 53208 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1715008/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=54396 CPUtime=100.01 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 12736 0 0 0 9912 89 0 0 25 0 1 0 197501196 55701504 12648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 13599 12648 297 55 0 12491 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 54396 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1715008/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=54396 CPUtime=110.01 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 12742 0 0 0 10909 92 0 0 25 0 1 0 197501196 55701504 12654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 13599 12654 297 55 0 12491 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 54396 [startup+120.068 s] /proc/loadavg: 0.98 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1714624/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=54760 CPUtime=120.02 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 12831 0 0 0 11907 95 0 0 25 0 1 0 197501196 56074240 12743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 13690 12743 297 55 0 12582 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 54760 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1713792/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=55640 CPUtime=130.02 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13033 0 0 0 12903 99 0 0 25 0 1 0 197501196 56975360 12945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 13910 12945 297 55 0 12802 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 55640 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1712896/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=56424 CPUtime=140.02 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13255 0 0 0 13899 103 0 0 25 0 1 0 197501196 57778176 13167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 14106 13167 297 55 0 12998 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 56424 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1712896/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=56532 CPUtime=150.03 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13267 0 0 0 14896 107 0 0 25 0 1 0 197501196 57888768 13179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 14133 13179 297 55 0 13025 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 56532 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=56636 CPUtime=160.02 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 15890 112 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 14159 13207 297 55 0 13051 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 56636 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=56636 CPUtime=170.03 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 16886 117 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 14159 13207 297 55 0 13051 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 56636 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=56636 CPUtime=180.04 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 17882 122 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 14159 13207 297 55 0 13051 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 56636 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=56636 CPUtime=190.04 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 18878 126 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 14159 13207 297 55 0 13051 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 56636 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=56636 CPUtime=200.04 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 13295 0 0 0 19873 131 0 0 25 0 1 0 197501196 57995264 13207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 14159 13207 297 55 0 13051 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 56636 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27092 /proc/meminfo: memFree=1712768/2055920 swapFree=4182268/4192956 ################ # More data... # ################ /proc/27092/statm: 33881 32929 297 55 0 32773 0 Current children cumulated CPU time (s) 1760.53 Current children cumulated vsize (Kb) 135524 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633472/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135524 CPUtime=1770.53 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33054 0 0 0 176374 679 0 0 25 0 1 0 197501196 138776576 32941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33881 32941 297 55 0 32773 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 135524 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1780.53 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177371 682 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 135636 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1781.55 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177472 683 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 135636 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1782.55 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177572 683 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 135636 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1783.55 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177672 683 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 135636 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1784.56 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177772 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 135636 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1785.56 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177872 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969154 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 135636 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1786.57 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 177973 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 135636 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1787.57 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178073 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 135636 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1788.57 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178173 684 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 135636 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1789.58 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178273 685 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 135636 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1790.58 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178373 685 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2970610 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 135636 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1791.59 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178473 686 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2969588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 135636 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1792.59 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178573 686 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 135636 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1793.6 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178674 686 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 135636 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1794.6 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178774 686 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 135636 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1795.61 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178874 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 135636 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1796.61 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 178974 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 135636 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1797.61 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 179074 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 135636 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1798.62 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 179175 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 135636 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27094 /proc/meminfo: memFree=1633408/2055920 swapFree=4182268/4192956 [pid=27092] ppid=27090 vsize=135636 CPUtime=1799.62 /proc/27092/stat : 27092 (bsolo) R 27090 27092 27046 0 -1 0 33066 0 0 0 179275 687 0 0 25 0 1 0 197501196 138891264 32953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27092/statm: 33909 32953 297 55 0 32801 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 135636 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.03 CPU user time (s): 1793.12 CPU system time (s): 6.90295 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (Kb): 135636
Begin job on node72 on Sat Jun 3 07:06:08 UTC 2006 FILE ID= 40793-1149318368 PBS_JOBID= 308486 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40793-1149318368/instance-40793-1149318368.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-40793-1149318368 -o ROOT/results/node72/solver-40793-1149318368 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40793-1149318368/instance-40793-1149318368.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 65c2bbddd90efb87154e28c84e06f5c3 RANDOM SEED= 633757798 /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.227 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.227 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: 1764544 kB Buffers: 26032 kB Cached: 192236 kB SwapCached: 2460 kB Active: 33556 kB Inactive: 193480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1764544 kB SwapTotal: 4192956 kB SwapFree: 4182268 kB Dirty: 192 kB Writeback: 0 kB Mapped: 15620 kB Slab: 50380 kB Committed_AS: 290620 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Sat Jun 3 07:36:08 UTC 2006