Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.19 | 1800.77 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos7.opb |
MD5SUM | f5e09fc51fdb6e7c65b10c880b18ec53 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2594748416 |
Optimality of the best value was proved | NO |
Number of variables | 33010 |
Total number of constraints | 2154 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 142 |
Number of constraints which are nor clauses,nor cardinality constraints | 2012 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 441 |
Number of terms in the objective function | 4506 |
Biggest coefficient in the objective function | 8053063680000 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 590484474471966 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 1073741839777215 |
Number of bits of the biggest sum of numbers | 50 |
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.02 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.69 c Initial problem consists of 33010 variables and 2624 constraints. 0.80 c No problem reductions applied in OPT. instance. 0.80 c preprocess terminated. Elapsed time: 0.783 0.80 c After prepocess the problem consists of 16264 variables and 2479 constraints. 0.80 c Initial Lower Bound: 0 1.00 c Restart #1 #Var: 16264 LB: 0 @ 0.98 1.27 c Restart #2 #Var: 16264 LB: 0 @ 1.251 1.86 c Restart #3 #Var: 16264 LB: 0 @ 1.848 2.48 c Restart #4 #Var: 16264 LB: 0 @ 2.462 3.36 c Restart #5 #Var: 16264 LB: 0 @ 3.345 4.37 c Restart #6 #Var: 16264 LB: 0 @ 4.352 5.52 c Restart #7 #Var: 16264 LB: 0 @ 5.5 6.48 c Restart #8 #Var: 16264 LB: 0 @ 6.464 7.44 c Restart #9 #Var: 16264 LB: 0 @ 7.426 9.45 c Restart #10 #Var: 16264 LB: 0 @ 9.431 11.28 c Restart #11 #Var: 16264 LB: 0 @ 11.262 11.64 c Restart #12 #Var: 16264 LB: 0 @ 11.621 11.94 c Restart #13 #Var: 16264 LB: 0 @ 11.919 12.39 c Restart #14 #Var: 16264 LB: 0 @ 12.366 12.77 c Restart #15 #Var: 16264 LB: 0 @ 12.745 13.51 c Restart #16 #Var: 16264 LB: 0 @ 13.49 14.01 c Restart #17 #Var: 16264 LB: 0 @ 13.986 14.73 c Restart #18 #Var: 16264 LB: 0 @ 14.711 15.20 c Restart #19 #Var: 16264 LB: 0 @ 15.176 15.74 c Restart #20 #Var: 16264 LB: 0 @ 15.715 16.22 c Restart #21 #Var: 16264 LB: 0 @ 16.197 16.81 c Restart #22 #Var: 16264 LB: 0 @ 16.784 17.37 c Restart #23 #Var: 16264 LB: 0 @ 17.347 17.69 c Restart #24 #Var: 16264 LB: 0 @ 17.663 18.05 c Restart #25 #Var: 16264 LB: 0 @ 18.026 18.52 c Restart #26 #Var: 16264 LB: 0 @ 18.501 19.27 c Restart #27 #Var: 16264 LB: 0 @ 19.248 20.40 c Restart #28 #Var: 16264 LB: 0 @ 20.371 20.98 c Restart #29 #Var: 16264 LB: 0 @ 20.954 21.49 c Restart #30 #Var: 16264 LB: 0 @ 21.464 21.90 c Restart #31 #Var: 16264 LB: 0 @ 21.874 22.27 c Restart #32 #Var: 16264 LB: 0 @ 22.242 22.69 c Restart #33 #Var: 16264 LB: 0 @ 22.668 23.24 c Restart #34 #Var: 16264 LB: 0 @ 23.215 23.75 c Restart #35 #Var: 16264 LB: 0 @ 23.729 24.25 c Restart #36 #Var: 16264 LB: 0 @ 24.227 24.76 c Restart #37 #Var: 16264 LB: 0 @ 24.731 25.31 c Restart #38 #Var: 16264 LB: 0 @ 25.288 25.86 c Restart #39 #Var: 16264 LB: 0 @ 25.836 26.38 c Restart #40 #Var: 16264 LB: 0 @ 26.358 26.95 c Restart #41 #Var: 16264 LB: 0 @ 26.923 27.51 c Restart #42 #Var: 16264 LB: 0 @ 27.483 28.24 c Restart #43 #Var: 16264 LB: 0 @ 28.212 29.03 c Restart #44 #Var: 16264 LB: 0 @ 29.004 30.01 c Restart #45 #Var: 16264 LB: 0 @ 29.979 30.57 c Restart #46 #Var: 16264 LB: 0 @ 30.54 31.17 c Restart #47 #Var: 16264 LB: 0 @ 31.141 31.75 c Restart #48 #Var: 16264 LB: 0 @ 31.726 32.38 c Restart #49 #Var: 16264 LB: 0 @ 32.353 33.52 c Restart #50 #Var: 16262 LB: 0 @ 33.493 34.20 c Restart #51 #Var: 16262 LB: 0 @ 34.175 34.82 c Restart #52 #Var: 16262 LB: 0 @ 34.788 36.22 c Restart #53 #Var: 16260 LB: 0 @ 36.191 37.12 c Restart #54 #Var: 16260 LB: 0 @ 37.096 37.86 c Restart #55 #Var: 16260 LB: 0 @ 37.832 38.82 c Restart #56 #Var: 16260 LB: 0 @ 38.79 39.58 c Restart #57 #Var: 16260 LB: 0 @ 39.549 40.33 c Restart #58 #Var: 16260 LB: 0 @ 40.298 41.07 c Restart #59 #Var: 16260 LB: 0 @ 41.043 41.94 c Restart #60 #Var: 16260 LB: 0 @ 41.905 42.80 c Restart #61 #Var: 16260 LB: 0 @ 42.773 43.90 c Restart #62 #Var: 16260 LB: 0 @ 43.867 44.94 c Restart #63 #Var: 16260 LB: 0 @ 44.911 45.85 c Restart #64 #Var: 16260 LB: 0 @ 45.823 46.71 c Restart #65 #Var: 16260 LB: 0 @ 46.677 47.54 c Restart #66 #Var: 16260 LB: 0 @ 47.504 48.95 c Restart #67 #Var: 16260 LB: 0 @ 48.922 49.80 c Restart #68 #Var: 16260 LB: 0 @ 49.765 50.74 c Restart #69 #Var: 16260 LB: 0 @ 50.707 51.62 c Restart #70 #Var: 16260 LB: 0 @ 51.59 52.74 c Restart #71 #Var: 16260 LB: 0 @ 52.704 53.75 c Restart #72 #Var: 16260 LB: 0 @ 53.716 54.65 c Restart #73 #Var: 16260 LB: 0 @ 54.615 55.54 c Restart #74 #Var: 16260 LB: 0 @ 55.504 56.47 c Restart #75 #Var: 16260 LB: 0 @ 56.432 57.37 c Restart #76 #Var: 16260 LB: 0 @ 57.333 58.33 c Restart #77 #Var: 16260 LB: 0 @ 58.296 59.27 c Restart #78 #Var: 16260 LB: 0 @ 59.234 61.08 c Restart #79 #Var: 16258 LB: 0 @ 61.044 62.86 c Restart #80 #Var: 16256 LB: 0 @ 62.822 64.28 c Restart #81 #Var: 16256 LB: 0 @ 64.249 65.28 c Restart #82 #Var: 16256 LB: 0 @ 65.247 66.38 c Restart #83 #Var: 16256 LB: 0 @ 66.339 67.43 c Restart #84 #Var: 16256 LB: 0 @ 67.393 68.91 c Restart #85 #Var: 16256 LB: 0 @ 68.878 69.91 c Restart #86 #Var: 16256 LB: 0 @ 69.872 70.96 c Restart #87 #Var: 16256 LB: 0 @ 70.923 71.98 c Restart #88 #Var: 16256 LB: 0 @ 71.94 73.05 c Restart #89 #Var: 16256 LB: 0 @ 73.014 74.10 c Restart #90 #Var: 16256 LB: 0 @ 74.058 75.19 c Restart #91 #Var: 16256 LB: 0 @ 75.156 76.26 c Restart #92 #Var: 16256 LB: 0 @ 76.216 77.38 c Restart #93 #Var: 16256 LB: 0 @ 77.343 78.51 c Restart #94 #Var: 16256 LB: 0 @ 78.473 79.69 c Restart #95 #Var: 16256 LB: 0 @ 79.651 80.83 c Restart #96 #Var: 16256 LB: 0 @ 80.788 82.01 c Restart #97 #Var: 16256 LB: 0 @ 81.974 83.17 c Restart #98 #Var: 16256 LB: 0 @ 83.125 84.38 c Restart #99 #Var: 16256 LB: 0 @ 84.335 85.56 c Restart #100 #Var: 16256 LB: 0 @ 85.523 86.79 c Restart #101 #Var: 16256 LB: 0 @ 86.75 88.02 c Restart #102 #Var: 16256 LB: 0 @ 87.973 89.25 c Restart #103 #Var: 16256 LB: 0 @ 89.21 90.50 c Restart #104 #Var: 16256 LB: 0 @ 90.455 91.76 c Restart #105 #Var: 16256 LB: 0 @ 91.718 93.03 c Restart #106 #Var: 16256 LB: 0 @ 92.983 94.31 c Restart #107 #Var: 16256 LB: 0 @ 94.265 95.61 c Restart #108 #Var: 16256 LB: 0 @ 95.568 96.92 c Restart #109 #Var: 16256 LB: 0 @ 96.873 98.24 c Restart #110 #Var: 16256 LB: 0 @ 98.2 99.58 c Restart #111 #Var: 16256 LB: 0 @ 99.535 100.95 c Restart #112 #Var: 16256 LB: 0 @ 100.9 102.30 c Restart #113 #Var: 16256 LB: 0 @ 102.26 103.70 c Restart #114 #Var: 16256 LB: 0 @ 103.66 105.08 c Restart #115 #Var: 16256 LB: 0 @ 105.03 106.54 c Restart #116 #Var: 16256 LB: 0 @ 106.49 107.93 c Restart #117 #Var: 16256 LB: 0 @ 107.89 109.37 c Restart #118 #Var: 16256 LB: 0 @ 109.32 111.62 c Restart #119 #Var: 16256 LB: 0 @ 111.57 115.74 c Restart #120 #Var: 16255 LB: 0 @ 115.69 118.28 c Restart #121 #Var: 16255 LB: 0 @ 118.23 120.11 c Restart #122 #Var: 16255 LB: 0 @ 120.06 194.48 c Restart #123 #Var: 16253 LB: 0 @ 194.41 197.37 c Restart #124 #Var: 16253 LB: 0 @ 197.3 200.11 c Restart #125 #Var: 16253 LB: 0 @ 200.03 202.46 c Restart #126 #Var: 16253 LB: 0 @ 202.39 204.76 c Restart #127 #Var: 16253 LB: 0 @ 204.69 206.71 c Restart #128 #Var: 16253 LB: 0 @ 206.64 209.48 c Restart #129 #Var: 16253 LB: 0 @ 209.41 211.33 c Restart #130 #Var: 16253 LB: 0 @ 211.26 213.67 c Restart #131 #Var: 16253 LB: 0 @ 213.6 215.44 c Restart #132 #Var: 16253 LB: 0 @ 215.36 217.29 c Restart #133 #Var: 16253 LB: 0 @ 217.22 219.23 c Restart #134 #Var: 16253 LB: 0 @ 219.15 221.53 c Restart #135 #Var: 16253 LB: 0 @ 221.46 223.62 c Restart #136 #Var: 16253 LB: 0 @ 223.54 225.96 c Restart #137 #Var: 16253 LB: 0 @ 225.88 231.61 c Restart #138 #Var: 16253 LB: 0 @ 231.53 233.65 c Restart #139 #Var: 16253 LB: 0 @ 233.57 240.78 c Restart #140 #Var: 16253 LB: 0 @ 240.69 243.76 c Restart #141 #Var: 16252 LB: 0 @ 243.67 245.72 c Restart #142 #Var: 16252 LB: 0 @ 245.63 248.69 c Restart #143 #Var: 16252 LB: 0 @ 248.61 250.84 c Restart #144 #Var: 16252 LB: 0 @ 250.75 254.05 c Restart #145 #Var: 16252 LB: 0 @ 253.97 255.96 c Restart #146 #Var: 16252 LB: 0 @ 255.88 258.14 c Restart #147 #Var: 16252 LB: 0 @ 258.06 260.65 c Restart #148 #Var: 16252 LB: 0 @ 260.56 264.72 c Restart #149 #Var: 16252 LB: 0 @ 264.63 266.96 c Restart #150 #Var: 16252 LB: 0 @ 266.87 270.06 c Restart #151 #Var: 16252 LB: 0 @ 269.97 272.23 c Restart #152 #Var: 16252 LB: 0 @ 272.14 274.48 c Restart #153 #Var: 16252 LB: 0 @ 274.39 276.65 c Restart #154 #Var: 16252 LB: 0 @ 276.56 278.95 c Restart #155 #Var: 16252 LB: 0 @ 278.86 282.25 c Restart #156 #Var: 16252 LB: 0 @ 282.16 285.92 c Restart #157 #Var: 16252 LB: 0 @ 285.82 288.84 c Restart #158 #Var: 16252 LB: 0 @ 288.74 291.55 c Restart #159 #Var: 16252 LB: 0 @ 291.46 294.47 c Restart #160 #Var: 16252 LB: 0 @ 294.37 298.09 c Restart #161 #Var: 16252 LB: 0 @ 297.99 300.72 c Restart #162 #Var: 16252 LB: 0 @ 300.62 304.14 c Restart #163 #Var: 16252 LB: 0 @ 304.05 307.64 c Restart #164 #Var: 16252 LB: 0 @ 307.54 310.42 c Restart #165 #Var: 16251 LB: 0 @ 310.32 312.45 c Restart #166 #Var: 16251 LB: 0 @ 312.34 318.52 c Restart #167 #Var: 16250 LB: 0 @ 318.42 320.43 c Restart #168 #Var: 16250 LB: 0 @ 320.33 322.77 c Restart #169 #Var: 16250 LB: 0 @ 322.67 324.62 c Restart #170 #Var: 16250 LB: 0 @ 324.52 326.59 c Restart #171 #Var: 16250 LB: 0 @ 326.48 328.47 c Restart #172 #Var: 16250 LB: 0 @ 328.37 330.46 c Restart #173 #Var: 16250 LB: 0 @ 330.36 332.84 c Restart #174 #Var: 16248 LB: 0 @ 332.73 352.17 c Restart #175 #Var: 16247 LB: 0 @ 352.06 354.62 c Restart #176 #Var: 16247 LB: 0 @ 354.51 357.85 c Restart #177 #Var: 16247 LB: 0 @ 357.73 360.59 c Restart #178 #Var: 16247 LB: 0 @ 360.48 363.84 c Restart #179 #Var: 16246 LB: 0 @ 363.73 366.58 c Restart #180 #Var: 16246 LB: 0 @ 366.47 369.01 c Restart #181 #Var: 16246 LB: 0 @ 368.89 372.51 c Restart #182 #Var: 16246 LB: 0 @ 372.39 378.05 c Restart #183 #Var: 16245 LB: 0 @ 377.93 384.02 c Restart #184 #Var: 16244 LB: 0 @ 383.9 399.62 c Restart #185 #Var: 16244 LB: 0 @ 399.49 404.44 c Restart #186 #Var: 16244 LB: 0 @ 404.32 408.26 c Restart #187 #Var: 16244 LB: 0 @ 408.13 410.69 c Restart #188 #Var: 16244 LB: 0 @ 410.56 413.32 c Restart #189 #Var: 16244 LB: 0 @ 413.19 415.68 c Restart #190 #Var: 16244 LB: 0 @ 415.55 418.07 c Restart #191 #Var: 16244 LB: 0 @ 417.94 420.48 c Restart #192 #Var: 16244 LB: 0 @ 420.35 422.92 c Restart #193 #Var: 16244 LB: 0 @ 422.79 425.35 c Restart #194 #Var: 16244 LB: 0 @ 425.22 427.96 c Restart #195 #Var: 16244 LB: 0 @ 427.83 430.41 c Restart #196 #Var: 16244 LB: 0 @ 430.28 432.90 c Restart #197 #Var: 16244 LB: 0 @ 432.77 435.31 c Restart #198 #Var: 16244 LB: 0 @ 435.18 437.77 c Restart #199 #Var: 16244 LB: 0 @ 437.63 440.18 c Restart #200 #Var: 16244 LB: 0 @ 440.04 442.60 c Restart #201 #Var: 16244 LB: 0 @ 442.46 445.05 c Restart #202 #Var: 16244 LB: 0 @ 444.92 447.47 c Restart #203 #Var: 16244 LB: 0 @ 447.34 449.98 c Restart #204 #Var: 16244 LB: 0 @ 449.85 452.51 c Restart #205 #Var: 16244 LB: 0 @ 452.37 455.05 c Restart #206 #Var: 16244 LB: 0 @ 454.91 457.65 c Restart #207 #Var: 16244 LB: 0 @ 457.51 460.27 c Restart #208 #Var: 16244 LB: 0 @ 460.13 462.99 c Restart #209 #Var: 16244 LB: 0 @ 462.85 465.69 c Restart #210 #Var: 16244 LB: 0 @ 465.55 468.45 c Restart #211 #Var: 16244 LB: 0 @ 468.31 471.00 c Restart #212 #Var: 16244 LB: 0 @ 470.86 473.58 c Restart #213 #Var: 16244 LB: 0 @ 473.44 476.23 c Restart #214 #Var: 16244 LB: 0 @ 476.09 478.85 c Restart #215 #Var: 16244 LB: 0 @ 478.7 481.36 c Restart #216 #Var: 16244 LB: 0 @ 481.21 483.98 c Restart #217 #Var: 16244 LB: 0 @ 483.83 486.56 c Restart #218 #Var: 16244 LB: 0 @ 486.42 489.22 c Restart #219 #Var: 16244 LB: 0 @ 489.07 491.84 c Restart #220 #Var: 16244 LB: 0 @ 491.69 494.50 c Restart #221 #Var: 16244 LB: 0 @ 494.35 497.23 c Restart #222 #Var: 16244 LB: 0 @ 497.08 499.89 c Restart #223 #Var: 16244 LB: 0 @ 499.74 502.73 c Restart #224 #Var: 16244 LB: 0 @ 502.58 505.48 c Restart #225 #Var: 16244 LB: 0 @ 505.33 508.35 c Restart #226 #Var: 16244 LB: 0 @ 508.2 511.15 c Restart #227 #Var: 16244 LB: 0 @ 511 514.07 c Restart #228 #Var: 16244 LB: 0 @ 513.91 516.97 c Restart #229 #Var: 16244 LB: 0 @ 516.81 519.97 c Restart #230 #Var: 16244 LB: 0 @ 519.82 522.96 c Restart #231 #Var: 16244 LB: 0 @ 522.81 526.05 c Restart #232 #Var: 16244 LB: 0 @ 525.9 529.07 c Restart #233 #Var: 16244 LB: 0 @ 528.91 532.15 c Restart #234 #Var: 16244 LB: 0 @ 531.99 535.20 c Restart #235 #Var: 16244 LB: 0 @ 535.04 538.33 c Restart #236 #Var: 16244 LB: 0 @ 538.17 541.46 c Restart #237 #Var: 16244 LB: 0 @ 541.29 544.65 c Restart #238 #Var: 16244 LB: 0 @ 544.49 547.73 c Restart #239 #Var: 16244 LB: 0 @ 547.57 550.61 c Restart #240 #Var: 16244 LB: 0 @ 550.45 553.47 c Restart #241 #Var: 16244 LB: 0 @ 553.31 556.50 c Restart #242 #Var: 16244 LB: 0 @ 556.33 559.46 c Restart #243 #Var: 16244 LB: 0 @ 559.3 562.58 c Restart #244 #Var: 16244 LB: 0 @ 562.41 565.65 c Restart #245 #Var: 16244 LB: 0 @ 565.48 568.84 c Restart #246 #Var: 16244 LB: 0 @ 568.67 571.97 c Restart #247 #Var: 16244 LB: 0 @ 571.8 575.21 c Restart #248 #Var: 16244 LB: 0 @ 575.04 578.41 c Restart #249 #Var: 16244 LB: 0 @ 578.24 581.77 c Restart #250 #Var: 16244 LB: 0 @ 581.6 585.04 c Restart #251 #Var: 16244 LB: 0 @ 584.87 588.42 c Restart #252 #Var: 16244 LB: 0 @ 588.25 591.77 c Restart #253 #Var: 16244 LB: 0 @ 591.59 595.16 c Restart #254 #Var: 16244 LB: 0 @ 594.98 598.54 c Restart #255 #Var: 16244 LB: 0 @ 598.36 602.06 c Restart #256 #Var: 16244 LB: 0 @ 601.88 605.53 c Restart #257 #Var: 16244 LB: 0 @ 605.35 608.74 c Restart #258 #Var: 16244 LB: 0 @ 608.56 611.84 c Restart #259 #Var: 16244 LB: 0 @ 611.66 615.02 c Restart #260 #Var: 16244 LB: 0 @ 614.84 618.05 c Restart #261 #Var: 16244 LB: 0 @ 617.86 621.24 c Restart #262 #Var: 16244 LB: 0 @ 621.06 624.30 c Restart #263 #Var: 16244 LB: 0 @ 624.12 627.58 c Restart #264 #Var: 16244 LB: 0 @ 627.39 632.34 c Restart #265 #Var: 16243 LB: 0 @ 632.15 635.84 c Restart #266 #Var: 16243 LB: 0 @ 635.65 639.78 c Restart #267 #Var: 16243 LB: 0 @ 639.59 642.99 c Restart #268 #Var: 16243 LB: 0 @ 642.8 648.95 c Restart #269 #Var: 16243 LB: 0 @ 648.76 654.96 c Restart #270 #Var: 16241 LB: 0 @ 654.77 660.43 c Restart #271 #Var: 16241 LB: 0 @ 660.23 664.95 c Restart #272 #Var: 16241 LB: 0 @ 664.75 669.70 c Restart #273 #Var: 16241 LB: 0 @ 669.5 674.60 c Restart #274 #Var: 16241 LB: 0 @ 674.4 680.12 c Restart #275 #Var: 16241 LB: 0 @ 679.92 685.35 c Restart #276 #Var: 16241 LB: 0 @ 685.15 693.03 c Restart #277 #Var: 16240 LB: 0 @ 692.83 765.23 c Restart #278 #Var: 16240 LB: 0 @ 765.01 768.71 c Restart #279 #Var: 16240 LB: 0 @ 768.49 772.25 c Restart #280 #Var: 16240 LB: 0 @ 772.03 775.77 c Restart #281 #Var: 16240 LB: 0 @ 775.55 779.32 c Restart #282 #Var: 16240 LB: 0 @ 779.1 782.96 c Restart #283 #Var: 16240 LB: 0 @ 782.73 786.46 c Restart #284 #Var: 16240 LB: 0 @ 786.23 789.99 c Restart #285 #Var: 16240 LB: 0 @ 789.76 793.52 c Restart #286 #Var: 16240 LB: 0 @ 793.29 797.06 c Restart #287 #Var: 16240 LB: 0 @ 796.83 800.72 c Restart #288 #Var: 16240 LB: 0 @ 800.49 804.38 c Restart #289 #Var: 16240 LB: 0 @ 804.15 808.07 c Restart #290 #Var: 16240 LB: 0 @ 807.84 811.69 c Restart #291 #Var: 16240 LB: 0 @ 811.46 815.45 c Restart #292 #Var: 16240 LB: 0 @ 815.22 819.14 c Restart #293 #Var: 16240 LB: 0 @ 818.9 822.81 c Restart #294 #Var: 16240 LB: 0 @ 822.58 826.46 c Restart #295 #Var: 16240 LB: 0 @ 826.23 830.16 c Restart #296 #Var: 16240 LB: 0 @ 829.92 833.79 c Restart #297 #Var: 16240 LB: 0 @ 833.55 837.48 c Restart #298 #Var: 16240 LB: 0 @ 837.24 841.19 c Restart #299 #Var: 16240 LB: 0 @ 840.95 844.98 c Restart #300 #Var: 16240 LB: 0 @ 844.74 848.79 c Restart #301 #Var: 16240 LB: 0 @ 848.55 852.62 c Restart #302 #Var: 16240 LB: 0 @ 852.38 856.41 c Restart #303 #Var: 16240 LB: 0 @ 856.16 860.25 c Restart #304 #Var: 16240 LB: 0 @ 860.01 864.07 c Restart #305 #Var: 16240 LB: 0 @ 863.82 867.96 c Restart #306 #Var: 16240 LB: 0 @ 867.71 871.78 c Restart #307 #Var: 16240 LB: 0 @ 871.53 875.62 c Restart #308 #Var: 16240 LB: 0 @ 875.37 879.45 c Restart #309 #Var: 16240 LB: 0 @ 879.2 883.41 c Restart #310 #Var: 16240 LB: 0 @ 883.15 887.35 c Restart #311 #Var: 16240 LB: 0 @ 887.1 891.31 c Restart #312 #Var: 16240 LB: 0 @ 891.06 895.17 c Restart #313 #Var: 16240 LB: 0 @ 894.91 899.13 c Restart #314 #Var: 16240 LB: 0 @ 898.88 903.13 c CHANGE Heuristic... 903.13 c Restart #0 #Var: 16240 LB: 0 @ 902.88 906.08 c Restart #1 #Var: 16240 LB: 0 @ 905.82 910.87 c Restart #2 #Var: 16239 LB: 0 @ 910.61 911.64 c Restart #3 #Var: 16239 LB: 0 @ 911.38 912.84 c Restart #4 #Var: 16239 LB: 0 @ 912.58 913.26 c Restart #5 #Var: 16239 LB: 0 @ 913 913.54 c Restart #6 #Var: 16239 LB: 0 @ 913.28 915.47 c Restart #7 #Var: 16238 LB: 0 @ 915.21 917.55 c Restart #8 #Var: 16238 LB: 0 @ 917.29 917.97 c Restart #9 #Var: 16238 LB: 0 @ 917.71 918.13 c Restart #10 #Var: 16238 LB: 0 @ 917.86 918.75 c Restart #11 #Var: 16238 LB: 0 @ 918.49 926.95 c Restart #12 #Var: 16238 LB: 0 @ 926.69 927.67 c Restart #13 #Var: 16238 LB: 0 @ 927.4 931.38 c Restart #14 #Var: 16238 LB: 0 @ 931.12 932.89 c Restart #15 #Var: 16238 LB: 0 @ 932.63 933.12 c Restart #16 #Var: 16238 LB: 0 @ 932.86 933.40 c Restart #17 #Var: 16238 LB: 0 @ 933.13 935.57 c Restart #18 #Var: 16238 LB: 0 @ 935.3 937.48 c Restart #19 #Var: 16237 LB: 0 @ 937.22 940.57 c Restart #20 #Var: 16234 LB: 0 @ 940.31 949.74 c Restart #21 #Var: 16234 LB: 0 @ 949.48 955.73 c Restart #22 #Var: 16233 LB: 0 @ 955.46 956.12 c Restart #23 #Var: 16233 LB: 0 @ 955.85 1023.21 c Restart #24 #Var: 16233 LB: 0 @ 1022.9 1023.96 c Restart #25 #Var: 16233 LB: 0 @ 1023.7 1026.60 c Restart #26 #Var: 16233 LB: 0 @ 1026.3 1034.01 c Restart #27 #Var: 16233 LB: 0 @ 1033.7 1034.43 c Restart #28 #Var: 16233 LB: 0 @ 1034.1 1034.83 c Restart #29 #Var: 16233 LB: 0 @ 1034.5 1036.05 c Restart #30 #Var: 16233 LB: 0 @ 1035.8 1045.13 c Restart #31 #Var: 16233 LB: 0 @ 1044.8 1046.74 c Restart #32 #Var: 16233 LB: 0 @ 1046.4 1049.06 c Restart #33 #Var: 16233 LB: 0 @ 1048.8 1132.34 c Restart #34 #Var: 16233 LB: 0 @ 1132 1136.14 c Restart #35 #Var: 16233 LB: 0 @ 1135.8 1137.16 c Restart #36 #Var: 16233 LB: 0 @ 1136.8 1137.73 c Restart #37 #Var: 16233 LB: 0 @ 1137.4 1138.76 c Restart #38 #Var: 16233 LB: 0 @ 1138.4 1140.86 c Restart #39 #Var: 16233 LB: 0 @ 1140.5 1142.68 c Restart #40 #Var: 16233 LB: 0 @ 1142.4 1143.57 c Restart #41 #Var: 16233 LB: 0 @ 1143.2 1144.19 c Restart #42 #Var: 16233 LB: 0 @ 1143.9 1145.84 c Restart #43 #Var: 16233 LB: 0 @ 1145.5 1147.57 c Restart #44 #Var: 16233 LB: 0 @ 1147.2 1149.17 c Restart #45 #Var: 16233 LB: 0 @ 1148.8 1150.94 c Restart #46 #Var: 16233 LB: 0 @ 1150.6 1151.63 c Restart #47 #Var: 16233 LB: 0 @ 1151.3 1157.48 c Restart #48 #Var: 16233 LB: 0 @ 1157.2 1162.73 c Restart #49 #Var: 16233 LB: 0 @ 1162.4 1164.25 c Restart #50 #Var: 16233 LB: 0 @ 1163.9 1165.90 c Restart #51 #Var: 16233 LB: 0 @ 1165.6 1166.76 c Restart #52 #Var: 16233 LB: 0 @ 1166.4 1175.14 c Restart #53 #Var: 16233 LB: 0 @ 1174.8 1176.28 c Restart #54 #Var: 16233 LB: 0 @ 1175.9 1177.52 c Restart #55 #Var: 16233 LB: 0 @ 1177.2 1178.30 c Restart #56 #Var: 16233 LB: 0 @ 1178 1183.23 c Restart #57 #Var: 16231 LB: 0 @ 1182.9 1697.37 c Restart #58 #Var: 16230 LB: 0 @ 1696.8 1699.96 c Restart #59 #Var: 16229 LB: 0 @ 1699.4 1704.38 c Restart #60 #Var: 16229 LB: 0 @ 1703.8 1705.29 c Restart #61 #Var: 16229 LB: 0 @ 1704.7 1706.28 c Restart #62 #Var: 16229 LB: 0 @ 1705.7 1711.45 c Restart #63 #Var: 16228 LB: 0 @ 1710.9 1713.89 c Restart #64 #Var: 16228 LB: 0 @ 1713.3 1719.57 c Restart #65 #Var: 16228 LB: 0 @ 1719 1723.08 c Restart #66 #Var: 16228 LB: 0 @ 1722.5 1730.81 c Restart #67 #Var: 16227 LB: 0 @ 1730.3 1738.98 c Restart #68 #Var: 16227 LB: 0 @ 1738.4 1740.02 c Restart #69 #Var: 16227 LB: 0 @ 1739.5 1777.33 c Restart #70 #Var: 16226 LB: 0 @ 1776.8 1779.62 c Restart #71 #Var: 16226 LB: 0 @ 1779 1784.06 c Restart #72 #Var: 16226 LB: 0 @ 1783.5 1785.47 c Restart #73 #Var: 16226 LB: 0 @ 1784.9 1789.07 c Restart #74 #Var: 16226 LB: 0 @ 1788.5 1790.55 c Restart #75 #Var: 16226 LB: 0 @ 1790 1794.12 c Restart #76 #Var: 16226 LB: 0 @ 1793.5 1795.74 c Restart #77 #Var: 16226 LB: 0 @ 1795.2 1799.44 c Restart #78 #Var: 16226 LB: 0 @ 1798.9 1800.58 s UNKNOWN 1800.58 c Exit Code: 0 1800.58 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/node23/watcher-40576-1149305677 -o ROOT/results/node23/solver-40576-1149305677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40576-1149305677/instance-40576-1149305677.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 21199 /proc/meminfo: memFree=1544528/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=4664 CPUtime=0 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 156 0 0 0 0 0 0 0 18 0 1 0 196231373 4775936 136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2464632 0 0 4096 0 0 0 0 17 1 0 0 /proc/21199/statm: 1166 136 106 55 0 46 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.97 0.91 2/64 21199 /proc/meminfo: memFree=1503584/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=46904 CPUtime=9.98 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 16570 0 0 0 955 43 0 0 25 0 1 0 196231373 48029696 10524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 11726 10524 299 55 0 10618 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 46904 [startup+20.0099 s] /proc/loadavg: 0.94 0.97 0.91 2/64 21199 /proc/meminfo: memFree=1490728/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=59840 CPUtime=19.97 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 19798 0 0 0 1942 55 0 0 25 0 1 0 196231373 61276160 13752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 14960 13752 299 55 0 13852 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 59840 [startup+30.016 s] /proc/loadavg: 0.95 0.97 0.91 2/64 21199 /proc/meminfo: memFree=1482024/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=68532 CPUtime=29.98 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 21957 0 0 0 2936 62 0 0 25 0 1 0 196231373 70176768 15911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 17133 15911 299 55 0 16025 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 68532 [startup+40.0222 s] /proc/loadavg: 0.96 0.97 0.91 2/64 21199 /proc/meminfo: memFree=1474344/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=76316 CPUtime=39.98 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 23895 0 0 0 3931 67 0 0 25 0 1 0 196231373 78147584 17849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 19079 17849 299 55 0 17971 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 76316 [startup+50.0283 s] /proc/loadavg: 0.96 0.97 0.91 2/64 21200 /proc/meminfo: memFree=1407336/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=143332 CPUtime=49.98 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 40633 0 0 0 4917 81 0 0 25 0 1 0 196231373 146771968 34586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 35833 34586 299 55 0 34725 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 143332 [startup+60.0344 s] /proc/loadavg: 0.97 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1406888/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=143740 CPUtime=59.99 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 40737 0 0 0 5912 87 0 0 25 0 1 0 196231373 147189760 34689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 35935 34689 299 55 0 34827 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 143740 [startup+70.0406 s] /proc/loadavg: 0.97 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1399976/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=150612 CPUtime=69.99 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42462 0 0 0 6905 94 0 0 25 0 1 0 196231373 154226688 36414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 37653 36414 299 55 0 36545 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 150612 [startup+80.0467 s] /proc/loadavg: 0.98 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1399848/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=150744 CPUtime=80 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42499 0 0 0 7900 100 0 0 25 0 1 0 196231373 154361856 36451 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 37686 36451 299 55 0 36578 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 150744 [startup+90.0518 s] /proc/loadavg: 0.98 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1399784/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=150884 CPUtime=90 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42516 0 0 0 8893 107 0 0 25 0 1 0 196231373 154505216 36468 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 37721 36468 299 55 0 36613 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 150884 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1399720/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=150884 CPUtime=100 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42525 0 0 0 9887 113 0 0 25 0 1 0 196231373 154505216 36477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 37721 36477 299 55 0 36613 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 150884 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1399080/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=151540 CPUtime=110.01 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 42688 0 0 0 10883 118 0 0 25 0 1 0 196231373 155176960 36640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 37885 36640 299 55 0 36777 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 151540 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1328616/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=221904 CPUtime=120.01 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 60275 0 0 0 11872 129 0 0 25 0 1 0 196231373 227229696 54224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 55476 54224 299 55 0 54368 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 221904 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1324840/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=225732 CPUtime=130.01 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 61219 0 0 0 12871 130 0 0 25 0 1 0 196231373 231149568 55168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 56433 55168 299 55 0 55325 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 225732 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1321064/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=229428 CPUtime=140.02 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 62155 0 0 0 13871 131 0 0 25 0 1 0 196231373 234934272 56104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534001 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 57357 56104 299 55 0 56249 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 229428 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1317288/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=233256 CPUtime=150.02 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 63095 0 0 0 14870 132 0 0 25 0 1 0 196231373 238854144 57044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 58314 57044 299 55 0 57206 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 233256 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1313512/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=236952 CPUtime=160.02 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 64035 0 0 0 15868 134 0 0 25 0 1 0 196231373 242638848 57984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 59238 57984 299 55 0 58130 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 236952 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1309672/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=240780 CPUtime=170.03 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 64982 0 0 0 16868 135 0 0 25 0 1 0 196231373 246558720 58931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 60195 58931 299 55 0 59087 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 240780 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1305896/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=244620 CPUtime=180.03 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 65930 0 0 0 17868 135 0 0 25 0 1 0 196231373 250490880 59879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 61155 59879 299 55 0 60047 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 244620 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1302184/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=248332 CPUtime=190.04 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 66852 0 0 0 18867 137 0 0 25 0 1 0 196231373 254291968 60801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 62083 60801 299 55 0 60975 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 248332 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1285928/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=264572 CPUtime=200.04 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 70903 0 0 0 19861 143 0 0 25 0 1 0 196231373 270921728 64852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 66143 64852 299 55 0 65035 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 264572 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21201 /proc/meminfo: memFree=1207784/2055920 swapFree=4180892/4192956 ################ # More data... # ################ /proc/21199/statm: 304234 301980 299 55 0 303126 0 Current children cumulated CPU time (s) 1760.56 Current children cumulated vsize (Kb) 1216936 [startup+1771.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=335080/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1216936 CPUtime=1770.56 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309047 0 0 0 176432 624 0 0 25 0 1 0 196231373 1246142464 301981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304234 301981 299 55 0 303126 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 1216936 [startup+1781.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1780.57 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309295 0 0 0 177431 626 0 0 25 0 1 0 196231373 1247219712 302229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302229 299 55 0 303389 0 Current children cumulated CPU time (s) 1780.57 Current children cumulated vsize (Kb) 1217988 [startup+1782.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1781.57 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309301 0 0 0 177531 626 0 0 25 0 1 0 196231373 1247219712 302235 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302235 299 55 0 303389 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 1217988 [startup+1783.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1782.58 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309304 0 0 0 177631 627 0 0 25 0 1 0 196231373 1247219712 302238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302238 299 55 0 303389 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 1217988 [startup+1784.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1783.58 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309304 0 0 0 177731 627 0 0 25 0 1 0 196231373 1247219712 302238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302238 299 55 0 303389 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 1217988 [startup+1785.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1784.58 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309304 0 0 0 177831 627 0 0 25 0 1 0 196231373 1247219712 302238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302238 299 55 0 303389 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 1217988 [startup+1786.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=334056/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1785.59 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309304 0 0 0 177932 627 0 0 25 0 1 0 196231373 1247219712 302238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302238 299 55 0 303389 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 1217988 [startup+1787.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1786.59 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309305 0 0 0 178032 627 0 0 25 0 1 0 196231373 1247219712 302239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302239 299 55 0 303389 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 1217988 [startup+1788.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1787.6 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309306 0 0 0 178133 627 0 0 25 0 1 0 196231373 1247219712 302240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302240 299 55 0 303389 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 1217988 [startup+1789.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1788.61 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309306 0 0 0 178233 628 0 0 25 0 1 0 196231373 1247219712 302240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302240 299 55 0 303389 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 1217988 [startup+1790.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1789.61 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309307 0 0 0 178333 628 0 0 25 0 1 0 196231373 1247219712 302241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302241 299 55 0 303389 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 1217988 [startup+1791.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1790.61 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309309 0 0 0 178433 628 0 0 25 0 1 0 196231373 1247219712 302243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302243 299 55 0 303389 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 1217988 [startup+1792.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1791.62 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309309 0 0 0 178533 629 0 0 25 0 1 0 196231373 1247219712 302243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302243 299 55 0 303389 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 1217988 [startup+1793.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1792.63 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309311 0 0 0 178634 629 0 0 25 0 1 0 196231373 1247219712 302245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302245 299 55 0 303389 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 1217988 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1793.63 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309311 0 0 0 178734 629 0 0 25 0 1 0 196231373 1247219712 302245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302245 299 55 0 303389 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 1217988 [startup+1795.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1217988 CPUtime=1794.63 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309311 0 0 0 178834 629 0 0 25 0 1 0 196231373 1247219712 302245 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304497 302245 299 55 0 303389 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 1217988 [startup+1796.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1218120 CPUtime=1795.63 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309313 0 0 0 178934 629 0 0 25 0 1 0 196231373 1247354880 302247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304530 302247 299 55 0 303422 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 1218120 [startup+1797.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1218120 CPUtime=1796.65 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309313 0 0 0 179035 630 0 0 25 0 1 0 196231373 1247354880 302247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304530 302247 299 55 0 303422 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 1218120 [startup+1798.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1218120 CPUtime=1797.65 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309314 0 0 0 179135 630 0 0 25 0 1 0 196231373 1247354880 302248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304530 302248 299 55 0 303422 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 1218120 [startup+1799.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1218120 CPUtime=1798.65 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309315 0 0 0 179235 630 0 0 25 0 1 0 196231373 1247354880 302249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304530 302249 299 55 0 303422 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 1218120 [startup+1800.25 s] /proc/loadavg: 0.99 0.97 0.91 2/64 21396 /proc/meminfo: memFree=333992/2055920 swapFree=4180892/4192956 [pid=21199] ppid=21197 vsize=1218120 CPUtime=1799.65 /proc/21199/stat : 21199 (bsolo) R 21197 21199 21153 0 -1 0 309317 0 0 0 179335 630 0 0 25 0 1 0 196231373 1247354880 302251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21199/statm: 304530 302251 299 55 0 303422 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 1218120 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.19 CPU user time (s): 1793.69 CPU system time (s): 6.49901 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (Kb): 1218120
Begin job on node23 on Sat Jun 3 03:34:37 UTC 2006 FILE ID= 40576-1149305677 PBS_JOBID= 307618 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40576-1149305677/instance-40576-1149305677.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-40576-1149305677 -o ROOT/results/node23/solver-40576-1149305677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node23/40576-1149305677/instance-40576-1149305677.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= f5e09fc51fdb6e7c65b10c880b18ec53 RANDOM SEED= 967824942 /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.213 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 : 5931.00 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.213 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: 1544736 kB Buffers: 28220 kB Cached: 409668 kB SwapCached: 3704 kB Active: 62972 kB Inactive: 383552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1544736 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14708 kB Slab: 50768 kB Committed_AS: 304092 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Sat Jun 3 04:04:38 UTC 2006