Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.26 | 1800.92 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb |
MD5SUM | 10aa1c00308ded1f7e7eb2eaba9ffa44 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 57804647 |
Best CPU time to get the best result obtained on this benchmark | 1801.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22035270 |
Optimality of the best value was proved | NO |
Number of variables | 14036 |
Total number of constraints | 600 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1523 |
Number of terms in the objective function | 11714 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 513431911800 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 513431911800 |
Number of bits of the biggest sum of numbers | 39 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.36 c Initial problem consists of 14036 variables and 700 constraints. 0.40 c No problem reductions applied in OPT. instance. 0.40 c preprocess terminated. Elapsed time: 0.398 0.40 c After prepocess the problem consists of 7383 variables and 595 constraints. 0.40 c Initial Lower Bound: 0 0.55 c Restart #1 #Var: 7383 LB: 0 @ 0.548 0.79 c Restart #2 #Var: 7383 LB: 0 @ 0.779 1.10 c Restart #3 #Var: 7383 LB: 0 @ 1.094 1.50 c Restart #4 #Var: 7383 LB: 0 @ 1.495 1.99 c Restart #5 #Var: 7383 LB: 0 @ 1.979 2.55 c Restart #6 #Var: 7383 LB: 0 @ 2.545 3.21 c Restart #7 #Var: 7383 LB: 0 @ 3.199 3.94 c Restart #8 #Var: 7383 LB: 0 @ 3.933 4.76 c Restart #9 #Var: 7383 LB: 0 @ 4.756 5.79 c Restart #10 #Var: 7383 LB: 0 @ 5.787 6.23 c Restart #11 #Var: 7383 LB: 0 @ 6.219 6.49 c Restart #12 #Var: 7383 LB: 0 @ 6.481 6.66 c Restart #13 #Var: 7383 LB: 0 @ 6.655 6.87 c Restart #14 #Var: 7383 LB: 0 @ 6.864 7.10 c Restart #15 #Var: 7383 LB: 0 @ 7.093 7.32 c Restart #16 #Var: 7383 LB: 0 @ 7.309 7.52 c Restart #17 #Var: 7383 LB: 0 @ 7.508 7.73 c Restart #18 #Var: 7383 LB: 0 @ 7.718 8.11 c Restart #19 #Var: 7383 LB: 0 @ 8.099 8.47 c Restart #20 #Var: 7383 LB: 0 @ 8.466 8.85 c Restart #21 #Var: 7383 LB: 0 @ 8.846 9.17 c Restart #22 #Var: 7383 LB: 0 @ 9.16 9.42 c Restart #23 #Var: 7383 LB: 0 @ 9.416 9.70 c Restart #24 #Var: 7383 LB: 0 @ 9.686 9.98 c Restart #25 #Var: 7383 LB: 0 @ 9.975 10.32 c Restart #26 #Var: 7383 LB: 0 @ 10.303 10.68 c Restart #27 #Var: 7383 LB: 0 @ 10.668 11.12 c Restart #28 #Var: 7383 LB: 0 @ 11.11 11.61 c Restart #29 #Var: 7383 LB: 0 @ 11.599 12.05 c Restart #30 #Var: 7383 LB: 0 @ 12.039 12.45 c Restart #31 #Var: 7383 LB: 0 @ 12.433 12.85 c Restart #32 #Var: 7383 LB: 0 @ 12.842 13.30 c Restart #33 #Var: 7383 LB: 0 @ 13.291 13.85 c Restart #34 #Var: 7383 LB: 0 @ 13.841 14.50 c Restart #35 #Var: 7383 LB: 0 @ 14.486 14.99 c Restart #36 #Var: 7383 LB: 0 @ 14.977 15.48 c Restart #37 #Var: 7383 LB: 0 @ 15.463 15.96 c Restart #38 #Var: 7383 LB: 0 @ 15.941 16.44 c Restart #39 #Var: 7383 LB: 0 @ 16.428 16.90 c Restart #40 #Var: 7383 LB: 0 @ 16.885 17.40 c Restart #41 #Var: 7383 LB: 0 @ 17.389 17.92 c Restart #42 #Var: 7383 LB: 0 @ 17.906 18.46 c Restart #43 #Var: 7383 LB: 0 @ 18.449 19.03 c Restart #44 #Var: 7383 LB: 0 @ 19.01 19.61 c Restart #45 #Var: 7383 LB: 0 @ 19.598 20.20 c Restart #46 #Var: 7383 LB: 0 @ 20.186 20.81 c Restart #47 #Var: 7383 LB: 0 @ 20.795 21.45 c Restart #48 #Var: 7383 LB: 0 @ 21.432 22.10 c Restart #49 #Var: 7383 LB: 0 @ 22.078 22.77 c Restart #50 #Var: 7383 LB: 0 @ 22.749 23.44 c Restart #51 #Var: 7383 LB: 0 @ 23.427 24.15 c Restart #52 #Var: 7383 LB: 0 @ 24.13 24.87 c Restart #53 #Var: 7383 LB: 0 @ 24.851 25.62 c Restart #54 #Var: 7383 LB: 0 @ 25.601 26.37 c Restart #55 #Var: 7383 LB: 0 @ 26.353 27.15 c Restart #56 #Var: 7383 LB: 0 @ 27.128 27.95 c Restart #57 #Var: 7383 LB: 0 @ 27.927 28.76 c Restart #58 #Var: 7383 LB: 0 @ 28.745 29.58 c Restart #59 #Var: 7383 LB: 0 @ 29.564 30.42 c Restart #60 #Var: 7383 LB: 0 @ 30.4 31.28 c Restart #61 #Var: 7383 LB: 0 @ 31.26 32.15 c Restart #62 #Var: 7383 LB: 0 @ 32.129 33.01 c Restart #63 #Var: 7383 LB: 0 @ 32.995 33.90 c Restart #64 #Var: 7383 LB: 0 @ 33.876 34.80 c Restart #65 #Var: 7383 LB: 0 @ 34.776 35.71 c Restart #66 #Var: 7383 LB: 0 @ 35.686 36.64 c Restart #67 #Var: 7383 LB: 0 @ 36.62 37.60 c Restart #68 #Var: 7383 LB: 0 @ 37.579 38.56 c Restart #69 #Var: 7383 LB: 0 @ 38.536 39.55 c Restart #70 #Var: 7383 LB: 0 @ 39.531 40.54 c Restart #71 #Var: 7383 LB: 0 @ 40.511 41.56 c Restart #72 #Var: 7383 LB: 0 @ 41.54 42.58 c Restart #73 #Var: 7383 LB: 0 @ 42.557 43.65 c Restart #74 #Var: 7383 LB: 0 @ 43.63 44.70 c Restart #75 #Var: 7383 LB: 0 @ 44.674 45.79 c Restart #76 #Var: 7383 LB: 0 @ 45.769 46.88 c Restart #77 #Var: 7383 LB: 0 @ 46.85 47.98 c Restart #78 #Var: 7383 LB: 0 @ 47.949 49.10 c Restart #79 #Var: 7383 LB: 0 @ 49.075 50.23 c Restart #80 #Var: 7383 LB: 0 @ 50.206 51.37 c Restart #81 #Var: 7383 LB: 0 @ 51.347 52.51 c Restart #82 #Var: 7383 LB: 0 @ 52.485 53.65 c Restart #83 #Var: 7383 LB: 0 @ 53.625 54.83 c Restart #84 #Var: 7383 LB: 0 @ 54.799 56.00 c Restart #85 #Var: 7383 LB: 0 @ 55.973 57.21 c Restart #86 #Var: 7383 LB: 0 @ 57.184 58.43 c Restart #87 #Var: 7383 LB: 0 @ 58.403 59.68 c Restart #88 #Var: 7383 LB: 0 @ 59.651 60.93 c Restart #89 #Var: 7383 LB: 0 @ 60.897 62.18 c Restart #90 #Var: 7383 LB: 0 @ 62.153 63.47 c Restart #91 #Var: 7383 LB: 0 @ 63.44 64.79 c Restart #92 #Var: 7383 LB: 0 @ 64.758 66.09 c Restart #93 #Var: 7383 LB: 0 @ 66.061 67.43 c Restart #94 #Var: 7383 LB: 0 @ 67.396 68.74 c Restart #95 #Var: 7383 LB: 0 @ 68.711 70.09 c Restart #96 #Var: 7383 LB: 0 @ 70.054 71.43 c Restart #97 #Var: 7383 LB: 0 @ 71.4 72.80 c Restart #98 #Var: 7383 LB: 0 @ 72.769 74.19 c Restart #99 #Var: 7383 LB: 0 @ 74.151 75.61 c Restart #100 #Var: 7383 LB: 0 @ 75.576 77.02 c Restart #101 #Var: 7383 LB: 0 @ 76.986 78.44 c Restart #102 #Var: 7383 LB: 0 @ 78.403 79.90 c Restart #103 #Var: 7383 LB: 0 @ 79.863 81.40 c Restart #104 #Var: 7383 LB: 0 @ 81.359 82.90 c Restart #105 #Var: 7383 LB: 0 @ 82.86 84.44 c Restart #106 #Var: 7383 LB: 0 @ 84.401 85.97 c Restart #107 #Var: 7383 LB: 0 @ 85.936 87.55 c Restart #108 #Var: 7383 LB: 0 @ 87.51 89.11 c Restart #109 #Var: 7383 LB: 0 @ 89.073 90.69 c Restart #110 #Var: 7383 LB: 0 @ 90.652 92.27 c Restart #111 #Var: 7383 LB: 0 @ 92.226 93.87 c Restart #112 #Var: 7383 LB: 0 @ 93.831 95.45 c Restart #113 #Var: 7383 LB: 0 @ 95.409 97.07 c Restart #114 #Var: 7383 LB: 0 @ 97.027 98.67 c Restart #115 #Var: 7383 LB: 0 @ 98.628 100.36 c Restart #116 #Var: 7383 LB: 0 @ 100.32 102.02 c Restart #117 #Var: 7383 LB: 0 @ 101.98 103.77 c Restart #118 #Var: 7383 LB: 0 @ 103.72 105.45 c Restart #119 #Var: 7383 LB: 0 @ 105.41 107.21 c Restart #120 #Var: 7383 LB: 0 @ 107.16 108.90 c Restart #121 #Var: 7383 LB: 0 @ 108.85 110.66 c Restart #122 #Var: 7383 LB: 0 @ 110.61 112.39 c Restart #123 #Var: 7383 LB: 0 @ 112.34 114.18 c Restart #124 #Var: 7383 LB: 0 @ 114.13 115.94 c Restart #125 #Var: 7383 LB: 0 @ 115.89 117.73 c Restart #126 #Var: 7383 LB: 0 @ 117.68 119.48 c Restart #127 #Var: 7383 LB: 0 @ 119.43 121.32 c Restart #128 #Var: 7383 LB: 0 @ 121.27 123.13 c Restart #129 #Var: 7383 LB: 0 @ 123.08 125.02 c Restart #130 #Var: 7383 LB: 0 @ 124.97 126.85 c Restart #131 #Var: 7383 LB: 0 @ 126.8 128.79 c Restart #132 #Var: 7383 LB: 0 @ 128.74 130.66 c Restart #133 #Var: 7383 LB: 0 @ 130.6 132.63 c Restart #134 #Var: 7383 LB: 0 @ 132.58 134.53 c Restart #135 #Var: 7383 LB: 0 @ 134.47 136.51 c Restart #136 #Var: 7383 LB: 0 @ 136.45 138.43 c Restart #137 #Var: 7383 LB: 0 @ 138.37 140.48 c Restart #138 #Var: 7383 LB: 0 @ 140.42 142.45 c Restart #139 #Var: 7383 LB: 0 @ 142.39 144.55 c Restart #140 #Var: 7383 LB: 0 @ 144.49 146.56 c Restart #141 #Var: 7383 LB: 0 @ 146.5 148.68 c Restart #142 #Var: 7383 LB: 0 @ 148.62 150.71 c Restart #143 #Var: 7383 LB: 0 @ 150.65 152.87 c Restart #144 #Var: 7383 LB: 0 @ 152.81 154.94 c Restart #145 #Var: 7383 LB: 0 @ 154.88 157.11 c Restart #146 #Var: 7383 LB: 0 @ 157.04 159.20 c Restart #147 #Var: 7383 LB: 0 @ 159.13 161.41 c Restart #148 #Var: 7383 LB: 0 @ 161.34 163.59 c Restart #149 #Var: 7383 LB: 0 @ 163.52 165.89 c Restart #150 #Var: 7383 LB: 0 @ 165.82 168.11 c Restart #151 #Var: 7383 LB: 0 @ 168.04 170.48 c Restart #152 #Var: 7383 LB: 0 @ 170.41 172.72 c Restart #153 #Var: 7383 LB: 0 @ 172.65 175.09 c Restart #154 #Var: 7383 LB: 0 @ 175.02 177.33 c Restart #155 #Var: 7383 LB: 0 @ 177.26 179.74 c Restart #156 #Var: 7383 LB: 0 @ 179.67 182.04 c Restart #157 #Var: 7383 LB: 0 @ 181.97 184.50 c Restart #158 #Var: 7383 LB: 0 @ 184.42 186.84 c Restart #159 #Var: 7383 LB: 0 @ 186.77 189.37 c Restart #160 #Var: 7383 LB: 0 @ 189.3 191.78 c Restart #161 #Var: 7383 LB: 0 @ 191.7 194.31 c Restart #162 #Var: 7383 LB: 0 @ 194.24 196.72 c Restart #163 #Var: 7383 LB: 0 @ 196.64 199.29 c Restart #164 #Var: 7383 LB: 0 @ 199.22 201.71 c Restart #165 #Var: 7383 LB: 0 @ 201.63 204.31 c Restart #166 #Var: 7383 LB: 0 @ 204.23 206.77 c Restart #167 #Var: 7383 LB: 0 @ 206.69 209.36 c Restart #168 #Var: 7383 LB: 0 @ 209.28 211.82 c Restart #169 #Var: 7383 LB: 0 @ 211.74 214.41 c Restart #170 #Var: 7383 LB: 0 @ 214.32 216.88 c Restart #171 #Var: 7383 LB: 0 @ 216.79 219.49 c Restart #172 #Var: 7383 LB: 0 @ 219.4 221.98 c Restart #173 #Var: 7383 LB: 0 @ 221.89 224.65 c Restart #174 #Var: 7383 LB: 0 @ 224.56 227.21 c Restart #175 #Var: 7383 LB: 0 @ 227.13 229.94 c Restart #176 #Var: 7383 LB: 0 @ 229.85 232.51 c Restart #177 #Var: 7383 LB: 0 @ 232.42 235.25 c Restart #178 #Var: 7383 LB: 0 @ 235.16 237.85 c Restart #179 #Var: 7383 LB: 0 @ 237.76 240.64 c Restart #180 #Var: 7383 LB: 0 @ 240.55 243.30 c Restart #181 #Var: 7383 LB: 0 @ 243.21 246.00 c Restart #182 #Var: 7383 LB: 0 @ 245.9 248.53 c Restart #183 #Var: 7383 LB: 0 @ 248.43 250.91 c Restart #184 #Var: 7383 LB: 0 @ 250.81 253.37 c Restart #185 #Var: 7383 LB: 0 @ 253.27 256.00 c Restart #186 #Var: 7383 LB: 0 @ 255.9 258.59 c Restart #187 #Var: 7383 LB: 0 @ 258.5 261.31 c Restart #188 #Var: 7383 LB: 0 @ 261.21 263.97 c Restart #189 #Var: 7383 LB: 0 @ 263.87 266.79 c Restart #190 #Var: 7383 LB: 0 @ 266.68 269.53 c Restart #191 #Var: 7383 LB: 0 @ 269.43 272.53 c Restart #192 #Var: 7383 LB: 0 @ 272.43 275.28 c Restart #193 #Var: 7383 LB: 0 @ 275.18 278.14 c Restart #194 #Var: 7383 LB: 0 @ 278.03 280.84 c Restart #195 #Var: 7383 LB: 0 @ 280.74 283.77 c Restart #196 #Var: 7383 LB: 0 @ 283.67 286.70 c Restart #197 #Var: 7383 LB: 0 @ 286.59 289.66 c Restart #198 #Var: 7383 LB: 0 @ 289.55 292.44 c Restart #199 #Var: 7383 LB: 0 @ 292.33 295.51 c Restart #200 #Var: 7383 LB: 0 @ 295.4 298.22 c Restart #201 #Var: 7383 LB: 0 @ 298.11 301.26 c Restart #202 #Var: 7383 LB: 0 @ 301.15 304.07 c Restart #203 #Var: 7383 LB: 0 @ 303.96 307.11 c Restart #204 #Var: 7383 LB: 0 @ 306.99 310.10 c Restart #205 #Var: 7383 LB: 0 @ 309.99 313.08 c Restart #206 #Var: 7383 LB: 0 @ 312.96 316.16 c Restart #207 #Var: 7383 LB: 0 @ 316.04 319.16 c Restart #208 #Var: 7383 LB: 0 @ 319.04 322.25 c Restart #209 #Var: 7383 LB: 0 @ 322.12 325.33 c Restart #210 #Var: 7383 LB: 0 @ 325.2 328.49 c Restart #211 #Var: 7383 LB: 0 @ 328.36 331.58 c Restart #212 #Var: 7383 LB: 0 @ 331.46 334.73 c Restart #213 #Var: 7383 LB: 0 @ 334.61 337.84 c Restart #214 #Var: 7383 LB: 0 @ 337.72 341.08 c Restart #215 #Var: 7383 LB: 0 @ 340.95 344.31 c Restart #216 #Var: 7383 LB: 0 @ 344.18 347.54 c Restart #217 #Var: 7383 LB: 0 @ 347.41 350.86 c Restart #218 #Var: 7383 LB: 0 @ 350.73 354.11 c Restart #219 #Var: 7383 LB: 0 @ 353.98 357.42 c Restart #220 #Var: 7383 LB: 0 @ 357.28 360.72 c Restart #221 #Var: 7383 LB: 0 @ 360.59 364.26 c Restart #222 #Var: 7383 LB: 0 @ 364.12 367.58 c Restart #223 #Var: 7383 LB: 0 @ 367.44 371.26 c Restart #224 #Var: 7383 LB: 0 @ 371.12 374.56 c Restart #225 #Var: 7383 LB: 0 @ 374.42 378.36 c Restart #226 #Var: 7383 LB: 0 @ 378.22 381.66 c Restart #227 #Var: 7383 LB: 0 @ 381.52 385.11 c Restart #228 #Var: 7383 LB: 0 @ 384.97 388.49 c Restart #229 #Var: 7383 LB: 0 @ 388.35 391.98 c Restart #230 #Var: 7383 LB: 0 @ 391.83 395.37 c Restart #231 #Var: 7383 LB: 0 @ 395.22 398.85 c Restart #232 #Var: 7383 LB: 0 @ 398.7 402.25 c Restart #233 #Var: 7383 LB: 0 @ 402.1 405.71 c Restart #234 #Var: 7383 LB: 0 @ 405.56 409.22 c Restart #235 #Var: 7383 LB: 0 @ 409.07 412.75 c Restart #236 #Var: 7383 LB: 0 @ 412.6 416.28 c Restart #237 #Var: 7383 LB: 0 @ 416.13 419.74 c Restart #238 #Var: 7383 LB: 0 @ 419.59 423.27 c Restart #239 #Var: 7383 LB: 0 @ 423.12 426.74 c Restart #240 #Var: 7383 LB: 0 @ 426.58 430.18 c Restart #241 #Var: 7383 LB: 0 @ 430.02 433.48 c Restart #242 #Var: 7383 LB: 0 @ 433.32 436.66 c Restart #243 #Var: 7383 LB: 0 @ 436.5 440.29 c Restart #244 #Var: 7383 LB: 0 @ 440.12 443.68 c Restart #245 #Var: 7383 LB: 0 @ 443.51 447.51 c Restart #246 #Var: 7383 LB: 0 @ 447.34 450.93 c Restart #247 #Var: 7383 LB: 0 @ 450.76 454.74 c Restart #248 #Var: 7383 LB: 0 @ 454.57 458.14 c Restart #249 #Var: 7383 LB: 0 @ 457.97 461.96 c Restart #250 #Var: 7383 LB: 0 @ 461.79 465.49 c Restart #251 #Var: 7383 LB: 0 @ 465.32 469.36 c Restart #252 #Var: 7383 LB: 0 @ 469.19 472.93 c Restart #253 #Var: 7383 LB: 0 @ 472.76 476.79 c Restart #254 #Var: 7383 LB: 0 @ 476.62 480.52 c Restart #255 #Var: 7383 LB: 0 @ 480.35 483.94 c Restart #256 #Var: 7383 LB: 0 @ 483.77 487.63 c Restart #257 #Var: 7383 LB: 0 @ 487.45 491.29 c Restart #258 #Var: 7383 LB: 0 @ 491.11 495.01 c Restart #259 #Var: 7383 LB: 0 @ 494.83 498.75 c Restart #260 #Var: 7383 LB: 0 @ 498.57 502.50 c Restart #261 #Var: 7383 LB: 0 @ 502.32 506.17 c Restart #262 #Var: 7383 LB: 0 @ 505.99 510.02 c Restart #263 #Var: 7383 LB: 0 @ 509.84 513.85 c Restart #264 #Var: 7383 LB: 0 @ 513.67 517.69 c Restart #265 #Var: 7383 LB: 0 @ 517.5 521.48 c Restart #266 #Var: 7383 LB: 0 @ 521.29 525.34 c Restart #267 #Var: 7383 LB: 0 @ 525.15 529.17 c Restart #268 #Var: 7383 LB: 0 @ 528.98 533.13 c Restart #269 #Var: 7383 LB: 0 @ 532.94 536.95 c Restart #270 #Var: 7383 LB: 0 @ 536.75 540.84 c Restart #271 #Var: 7383 LB: 0 @ 540.64 544.80 c Restart #272 #Var: 7383 LB: 0 @ 544.6 548.74 c Restart #273 #Var: 7383 LB: 0 @ 548.54 552.73 c Restart #274 #Var: 7383 LB: 0 @ 552.53 556.60 c Restart #275 #Var: 7383 LB: 0 @ 556.4 560.65 c Restart #276 #Var: 7383 LB: 0 @ 560.45 564.58 c Restart #277 #Var: 7383 LB: 0 @ 564.37 568.74 c Restart #278 #Var: 7383 LB: 0 @ 568.53 572.61 c Restart #279 #Var: 7383 LB: 0 @ 572.41 576.77 c Restart #280 #Var: 7383 LB: 0 @ 576.56 580.72 c Restart #281 #Var: 7383 LB: 0 @ 580.51 584.96 c Restart #282 #Var: 7383 LB: 0 @ 584.75 589.01 c Restart #283 #Var: 7383 LB: 0 @ 588.8 593.30 c Restart #284 #Var: 7383 LB: 0 @ 593.08 597.32 c Restart #285 #Var: 7383 LB: 0 @ 597.1 601.60 c Restart #286 #Var: 7383 LB: 0 @ 601.38 605.70 c Restart #287 #Var: 7383 LB: 0 @ 605.48 609.87 c Restart #288 #Var: 7383 LB: 0 @ 609.65 614.05 c Restart #289 #Var: 7383 LB: 0 @ 613.83 618.19 c Restart #290 #Var: 7383 LB: 0 @ 617.97 622.37 c Restart #291 #Var: 7383 LB: 0 @ 622.15 626.58 c Restart #292 #Var: 7383 LB: 0 @ 626.36 630.86 c Restart #293 #Var: 7383 LB: 0 @ 630.64 635.14 c Restart #294 #Var: 7383 LB: 0 @ 634.91 639.42 c Restart #295 #Var: 7383 LB: 0 @ 639.19 643.66 c Restart #296 #Var: 7383 LB: 0 @ 643.43 648.00 c Restart #297 #Var: 7383 LB: 0 @ 647.76 652.18 c Restart #298 #Var: 7383 LB: 0 @ 651.94 656.58 c Restart #299 #Var: 7383 LB: 0 @ 656.35 660.75 c Restart #300 #Var: 7383 LB: 0 @ 660.51 665.17 c Restart #301 #Var: 7383 LB: 0 @ 664.93 669.54 c Restart #302 #Var: 7383 LB: 0 @ 669.3 673.92 c Restart #303 #Var: 7383 LB: 0 @ 673.68 678.28 c Restart #304 #Var: 7383 LB: 0 @ 678.03 682.73 c Restart #305 #Var: 7383 LB: 0 @ 682.49 687.16 c Restart #306 #Var: 7383 LB: 0 @ 686.91 691.71 c Restart #307 #Var: 7383 LB: 0 @ 691.46 696.10 c Restart #308 #Var: 7383 LB: 0 @ 695.85 700.61 c Restart #309 #Var: 7383 LB: 0 @ 700.36 705.04 c Restart #310 #Var: 7383 LB: 0 @ 704.79 709.71 c Restart #311 #Var: 7383 LB: 0 @ 709.46 714.23 c Restart #312 #Var: 7383 LB: 0 @ 713.97 718.90 c Restart #313 #Var: 7383 LB: 0 @ 718.64 723.44 c Restart #314 #Var: 7383 LB: 0 @ 723.18 728.18 c Restart #315 #Var: 7383 LB: 0 @ 727.92 732.79 c Restart #316 #Var: 7383 LB: 0 @ 732.52 737.50 c Restart #317 #Var: 7383 LB: 0 @ 737.23 742.14 c Restart #318 #Var: 7383 LB: 0 @ 741.87 746.81 c Restart #319 #Var: 7383 LB: 0 @ 746.54 751.54 c Restart #320 #Var: 7383 LB: 0 @ 751.27 866.08 c Restart #321 #Var: 7383 LB: 0 @ 865.77 885.68 c Restart #322 #Var: 7383 LB: 0 @ 885.37 1200.78 c CHANGE Heuristic... 1200.78 c Restart #0 #Var: 7383 LB: 0 @ 1200.3 1201.05 c Restart #1 #Var: 7383 LB: 0 @ 1200.6 1201.32 c Restart #2 #Var: 7383 LB: 0 @ 1200.9 1201.60 c Restart #3 #Var: 7383 LB: 0 @ 1201.2 1201.86 c Restart #4 #Var: 7383 LB: 0 @ 1201.4 1202.11 c Restart #5 #Var: 7383 LB: 0 @ 1201.7 1202.37 c Restart #6 #Var: 7383 LB: 0 @ 1201.9 1202.64 c Restart #7 #Var: 7383 LB: 0 @ 1202.2 1202.93 c Restart #8 #Var: 7383 LB: 0 @ 1202.5 1203.23 c Restart #9 #Var: 7383 LB: 0 @ 1202.8 1203.55 c Restart #10 #Var: 7383 LB: 0 @ 1203.1 1203.89 c Restart #11 #Var: 7383 LB: 0 @ 1203.4 1204.24 c Restart #12 #Var: 7383 LB: 0 @ 1203.8 1204.59 c Restart #13 #Var: 7383 LB: 0 @ 1204.1 1204.98 c Restart #14 #Var: 7383 LB: 0 @ 1204.5 1205.41 c Restart #15 #Var: 7383 LB: 0 @ 1205 1205.82 c Restart #16 #Var: 7383 LB: 0 @ 1205.4 1206.29 c Restart #17 #Var: 7383 LB: 0 @ 1205.8 1206.84 c Restart #18 #Var: 7383 LB: 0 @ 1206.4 1207.67 c Restart #19 #Var: 7383 LB: 0 @ 1207.2 1207.96 c Restart #20 #Var: 7383 LB: 0 @ 1207.5 1208.78 c Restart #21 #Var: 7383 LB: 0 @ 1208.3 1209.53 c Restart #22 #Var: 7383 LB: 0 @ 1209.1 1210.30 c Restart #23 #Var: 7383 LB: 0 @ 1209.8 1210.59 c Restart #24 #Var: 7383 LB: 0 @ 1210.1 1210.92 c Restart #25 #Var: 7383 LB: 0 @ 1210.5 1211.34 c Restart #26 #Var: 7383 LB: 0 @ 1210.9 1211.76 c Restart #27 #Var: 7383 LB: 0 @ 1211.3 1212.19 c Restart #28 #Var: 7383 LB: 0 @ 1211.7 1212.59 c Restart #29 #Var: 7383 LB: 0 @ 1212.1 1212.95 c Restart #30 #Var: 7383 LB: 0 @ 1212.5 1214.76 c Restart #31 #Var: 7383 LB: 0 @ 1214.3 1223.73 c Restart #32 #Var: 7383 LB: 0 @ 1223.3 1225.09 c Restart #33 #Var: 7383 LB: 0 @ 1224.6 1225.53 c Restart #34 #Var: 7383 LB: 0 @ 1225.1 1227.24 c Restart #35 #Var: 7383 LB: 0 @ 1226.8 1230.58 c Restart #36 #Var: 7383 LB: 0 @ 1230.1 1237.45 c Restart #37 #Var: 7383 LB: 0 @ 1237 1244.38 c Restart #38 #Var: 7383 LB: 0 @ 1243.9 1252.88 c Restart #39 #Var: 7383 LB: 0 @ 1252.4 1306.12 c Restart #40 #Var: 7383 LB: 0 @ 1305.6 1306.83 c Restart #41 #Var: 7383 LB: 0 @ 1306.3 1307.97 c Restart #42 #Var: 7383 LB: 0 @ 1307.5 1309.29 c Restart #43 #Var: 7383 LB: 0 @ 1308.8 1310.19 c Restart #44 #Var: 7383 LB: 0 @ 1309.7 1311.29 c Restart #45 #Var: 7383 LB: 0 @ 1310.8 1312.29 c Restart #46 #Var: 7383 LB: 0 @ 1311.8 1313.42 c Restart #47 #Var: 7383 LB: 0 @ 1312.9 1314.52 c Restart #48 #Var: 7383 LB: 0 @ 1314 1315.75 c Restart #49 #Var: 7383 LB: 0 @ 1315.3 1316.92 c Restart #50 #Var: 7383 LB: 0 @ 1316.4 1318.02 c Restart #51 #Var: 7383 LB: 0 @ 1317.5 1319.04 c Restart #52 #Var: 7383 LB: 0 @ 1318.5 1320.20 c Restart #53 #Var: 7383 LB: 0 @ 1319.7 1321.36 c Restart #54 #Var: 7383 LB: 0 @ 1320.9 1322.47 c Restart #55 #Var: 7383 LB: 0 @ 1322 1323.58 c Restart #56 #Var: 7383 LB: 0 @ 1323.1 1324.71 c Restart #57 #Var: 7383 LB: 0 @ 1324.2 1325.78 c Restart #58 #Var: 7383 LB: 0 @ 1325.3 1326.98 c Restart #59 #Var: 7383 LB: 0 @ 1326.5 1328.19 c Restart #60 #Var: 7383 LB: 0 @ 1327.7 1329.41 c Restart #61 #Var: 7383 LB: 0 @ 1328.9 1330.64 c Restart #62 #Var: 7383 LB: 0 @ 1330.1 1331.88 c Restart #63 #Var: 7383 LB: 0 @ 1331.4 1333.14 c Restart #64 #Var: 7383 LB: 0 @ 1332.6 1334.40 c Restart #65 #Var: 7383 LB: 0 @ 1333.9 1335.77 c Restart #66 #Var: 7383 LB: 0 @ 1335.3 1337.23 c Restart #67 #Var: 7383 LB: 0 @ 1336.7 1338.65 c Restart #68 #Var: 7383 LB: 0 @ 1338.1 1340.21 c Restart #69 #Var: 7383 LB: 0 @ 1339.7 1341.63 c Restart #70 #Var: 7383 LB: 0 @ 1341.1 1343.57 c Restart #71 #Var: 7383 LB: 0 @ 1343.1 1345.29 c Restart #72 #Var: 7383 LB: 0 @ 1344.8 1346.82 c Restart #73 #Var: 7383 LB: 0 @ 1346.3 1348.50 c Restart #74 #Var: 7383 LB: 0 @ 1348 1350.13 c Restart #75 #Var: 7383 LB: 0 @ 1349.6 1351.83 c Restart #76 #Var: 7383 LB: 0 @ 1351.3 1353.61 c Restart #77 #Var: 7383 LB: 0 @ 1353.1 1355.50 c Restart #78 #Var: 7383 LB: 0 @ 1355 1357.38 c Restart #79 #Var: 7383 LB: 0 @ 1356.9 1359.29 c Restart #80 #Var: 7383 LB: 0 @ 1358.8 1361.17 c Restart #81 #Var: 7383 LB: 0 @ 1360.7 1363.18 c Restart #82 #Var: 7383 LB: 0 @ 1362.7 1364.95 c Restart #83 #Var: 7383 LB: 0 @ 1364.4 1367.14 c Restart #84 #Var: 7383 LB: 0 @ 1366.6 1369.06 c Restart #85 #Var: 7383 LB: 0 @ 1368.5 1371.40 c Restart #86 #Var: 7383 LB: 0 @ 1370.9 1373.52 c Restart #87 #Var: 7383 LB: 0 @ 1373 1375.58 c Restart #88 #Var: 7383 LB: 0 @ 1375.1 1377.73 c Restart #89 #Var: 7383 LB: 0 @ 1377.2 1380.02 c Restart #90 #Var: 7383 LB: 0 @ 1379.5 1382.33 c Restart #91 #Var: 7383 LB: 0 @ 1381.8 1384.85 c Restart #92 #Var: 7383 LB: 0 @ 1384.3 1387.31 c Restart #93 #Var: 7383 LB: 0 @ 1386.8 1389.64 c Restart #94 #Var: 7383 LB: 0 @ 1389.1 1391.85 c Restart #95 #Var: 7383 LB: 0 @ 1391.3 1394.06 c Restart #96 #Var: 7383 LB: 0 @ 1393.5 1396.17 c Restart #97 #Var: 7383 LB: 0 @ 1395.6 1398.61 c Restart #98 #Var: 7383 LB: 0 @ 1398.1 1401.16 c Restart #99 #Var: 7383 LB: 0 @ 1400.6 1403.57 c Restart #100 #Var: 7383 LB: 0 @ 1403 1405.99 c Restart #101 #Var: 7383 LB: 0 @ 1405.5 1408.31 c Restart #102 #Var: 7383 LB: 0 @ 1407.8 1410.64 c Restart #103 #Var: 7383 LB: 0 @ 1410.1 1413.26 c Restart #104 #Var: 7383 LB: 0 @ 1412.7 1415.86 c Restart #105 #Var: 7383 LB: 0 @ 1415.3 1418.50 c Restart #106 #Var: 7383 LB: 0 @ 1418 1421.00 c Restart #107 #Var: 7383 LB: 0 @ 1420.5 1423.65 c Restart #108 #Var: 7383 LB: 0 @ 1423.1 1426.24 c Restart #109 #Var: 7383 LB: 0 @ 1425.7 1429.13 c Restart #110 #Var: 7383 LB: 0 @ 1428.6 1432.02 c Restart #111 #Var: 7383 LB: 0 @ 1431.5 1434.69 c Restart #112 #Var: 7383 LB: 0 @ 1434.2 1437.64 c Restart #113 #Var: 7383 LB: 0 @ 1437.1 1440.46 c Restart #114 #Var: 7383 LB: 0 @ 1439.9 1444.09 c Restart #115 #Var: 7383 LB: 0 @ 1443.6 1447.32 c Restart #116 #Var: 7383 LB: 0 @ 1446.8 1456.13 c Restart #117 #Var: 7383 LB: 0 @ 1455.6 1686.10 c Restart #118 #Var: 7383 LB: 0 @ 1685.5 1704.52 c Restart #119 #Var: 7383 LB: 0 @ 1703.9 1749.96 c Restart #120 #Var: 7383 LB: 0 @ 1749.3 1792.53 c Restart #121 #Var: 7383 LB: 0 @ 1791.9 1800.66 s UNKNOWN 1800.66 c Exit Code: 0 1800.66 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/node34/watcher-40776-1149317090 -o ROOT/results/node34/solver-40776-1149317090 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40776-1149317090/instance-40776-1149317090.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.95 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1864600/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=4664 CPUtime=0 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 155 0 0 0 0 0 0 0 19 0 1 0 197372807 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7691540 0 0 4096 0 0 0 0 17 1 0 0 /proc/26702/statm: 1166 135 105 55 0 46 0 [startup+10.0023 s] /proc/loadavg: 0.96 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1831136/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=38496 CPUtime=9.98 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 8770 0 0 0 960 38 0 0 25 0 1 0 197372807 39419904 8685 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 9624 8685 297 55 0 8516 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 38496 [startup+20.009 s] /proc/loadavg: 0.96 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1826592/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=42980 CPUtime=19.98 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 9909 0 0 0 1953 45 0 0 25 0 1 0 197372807 44011520 9824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 10745 9824 297 55 0 9637 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 42980 [startup+30.0157 s] /proc/loadavg: 0.97 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1822048/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=47588 CPUtime=29.99 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 11037 0 0 0 2947 52 0 0 25 0 1 0 197372807 48730112 10952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 11897 10952 297 55 0 10789 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 47588 [startup+40.0213 s] /proc/loadavg: 0.97 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1817568/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=51944 CPUtime=39.99 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 12148 0 0 0 3943 56 0 0 25 0 1 0 197372807 53190656 12063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 12986 12063 297 55 0 11878 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 51944 [startup+50.027 s] /proc/loadavg: 0.98 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1813280/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=56300 CPUtime=49.99 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 13234 0 0 0 4936 63 0 0 25 0 1 0 197372807 57651200 13149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 14075 13149 297 55 0 12967 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 56300 [startup+60.0327 s] /proc/loadavg: 0.98 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1808864/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=60764 CPUtime=59.99 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 14331 0 0 0 5931 68 0 0 25 0 1 0 197372807 62222336 14246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 15191 14246 297 55 0 14083 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 60764 [startup+70.0384 s] /proc/loadavg: 0.98 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1804448/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=65120 CPUtime=69.99 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 15432 0 0 0 6927 72 0 0 25 0 1 0 197372807 66682880 15347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 16280 15347 297 55 0 15172 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 65120 [startup+80.0441 s] /proc/loadavg: 0.98 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1800032/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=69464 CPUtime=80 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 16524 0 0 0 7922 78 0 0 25 0 1 0 197372807 71131136 16439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 17366 16439 297 55 0 16258 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 69464 [startup+90.0498 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1795808/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=73816 CPUtime=90 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 17596 0 0 0 8917 83 0 0 25 0 1 0 197372807 75587584 17511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696491 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 18454 17511 297 55 0 17346 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 73816 [startup+100.056 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1791456/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=78168 CPUtime=100 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 18687 0 0 0 9913 87 0 0 25 0 1 0 197372807 80044032 18602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 19542 18602 297 55 0 18434 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 78168 [startup+110.061 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1787104/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=82524 CPUtime=110.01 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 19769 0 0 0 10908 93 0 0 25 0 1 0 197372807 84504576 19684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 20631 19684 297 55 0 19523 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 82524 [startup+120.067 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1782752/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=86876 CPUtime=120 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 20857 0 0 0 11903 97 0 0 25 0 1 0 197372807 88961024 20772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 21719 20772 297 55 0 20611 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 86876 [startup+130.073 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1778400/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=91220 CPUtime=130 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 21941 0 0 0 12896 104 0 0 25 0 1 0 197372807 93409280 21856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 22805 21856 297 55 0 21697 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 91220 [startup+140.078 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1774048/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=95424 CPUtime=140.01 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 23010 0 0 0 13890 111 0 0 25 0 1 0 197372807 97714176 22924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 23856 22924 297 55 0 22748 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 95424 [startup+150.084 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1769824/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=99644 CPUtime=150.02 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 24063 0 0 0 14886 116 0 0 25 0 1 0 197372807 102035456 23976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 24911 23976 297 55 0 23803 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 99644 [startup+160.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1765600/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=103856 CPUtime=160.01 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 25115 0 0 0 15880 121 0 0 25 0 1 0 197372807 106348544 25028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 25964 25028 297 55 0 24856 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 103856 [startup+170.095 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1761504/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=108080 CPUtime=170.02 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 26146 0 0 0 16876 126 0 0 25 0 1 0 197372807 110673920 26059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 27020 26059 297 55 0 25912 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 108080 [startup+180.101 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1757472/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=112176 CPUtime=180.02 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 27172 0 0 0 17872 130 0 0 25 0 1 0 197372807 114868224 27085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 28044 27085 297 55 0 26936 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 112176 [startup+190.107 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1753376/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=116244 CPUtime=190.03 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 28190 0 0 0 18868 135 0 0 25 0 1 0 197372807 119033856 28103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8151192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 29061 28103 297 55 0 27953 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 116244 [startup+200.112 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1749280/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=120344 CPUtime=200.03 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 29204 0 0 0 19862 141 0 0 25 0 1 0 197372807 123232256 29117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 30086 29117 297 55 0 28978 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 120344 [startup+210.118 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26702 /proc/meminfo: memFree=1745184/2055920 swapFree=4181356/4192956 ################ # More data... # ################ /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1760.36 Current children cumulated vsize (Kb) 1658672 [startup+1771.03 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1770.37 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416033 0 0 0 176365 672 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 1658672 [startup+1781.03 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1780.36 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177363 673 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1780.36 Current children cumulated vsize (Kb) 1658672 [startup+1782.04 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1781.37 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177464 673 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 1658672 [startup+1783.04 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1782.37 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177564 673 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (Kb) 1658672 [startup+1784.05 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1783.38 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177664 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 1658672 [startup+1785.05 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1784.39 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177765 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 1658672 [startup+1786.06 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1785.39 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177865 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 1658672 [startup+1787.06 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1786.39 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 177965 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1786.39 Current children cumulated vsize (Kb) 1658672 [startup+1788.07 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1787.4 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178066 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 1658672 [startup+1789.07 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1788.4 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178166 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (Kb) 1658672 [startup+1790.08 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1789.4 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178266 674 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (Kb) 1658672 [startup+1791.08 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1790.41 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178366 675 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 1658672 [startup+1792.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1791.42 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178467 675 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 1658672 [startup+1793.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=211616/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1658672 CPUtime=1792.42 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416037 0 0 0 178567 675 0 0 25 0 1 0 197372807 1698480128 412677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414668 412677 297 55 0 413560 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 1658672 [startup+1794.1 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1659968 CPUtime=1793.43 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 178667 676 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414992 412812 297 55 0 413884 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 1659968 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1659968 CPUtime=1794.43 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 178767 676 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8155283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414992 412812 297 55 0 413884 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 1659968 [startup+1796.11 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1659968 CPUtime=1795.43 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 178867 676 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414992 412812 297 55 0 413884 0 Current children cumulated CPU time (s) 1795.43 Current children cumulated vsize (Kb) 1659968 [startup+1797.11 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1659968 CPUtime=1796.44 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 178968 676 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414992 412812 297 55 0 413884 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 1659968 [startup+1798.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1659968 CPUtime=1797.45 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 179068 677 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414992 412812 297 55 0 413884 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 1659968 [startup+1799.12 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1659968 CPUtime=1798.45 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 179168 677 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414992 412812 297 55 0 413884 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 1659968 [startup+1800.13 s] /proc/loadavg: 0.99 1.00 0.99 2/64 26897 /proc/meminfo: memFree=210912/2055920 swapFree=4181356/4192956 [pid=26702] ppid=26700 vsize=1659968 CPUtime=1799.46 /proc/26702/stat : 26702 (bsolo) R 26700 26702 26656 0 -1 0 416346 0 0 0 179268 678 0 0 25 0 1 0 197372807 1699807232 412812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26702/statm: 414992 412812 297 55 0 413884 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 1659968 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.26 CPU user time (s): 1793.22 CPU system time (s): 7.03993 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (Kb): 1659968
Begin job on node34 on Sat Jun 3 06:44:50 UTC 2006 FILE ID= 40776-1149317090 PBS_JOBID= 308416 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40776-1149317090/instance-40776-1149317090.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-40776-1149317090 -o ROOT/results/node34/solver-40776-1149317090 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node34/40776-1149317090/instance-40776-1149317090.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 10aa1c00308ded1f7e7eb2eaba9ffa44 RANDOM SEED= 91676011 /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.277 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.277 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: 1864808 kB Buffers: 18040 kB Cached: 111500 kB SwapCached: 3400 kB Active: 28840 kB Inactive: 109536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864808 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14900 kB Slab: 38768 kB Committed_AS: 333540 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Sat Jun 3 07:14:51 UTC 2006