0.06/0.09 c SCIP version 1.1.0.7
0.06/0.09 c LP-Solver SoPlex 1.4.1
0.06/0.09 c user parameter file <scip.set> not found - using default parameters
0.06/0.09 c read problem <HOME/instance-1868990-1245153424.opb>
0.06/0.09 c original problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.09/0.11 c start presolving problem
0.09/0.11 c presolving:
0.20/0.20 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5409 upgd conss, 39720 impls, 0 clqs
0.20/0.22 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5557 upgd conss, 39720 impls, 0 clqs
0.20/0.29 c (0.2s) probing: 101/808 (12.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.20/0.29 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.20/0.29 c presolving (3 rounds):
0.20/0.29 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.20/0.29 c 39720 implications, 0 cliques
0.20/0.29 c presolved problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.20/0.29 c 5557 constraints of type <logicor>
0.20/0.29 c transformed objective value is always integral (scale: 1)
0.20/0.29 c Presolving Time: 0.16
0.20/0.29 c strange?!, PURESAT with obj
0.20/0.29 c -----------------------------------------------------------------------------------------------
0.20/0.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.20/0.29 c limits/memory = c 1620
0.20/0.29 c # maximal time in seconds to run
0.20/0.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.20/0.29 c limits/time = c 1791
0.20/0.29 c # frequency for displaying node information lines
0.20/0.29 c # [type: int, range: [-1,2147483647], default: 100]
0.20/0.29 c display/freq = c 10000
0.20/0.29 c -----------------------------------------------------------------------------------------------
0.20/0.29 c start solving problem
0.20/0.29 c
0.59/0.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.66 c 0.5s| 1 | 0 | 1437 |9631k| 0 | 602 | 808 |5557 |5557 | 808 |5557 | 0 | 0 | 0 | 2.469383e+02 | -- | Inf
4.08/4.16 c 4.0s| 1 | 0 | 6769 | 10M| 0 | 572 | 808 |5557 |5557 | 808 |5571 | 14 | 0 | 0 | 2.519921e+02 | -- | Inf
4.48/4.52 c 4.3s| 1 | 0 | 6869 | 10M| 0 | 480 | 808 |5557 |5557 | 808 |5579 | 22 | 0 | 0 | 2.540000e+02 | -- | Inf
4.78/4.84 c 4.7s| 1 | 0 | 6913 | 10M| 0 | 478 | 808 |5557 |5557 | 808 |5586 | 29 | 0 | 0 | 2.550000e+02 | -- | Inf
5.18/5.20 c 5.0s| 1 | 0 | 6982 | 10M| 0 | 476 | 808 |5557 |5557 | 808 |5592 | 35 | 0 | 0 | 2.560000e+02 | -- | Inf
5.68/5.79 c 5.6s| 1 | 0 | 7092 | 10M| 0 | 474 | 808 |5557 |5557 | 808 |5597 | 40 | 0 | 0 | 2.570000e+02 | -- | Inf
6.17/6.22 c 6.0s| 1 | 0 | 7235 | 10M| 0 | 473 | 808 |5557 |5557 | 808 |5608 | 51 | 0 | 0 | 2.585000e+02 | -- | Inf
6.58/6.65 c 6.4s| 1 | 0 | 7358 | 10M| 0 | 469 | 808 |5557 |5557 | 808 |5615 | 58 | 0 | 0 | 2.600000e+02 | -- | Inf
7.17/7.24 c 7.0s| 1 | 0 | 7480 | 10M| 0 | 475 | 808 |5557 |5557 | 808 |5619 | 62 | 0 | 0 | 2.602500e+02 | -- | Inf
7.58/7.64 c 7.4s| 1 | 0 | 7605 | 10M| 0 | 466 | 808 |5557 |5557 | 808 |5626 | 69 | 0 | 0 | 2.610000e+02 | -- | Inf
8.27/8.36 c 8.1s| 1 | 0 | 7819 | 10M| 0 | 514 | 808 |5557 |5557 | 808 |5632 | 75 | 0 | 0 | 2.614286e+02 | -- | Inf
8.77/8.81 c 8.6s| 1 | 0 | 7998 | 11M| 0 | 468 | 808 |5557 |5557 | 808 |5639 | 82 | 0 | 0 | 2.620000e+02 | -- | Inf
9.56/9.69 c 9.4s| 1 | 0 | 8310 | 11M| 0 | 500 | 808 |5557 |5557 | 808 |5645 | 88 | 0 | 0 | 2.625169e+02 | -- | Inf
10.66/10.72 c 10.4s| 1 | 0 | 8688 | 11M| 0 | 497 | 808 |5557 |5557 | 808 |5650 | 93 | 0 | 0 | 2.631363e+02 | -- | Inf
11.86/11.97 c 11.7s| 1 | 0 | 8936 | 11M| 0 | 496 | 808 |5557 |5557 | 808 |5655 | 98 | 0 | 0 | 2.633329e+02 | -- | Inf
12.96/13.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.96/13.00 c 12.7s| 1 | 0 | 9354 | 11M| 0 | 466 | 808 |5557 |5557 | 808 |5656 | 104 | 0 | 0 | 2.640000e+02 | -- | Inf
13.76/13.84 c 13.5s| 1 | 0 | 9633 | 11M| 0 | 475 | 808 |5557 |5557 | 808 |5661 | 109 | 0 | 0 | 2.650000e+02 | -- | Inf
14.66/14.79 c 14.5s| 1 | 0 | 9906 | 11M| 0 | 474 | 808 |5557 |5557 | 808 |5668 | 116 | 0 | 0 | 2.665000e+02 | -- | Inf
15.36/15.48 c 15.2s| 1 | 0 | 10142 | 11M| 0 | 466 | 808 |5557 |5557 | 808 |5675 | 123 | 0 | 0 | 2.670000e+02 | -- | Inf
16.46/16.53 c 16.2s| 1 | 0 | 10377 | 11M| 0 | 463 | 808 |5557 |5557 | 808 |5679 | 127 | 0 | 0 | 2.670000e+02 | -- | Inf
17.25/17.36 c 17.0s| 1 | 0 | 10628 | 11M| 0 | 463 | 808 |5557 |5557 | 808 |5686 | 134 | 0 | 0 | 2.670000e+02 | -- | Inf
17.96/18.09 c 17.7s| 1 | 0 | 10917 | 11M| 0 | 468 | 808 |5557 |5557 | 808 |5677 | 137 | 0 | 0 | 2.673333e+02 | -- | Inf
19.26/19.33 c 19.0s| 1 | 0 | 11597 | 11M| 0 | 518 | 808 |5557 |5557 | 808 |5683 | 143 | 0 | 0 | 2.681333e+02 | -- | Inf
19.85/19.91 c 19.5s| 1 | 0 | 11942 | 11M| 0 | 483 | 808 |5557 |5557 | 808 |5690 | 150 | 0 | 0 | 2.688889e+02 | -- | Inf
20.66/20.77 c 20.4s| 1 | 0 | 12331 | 11M| 0 | 457 | 808 |5557 |5557 | 808 |5696 | 156 | 0 | 0 | 2.700000e+02 | -- | Inf
21.36/21.42 c 21.0s| 1 | 0 | 12611 | 11M| 0 | 455 | 808 |5557 |5557 | 808 |5701 | 161 | 0 | 0 | 2.700000e+02 | -- | Inf
22.16/22.26 c 21.9s| 1 | 0 | 12923 | 11M| 0 | 500 | 808 |5557 |5557 | 808 |5704 | 164 | 0 | 0 | 2.702000e+02 | -- | Inf
22.76/22.82 c 22.4s| 1 | 0 | 13193 | 11M| 0 | 466 | 808 |5557 |5557 | 808 |5690 | 167 | 0 | 0 | 2.705000e+02 | -- | Inf
23.36/23.45 c 23.1s| 1 | 0 | 13499 | 11M| 0 | 468 | 808 |5557 |5557 | 808 |5695 | 172 | 0 | 0 | 2.710000e+02 | -- | Inf
24.26/24.30 c 23.9s| 1 | 0 | 13714 | 11M| 0 | 459 | 808 |5557 |5557 | 808 |5698 | 175 | 0 | 0 | 2.710000e+02 | -- | Inf
25.26/25.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.26/25.39 c 25.0s| 1 | 0 | 14178 | 11M| 0 | 484 | 808 |5557 |5557 | 808 |5705 | 182 | 0 | 0 | 2.710192e+02 | -- | Inf
26.15/26.23 c 25.8s| 1 | 0 | 14717 | 11M| 0 | 476 | 808 |5557 |5557 | 808 |5713 | 190 | 0 | 0 | 2.712917e+02 | -- | Inf
27.26/27.31 c 26.9s| 1 | 0 | 15114 | 11M| 0 | 464 | 808 |5557 |5557 | 808 |5718 | 195 | 0 | 0 | 2.720000e+02 | -- | Inf
27.85/27.97 c 27.5s| 1 | 0 | 15429 | 11M| 0 | 448 | 808 |5557 |5557 | 808 |5705 | 200 | 0 | 0 | 2.720000e+02 | -- | Inf
28.86/28.91 c 28.5s| 1 | 0 | 15880 | 11M| 0 | 479 | 808 |5557 |5557 | 808 |5712 | 207 | 0 | 0 | 2.720000e+02 | -- | Inf
29.85/29.95 c 29.5s| 1 | 0 | 16355 | 11M| 0 | 489 | 808 |5557 |5557 | 808 |5717 | 212 | 0 | 0 | 2.720000e+02 | -- | Inf
30.76/30.86 c 30.4s| 1 | 0 | 16868 | 11M| 0 | 483 | 808 |5557 |5557 | 808 |5722 | 217 | 0 | 0 | 2.720000e+02 | -- | Inf
31.86/31.95 c 31.5s| 1 | 0 | 17297 | 11M| 0 | 520 | 808 |5557 |5557 | 808 |5726 | 221 | 0 | 0 | 2.720263e+02 | -- | Inf
50.44/50.57 c 50.1s| 1 | 2 | 17297 | 11M| 0 | 520 | 808 |5557 |5557 | 808 |5726 | 221 | 0 | 27 | 2.720263e+02 | -- | Inf
253.65/253.88 o 399
253.65/253.88 c s 253s| 704 | 266 |101914 | 13M| 36 | 45 | 808 |6139 |1164 | 808 |5674 | 221 |1127 | 426 | 2.790237e+02 | 3.990000e+02 | 43.00%
253.65/253.89 o 391
253.65/253.89 c k 253s| 704 | 268 |101914 | 13M| 36 | 45 | 808 |6139 |1164 | 808 |5674 | 221 |1127 | 426 | 2.790237e+02 | 3.910000e+02 | 40.13%
253.75/253.92 o 390
253.75/253.92 c R 253s| 708 | 265 |101925 | 13M| 36 | - | 808 |6139 | 989 | 808 |5674 | 221 |1127 | 426 | 2.790237e+02 | 3.900000e+02 | 39.77%
546.52/546.81 o 388
546.52/546.81 c C 544s| 3100 | 822 |389575 | 16M| 44 | - | 808 |6899 |1158 | 808 |5674 | 221 |5393 |1183 | 2.816656e+02 | 3.880000e+02 | 37.75%
557.91/558.25 o 387
557.91/558.25 c R 556s| 3200 | 839 |398922 | 16M| 48 | - | 808 |6837 | 713 | 808 |5674 | 221 |5436 |1210 | 2.817724e+02 | 3.870000e+02 | 37.34%
890.04/890.52 o 383
890.04/890.52 c R 886s| 7300 | 1412 |759961 | 19M| 60 | 13 | 808 |6855 |1508 | 808 |5674 | 221 | 11k|2030 | 2.840645e+02 | 3.830000e+02 | 34.83%
890.04/890.52 o 374
890.04/890.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.04/890.52 c k 886s| 7300 | 1375 |759961 | 19M| 60 | 13 | 808 |6855 |1508 | 808 |5674 | 221 | 11k|2030 | 2.840645e+02 | 3.740000e+02 | 31.66%
890.04/890.53 o 373
890.04/890.53 c R 886s| 7301 | 1369 |759981 | 19M| 60 | - | 808 |6855 |1427 | 808 |5674 | 221 | 11k|2030 | 2.840645e+02 | 3.730000e+02 | 31.31%
890.14/890.66 o 372
890.14/890.66 c * 886s| 7313 | 1359 |760075 | 19M| 60 | - | 808 |6854 |1083 | 808 |5674 | 221 | 11k|2030 | 2.840645e+02 | 3.720000e+02 | 30.96%
1103.73/1104.34 c 1099s| 10000 | 1804 | 1015k| 21M| 60 | - | 808 |6694 |3093 | 808 |5674 | 221 | 14k|2474 | 2.871656e+02 | 3.720000e+02 | 29.54%
1798.86/1799.84 c
1798.86/1799.84 c SCIP Status : solving was interrupted [time limit reached]
1798.86/1799.84 c Solving Time (sec) : 1791.00
1798.86/1799.84 c Solving Nodes : 18884
1798.86/1799.84 c Primal Bound : +3.72000000000000e+02 (15 solutions)
1798.86/1799.84 c Dual Bound : +2.89074414938969e+02
1798.86/1799.84 c Gap : 28.69 %
1798.86/1799.84 c NODE 18884
1798.86/1799.84 c DUAL BOUND 289.074
1798.86/1799.84 c PRIMAL BOUND 372
1798.86/1799.84 c GAP 0.286866
1798.86/1799.84 s SATISFIABLE
1798.86/1799.84 v x808 -x807 -x806 x805 x804 -x803 x802 -x801 x800 -x799 -x798 x797 x796 -x795 x794 -x793 x792 -x791 -x790 -x789 x788 -x787 -x786
1798.86/1799.84 v x785 -x784 x783 x782 -x781 x780 -x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 -x770 x769 x768 -x767 -x766 x765 x764 -x763
1798.86/1799.84 v x762 -x761 -x760 x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 -x746 x745 -x744 -x743 x742 -x741 x740
1798.86/1799.84 v -x739 -x738 x737 x736 -x735 x734 -x733 x732 -x731 -x730 x729 x728 -x727 -x726 x725 x724 -x723 x722 -x721 -x720 x719 x718
1798.86/1799.84 v -x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 x708 -x707 x706 -x705 -x704 x703 x702 -x701 x700 -x699 x698 -x697 -x696 x695
1798.86/1799.84 v x694 -x693 x692 -x691 x690 -x689 -x688 x687 x686 -x685 x684 -x683 x682 -x681 x680 -x679 -x678 x677 x676 -x675 x674 -x673 x672
1798.86/1799.84 v -x671 -x670 x669 x668 -x667 x666 -x665 -x664 x663 x662 -x661 x660 -x659 x658 -x657 -x656 x655 x654 -x653 x652 -x651 x650 -x649
1798.86/1799.84 v x648 -x647 -x646 x645 x644 -x643 x642 -x641 -x640 x639 x638 -x637 x636 -x635 x634 -x633 x632 -x631 -x630 x629 x628 -x627
1798.86/1799.84 v x626 -x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 -x610 x609 -x608 x607 x606 -x605 x604
1798.86/1799.84 v -x603 x602 -x601 -x600 x599 x598 -x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 -x586 x585 x584 -x583 -x582 x581
1798.86/1799.84 v x580 -x579 x578 -x577 -x576 x575 x574 -x573 x572 -x571 x570 -x569 -x568 x567 x566 -x565 x564 -x563 x562 -x561 -x560 x559
1798.86/1799.84 v x558 -x557 x556 -x555 x554 -x553 x552 -x551 -x550 -x549 -x548 x547 x546 -x545 -x544 x543 x542 -x541 x540 -x539 x538 -x537 x536
1798.86/1799.84 v -x535 -x534 x533 x532 -x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 -x522 x521 -x520 x519 x518 -x517 x516 -x515 x514 -x513
1798.86/1799.84 v -x512 x511 -x510 x509 -x508 x507 -x506 x505 -x504 x503 -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491
1798.86/1799.84 v -x490 x489 -x488 x487 -x486 x485 -x484 x483 -x482 x481 -x480 x479 -x478 x477 -x476 x475 -x474 x473 -x472 x471 -x470 x469 -x468
1798.86/1799.84 v x467 -x466 x465 -x464 x463 x462 -x461 -x460 x459 -x458 x457 -x456 x455 -x454 x453 -x452 x451 -x450 x449 -x448 x447 -x446 x445
1798.86/1799.84 v -x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435 -x434 x433 -x432 x431 -x430 x429 -x428 x427 -x426 x425 -x424 x423 -x422
1798.86/1799.84 v x421 -x420 x419 x418 -x417 -x416 x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400
1798.86/1799.84 v x399 -x398 x397 x396 -x395 -x394 x393 -x392 x391 -x390 x389 -x388 x387 -x386 x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377
1798.86/1799.84 v -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354
1798.86/1799.84 v x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 x344 -x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332
1798.86/1799.84 v x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309
1798.86/1799.84 v -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 x298 -x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286
1798.86/1799.84 v x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 x270 -x269 -x268 x267 -x266 x265 -x264 x263
1798.86/1799.84 v -x262 x261 -x260 x259 -x258 x257 -x256 -x255 -x254 x253 -x252 x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 x243 -x242 -x241
1798.86/1799.84 v -x240 -x239 -x238 x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 x229 -x228 x227 -x226 -x225 -x224 x223 -x222 -x221 -x220
1798.86/1799.84 v -x219 -x218 x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 x207 -x206 -x205 -x204 x203 -x202 -x201 x200 -x199 -x198
1798.86/1799.84 v x197 x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185 x184 -x183 -x182 x181 -x180 x179 -x178 -x177 -x176
1798.86/1799.84 v x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 x159 -x158 -x157 -x156 x155 -x154
1798.86/1799.84 v -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 x145 -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 x133 -x132
1798.86/1799.84 v x131 -x130 -x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 -x110
1798.86/1799.84 v x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84
1798.86/1799.84 v x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 x64 -x63 -x62 x61 x60 -x59 -x58 x57 -x56
1798.86/1799.84 v x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28
1798.86/1799.84 v x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1798.86/1799.84 c SCIP Status : solving was interrupted [time limit reached]
1798.86/1799.84 c Solving Time : 1791.00
1798.86/1799.84 c Original Problem :
1798.86/1799.84 c Problem name : HOME/instance-1868990-1245153424.opb
1798.86/1799.84 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.86/1799.84 c Constraints : 5557 initial, 5557 maximal
1798.86/1799.84 c Presolved Problem :
1798.86/1799.84 c Problem name : t_HOME/instance-1868990-1245153424.opb
1798.86/1799.84 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.86/1799.84 c Constraints : 5557 initial, 6977 maximal
1798.86/1799.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.86/1799.84 c trivial : 0.00 0 0 0 0 0 0 0 0
1798.86/1799.84 c dualfix : 0.00 0 0 0 0 0 0 0 0
1798.86/1799.84 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.86/1799.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.86/1799.84 c implics : 0.01 0 0 0 0 0 0 0 0
1798.86/1799.84 c probing : 0.05 0 0 0 0 0 0 0 0
1798.86/1799.84 c logicor : 0.04 0 0 0 0 0 0 0 0
1798.86/1799.84 c root node : - 0 - - 0 - - - -
1798.86/1799.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.86/1799.84 c integral : 0 0 0 12240 0 48 674 0 0 23984
1798.86/1799.84 c logicor : 5557+ 37 167466 1 1 7557 1159371 0 0 0
1798.86/1799.84 c countsols : 0 0 0 1 1 0 0 0 0 0
1798.86/1799.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.86/1799.84 c integral : 461.64 0.00 0.00 461.64 0.00
1798.86/1799.84 c logicor : 14.64 0.03 14.61 0.00 0.00
1798.86/1799.84 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.86/1799.84 c Propagators : Time Calls Cutoffs DomReds
1798.86/1799.84 c rootredcost : 0.05 7 0 0
1798.86/1799.84 c pseudoobj : 6.88 184267 122 322
1798.86/1799.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.86/1799.84 c propagation : 1.79 7557 7551 43840 45.9 1913 28.3 -
1798.86/1799.84 c infeasible LP : 0.13 100 100 554 47.9 18 27.8 0
1798.86/1799.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.86/1799.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.86/1799.84 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.86/1799.84 c applied globally : - - - 27410 30.0 - - -
1798.86/1799.84 c applied locally : - - - 1 453.0 - - -
1798.86/1799.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.86/1799.84 c cut pool : 0.02 36 - - 26 - (maximal pool size: 991)
1798.86/1799.84 c redcost : 0.72 12421 0 319 0 0
1798.86/1799.84 c impliedbounds : 0.06 37 0 0 0 0
1798.86/1799.84 c intobj : 0.00 0 0 0 0 0
1798.86/1799.84 c gomory : 9.69 37 0 0 17801 0
1798.86/1799.84 c strongcg : 4.04 20 0 0 9723 0
1798.86/1799.84 c cmir : 0.42 10 0 0 0 0
1798.86/1799.84 c flowcover : 0.27 10 0 0 0 0
1798.86/1799.84 c clique : 0.02 1 0 0 0 0
1798.86/1799.84 c zerohalf : 0.00 0 0 0 0 0
1798.86/1799.84 c mcf : 0.01 1 0 0 0 0
1798.86/1799.84 c Pricers : Time Calls Vars
1798.86/1799.84 c problem variables: 0.00 0 0
1798.86/1799.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.86/1799.84 c relpscost : 461.61 12239 48 674 0 0 23984
1798.86/1799.84 c pscost : 0.00 0 0 0 0 0 0
1798.86/1799.84 c inference : 0.00 1 0 0 0 0 2
1798.86/1799.84 c mostinf : 0.00 0 0 0 0 0 0
1798.86/1799.84 c leastinf : 0.00 0 0 0 0 0 0
1798.86/1799.84 c fullstrong : 0.00 0 0 0 0 0 0
1798.86/1799.84 c allfullstrong : 0.00 0 0 0 0 0 0
1798.86/1799.84 c random : 0.00 0 0 0 0 0 0
1798.86/1799.84 c Primal Heuristics : Time Calls Found
1798.86/1799.84 c LP solutions : 0.00 - 1
1798.86/1799.84 c pseudo solutions : 0.00 - 0
1798.86/1799.84 c oneopt : 0.05 7 2
1798.86/1799.84 c crossover : 0.60 11 1
1798.86/1799.84 c rootsoldiving : 16.15 21 0
1798.86/1799.84 c linesearchdiving : 17.22 61 0
1798.86/1799.84 c fracdiving : 36.20 61 0
1798.86/1799.84 c coefdiving : 35.17 61 0
1798.86/1799.84 c veclendiving : 25.03 62 0
1798.86/1799.84 c guideddiving : 34.15 62 0
1798.86/1799.84 c simplerounding : 0.03 0 0
1798.86/1799.84 c rounding : 9.10 7566 4
1798.86/1799.84 c shifting : 3.73 1235 7
1798.86/1799.84 c intshifting : 0.00 0 0
1798.86/1799.84 c fixandinfer : 0.00 0 0
1798.86/1799.84 c feaspump : 3.59 2 0
1798.86/1799.84 c pscostdiving : 29.59 62 0
1798.86/1799.84 c intdiving : 0.00 0 0
1798.86/1799.84 c actconsdiving : 0.00 0 0
1798.86/1799.84 c objpscostdiving : 19.77 18 0
1798.86/1799.84 c octane : 0.00 0 0
1798.86/1799.84 c rens : 0.00 0 0
1798.86/1799.84 c rins : 0.00 0 0
1798.86/1799.84 c localbranching : 0.00 0 0
1798.86/1799.84 c mutation : 0.00 0 0
1798.86/1799.84 c dins : 0.00 0 0
1798.86/1799.84 c LP : Time Calls Iterations Iter/call Iter/sec
1798.86/1799.84 c primal LP : 0.01 0 0 0.00 0.00
1798.86/1799.84 c dual LP : 1024.44 13892 1564691 112.63 1527.36
1798.86/1799.84 c barrier LP : 0.00 0 0 0.00 -
1798.86/1799.84 c diving/probing LP: 193.21 12075 257264 21.31 1331.53
1798.86/1799.84 c strong branching : 459.46 4131 617268 149.42 1343.46
1798.86/1799.85 c (at root node) : - 27 15645 579.44 -
1798.86/1799.85 c conflict analysis: 0.00 0 0 0.00 -
1798.86/1799.85 c B&B Tree :
1798.86/1799.85 c number of runs : 1
1798.86/1799.85 c nodes : 18884
1798.86/1799.85 c nodes (total) : 18884
1798.86/1799.85 c nodes left : 2939
1798.86/1799.85 c max depth : 60
1798.86/1799.85 c max depth (total): 60
1798.86/1799.85 c backtracks : 3766 (19.9%)
1798.86/1799.85 c delayed cutoffs : 2096
1798.86/1799.85 c repropagations : 14749 (237122 domain reductions, 1619 cutoffs)
1798.86/1799.85 c avg switch length: 6.51
1798.86/1799.85 c switching time : 10.06
1798.86/1799.85 c Solution :
1798.86/1799.85 c Solutions found : 15 (9 improvements)
1798.86/1799.85 c Primal Bound : +3.72000000000000e+02 (in run 1, after 7313 nodes, 886.44 seconds, depth 34, found by <relaxation>)
1798.86/1799.85 c Dual Bound : +2.89074414938969e+02
1798.86/1799.85 c Gap : 28.69 %
1798.86/1799.85 c Root Dual Bound : +2.72026315789474e+02
1798.97/1799.90 c Time complete: 1798.97.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868990-1245153424/watcher-1868990-1245153424 -o /tmp/evaluation-result-1868990-1245153424/solver-1868990-1245153424 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868990-1245153424.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 4163
/proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=6100 CPUtime=0
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 616 0 0 0 0 0 0 0 18 0 1 0 182939504 6246400 599 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/4163/statm: 1525 610 326 886 0 635 0
[startup+0.0716991 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4163
/proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=11092 CPUtime=0.06
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 2085 0 0 0 5 1 0 0 18 0 1 0 182939504 11358208 2067 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 0 0 0
/proc/4163/statm: 2773 2067 354 886 0 1883 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11092
[startup+0.101704 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4163
/proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=16140 CPUtime=0.09
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 3657 0 0 0 8 1 0 0 18 0 1 0 182939504 16527360 3285 1992294400 4194304 7823515 548682068736 18446744073709551615 6911743 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 4035 3285 370 886 0 3145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16140
[startup+0.301733 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4163
/proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=28576 CPUtime=0.29
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 6612 0 0 0 26 3 0 0 19 0 1 0 182939504 29261824 6240 1992294400 4194304 7823515 548682068736 18446744073709551615 4289354 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 7144 6240 477 886 0 6254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28576
[startup+0.701789 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4163
/proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=35724 CPUtime=0.69
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 8557 0 0 0 65 4 0 0 23 0 1 0 182939504 36581376 7953 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 8931 7953 521 886 0 8041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35724
[startup+1.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1828320/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=36296 CPUtime=1.49
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 8746 0 0 0 144 5 0 0 25 0 1 0 182939504 37167104 8127 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 9074 8127 521 886 0 8184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36296
[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1828064/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=36296 CPUtime=3.09
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 8771 0 0 0 304 5 0 0 25 0 1 0 182939504 37167104 8152 1992294400 4194304 7823515 548682068736 18446744073709551615 6208320 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 9074 8152 521 886 0 8184 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36296
[startup+6.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1824608/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=40392 CPUtime=6.28
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 10025 0 0 0 615 13 0 0 25 0 1 0 182939504 41361408 9326 1992294400 4194304 7823515 548682068736 18446744073709551615 5965385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4163/statm: 10098 9326 547 886 0 9208 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40392
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1818784/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=45828 CPUtime=12.66
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 11334 0 0 0 1247 19 0 0 25 0 1 0 182939504 46927872 10635 1992294400 4194304 7823515 548682068736 18446744073709551615 6209837 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 11457 10635 547 886 0 10567 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 45828
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1812448/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=51292 CPUtime=25.46
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 14025 0 0 0 2516 30 0 0 25 0 1 0 182939504 52523008 12077 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 12823 12077 547 886 0 11933 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 51292
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1811104/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=52600 CPUtime=51.03
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 14358 0 0 0 5065 38 0 0 25 0 1 0 182939504 53862400 12409 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 13150 12409 551 886 0 12260 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 52600
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1811040/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=52600 CPUtime=102.22
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 14359 0 0 0 10170 52 0 0 25 0 1 0 182939504 53862400 12410 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 13150 12410 552 886 0 12260 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 52600
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1810976/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=52600 CPUtime=162.19
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 14360 0 0 0 16149 70 0 0 25 0 1 0 182939504 53862400 12411 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 13150 12411 553 886 0 12260 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 52600
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4164
/proc/meminfo: memFree=1810912/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=52600 CPUtime=222.17
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 14368 0 0 0 22125 92 0 0 25 0 1 0 182939504 53862400 12419 1992294400 4194304 7823515 548682068736 18446744073709551615 6211582 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 13150 12419 560 886 0 12260 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 52600
[startup+282.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 4170
/proc/meminfo: memFree=1812128/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=51364 CPUtime=282.14
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 17666 0 0 0 28097 117 0 0 25 0 1 0 182939504 52596736 12075 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 12841 12075 565 886 0 11951 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 51364
[startup+342.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 4170
/proc/meminfo: memFree=1811232/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=52252 CPUtime=342.11
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 18563 0 0 0 34073 138 0 0 25 0 1 0 182939504 53506048 12331 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 13063 12331 565 886 0 12173 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 52252
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1810080/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=53680 CPUtime=402.09
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 19502 0 0 0 40046 163 0 0 25 0 1 0 182939504 54968320 12626 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 13420 12626 565 886 0 12530 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 53680
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1808928/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=54840 CPUtime=462.05
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 20441 0 0 0 46018 187 0 0 25 0 1 0 182939504 56156160 12925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 13710 12925 565 886 0 12820 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 54840
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1807392/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=56244 CPUtime=522.03
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 20821 0 0 0 51992 211 0 0 25 0 1 0 182939504 57593856 13305 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 14061 13305 565 886 0 13171 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 56244
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1792160/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71916 CPUtime=582
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 24657 0 0 0 57964 236 0 0 25 0 1 0 182939504 73641984 17140 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17979 17140 579 886 0 17089 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 71916
[startup+642.303 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 4170
/proc/meminfo: memFree=1791840/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71916 CPUtime=641.97
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 24721 0 0 0 63934 263 0 0 25 0 1 0 182939504 73641984 17204 1992294400 4194304 7823515 548682068736 18446744073709551615 6205859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17979 17204 579 886 0 17089 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 71916
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1792672/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=70332 CPUtime=1061.75
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30105 0 0 0 105724 451 0 0 25 0 1 0 182939504 72019968 16908 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17583 16908 579 886 0 16693 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 70332
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1792608/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=70332 CPUtime=1121.73
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30107 0 0 0 111693 480 0 0 25 0 1 0 182939504 72019968 16910 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17583 16910 579 886 0 16693 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 70332
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1791840/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71356 CPUtime=1181.69
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30331 0 0 0 117661 508 0 0 25 0 1 0 182939504 73068544 17134 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17839 17134 579 886 0 16949 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 71356
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1791712/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71356 CPUtime=1241.66
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30332 0 0 0 123632 534 0 0 25 0 1 0 182939504 73068544 17135 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17839 17135 579 886 0 16949 0
Current children cumulated CPU time (s) 1241.66
Current children cumulated vsize (KiB) 71356
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1791648/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71356 CPUtime=1301.64
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30332 0 0 0 129605 559 0 0 25 0 1 0 182939504 73068544 17135 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17839 17135 579 886 0 16949 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 71356
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1791648/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71356 CPUtime=1361.59
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30332 0 0 0 135572 587 0 0 25 0 1 0 182939504 73068544 17135 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17839 17135 579 886 0 16949 0
Current children cumulated CPU time (s) 1361.59
Current children cumulated vsize (KiB) 71356
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1791328/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71420 CPUtime=1421.56
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30795 0 0 0 141541 615 0 0 25 0 1 0 182939504 73134080 17183 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17855 17183 579 886 0 16965 0
Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 71420
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1791264/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71420 CPUtime=1481.53
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30796 0 0 0 147509 644 0 0 25 0 1 0 182939504 73134080 17184 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17855 17184 579 886 0 16965 0
Current children cumulated CPU time (s) 1481.53
Current children cumulated vsize (KiB) 71420
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1791328/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71420 CPUtime=1541.49
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30796 0 0 0 153478 671 0 0 25 0 1 0 182939504 73134080 17184 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17855 17184 579 886 0 16965 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 71420
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1791072/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=71936 CPUtime=1601.46
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30893 0 0 0 159447 699 0 0 25 0 1 0 182939504 73662464 17281 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 17984 17281 579 886 0 17094 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 71936
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1790624/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=72524 CPUtime=1661.44
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 30995 0 0 0 165419 725 0 0 25 0 1 0 182939504 74264576 17383 1992294400 4194304 7823515 548682068736 18446744073709551615 6211466 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 18131 17383 579 886 0 17241 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 72524
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1790496/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=72524 CPUtime=1721.41
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 31000 0 0 0 171388 753 0 0 25 0 1 0 182939504 74264576 17388 1992294400 4194304 7823515 548682068736 18446744073709551615 6237396 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 18131 17388 579 886 0 17241 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 72524
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1789728/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=73444 CPUtime=1781.38
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 31199 0 0 0 177360 778 0 0 25 0 1 0 182939504 75206656 17587 1992294400 4194304 7823515 548682068736 18446744073709551615 6210987 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 18361 17587 579 886 0 17471 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 73444
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1789728/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=73444 CPUtime=1790.97
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 31200 0 0 0 178316 781 0 0 25 0 1 0 182939504 75206656 17588 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 18361 17588 579 886 0 17471 0
Current children cumulated CPU time (s) 1790.97
Current children cumulated vsize (KiB) 73444
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1789728/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=73444 CPUtime=1794.18
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 31200 0 0 0 178635 783 0 0 25 0 1 0 182939504 75206656 17588 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 18361 17588 579 886 0 17471 0
Current children cumulated CPU time (s) 1794.18
Current children cumulated vsize (KiB) 73444
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1789728/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=73444 CPUtime=1797.37
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 31200 0 0 0 178953 784 0 0 25 0 1 0 182939504 75206656 17588 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 18361 17588 579 886 0 17471 0
Current children cumulated CPU time (s) 1797.37
Current children cumulated vsize (KiB) 73444
[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1789728/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=73444 CPUtime=1798.16
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 31200 0 0 0 179032 784 0 0 25 0 1 0 182939504 75206656 17588 1992294400 4194304 7823515 548682068736 18446744073709551615 5994950 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 18361 17588 579 886 0 17471 0
Current children cumulated CPU time (s) 1798.16
Current children cumulated vsize (KiB) 73444
[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1789728/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=73444 CPUtime=1798.57
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 31200 0 0 0 179073 784 0 0 25 0 1 0 182939504 75206656 17588 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4163/statm: 18361 17588 579 886 0 17471 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 73444
[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4170
/proc/meminfo: memFree=1789728/2055920 swapFree=4182572/4192956
[pid=4163] ppid=4161 vsize=45900 CPUtime=1798.97
/proc/4163/stat : 4163 (pbscip.linux.x8) R 4161 4163 3578 0 -1 4194304 31202 0 0 0 179112 785 0 0 17 0 1 0 182939504 47001600 10818 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 0 0 0
/proc/4163/statm: 11475 10818 1925 886 0 10585 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (KiB) 45900
Child status: 0
Real time (s): 1799.91
CPU time (s): 1798.99
CPU user time (s): 1791.12
CPU system time (s): 7.8608
CPU usage (%): 99.9487
Max. virtual memory (cumulated for all children) (KiB): 77120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.12
system time used= 7.8608
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31205
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= 9
involuntary context switches= 6282
runsolver used 1.84272 second user time and 4.71628 second system time
The end