0.29/0.38 c SCIP version 1.1.0.7
0.29/0.38 c LP-Solver SoPlex 1.4.1
0.29/0.38 c user parameter file <scip.set> not found - using default parameters
0.29/0.38 c read problem <HOME/instance-1869286-1245168865.opb>
0.29/0.38 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
0.39/0.44 c start presolving problem
0.39/0.44 c presolving:
0.69/0.75 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27847 upgd conss, 55694 impls, 0 clqs
1.39/1.41 c (0.9s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.41 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.39/1.41 c presolving (2 rounds):
1.39/1.41 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.41 c 55694 implications, 0 cliques
1.39/1.41 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27847 constraints
1.39/1.41 c 27847 constraints of type <logicor>
1.39/1.41 c transformed objective value is always integral (scale: 1)
1.39/1.41 c Presolving Time: 0.90
1.39/1.42 c strange?!, PURESAT with obj
1.39/1.42 c -----------------------------------------------------------------------------------------------
1.39/1.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.42 c limits/memory = c 1620
1.39/1.42 c # maximal time in seconds to run
1.39/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.42 c limits/time = c 1791
1.39/1.42 c # frequency for displaying node information lines
1.39/1.42 c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.42 c display/freq = c 10000
1.39/1.42 c -----------------------------------------------------------------------------------------------
1.39/1.42 c start solving problem
1.39/1.42 c
2.20/2.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.20/2.29 c 1.8s| 1 | 0 | 598 | 31M| 0 | 595 | 595 | 27k| 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 | -- | Inf
2.20/2.30 o 0
2.20/2.30 c r 1.8s| 1 | 0 | 598 | 31M| 0 | 595 | 595 | 27k| 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
2.29/2.34 o -1
2.29/2.34 c R 1.8s| 1 | 0 | 598 | 31M| 0 | 595 | 595 | 27k| 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
3.89/3.93 c 3.4s| 1 | 0 | 765 | 31M| 0 | 549 | 595 | 27k| 27k| 595 | 27k| 5 | 0 | 0 |-2.745000e+02 |-1.000000e+00 | 99.64%
5.39/5.43 c 4.9s| 1 | 0 | 843 | 31M| 0 | 518 | 595 | 27k| 27k| 595 | 27k| 11 | 0 | 0 |-2.590000e+02 |-1.000000e+00 | 99.61%
7.39/7.42 c 6.9s| 1 | 0 | 945 | 31M| 0 | 485 | 595 | 27k| 27k| 595 | 27k| 20 | 0 | 0 |-2.417500e+02 |-1.000000e+00 | 99.59%
9.49/9.50 c 8.9s| 1 | 0 | 1013 | 31M| 0 | 469 | 595 | 27k| 27k| 595 | 27k| 26 | 0 | 0 |-2.337500e+02 |-1.000000e+00 | 99.57%
11.79/11.83 c 11.3s| 1 | 0 | 1152 | 31M| 0 | 451 | 595 | 27k| 27k| 595 | 27k| 35 | 0 | 0 |-2.247500e+02 |-1.000000e+00 | 99.56%
14.39/14.42 c 13.8s| 1 | 0 | 1355 | 31M| 0 | 420 | 595 | 27k| 27k| 595 | 27k| 42 | 0 | 0 |-2.092500e+02 |-1.000000e+00 | 99.52%
17.09/17.11 c 16.5s| 1 | 0 | 1529 | 31M| 0 | 392 | 595 | 27k| 27k| 595 | 27k| 46 | 0 | 0 |-1.952500e+02 |-1.000000e+00 | 99.49%
19.49/19.54 c 19.0s| 1 | 0 | 1663 | 31M| 0 | 362 | 595 | 27k| 27k| 595 | 27k| 53 | 0 | 0 |-1.802500e+02 |-1.000000e+00 | 99.45%
21.99/22.05 c 21.5s| 1 | 0 | 1820 | 31M| 0 | 341 | 595 | 27k| 27k| 595 | 27k| 63 | 0 | 0 |-1.697500e+02 |-1.000000e+00 | 99.41%
24.99/25.06 c 24.5s| 1 | 0 | 2088 | 31M| 0 | 311 | 595 | 27k| 27k| 595 | 27k| 69 | 0 | 0 |-1.547500e+02 |-1.000000e+00 | 99.35%
26.39/26.46 c 25.9s| 1 | 0 | 2320 | 31M| 0 | 282 | 595 | 27k| 27k| 595 | 27k| 75 | 0 | 0 |-1.402500e+02 |-1.000000e+00 | 99.29%
27.98/28.03 c 27.4s| 1 | 0 | 2613 | 31M| 0 | 254 | 595 | 27k| 27k| 595 | 27k| 85 | 0 | 0 |-1.257500e+02 |-1.000000e+00 | 99.20%
28.99/29.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.99/29.03 c 28.4s| 1 | 0 | 2764 | 31M| 0 | 224 | 595 | 27k| 27k| 595 | 27k| 94 | 0 | 0 |-1.107500e+02 |-1.000000e+00 | 99.10%
30.38/30.45 c 29.9s| 1 | 0 | 3041 | 31M| 0 | 191 | 595 | 27k| 27k| 595 | 27k| 101 | 0 | 0 |-9.475000e+01 |-1.000000e+00 | 98.94%
32.28/32.34 c 31.7s| 1 | 0 | 3533 | 31M| 0 | 166 | 595 | 27k| 27k| 595 | 27k| 108 | 0 | 0 |-8.225000e+01 |-1.000000e+00 | 98.78%
33.28/33.37 c 32.8s| 1 | 0 | 3698 | 31M| 0 | 138 | 595 | 27k| 27k| 595 | 27k| 115 | 0 | 0 |-6.825000e+01 |-1.000000e+00 | 98.53%
34.68/34.72 c 34.1s| 1 | 0 | 3975 | 31M| 0 | 114 | 595 | 27k| 27k| 595 | 27k| 124 | 0 | 0 |-5.400000e+01 |-1.000000e+00 | 98.15%
35.58/35.62 c 35.0s| 1 | 0 | 4118 | 31M| 0 | 104 | 595 | 27k| 27k| 595 | 27k| 131 | 0 | 0 |-4.150000e+01 |-1.000000e+00 | 97.59%
35.58/35.64 o -1
35.58/35.64 c s35.0s| 1 | 0 | 4118 | 31M| 0 | 104 | 595 | 27k| 27k| 595 | 27k| 131 | 0 | 0 |-4.150000e+01 |-1.000000e+00 | 97.59%
36.58/36.62 c 36.0s| 1 | 0 | 4266 | 31M| 0 | 90 | 595 | 27k| 27k| 595 | 27k| 141 | 0 | 0 |-3.500000e+01 |-1.000000e+00 | 97.14%
37.28/37.37 c 36.7s| 1 | 0 | 4322 | 31M| 0 | 115 | 595 | 27k| 27k| 595 | 27k| 146 | 0 | 0 |-3.500000e+01 |-1.000000e+00 | 97.14%
37.77/37.88 c 37.2s| 1 | 0 | 4383 | 32M| 0 | 118 | 595 | 27k| 27k| 595 | 27k| 158 | 0 | 0 |-3.500000e+01 |-1.000000e+00 | 97.14%
38.77/38.80 c 38.2s| 1 | 0 | 4569 | 32M| 0 | 124 | 595 | 27k| 27k| 595 | 27k| 169 | 0 | 0 |-3.500000e+01 |-1.000000e+00 | 97.14%
46.27/46.35 c 45.7s| 1 | 0 | 4807 | 32M| 0 | 126 | 595 | 27k| 27k| 595 | 27k| 181 | 0 | 0 |-3.500000e+01 |-1.000000e+00 | 97.14%
47.27/47.38 c 46.7s| 1 | 0 | 4987 | 32M| 0 | 100 | 595 | 27k| 27k| 595 | 27k| 190 | 0 | 0 |-3.500000e+01 |-1.000000e+00 | 97.14%
47.27/47.39 o -2
47.27/47.39 c r46.7s| 1 | 0 | 4987 | 32M| 0 | 100 | 595 | 27k| 27k| 595 | 27k| 190 | 0 | 0 |-3.500000e+01 |-2.000000e+00 | 94.29%
47.27/47.40 o -3
47.27/47.40 c R46.7s| 1 | 0 | 4987 | 32M| 0 | 100 | 595 | 27k| 27k| 595 | 27k| 190 | 0 | 0 |-3.500000e+01 |-3.000000e+00 | 91.43%
47.37/47.41 o -4
47.37/47.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.37/47.41 c s46.7s| 1 | 0 | 4987 | 32M| 0 | 100 | 595 | 27k| 27k| 595 | 27k| 190 | 0 | 0 |-3.500000e+01 |-4.000000e+00 | 88.57%
47.37/47.43 o -24
47.37/47.43 c k46.8s| 1 | 0 | 4987 | 32M| 0 | 100 | 595 | 27k| 27k| 595 | 27k| 190 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
48.47/48.50 c 47.7s| 1 | 0 | 4987 | 32M| 0 | 100 | 595 | 27k| 27k| 595 | 27k| 190 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
49.17/49.27 c 48.5s| 1 | 0 | 5119 | 32M| 0 | 132 | 595 | 27k| 27k| 595 | 28k| 204 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
88.46/88.54 c 87.7s| 1 | 2 | 5119 | 32M| 0 | 132 | 595 | 27k| 27k| 595 | 28k| 204 | 0 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
194.74/194.89 o -25
194.74/194.89 c c 194s| 15 | 13 | 6372 | 32M| 14 | - | 595 | 27k| 26k| 595 | 27k| 204 | 0 | 339 |-3.500000e+01 |-2.500000e+01 | 28.57%
262.42/262.56 o -26
262.42/262.56 c * 261s| 27 | 21 | 7340 | 32M| 14 | - | 595 | 27k| 22k| 595 | 27k| 204 | 0 | 570 |-3.500000e+01 |-2.600000e+01 | 25.71%
326.20/326.31 o -27
326.20/326.31 c p 325s| 39 | 31 | 8251 | 33M| 14 | - | 595 | 27k| 21k| 595 | 27k| 204 | 0 | 757 |-3.500000e+01 |-2.700000e+01 | 22.86%
432.78/432.91 o -28
432.78/432.91 c g 431s| 160 | 114 | 14043 | 34M| 26 | - | 595 | 27k|7743 | 595 | 27k| 204 | 0 |1083 |-3.500000e+01 |-2.800000e+01 | 20.00%
459.87/460.07 o -29
459.87/460.07 c * 458s| 306 | 167 | 19907 | 34M| 33 | - | 595 | 27k| 10k| 595 | 27k| 204 | 0 |1116 |-3.500000e+01 |-2.900000e+01 | 17.14%
551.85/552.02 o -30
551.85/552.02 c * 550s| 1004 | 382 | 39608 | 36M| 61 | - | 595 | 27k|9609 | 595 | 27k| 204 | 0 |1268 |-3.500000e+01 |-3.000000e+01 | 14.29%
631.33/631.58 o -31
631.33/631.58 c * 630s| 1898 | 510 | 60095 | 37M| 70 | - | 595 | 27k|7796 | 595 | 27k| 204 | 0 |1355 |-3.500000e+01 |-3.100000e+01 | 11.43%
909.16/909.41 o -32
909.16/909.41 c c 907s| 4070 | 923 |136965 | 41M| 73 | - | 595 | 27k|6336 | 595 | 27k| 204 | 0 |1696 |-3.500000e+01 |-3.200000e+01 | 8.57%
1731.06/1731.56 c 1727s| 10000 | 2761 |369873 | 57M| 99 | 77 | 595 | 27k|6263 | 595 | 27k| 204 | 0 |2527 |-3.500000e+01 |-3.200000e+01 | 8.57%
1795.25/1795.76 c
1795.25/1795.76 c SCIP Status : solving was interrupted [time limit reached]
1795.25/1795.76 c Solving Time (sec) : 1791.02
1795.25/1795.76 c Solving Nodes : 10461
1795.25/1795.76 c Primal Bound : -3.20000000000000e+01 (341 solutions)
1795.25/1795.76 c Dual Bound : -3.50000000000000e+01
1795.25/1795.76 c Gap : 8.57 %
1795.25/1795.77 c NODE 10461
1795.25/1795.77 c DUAL BOUND -35
1795.25/1795.77 c PRIMAL BOUND -32
1795.25/1795.77 c GAP 0.0857143
1795.25/1795.77 s SATISFIABLE
1795.25/1795.77 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1795.25/1795.77 v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1795.25/1795.77 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79
1795.25/1795.77 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103
1795.25/1795.77 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124
1795.25/1795.77 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1795.25/1795.77 v -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1795.25/1795.77 v -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187
1795.25/1795.77 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1795.25/1795.77 v -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229
1795.25/1795.77 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1795.25/1795.77 v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1795.25/1795.77 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1795.25/1795.77 v -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313
1795.25/1795.77 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334
1795.25/1795.77 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
1795.25/1795.77 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1795.25/1795.77 v -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1795.25/1795.77 v x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1795.25/1795.77 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439
1795.25/1795.77 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1795.25/1795.77 v -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1795.25/1795.77 v -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503
1795.25/1795.77 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1795.25/1795.77 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1795.25/1795.77 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
1795.25/1795.77 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1795.25/1795.77 v -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595
1795.25/1795.77 c SCIP Status : solving was interrupted [time limit reached]
1795.25/1795.77 c Solving Time : 1791.02
1795.25/1795.77 c Original Problem :
1795.25/1795.77 c Problem name : HOME/instance-1869286-1245168865.opb
1795.25/1795.77 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.25/1795.77 c Constraints : 27847 initial, 27847 maximal
1795.25/1795.77 c Presolved Problem :
1795.25/1795.77 c Problem name : t_HOME/instance-1869286-1245168865.opb
1795.25/1795.77 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.25/1795.77 c Constraints : 27847 initial, 27847 maximal
1795.25/1795.77 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.25/1795.77 c trivial : 0.00 0 0 0 0 0 0 0 0
1795.25/1795.77 c dualfix : 0.00 0 0 0 0 0 0 0 0
1795.25/1795.77 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.25/1795.77 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.25/1795.77 c implics : 0.00 0 0 0 0 0 0 0 0
1795.25/1795.77 c probing : 0.62 0 0 0 0 0 0 0 0
1795.25/1795.77 c logicor : 0.07 0 0 0 0 0 0 0 0
1795.25/1795.77 c root node : - 0 - - 0 - - - -
1795.25/1795.77 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.25/1795.77 c integral : 0 0 0 7197 0 14 289 0 0 14004
1795.25/1795.77 c logicor : 27847 25 11763 4 0 0 180048 0 0 0
1795.25/1795.77 c countsols : 0 0 0 4 0 0 0 0 0 0
1795.25/1795.77 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.25/1795.77 c integral : 616.85 0.00 0.00 616.85 0.00
1795.25/1795.77 c logicor : 7.22 0.12 7.10 0.00 0.00
1795.25/1795.77 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.25/1795.77 c Propagators : Time Calls Cutoffs DomReds
1795.25/1795.77 c rootredcost : 0.00 8 0 0
1795.25/1795.77 c pseudoobj : 0.78 19600 0 0
1795.25/1795.77 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.25/1795.77 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.25/1795.77 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.25/1795.77 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.25/1795.77 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.25/1795.77 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.25/1795.77 c applied globally : - - - 0 0.0 - - -
1795.25/1795.77 c applied locally : - - - 0 0.0 - - -
1795.25/1795.77 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.25/1795.77 c cut pool : 0.00 24 - - 58 - (maximal pool size: 483)
1795.25/1795.77 c redcost : 0.46 7239 0 23 0 0
1795.25/1795.77 c impliedbounds : 0.03 25 0 0 0 0
1795.25/1795.77 c intobj : 0.00 0 0 0 0 0
1795.25/1795.77 c gomory : 13.20 25 0 0 12344 0
1795.25/1795.77 c strongcg : 5.30 20 0 0 10000 0
1795.25/1795.77 c cmir : 5.47 10 0 0 0 0
1795.25/1795.77 c flowcover : 5.89 10 0 0 0 0
1795.25/1795.77 c clique : 0.52 25 0 0 221 0
1795.25/1795.77 c zerohalf : 0.00 0 0 0 0 0
1795.25/1795.77 c mcf : 0.04 1 0 0 0 0
1795.25/1795.77 c Pricers : Time Calls Vars
1795.25/1795.77 c problem variables: 0.00 0 0
1795.25/1795.77 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.25/1795.77 c relpscost : 616.85 7193 14 289 0 0 14004
1795.25/1795.77 c pscost : 0.00 0 0 0 0 0 0
1795.25/1795.77 c inference : 0.00 0 0 0 0 0 0
1795.25/1795.77 c mostinf : 0.00 0 0 0 0 0 0
1795.25/1795.77 c leastinf : 0.00 0 0 0 0 0 0
1795.25/1795.77 c fullstrong : 0.00 0 0 0 0 0 0
1795.25/1795.77 c allfullstrong : 0.00 0 0 0 0 0 0
1795.25/1795.77 c random : 0.00 0 0 0 0 0 0
1795.25/1795.77 c Primal Heuristics : Time Calls Found
1795.25/1795.77 c LP solutions : 0.01 - 4
1795.25/1795.77 c pseudo solutions : 0.00 - 0
1795.25/1795.77 c feaspump : 0.00 0 0
1795.25/1795.77 c oneopt : 0.09 9 1
1795.25/1795.77 c veclendiving : 9.21 17 6
1795.25/1795.77 c objpscostdiving : 4.88 9 38
1795.25/1795.77 c rootsoldiving : 5.22 9 36
1795.25/1795.77 c coefdiving : 11.88 18 4
1795.25/1795.77 c fracdiving : 13.67 18 6
1795.25/1795.77 c pscostdiving : 6.58 18 14
1795.25/1795.77 c linesearchdiving : 4.86 18 4
1795.25/1795.77 c guideddiving : 14.97 18 5
1795.25/1795.77 c crossover : 1.71 9 1
1795.25/1795.77 c simplerounding : 0.63 7218 215
1795.25/1795.77 c rounding : 19.87 4710 2
1795.25/1795.77 c shifting : 3.94 731 4
1795.25/1795.77 c intshifting : 0.00 0 0
1795.25/1795.77 c fixandinfer : 0.00 0 0
1795.25/1795.77 c intdiving : 0.00 0 0
1795.25/1795.77 c actconsdiving : 0.00 0 0
1795.25/1795.77 c octane : 0.00 0 0
1795.25/1795.77 c rens : 0.98 1 1
1795.25/1795.77 c rins : 0.00 0 0
1795.25/1795.77 c localbranching : 0.00 0 0
1795.25/1795.77 c mutation : 0.00 0 0
1795.25/1795.77 c dins : 0.00 0 0
1795.25/1795.77 c LP : Time Calls Iterations Iter/call Iter/sec
1795.25/1795.77 c primal LP : 0.06 0 0 0.00 0.00
1795.25/1795.77 c dual LP : 956.51 10663 366382 34.36 383.04
1795.25/1795.77 c barrier LP : 0.00 0 0 0.00 -
1795.25/1795.77 c diving/probing LP: 62.56 1593 19943 12.52 318.78
1795.25/1795.77 c strong branching : 616.14 2627 206547 78.62 335.23
1795.25/1795.77 c (at root node) : - 33 11643 352.82 -
1795.25/1795.77 c conflict analysis: 0.00 0 0 0.00 -
1795.25/1795.77 c B&B Tree :
1795.25/1795.77 c number of runs : 1
1795.25/1795.77 c nodes : 10461
1795.25/1795.77 c nodes (total) : 10461
1795.25/1795.77 c nodes left : 2894
1795.25/1795.77 c max depth : 99
1795.25/1795.77 c max depth (total): 99
1795.25/1795.77 c backtracks : 1001 (9.6%)
1795.25/1795.77 c delayed cutoffs : 0
1795.25/1795.77 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.25/1795.77 c avg switch length: 3.69
1795.25/1795.77 c switching time : 7.29
1795.25/1795.77 c Solution :
1795.25/1795.77 c Solutions found : 341 (15 improvements)
1795.25/1795.77 c Primal Bound : -3.20000000000000e+01 (in run 1, after 4070 nodes, 906.70 seconds, depth 23, found by <coefdiving>)
1795.25/1795.77 c Dual Bound : -3.50000000000000e+01
1795.25/1795.77 c Gap : 8.57 %
1795.25/1795.77 c Root Dual Bound : -3.50000000000000e+01
1795.45/1795.90 c Time complete: 1795.45.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869286-1245168865/watcher-1869286-1245168865 -o /tmp/evaluation-result-1869286-1245168865/solver-1869286-1245168865 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869286-1245168865.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=6100 CPUtime=0
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 514 0 0 0 0 0 0 0 18 0 1 0 173375854 6246400 496 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 1525 507 325 886 0 635 0
[startup+0.0562049 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=10812 CPUtime=0.04
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 2009 0 0 0 4 0 0 0 18 0 1 0 173375854 11071488 1991 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 2703 1997 354 886 0 1813 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10812
[startup+0.101207 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=12408 CPUtime=0.09
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 2427 0 0 0 8 1 0 0 18 0 1 0 173375854 12705792 2409 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 3102 2409 354 886 0 2212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12408
[startup+0.301225 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=18120 CPUtime=0.29
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 3834 0 0 0 28 1 0 0 19 0 1 0 173375854 18554880 3816 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 4530 3816 354 886 0 3640 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18120
[startup+0.70126 s]
/proc/loadavg: 1.00 1.00 0.93 3/67 9402
/proc/meminfo: memFree=1298008/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=49584 CPUtime=0.69
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 12524 0 0 0 61 8 0 0 22 0 1 0 173375854 50774016 11398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 12396 11398 423 886 0 11506 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49584
[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1250896/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=65864 CPUtime=1.49
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 15798 0 0 0 137 12 0 0 25 0 1 0 173375854 67444736 14567 1992294400 4194304 7823515 548682068736 18446744073709551615 6191479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 16466 14569 483 886 0 15576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65864
[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1227024/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=85764 CPUtime=3.09
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 21515 0 0 0 292 17 0 0 25 0 1 0 173375854 87822336 19450 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 21441 19450 528 886 0 20551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85764
[startup+6.30176 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1216656/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=91864 CPUtime=6.29
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 23016 0 0 0 609 20 0 0 25 0 1 0 173375854 94068736 20848 1992294400 4194304 7823515 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 22966 20848 546 886 0 22076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91864
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1213976/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=92388 CPUtime=12.69
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 23640 0 0 0 1249 20 0 0 25 0 1 0 173375854 94605312 21472 1992294400 4194304 7823515 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 23097 21472 547 886 0 22207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92388
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1213272/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=92668 CPUtime=25.49
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 23839 0 0 0 2527 22 0 0 25 0 1 0 173375854 94892032 21671 1992294400 4194304 7823515 548682068736 18446744073709551615 5965831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 23167 21671 547 886 0 22277 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92668
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182936/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=51.07
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31454 0 0 0 5068 39 0 0 25 0 1 0 173375854 125837312 29276 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29276 570 886 0 29832 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 122888
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182744/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=102.26
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31506 0 0 0 10179 47 0 0 25 0 1 0 173375854 125837312 29328 1992294400 4194304 7823515 548682068736 18446744073709551615 6263358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29328 570 886 0 29832 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 122888
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182744/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=162.24
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31506 0 0 0 16167 57 0 0 25 0 1 0 173375854 125837312 29328 1992294400 4194304 7823515 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29328 570 886 0 29832 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 122888
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182744/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=222.23
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31507 0 0 0 22156 67 0 0 25 0 1 0 173375854 125837312 29329 1992294400 4194304 7823515 548682068736 18446744073709551615 6212558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29329 571 886 0 29832 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 122888
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182744/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=282.21
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31507 0 0 0 28144 77 0 0 25 0 1 0 173375854 125837312 29329 1992294400 4194304 7823515 548682068736 18446744073709551615 6151351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29329 571 886 0 29832 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 122888
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182680/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=342.2
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31507 0 0 0 34128 92 0 0 25 0 1 0 173375854 125837312 29329 1992294400 4194304 7823515 548682068736 18446744073709551615 6212325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29329 571 886 0 29832 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 122888
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182680/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=402.19
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31507 0 0 0 40114 105 0 0 25 0 1 0 173375854 125837312 29329 1992294400 4194304 7823515 548682068736 18446744073709551615 6212443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29329 571 886 0 29832 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 122888
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1182168/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122888 CPUtime=462.17
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 31655 0 0 0 46102 115 0 0 25 0 1 0 173375854 125837312 29460 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30722 29460 571 886 0 29832 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 122888
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1179864/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=125688 CPUtime=522.15
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 32225 0 0 0 52086 129 0 0 25 0 1 0 173375854 128704512 30030 1992294400 4194304 7823515 548682068736 18446744073709551615 6211018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 31422 30030 572 886 0 30532 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 125688
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1177560/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=127124 CPUtime=582.14
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 32804 0 0 0 58071 143 0 0 25 0 1 0 173375854 130174976 30609 1992294400 4194304 7823515 548682068736 18446744073709551615 6212724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 31781 30609 572 886 0 30891 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 127124
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1176088/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=129240 CPUtime=642.13
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 33165 0 0 0 64056 157 0 0 25 0 1 0 173375854 132341760 30970 1992294400 4194304 7823515 548682068736 18446744073709551615 6109391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 32310 30970 572 886 0 31420 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 129240
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1181144/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1062.02
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 40412 0 0 0 105955 247 0 0 25 0 1 0 173375854 125890560 29648 1992294400 4194304 7823515 548682068736 18446744073709551615 6110794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29648 576 886 0 29845 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 122940
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181144/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1122.01
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 40414 0 0 0 111941 260 0 0 25 0 1 0 173375854 125890560 29650 1992294400 4194304 7823515 548682068736 18446744073709551615 6234864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29650 576 886 0 29845 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 122940
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181208/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1182
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 40414 0 0 0 117931 269 0 0 25 0 1 0 173375854 125890560 29650 1992294400 4194304 7823515 548682068736 18446744073709551615 6158131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29650 576 886 0 29845 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 122940
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181080/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1241.99
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 43823 0 0 0 123916 283 0 0 25 0 1 0 173375854 125890560 29650 1992294400 4194304 7823515 548682068736 18446744073709551615 6109354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29650 576 886 0 29845 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 122940
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181080/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1301.97
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 43824 0 0 0 129903 294 0 0 25 0 1 0 173375854 125890560 29651 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29651 576 886 0 29845 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 122940
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1181080/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=122940 CPUtime=1361.95
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 43824 0 0 0 135890 305 0 0 25 0 1 0 173375854 125890560 29651 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30735 29651 576 886 0 29845 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 122940
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1421.95
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48376 0 0 0 141874 321 0 0 25 0 1 0 173375854 126201856 29727 1992294400 4194304 7823515 548682068736 18446744073709551615 6099671 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29727 576 886 0 29921 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 123244
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1481.92
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48376 0 0 0 147860 332 0 0 25 0 1 0 173375854 126201856 29727 1992294400 4194304 7823515 548682068736 18446744073709551615 6099077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29727 576 886 0 29921 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 123244
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1541.91
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48377 0 0 0 153845 346 0 0 25 0 1 0 173375854 126201856 29728 1992294400 4194304 7823515 548682068736 18446744073709551615 5994915 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29728 576 886 0 29921 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 123244
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1601.9
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48379 0 0 0 159833 357 0 0 25 0 1 0 173375854 126201856 29730 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29730 576 886 0 29921 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 123244
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9403
/proc/meminfo: memFree=1180696/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1661.88
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48379 0 0 0 165821 367 0 0 25 0 1 0 173375854 126201856 29730 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29730 576 886 0 29921 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 123244
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180632/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1721.87
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48379 0 0 0 171808 379 0 0 25 0 1 0 173375854 126201856 29730 1992294400 4194304 7823515 548682068736 18446744073709551615 6211398 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29730 576 886 0 29921 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 123244
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1781.85
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 177795 390 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6212774 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 123244
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1785.05
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 178114 391 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 123244
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1791.45
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 178752 393 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 123244
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1793.05
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 178912 393 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1793.05
Current children cumulated vsize (KiB) 123244
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1794.65
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 179072 393 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6237784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 123244
[startup+1795.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=123244 CPUtime=1795.04
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48380 0 0 0 179111 393 0 0 25 0 1 0 173375854 126201856 29731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9402/statm: 30811 29731 576 886 0 29921 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 123244
[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/68 9405
/proc/meminfo: memFree=1180760/2055920 swapFree=4192956/4192956
[pid=9402] ppid=9400 vsize=66876 CPUtime=1795.45
/proc/9402/stat : 9402 (pbscip.linux.x8) R 9400 9402 9148 0 -1 4194304 48382 0 0 0 179150 395 0 0 17 0 1 0 173375854 68481024 15743 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 16719 15743 5132 886 0 15829 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (KiB) 66876
Child status: 0
Real time (s): 1795.91
CPU time (s): 1795.47
CPU user time (s): 1791.51
CPU system time (s): 3.9584
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 141316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.51
system time used= 3.9584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3881
runsolver used 1.69274 second user time and 4.84626 second system time
The end
Begin job on node68 at 2009-06-16 18:14:25
IDJOB=1869286
IDBENCH=2274
IDSOLVER=683
FILE ID=node68/1869286-1245168865
PBS_JOBID= 9363870
Free space on /tmp= 66472 MiB
SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869286-1245168865/watcher-1869286-1245168865 -o /tmp/evaluation-result-1869286-1245168865/solver-1869286-1245168865 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869286-1245168865.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=391869200
node68.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.238
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.238
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: 1298424 kB
Buffers: 68444 kB
Cached: 592312 kB
SwapCached: 0 kB
Active: 321044 kB
Inactive: 356120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1298424 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 10480 kB
Writeback: 0 kB
Mapped: 26464 kB
Slab: 65896 kB
Committed_AS: 81812 kB
PageTables: 1564 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66464 MiB
End job on node68 at 2009-06-16 18:44:21