0.02/0.05 c SCIP version 1.1.0.7
0.02/0.05 c LP-Solver SoPlex 1.4.1
0.02/0.05 c user parameter file <scip.set> not found - using default parameters
0.02/0.05 c read problem <HOME/instance-1869158-1245161368.opb>
0.02/0.05 c original problem has 664 variables (664 bin, 0 int, 0 impl, 0 cont) and 3035 constraints
0.02/0.07 c start presolving problem
0.02/0.07 c presolving:
0.09/0.13 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2959 upgd conss, 21144 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3035 upgd conss, 21144 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 101/664 (15.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 21144 implications, 0 cliques
0.09/0.19 c presolved problem has 664 variables (664 bin, 0 int, 0 impl, 0 cont) and 3035 constraints
0.09/0.19 c 3035 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.11
0.09/0.19 c strange?!, PURESAT with obj
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = c 1620
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = c 1791
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = c 10000
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving problem
0.09/0.19 c
0.29/0.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.33 c 0.2s| 1 | 0 | 1003 |5921k| 0 | 462 | 664 |3035 |3035 | 664 |3035 | 0 | 0 | 0 | 1.920528e+02 | -- | Inf
0.79/0.89 c 0.8s| 1 | 0 | 2206 |6282k| 0 | 433 | 664 |3035 |3035 | 664 |3045 | 10 | 0 | 0 | 1.953017e+02 | -- | Inf
1.09/1.12 c 1.0s| 1 | 0 | 2412 |6599k| 0 | 435 | 664 |3035 |3035 | 664 |3053 | 18 | 0 | 0 | 1.974757e+02 | -- | Inf
1.29/1.33 c 1.2s| 1 | 0 | 2534 |6714k| 0 | 428 | 664 |3035 |3035 | 664 |3061 | 26 | 0 | 0 | 1.985603e+02 | -- | Inf
1.59/1.61 c 1.5s| 1 | 0 | 2708 |6832k| 0 | 463 | 664 |3035 |3035 | 664 |3068 | 33 | 0 | 0 | 1.988620e+02 | -- | Inf
1.79/1.85 c 1.7s| 1 | 0 | 2846 |6904k| 0 | 462 | 664 |3035 |3035 | 664 |3077 | 42 | 0 | 0 | 1.998789e+02 | -- | Inf
2.10/2.15 c 2.0s| 1 | 0 | 3021 |6947k| 0 | 462 | 664 |3035 |3035 | 664 |3084 | 49 | 0 | 0 | 2.013852e+02 | -- | Inf
2.49/2.50 c 2.4s| 1 | 0 | 3220 |6973k| 0 | 455 | 664 |3035 |3035 | 664 |3091 | 56 | 0 | 0 | 2.023967e+02 | -- | Inf
2.89/2.95 c 2.8s| 1 | 0 | 3657 |7033k| 0 | 462 | 664 |3035 |3035 | 664 |3100 | 65 | 0 | 0 | 2.042374e+02 | -- | Inf
3.19/3.24 c 3.1s| 1 | 0 | 3905 |7179k| 0 | 458 | 664 |3035 |3035 | 664 |3108 | 73 | 0 | 0 | 2.059467e+02 | -- | Inf
3.49/3.56 c 3.4s| 1 | 0 | 4116 |7240k| 0 | 457 | 664 |3035 |3035 | 664 |3115 | 80 | 0 | 0 | 2.059524e+02 | -- | Inf
3.79/3.87 c 3.7s| 1 | 0 | 4307 |7361k| 0 | 453 | 664 |3035 |3035 | 664 |3121 | 86 | 0 | 0 | 2.059524e+02 | -- | Inf
4.09/4.18 c 4.0s| 1 | 0 | 4495 |7544k| 0 | 429 | 664 |3035 |3035 | 664 |3126 | 91 | 0 | 0 | 2.059524e+02 | -- | Inf
4.69/4.78 c 4.6s| 1 | 0 | 4846 |7745k| 0 | 415 | 664 |3035 |3035 | 664 |3133 | 98 | 0 | 0 | 2.059524e+02 | -- | Inf
5.09/5.15 c 5.0s| 1 | 0 | 5141 |7918k| 0 | 463 | 664 |3035 |3035 | 664 |3140 | 105 | 0 | 0 | 2.060774e+02 | -- | Inf
5.59/5.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.59/5.69 c 5.5s| 1 | 0 | 5429 |8038k| 0 | 485 | 664 |3035 |3035 | 664 |3146 | 111 | 0 | 0 | 2.069524e+02 | -- | Inf
6.10/6.14 c 6.0s| 1 | 0 | 5625 |8262k| 0 | 492 | 664 |3035 |3035 | 664 |3153 | 118 | 0 | 0 | 2.069524e+02 | -- | Inf
6.49/6.59 c 6.4s| 1 | 0 | 5947 |8510k| 0 | 490 | 664 |3035 |3035 | 664 |3159 | 124 | 0 | 0 | 2.069524e+02 | -- | Inf
7.19/7.22 c 7.0s| 1 | 0 | 6388 |8738k| 0 | 470 | 664 |3035 |3035 | 664 |3164 | 129 | 0 | 0 | 2.069607e+02 | -- | Inf
8.19/8.22 c 8.0s| 1 | 0 | 6858 |8833k| 0 | 435 | 664 |3035 |3035 | 664 |3152 | 134 | 0 | 0 | 2.070015e+02 | -- | Inf
8.69/8.79 c 8.6s| 1 | 0 | 7113 |9022k| 0 | 423 | 664 |3035 |3035 | 664 |3157 | 139 | 0 | 0 | 2.076191e+02 | -- | Inf
9.29/9.38 c 9.2s| 1 | 0 | 7501 |9133k| 0 | 427 | 664 |3035 |3035 | 664 |3165 | 147 | 0 | 0 | 2.076191e+02 | -- | Inf
9.79/9.84 c 9.6s| 1 | 0 | 8052 |9224k| 0 | 445 | 664 |3035 |3035 | 664 |3170 | 152 | 0 | 0 | 2.076191e+02 | -- | Inf
10.49/10.57 c 10.4s| 1 | 0 | 8714 |9434k| 0 | 468 | 664 |3035 |3035 | 664 |3174 | 156 | 0 | 0 | 2.082112e+02 | -- | Inf
11.09/11.12 c 10.9s| 1 | 0 | 9096 |9465k| 0 | 473 | 664 |3035 |3035 | 664 |3178 | 160 | 0 | 0 | 2.085380e+02 | -- | Inf
11.59/11.62 c 11.4s| 1 | 0 | 9460 |9515k| 0 | 465 | 664 |3035 |3035 | 664 |3159 | 163 | 0 | 0 | 2.087469e+02 | -- | Inf
12.10/12.14 c 11.9s| 1 | 0 | 9873 |9556k| 0 | 501 | 664 |3035 |3035 | 664 |3163 | 167 | 0 | 0 | 2.088341e+02 | -- | Inf
12.49/12.57 c 12.3s| 1 | 0 | 10193 |9587k| 0 | 497 | 664 |3035 |3035 | 664 |3167 | 171 | 0 | 0 | 2.089879e+02 | -- | Inf
12.79/12.84 c 12.6s| 1 | 0 | 10338 |9660k| 0 | 495 | 664 |3035 |3035 | 664 |3170 | 174 | 0 | 0 | 2.090615e+02 | -- | Inf
13.38/13.43 c 13.2s| 1 | 0 | 10486 |9661k| 0 | 498 | 664 |3035 |3035 | 664 |3172 | 176 | 0 | 0 | 2.092716e+02 | -- | Inf
13.98/14.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.98/14.03 c 13.8s| 1 | 0 | 10555 |9668k| 0 | 497 | 664 |3035 |3035 | 664 |3175 | 179 | 0 | 0 | 2.092716e+02 | -- | Inf
14.49/14.53 c 14.3s| 1 | 0 | 10573 |9670k| 0 | 497 | 664 |3035 |3035 | 664 |3147 | 180 | 0 | 0 | 2.092716e+02 | -- | Inf
14.99/15.08 c 14.8s| 1 | 0 | 10627 |9670k| 0 | 500 | 664 |3035 |3035 | 664 |3148 | 181 | 0 | 0 | 2.092716e+02 | -- | Inf
24.78/24.83 c 24.6s| 1 | 2 | 10627 |9671k| 0 | 500 | 664 |3035 |3035 | 664 |3148 | 181 | 0 | 27 | 2.092716e+02 | -- | Inf
98.27/98.39 o 327
98.27/98.39 c *97.8s| 111 | 63 | 22411 |9994k| 27 | - | 664 |3176 | 780 | 664 |3121 | 181 | 142 | 395 | 2.100216e+02 | 3.270000e+02 | 55.70%
98.27/98.39 o 326
98.27/98.39 c k97.8s| 111 | 62 | 22411 | 10M| 27 | - | 664 |3176 | 780 | 664 |3121 | 181 | 142 | 395 | 2.100216e+02 | 3.260000e+02 | 55.22%
106.37/106.40 o 314
106.37/106.40 c * 106s| 200 | 94 | 31310 | 10M| 27 | - | 664 |3297 |1620 | 664 |3121 | 181 | 272 | 412 | 2.100216e+02 | 3.140000e+02 | 49.51%
128.16/128.24 o 313
128.16/128.24 c s 127s| 515 | 192 | 58965 | 10M| 38 | 84 | 664 |3539 |1128 | 664 |3121 | 181 | 729 | 485 | 2.103760e+02 | 3.130000e+02 | 48.78%
128.16/128.24 o 309
128.16/128.24 c k 127s| 515 | 190 | 58965 | 10M| 38 | - | 664 |3539 |1128 | 664 |3121 | 181 | 729 | 485 | 2.103760e+02 | 3.090000e+02 | 46.88%
128.16/128.27 o 308
128.16/128.27 c R 127s| 519 | 188 | 59012 | 10M| 38 | 105 | 664 |3537 |1087 | 664 |3121 | 181 | 729 | 485 | 2.103760e+02 | 3.080000e+02 | 46.40%
128.16/128.27 o 305
128.16/128.27 c k 127s| 519 | 183 | 59012 | 10M| 38 | - | 664 |3537 |1087 | 664 |3121 | 181 | 729 | 485 | 2.103760e+02 | 3.050000e+02 | 44.98%
129.56/129.66 o 304
129.56/129.66 c R 129s| 568 | 185 | 61809 | 10M| 38 | 12 | 664 |3513 |1401 | 664 |3121 | 181 | 777 | 485 | 2.103760e+02 | 3.040000e+02 | 44.50%
129.56/129.66 o 295
129.56/129.66 c k 129s| 568 | 169 | 61809 | 10M| 38 | - | 664 |3513 |1401 | 664 |3121 | 181 | 777 | 485 | 2.103760e+02 | 2.950000e+02 | 40.23%
318.71/318.83 o 294
318.71/318.83 c g 317s| 3047 | 772 |324246 | 12M| 38 | - | 664 |3562 |1953 | 664 |3121 | 181 |2438 |1346 | 2.174124e+02 | 2.940000e+02 | 35.23%
318.71/318.85 o 287
318.71/318.85 c k 317s| 3048 | 621 |324296 | 12M| 38 | - | 664 |3562 |1155 | 664 |3121 | 181 |2438 |1346 | 2.174124e+02 | 2.870000e+02 | 32.01%
719.02/719.21 o 286
719.02/719.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.02/719.21 c * 715s| 9548 | 1866 |981856 | 17M| 43 | - | 664 |3409 |1444 | 664 |3121 | 181 |4546 |2497 | 2.264133e+02 | 2.860000e+02 | 26.32%
719.02/719.21 o 285
719.02/719.21 c k 715s| 9548 | 1786 |981856 | 16M| 43 | - | 664 |3409 |1444 | 664 |3121 | 181 |4546 |2497 | 2.264133e+02 | 2.850000e+02 | 25.88%
741.81/742.05 c 738s| 10000 | 1832 | 1016k| 16M| 43 | - | 664 |3368 |1761 | 664 |3121 | 181 |4569 |2591 | 2.264948e+02 | 2.850000e+02 | 25.83%
1173.10/1173.42 c 1166s| 20000 | 2831 | 1764k| 21M| 43 | - | 664 |3514 |1381 | 664 |3121 | 181 |6663 |3963 | 2.348343e+02 | 2.850000e+02 | 21.36%
1530.02/1530.46 c 1521s| 30000 | 3514 | 2410k| 24M| 43 | 130 | 664 |3445 |1411 | 664 |3121 | 181 |8397 |5222 | 2.378724e+02 | 2.850000e+02 | 19.81%
1800.06/1800.54 c
1800.06/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.54 c Solving Time (sec) : 1789.33
1800.06/1800.54 c Solving Nodes : 38273
1800.06/1800.54 c Primal Bound : +2.85000000000000e+02 (15 solutions)
1800.06/1800.54 c Dual Bound : +2.39624629942961e+02
1800.06/1800.54 c Gap : 18.94 %
1800.06/1800.55 c NODE 38273
1800.06/1800.55 c DUAL BOUND 239.625
1800.06/1800.55 c PRIMAL BOUND 285
1800.06/1800.55 c GAP 0.18936
1800.06/1800.55 s SATISFIABLE
1800.06/1800.55 v x664 -x663 -x662 x661 x660 -x659 x658 -x657 x656 -x655 -x654 x653 x652 -x651 x650 -x649 -x648 x647 x646 -x645 x644 -x643 x642 -x641
1800.06/1800.55 v x640 -x639 -x638 x637 x636 -x635 x634 -x633 -x632 x631 x630 -x629 x628 -x627 x626 -x625 -x624 x623 x622 -x621 x620 -x619
1800.06/1800.55 v x618 -x617 -x616 x615 x614 -x613 x612 -x611 x610 -x609 x608 -x607 -x606 x605 x604 -x603 x602 -x601 -x600 -x599 -x598 x597 x596
1800.06/1800.55 v -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 -x586 x585 -x584 x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 -x574
1800.06/1800.55 v x573 x572 -x571 x570 -x569 x568 -x567 -x566 x565 x564 -x563 x562 -x561 x560 -x559 -x558 x557 x556 -x555 x554 -x553 -x552 x551
1800.06/1800.55 v x550 -x549 x548 -x547 x546 -x545 -x544 -x543 -x542 x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 -x530 x529 x528
1800.06/1800.55 v -x527 x526 -x525 -x524 x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513 -x512 x511 -x510 x509 -x508 x507 -x506
1800.06/1800.55 v x505 -x504 x503 -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491 -x490 x489 -x488 x487 -x486 x485 -x484 x483
1800.06/1800.55 v -x482 x481 -x480 x479 -x478 x477 -x476 x475 -x474 x473 x472 -x471 -x470 x469 -x468 x467 -x466 x465 -x464 x463 -x462 x461 -x460
1800.06/1800.55 v x459 -x458 x457 -x456 x455 -x454 x453 -x452 x451 -x450 x449 -x448 x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 -x438 x437
1800.06/1800.55 v -x436 x435 -x434 x433 -x432 x431 x430 -x429 -x428 x427 x426 -x425 -x424 x423 -x422 x421 -x420 x419 -x418 x417 -x416 x415
1800.06/1800.55 v -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400 x399 -x398 x397 -x396 x395 -x394 x393 -x392
1800.06/1800.55 v x391 -x390 x389 -x388 x387 -x386 x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369
1800.06/1800.55 v -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346
1800.06/1800.55 v x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 x334 -x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324
1800.06/1800.55 v x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301
1800.06/1800.55 v -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 x290 -x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278
1800.06/1800.55 v x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 x268 -x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256
1800.06/1800.55 v -x255 -x254 x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 x237 -x236 x235 x234
1800.06/1800.55 v -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 x215 -x214 -x213 -x212
1800.06/1800.55 v -x211 -x210 x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190
1800.06/1800.55 v x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 x177 -x176 x175 -x174 -x173 -x172 x171 x170 -x169 -x168
1800.06/1800.55 v -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 x147 x146
1800.06/1800.55 v -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 x127 -x126 x125 -x124
1800.06/1800.55 v x123 -x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 -x105 -x104 x103 -x102
1800.06/1800.55 v -x101 x100 -x99 -x98 x97 -x96 -x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76
1800.06/1800.55 v x75 -x74 x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 x65 -x64 x63 -x62 x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49
1800.06/1800.55 v -x48 x47 -x46 x45 -x44 x43 -x42 x41 x40 -x39 -x38 x37 -x36 x35 -x34 x33 -x32 -x31 -x30 x29 -x28 x27 -x26 -x25 -x24 x23 -x22
1800.06/1800.55 v -x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1800.06/1800.55 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.55 c Solving Time : 1789.33
1800.06/1800.55 c Original Problem :
1800.06/1800.55 c Problem name : HOME/instance-1869158-1245161368.opb
1800.06/1800.55 c Variables : 664 (664 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.55 c Constraints : 3035 initial, 3035 maximal
1800.06/1800.55 c Presolved Problem :
1800.06/1800.55 c Problem name : t_HOME/instance-1869158-1245161368.opb
1800.06/1800.55 c Variables : 664 (664 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.55 c Constraints : 3035 initial, 3585 maximal
1800.06/1800.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.55 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.55 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.55 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.55 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.55 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.55 c root node : - 0 - - 0 - - - -
1800.06/1800.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.55 c integral : 0 0 0 21758 0 33 770 0 0 42902
1800.06/1800.55 c logicor : 3035+ 33 199480 3 0 2342 1188949 0 0 0
1800.06/1800.55 c countsols : 0 0 0 3 0 0 0 0 0 0
1800.06/1800.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.55 c integral : 328.23 0.00 0.00 328.23 0.00
1800.06/1800.55 c logicor : 10.35 0.01 10.34 0.00 0.00
1800.06/1800.55 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.55 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.55 c rootredcost : 0.11 8 0 0
1800.06/1800.55 c pseudoobj : 7.68 218012 319 681
1800.06/1800.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.55 c propagation : 0.42 2342 2342 11530 38.3 531 29.3 -
1800.06/1800.55 c infeasible LP : 0.20 275 274 1395 40.8 43 27.3 0
1800.06/1800.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.55 c applied globally : - - - 9853 24.5 - - -
1800.06/1800.55 c applied locally : - - - 0 0.0 - - -
1800.06/1800.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.55 c cut pool : 0.06 32 - - 213 - (maximal pool size: 1693)
1800.06/1800.55 c redcost : 0.79 24309 0 12745 0 0
1800.06/1800.55 c impliedbounds : 0.01 33 0 0 0 0
1800.06/1800.55 c intobj : 0.00 0 0 0 0 0
1800.06/1800.55 c gomory : 6.47 33 0 0 13997 0
1800.06/1800.55 c strongcg : 1.81 20 0 0 10000 0
1800.06/1800.55 c cmir : 0.32 10 0 0 17 0
1800.06/1800.55 c flowcover : 0.27 10 0 0 3 0
1800.06/1800.55 c clique : 0.01 1 0 0 0 0
1800.06/1800.55 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.55 c mcf : 0.00 1 0 0 0 0
1800.06/1800.55 c Pricers : Time Calls Vars
1800.06/1800.55 c problem variables: 0.00 0 0
1800.06/1800.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.55 c relpscost : 328.18 21755 33 770 0 0 42902
1800.06/1800.55 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.55 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.55 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.55 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.55 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.55 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.55 c random : 0.00 0 0 0 0 0 0
1800.06/1800.55 c Primal Heuristics : Time Calls Found
1800.06/1800.55 c LP solutions : 0.00 - 3
1800.06/1800.55 c pseudo solutions : 0.00 - 0
1800.06/1800.55 c intshifting : 0.01 0 0
1800.06/1800.55 c oneopt : 0.09 8 6
1800.06/1800.55 c feaspump : 0.33 1 0
1800.06/1800.55 c crossover : 0.48 11 0
1800.06/1800.55 c veclendiving : 12.72 97 0
1800.06/1800.55 c linesearchdiving : 20.48 97 0
1800.06/1800.55 c guideddiving : 20.57 98 1
1800.06/1800.55 c coefdiving : 14.15 98 0
1800.06/1800.55 c pscostdiving : 18.22 98 0
1800.06/1800.55 c fracdiving : 15.62 98 0
1800.06/1800.55 c simplerounding : 0.08 0 0
1800.06/1800.55 c rounding : 5.49 8952 2
1800.06/1800.55 c shifting : 3.79 1788 2
1800.06/1800.55 c fixandinfer : 0.00 0 0
1800.06/1800.55 c intdiving : 0.00 0 0
1800.06/1800.55 c actconsdiving : 0.00 0 0
1800.06/1800.55 c objpscostdiving : 20.85 31 0
1800.06/1800.55 c rootsoldiving : 20.63 31 1
1800.06/1800.55 c octane : 0.00 0 0
1800.06/1800.55 c rens : 0.00 0 0
1800.06/1800.55 c rins : 0.00 0 0
1800.06/1800.55 c localbranching : 0.00 0 0
1800.06/1800.55 c mutation : 0.00 0 0
1800.06/1800.55 c dins : 0.00 0 0
1800.06/1800.55 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.55 c primal LP : 0.01 0 0 0.00 0.00
1800.06/1800.55 c dual LP : 1234.85 36670 2689814 73.35 2178.25
1800.06/1800.55 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.55 c diving/probing LP: 127.67 14079 246481 17.51 1930.61
1800.06/1800.55 c strong branching : 325.16 5563 677319 121.75 2083.03
1800.06/1800.55 c (at root node) : - 27 14730 545.56 -
1800.06/1800.55 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.55 c B&B Tree :
1800.06/1800.55 c number of runs : 1
1800.06/1800.55 c nodes : 38273
1800.06/1800.55 c nodes (total) : 38273
1800.06/1800.55 c nodes left : 4033
1800.06/1800.55 c max depth : 43
1800.06/1800.55 c max depth (total): 43
1800.06/1800.55 c backtracks : 7222 (18.9%)
1800.06/1800.55 c delayed cutoffs : 222
1800.06/1800.55 c repropagations : 4994 (33121 domain reductions, 157 cutoffs)
1800.06/1800.55 c avg switch length: 4.67
1800.06/1800.55 c switching time : 10.62
1800.06/1800.55 c Solution :
1800.06/1800.55 c Solutions found : 15 (13 improvements)
1800.06/1800.55 c Primal Bound : +2.85000000000000e+02 (in run 1, after 9548 nodes, 714.86 seconds, depth 25, found by <oneopt>)
1800.06/1800.55 c Dual Bound : +2.39624629942961e+02
1800.06/1800.55 c Gap : 18.94 %
1800.06/1800.55 c Root Dual Bound : +2.09271601771213e+02
1800.06/1800.60 c Time complete: 1800.16.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869158-1245161368/watcher-1869158-1245161368 -o /tmp/evaluation-result-1869158-1245161368/solver-1869158-1245161368 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869158-1245161368.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 1.00 3/64 6171
/proc/meminfo: memFree=1913208/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=4648 CPUtime=0
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 501 0 0 0 0 0 0 0 18 0 1 0 183737207 4759552 484 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/6171/statm: 1082 485 320 886 0 192 0
[startup+0.0315771 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6171
/proc/meminfo: memFree=1913208/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=9620 CPUtime=0.02
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 1749 0 0 0 2 0 0 0 18 0 1 0 183737207 9850880 1731 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/6171/statm: 2405 1731 354 886 0 1515 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9620
[startup+0.101581 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6171
/proc/meminfo: memFree=1913208/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=18112 CPUtime=0.09
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 3933 0 0 0 8 1 0 0 18 0 1 0 183737207 18546688 3561 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 4528 3561 421 886 0 3638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18112
[startup+0.301594 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6171
/proc/meminfo: memFree=1913208/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=24408 CPUtime=0.29
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 5705 0 0 0 26 3 0 0 19 0 1 0 183737207 24993792 5209 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 6102 5209 507 886 0 5212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24408
[startup+0.70162 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6171
/proc/meminfo: memFree=1913208/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=25444 CPUtime=0.69
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 6037 0 0 0 66 3 0 0 22 0 1 0 183737207 26054656 5525 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 6361 5525 529 886 0 5471 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25444
[startup+1.50167 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1891376/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=29412 CPUtime=1.49
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 7135 0 0 0 143 6 0 0 25 0 1 0 183737207 30117888 6581 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 7353 6581 547 886 0 6463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29412
[startup+3.10177 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1883184/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=36568 CPUtime=3.09
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 8845 0 0 0 300 9 0 0 25 0 1 0 183737207 37445632 8291 1992294400 4194304 7823515 548682068736 18446744073709551615 5597699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 9142 8291 548 886 0 8252 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36568
[startup+6.30198 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1874288/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=45400 CPUtime=6.29
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 11028 0 0 0 616 13 0 0 25 0 1 0 183737207 46489600 10420 1992294400 4194304 7823515 548682068736 18446744073709551615 4338500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 11350 10420 548 886 0 10460 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45400
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1870640/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=48032 CPUtime=12.69
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 11720 0 0 0 1252 17 0 0 25 0 1 0 183737207 49184768 11088 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12008 11088 548 886 0 11118 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48032
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1870064/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=48596 CPUtime=25.48
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 11866 0 0 0 2526 22 0 0 25 0 1 0 183737207 49762304 11234 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12149 11234 553 886 0 11259 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48596
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1870192/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=48596 CPUtime=51.08
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 11866 0 0 0 5075 33 0 0 25 0 1 0 183737207 49762304 11234 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12149 11234 553 886 0 11259 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48596
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1870192/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=48596 CPUtime=102.27
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 11873 0 0 0 10172 55 0 0 25 0 1 0 183737207 49762304 11241 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12149 11241 559 886 0 11259 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48596
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1870768/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=48132 CPUtime=162.25
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 15606 0 0 0 16137 88 0 0 25 0 1 0 183737207 49287168 11105 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12033 11105 580 886 0 11143 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48132
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1869680/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=49000 CPUtime=222.24
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 18627 0 0 0 22104 120 0 0 25 0 1 0 183737207 50176000 11356 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12250 11356 580 886 0 11360 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49000
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1867440/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=50908 CPUtime=282.23
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 20258 0 0 0 28066 157 0 0 25 0 1 0 183737207 52129792 11875 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12727 11875 580 886 0 11837 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 50908
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1867632/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=51220 CPUtime=342.21
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 23058 0 0 0 34032 189 0 0 25 0 1 0 183737207 52449280 11848 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12805 11848 580 886 0 11915 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 51220
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1867056/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=51776 CPUtime=402.2
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 26019 0 0 0 39996 224 0 0 25 0 1 0 183737207 53018624 11988 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 12944 11988 580 886 0 12054 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 51776
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1865456/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=53020 CPUtime=462.18
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 26403 0 0 0 45961 257 0 0 25 0 1 0 183737207 54292480 12372 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 13255 12372 580 886 0 12365 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 53020
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1864432/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=54012 CPUtime=522.16
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 29280 0 0 0 51923 293 0 0 25 0 1 0 183737207 55308288 12622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 13503 12622 580 886 0 12613 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 54012
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1864240/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=54312 CPUtime=582.15
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 32164 0 0 0 57885 330 0 0 25 0 1 0 183737207 55615488 12669 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 13578 12669 580 886 0 12688 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 54312
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1863600/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=54904 CPUtime=642.14
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 32326 0 0 0 63847 367 0 0 25 0 1 0 183737207 56221696 12831 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 13726 12831 580 886 0 12836 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 54904
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1860400/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=58088 CPUtime=882.07
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 43250 0 0 0 87692 515 0 0 25 0 1 0 183737207 59482112 13585 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 14522 13585 580 886 0 13632 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 58088
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1859056/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=59632 CPUtime=942.06
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 43650 0 0 0 93656 550 0 0 25 0 1 0 183737207 61063168 13985 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 14908 13985 580 886 0 14018 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 59632
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1857456/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=61224 CPUtime=1002.05
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 43980 0 0 0 99622 583 0 0 25 0 1 0 183737207 62693376 14315 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 15306 14315 580 886 0 14416 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 61224
[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 6172
/proc/meminfo: memFree=1857008/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=61224 CPUtime=1062.03
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 44086 0 0 0 105584 619 0 0 25 0 1 0 183737207 62693376 14421 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 15306 14421 580 886 0 14416 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 61224
[startup+1122.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 6172
/proc/meminfo: memFree=1856816/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=61224 CPUtime=1122.02
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 44112 0 0 0 111544 658 0 0 25 0 1 0 183737207 62693376 14447 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 15306 14447 580 886 0 14416 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 61224
[startup+1182.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 6172
/proc/meminfo: memFree=1856304/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=61884 CPUtime=1182
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 44979 0 0 0 117505 695 0 0 25 0 1 0 183737207 63369216 14573 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 15471 14573 580 886 0 14581 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 61884
[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 6172
/proc/meminfo: memFree=1855856/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=62308 CPUtime=1241.99
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 45107 0 0 0 123466 733 0 0 25 0 1 0 183737207 63803392 14701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 15577 14701 580 886 0 14687 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 62308
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6172
/proc/meminfo: memFree=1855408/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=62760 CPUtime=1301.98
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 45187 0 0 0 129429 769 0 0 25 0 1 0 183737207 64266240 14781 1992294400 4194304 7823515 548682068736 18446744073709551615 4788726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 15690 14781 580 886 0 14800 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 62760
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1854960/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=63044 CPUtime=1361.96
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 45290 0 0 0 135391 805 0 0 25 0 1 0 183737207 64557056 14884 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 15761 14884 580 886 0 14871 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 63044
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1852208/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=65624 CPUtime=1421.95
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 45958 0 0 0 141355 840 0 0 25 0 1 0 183737207 67198976 15552 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 16406 15552 580 886 0 15516 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 65624
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1851824/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=66252 CPUtime=1481.94
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 46056 0 0 0 147317 877 0 0 25 0 1 0 183737207 67842048 15650 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 16563 15650 580 886 0 15673 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 66252
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1851184/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=66900 CPUtime=1541.92
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 46210 0 0 0 153280 912 0 0 25 0 1 0 183737207 68505600 15804 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 16725 15804 580 886 0 15835 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 66900
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1849520/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=68376 CPUtime=1601.91
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 47278 0 0 0 159240 951 0 0 25 0 1 0 183737207 70017024 16222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 17094 16222 580 886 0 16204 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 68376
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1848880/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=68988 CPUtime=1661.89
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 47427 0 0 0 165198 991 0 0 25 0 1 0 183737207 70643712 16371 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 17247 16371 580 886 0 16357 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 68988
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1848816/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=68988 CPUtime=1721.87
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 47427 0 0 0 171159 1028 0 0 25 0 1 0 183737207 70643712 16371 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 17247 16371 580 886 0 16357 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 68988
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1848688/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=69132 CPUtime=1781.86
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 47448 0 0 0 177124 1062 0 0 25 0 1 0 183737207 70791168 16392 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 17283 16392 580 886 0 16393 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 69132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1847984/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=69924 CPUtime=1800.06
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 47628 0 0 0 178933 1073 0 0 25 0 1 0 183737207 71602176 16572 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 17481 16572 580 886 0 16591 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 69924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6172
/proc/meminfo: memFree=1847984/2055920 swapFree=4181748/4192956
[pid=6171] ppid=6169 vsize=69924 CPUtime=1800.06
/proc/6171/stat : 6171 (pbscip.linux.x8) R 6169 6171 5864 0 -1 4194304 47628 0 0 0 178933 1073 0 0 25 0 1 0 183737207 71602176 16572 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6171/statm: 17481 16572 580 886 0 16591 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 69924
Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.17
CPU user time (s): 1789.42
CPU system time (s): 10.7464
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 70304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.42
system time used= 10.7464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47633
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= 4
involuntary context switches= 2755
runsolver used 1.45478 second user time and 3.56446 second system time
The end