0.00/0.04 c SCIP version 1.1.0.7
0.00/0.04 c LP-Solver SoPlex 1.4.1
0.00/0.04 c user parameter file <scip.set> not found - using default parameters
0.00/0.04 c read problem <HOME/instance-3732508-1338695393.opb>
0.00/0.04 c original problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.00/0.05 c start presolving problem
0.00/0.05 c presolving:
0.00/0.09 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.09/0.10 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.09/0.13 c (0.1s) probing: 101/808 (12.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (3 rounds):
0.09/0.13 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 39720 implications, 0 cliques
0.09/0.13 c presolved problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.09/0.13 c 5557 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.07
0.09/0.13 c strange?!, PURESAT with obj
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = c 13950
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = c 1791
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = c 10000
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving problem
0.09/0.13 c
0.18/0.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.18/0.28 c 0.2s| 1 | 0 | 1437 |9631k| 0 | 602 | 808 |5557 |5557 | 808 |5557 | 0 | 0 | 0 | 2.469383e+02 | -- | Inf
1.78/1.83 c 1.8s| 1 | 0 | 6769 | 10M| 0 | 572 | 808 |5557 |5557 | 808 |5571 | 14 | 0 | 0 | 2.519921e+02 | -- | Inf
1.88/1.98 c 1.9s| 1 | 0 | 6869 | 10M| 0 | 480 | 808 |5557 |5557 | 808 |5579 | 22 | 0 | 0 | 2.540000e+02 | -- | Inf
2.09/2.11 c 2.0s| 1 | 0 | 6913 | 10M| 0 | 478 | 808 |5557 |5557 | 808 |5586 | 29 | 0 | 0 | 2.550000e+02 | -- | Inf
2.18/2.25 c 2.2s| 1 | 0 | 6982 | 10M| 0 | 476 | 808 |5557 |5557 | 808 |5592 | 35 | 0 | 0 | 2.560000e+02 | -- | Inf
2.39/2.49 c 2.4s| 1 | 0 | 7092 | 10M| 0 | 474 | 808 |5557 |5557 | 808 |5597 | 40 | 0 | 0 | 2.570000e+02 | -- | Inf
2.59/2.67 c 2.6s| 1 | 0 | 7235 | 10M| 0 | 473 | 808 |5557 |5557 | 808 |5608 | 51 | 0 | 0 | 2.585000e+02 | -- | Inf
2.78/2.84 c 2.8s| 1 | 0 | 7358 | 10M| 0 | 469 | 808 |5557 |5557 | 808 |5615 | 58 | 0 | 0 | 2.600000e+02 | -- | Inf
2.99/3.07 c 3.0s| 1 | 0 | 7480 | 10M| 0 | 475 | 808 |5557 |5557 | 808 |5619 | 62 | 0 | 0 | 2.602500e+02 | -- | Inf
3.18/3.23 c 3.1s| 1 | 0 | 7605 | 10M| 0 | 466 | 808 |5557 |5557 | 808 |5626 | 69 | 0 | 0 | 2.610000e+02 | -- | Inf
3.49/3.52 c 3.4s| 1 | 0 | 7819 | 10M| 0 | 514 | 808 |5557 |5557 | 808 |5632 | 75 | 0 | 0 | 2.614286e+02 | -- | Inf
3.59/3.69 c 3.6s| 1 | 0 | 7998 | 11M| 0 | 468 | 808 |5557 |5557 | 808 |5639 | 82 | 0 | 0 | 2.620000e+02 | -- | Inf
3.98/4.06 c 4.0s| 1 | 0 | 8310 | 11M| 0 | 500 | 808 |5557 |5557 | 808 |5645 | 88 | 0 | 0 | 2.625169e+02 | -- | Inf
4.39/4.48 c 4.4s| 1 | 0 | 8688 | 11M| 0 | 497 | 808 |5557 |5557 | 808 |5650 | 93 | 0 | 0 | 2.631363e+02 | -- | Inf
4.88/4.99 c 4.9s| 1 | 0 | 8936 | 11M| 0 | 496 | 808 |5557 |5557 | 808 |5655 | 98 | 0 | 0 | 2.633329e+02 | -- | Inf
5.38/5.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.38/5.42 c 5.3s| 1 | 0 | 9354 | 11M| 0 | 466 | 808 |5557 |5557 | 808 |5656 | 104 | 0 | 0 | 2.640000e+02 | -- | Inf
5.69/5.76 c 5.6s| 1 | 0 | 9633 | 11M| 0 | 475 | 808 |5557 |5557 | 808 |5661 | 109 | 0 | 0 | 2.650000e+02 | -- | Inf
6.08/6.16 c 6.0s| 1 | 0 | 9906 | 11M| 0 | 474 | 808 |5557 |5557 | 808 |5668 | 116 | 0 | 0 | 2.665000e+02 | -- | Inf
6.39/6.44 c 6.3s| 1 | 0 | 10142 | 11M| 0 | 466 | 808 |5557 |5557 | 808 |5675 | 123 | 0 | 0 | 2.670000e+02 | -- | Inf
6.79/6.88 c 6.8s| 1 | 0 | 10377 | 11M| 0 | 463 | 808 |5557 |5557 | 808 |5679 | 127 | 0 | 0 | 2.670000e+02 | -- | Inf
7.18/7.23 c 7.1s| 1 | 0 | 10628 | 11M| 0 | 463 | 808 |5557 |5557 | 808 |5686 | 134 | 0 | 0 | 2.670000e+02 | -- | Inf
7.48/7.53 c 7.4s| 1 | 0 | 10917 | 11M| 0 | 468 | 808 |5557 |5557 | 808 |5677 | 137 | 0 | 0 | 2.673333e+02 | -- | Inf
7.98/8.01 c 7.9s| 1 | 0 | 11597 | 11M| 0 | 518 | 808 |5557 |5557 | 808 |5683 | 143 | 0 | 0 | 2.681333e+02 | -- | Inf
8.18/8.24 c 8.1s| 1 | 0 | 11942 | 11M| 0 | 483 | 808 |5557 |5557 | 808 |5690 | 150 | 0 | 0 | 2.688889e+02 | -- | Inf
8.49/8.59 c 8.5s| 1 | 0 | 12331 | 11M| 0 | 457 | 808 |5557 |5557 | 808 |5696 | 156 | 0 | 0 | 2.700000e+02 | -- | Inf
8.78/8.85 c 8.7s| 1 | 0 | 12611 | 11M| 0 | 455 | 808 |5557 |5557 | 808 |5701 | 161 | 0 | 0 | 2.700000e+02 | -- | Inf
9.08/9.19 c 9.0s| 1 | 0 | 12923 | 11M| 0 | 500 | 808 |5557 |5557 | 808 |5704 | 164 | 0 | 0 | 2.702000e+02 | -- | Inf
9.39/9.41 c 9.3s| 1 | 0 | 13193 | 11M| 0 | 466 | 808 |5557 |5557 | 808 |5690 | 167 | 0 | 0 | 2.705000e+02 | -- | Inf
9.58/9.66 c 9.5s| 1 | 0 | 13499 | 11M| 0 | 468 | 808 |5557 |5557 | 808 |5695 | 172 | 0 | 0 | 2.710000e+02 | -- | Inf
9.99/10.00 c 9.8s| 1 | 0 | 13714 | 11M| 0 | 459 | 808 |5557 |5557 | 808 |5698 | 175 | 0 | 0 | 2.710000e+02 | -- | Inf
10.38/10.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.38/10.43 c 10.3s| 1 | 0 | 14178 | 11M| 0 | 484 | 808 |5557 |5557 | 808 |5705 | 182 | 0 | 0 | 2.710192e+02 | -- | Inf
10.69/10.77 c 10.6s| 1 | 0 | 14717 | 11M| 0 | 476 | 808 |5557 |5557 | 808 |5713 | 190 | 0 | 0 | 2.712917e+02 | -- | Inf
11.09/11.19 c 11.0s| 1 | 0 | 15114 | 11M| 0 | 464 | 808 |5557 |5557 | 808 |5718 | 195 | 0 | 0 | 2.720000e+02 | -- | Inf
11.38/11.45 c 11.3s| 1 | 0 | 15429 | 11M| 0 | 448 | 808 |5557 |5557 | 808 |5705 | 200 | 0 | 0 | 2.720000e+02 | -- | Inf
11.78/11.82 c 11.7s| 1 | 0 | 15880 | 11M| 0 | 479 | 808 |5557 |5557 | 808 |5712 | 207 | 0 | 0 | 2.720000e+02 | -- | Inf
12.19/12.22 c 12.1s| 1 | 0 | 16355 | 11M| 0 | 489 | 808 |5557 |5557 | 808 |5717 | 212 | 0 | 0 | 2.720000e+02 | -- | Inf
12.48/12.58 c 12.4s| 1 | 0 | 16868 | 11M| 0 | 483 | 808 |5557 |5557 | 808 |5722 | 217 | 0 | 0 | 2.720000e+02 | -- | Inf
12.98/13.01 c 12.8s| 1 | 0 | 17297 | 11M| 0 | 520 | 808 |5557 |5557 | 808 |5726 | 221 | 0 | 0 | 2.720263e+02 | -- | Inf
20.27/20.37 c 20.2s| 1 | 2 | 17297 | 11M| 0 | 520 | 808 |5557 |5557 | 808 |5726 | 221 | 0 | 27 | 2.720263e+02 | -- | Inf
103.46/103.60 o 399
103.46/103.60 c s 103s| 704 | 266 |101914 | 13M| 36 | 45 | 808 |6139 |1164 | 808 |5674 | 221 |1127 | 426 | 2.790237e+02 | 3.990000e+02 | 43.00%
103.46/103.60 o 391
103.46/103.60 c k 103s| 704 | 268 |101914 | 13M| 36 | 45 | 808 |6139 |1164 | 808 |5674 | 221 |1127 | 426 | 2.790237e+02 | 3.910000e+02 | 40.13%
103.56/103.61 o 390
103.56/103.61 c R 103s| 708 | 265 |101925 | 13M| 36 | - | 808 |6139 | 989 | 808 |5674 | 221 |1127 | 426 | 2.790237e+02 | 3.900000e+02 | 39.77%
227.14/227.27 o 388
227.14/227.27 c C 226s| 3100 | 822 |389575 | 16M| 44 | - | 808 |6899 |1158 | 808 |5674 | 221 |5393 |1183 | 2.816656e+02 | 3.880000e+02 | 37.75%
231.84/231.97 o 387
231.84/231.97 c R 231s| 3200 | 839 |398922 | 16M| 48 | - | 808 |6837 | 713 | 808 |5674 | 221 |5436 |1210 | 2.817724e+02 | 3.870000e+02 | 37.34%
372.62/372.78 o 383
372.62/372.78 c R 371s| 7300 | 1412 |759961 | 19M| 60 | 13 | 808 |6855 |1508 | 808 |5674 | 221 | 11k|2030 | 2.840645e+02 | 3.830000e+02 | 34.83%
372.62/372.78 o 374
372.62/372.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.62/372.78 c k 371s| 7300 | 1375 |759961 | 19M| 60 | 13 | 808 |6855 |1508 | 808 |5674 | 221 | 11k|2030 | 2.840645e+02 | 3.740000e+02 | 31.66%
372.62/372.79 o 373
372.62/372.79 c R 371s| 7301 | 1369 |759981 | 19M| 60 | - | 808 |6855 |1427 | 808 |5674 | 221 | 11k|2030 | 2.840645e+02 | 3.730000e+02 | 31.31%
372.72/372.83 o 372
372.72/372.83 c * 371s| 7313 | 1359 |760075 | 19M| 60 | - | 808 |6854 |1083 | 808 |5674 | 221 | 11k|2030 | 2.840645e+02 | 3.720000e+02 | 30.96%
464.40/464.59 c 462s| 10000 | 1804 | 1015k| 21M| 60 | - | 808 |6694 |3093 | 808 |5674 | 221 | 14k|2474 | 2.871656e+02 | 3.720000e+02 | 29.54%
792.45/792.60 c 789s| 20000 | 3067 | 1917k| 28M| 60 | 340 | 808 |6857 |3337 | 808 |5674 | 221 | 28k|4132 | 2.892085e+02 | 3.720000e+02 | 28.63%
1089.40/1089.64 c 1084s| 30000 | 4053 | 2757k| 34M| 60 | 251 | 808 |6888 |2243 | 808 |5674 | 221 | 42k|5347 | 2.906744e+02 | 3.720000e+02 | 27.98%
1386.46/1386.75 c 1380s| 40000 | 4924 | 3618k| 39M| 60 | - | 808 |6806 |2730 | 0 | 0 | 221 | 56k|6501 | 2.923448e+02 | 3.720000e+02 | 27.25%
1621.81/1622.10 c 1614s| 50000 | 5630 | 4373k| 43M| 60 | 260 | 808 |6861 |2364 | 808 |5674 | 221 | 68k|6907 | 2.942603e+02 | 3.720000e+02 | 26.42%
1799.58/1799.95 c
1799.58/1799.95 c SCIP Status : solving was interrupted [time limit reached]
1799.58/1799.95 c Solving Time (sec) : 1791.00
1799.58/1799.95 c Solving Nodes : 56757
1799.58/1799.95 c Primal Bound : +3.72000000000000e+02 (15 solutions)
1799.58/1799.95 c Dual Bound : +2.95518730158730e+02
1799.58/1799.95 c Gap : 25.88 %
1799.58/1799.95 c NODE 56757
1799.58/1799.95 c DUAL BOUND 295.519
1799.58/1799.95 c PRIMAL BOUND 372
1799.58/1799.95 c GAP 0.258803
1799.58/1799.95 s SATISFIABLE
1799.58/1799.95 v x808 -x807 -x806 x805 x804 -x803 x802 -x801 x800 -x799 -x798 x797 x796 -x795 x794 -x793 x792 -x791 -x790 -x789 x788 -x787 -x786
1799.58/1799.95 v x785 -x784 x783 x782 -x781 x780 -x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 -x770 x769 x768 -x767 -x766 x765 x764 -x763
1799.58/1799.95 v x762 -x761 -x760 x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 -x746 x745 -x744 -x743 x742 -x741 x740
1799.58/1799.95 v -x739 -x738 x737 x736 -x735 x734 -x733 x732 -x731 -x730 x729 x728 -x727 -x726 x725 x724 -x723 x722 -x721 -x720 x719 x718
1799.58/1799.95 v -x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 x708 -x707 x706 -x705 -x704 x703 x702 -x701 x700 -x699 x698 -x697 -x696 x695
1799.58/1799.95 v x694 -x693 x692 -x691 x690 -x689 -x688 x687 x686 -x685 x684 -x683 x682 -x681 x680 -x679 -x678 x677 x676 -x675 x674 -x673 x672
1799.58/1799.95 v -x671 -x670 x669 x668 -x667 x666 -x665 -x664 x663 x662 -x661 x660 -x659 x658 -x657 -x656 x655 x654 -x653 x652 -x651 x650 -x649
1799.58/1799.95 v x648 -x647 -x646 x645 x644 -x643 x642 -x641 -x640 x639 x638 -x637 x636 -x635 x634 -x633 x632 -x631 -x630 x629 x628 -x627
1799.58/1799.95 v x626 -x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 -x610 x609 -x608 x607 x606 -x605 x604
1799.58/1799.95 v -x603 x602 -x601 -x600 x599 x598 -x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 -x586 x585 x584 -x583 -x582 x581
1799.58/1799.95 v x580 -x579 x578 -x577 -x576 x575 x574 -x573 x572 -x571 x570 -x569 -x568 x567 x566 -x565 x564 -x563 x562 -x561 -x560 x559
1799.58/1799.95 v x558 -x557 x556 -x555 x554 -x553 x552 -x551 -x550 -x549 -x548 x547 x546 -x545 -x544 x543 x542 -x541 x540 -x539 x538 -x537 x536
1799.58/1799.95 v -x535 -x534 x533 x532 -x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 -x522 x521 -x520 x519 x518 -x517 x516 -x515 x514 -x513
1799.58/1799.95 v -x512 x511 -x510 x509 -x508 x507 -x506 x505 -x504 x503 -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491
1799.58/1799.95 v -x490 x489 -x488 x487 -x486 x485 -x484 x483 -x482 x481 -x480 x479 -x478 x477 -x476 x475 -x474 x473 -x472 x471 -x470 x469 -x468
1799.58/1799.95 v x467 -x466 x465 -x464 x463 x462 -x461 -x460 x459 -x458 x457 -x456 x455 -x454 x453 -x452 x451 -x450 x449 -x448 x447 -x446 x445
1799.58/1799.95 v -x444 x443 -x442 x441 -x440 x439 -x438 x437 -x436 x435 -x434 x433 -x432 x431 -x430 x429 -x428 x427 -x426 x425 -x424 x423 -x422
1799.58/1799.95 v x421 -x420 x419 x418 -x417 -x416 x415 -x414 x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400
1799.58/1799.95 v x399 -x398 x397 x396 -x395 -x394 x393 -x392 x391 -x390 x389 -x388 x387 -x386 x385 -x384 x383 -x382 x381 -x380 x379 -x378 x377
1799.58/1799.95 v -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354
1799.58/1799.95 v x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 x344 -x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332
1799.58/1799.95 v x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309
1799.58/1799.95 v -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 x298 -x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286
1799.58/1799.95 v x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 x270 -x269 -x268 x267 -x266 x265 -x264 x263
1799.58/1799.95 v -x262 x261 -x260 x259 -x258 x257 -x256 -x255 -x254 x253 -x252 x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 x243 -x242 -x241
1799.58/1799.95 v -x240 -x239 -x238 x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 x229 -x228 x227 -x226 -x225 -x224 x223 -x222 -x221 -x220
1799.58/1799.95 v -x219 -x218 x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 x207 -x206 -x205 -x204 x203 -x202 -x201 x200 -x199 -x198
1799.58/1799.95 v x197 x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185 x184 -x183 -x182 x181 -x180 x179 -x178 -x177 -x176
1799.58/1799.95 v x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 x159 -x158 -x157 -x156 x155 -x154
1799.58/1799.95 v -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 x145 -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 x133 -x132
1799.58/1799.95 v x131 -x130 -x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 -x110
1799.58/1799.95 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
1799.58/1799.95 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
1799.58/1799.95 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
1799.58/1799.95 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
1799.58/1799.95 c SCIP Status : solving was interrupted [time limit reached]
1799.58/1799.95 c Solving Time : 1791.00
1799.58/1799.95 c Original Problem :
1799.58/1799.95 c Problem name : HOME/instance-3732508-1338695393.opb
1799.58/1799.95 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.58/1799.95 c Constraints : 5557 initial, 5557 maximal
1799.58/1799.95 c Presolved Problem :
1799.58/1799.95 c Problem name : t_HOME/instance-3732508-1338695393.opb
1799.58/1799.95 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.58/1799.95 c Constraints : 5557 initial, 7059 maximal
1799.58/1799.95 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.58/1799.95 c trivial : 0.00 0 0 0 0 0 0 0 0
1799.58/1799.95 c dualfix : 0.00 0 0 0 0 0 0 0 0
1799.58/1799.95 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.58/1799.95 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.58/1799.95 c implics : 0.00 0 0 0 0 0 0 0 0
1799.58/1799.95 c probing : 0.02 0 0 0 0 0 0 0 0
1799.58/1799.95 c logicor : 0.03 0 0 0 0 0 0 0 0
1799.58/1799.95 c root node : - 0 - - 0 - - - -
1799.58/1799.95 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.58/1799.95 c integral : 0 0 0 34882 0 94 1261 0 0 68814
1799.58/1799.95 c logicor : 5557+ 37 488290 1 1 21844 3752887 0 0 0
1799.58/1799.95 c countsols : 0 0 0 1 1 0 0 0 0 0
1799.58/1799.95 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.58/1799.95 c integral : 333.63 0.00 0.00 333.63 0.00
1799.58/1799.95 c logicor : 16.17 0.00 16.17 0.00 0.00
1799.58/1799.95 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.58/1799.95 c Propagators : Time Calls Cutoffs DomReds
1799.58/1799.95 c rootredcost : 0.06 7 0 0
1799.58/1799.95 c pseudoobj : 5.92 529529 421 831
1799.58/1799.95 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.58/1799.95 c propagation : 1.97 21844 21836 127077 44.1 5166 28.2 -
1799.58/1799.95 c infeasible LP : 0.03 208 208 1170 49.0 40 26.8 0
1799.58/1799.95 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.58/1799.95 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.58/1799.95 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.58/1799.95 c applied globally : - - - 76976 29.5 - - -
1799.58/1799.95 c applied locally : - - - 2 317.0 - - -
1799.58/1799.95 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.58/1799.95 c cut pool : 0.00 36 - - 26 - (maximal pool size: 991)
1799.58/1799.95 c redcost : 0.56 35453 0 1115 0 0
1799.58/1799.95 c impliedbounds : 0.00 37 0 0 0 0
1799.58/1799.95 c intobj : 0.00 0 0 0 0 0
1799.58/1799.95 c gomory : 3.99 37 0 0 17801 0
1799.58/1799.95 c strongcg : 1.70 20 0 0 9723 0
1799.58/1799.95 c cmir : 0.21 10 0 0 0 0
1799.58/1799.95 c flowcover : 0.10 10 0 0 0 0
1799.58/1799.95 c clique : 0.01 1 0 0 0 0
1799.58/1799.95 c zerohalf : 0.00 0 0 0 0 0
1799.58/1799.95 c mcf : 0.00 1 0 0 0 0
1799.58/1799.95 c Pricers : Time Calls Vars
1799.58/1799.95 c problem variables: 0.00 0 0
1799.58/1799.95 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.58/1799.95 c relpscost : 333.61 34881 94 1261 0 0 68814
1799.58/1799.95 c pscost : 0.00 0 0 0 0 0 0
1799.58/1799.95 c inference : 0.00 1 0 0 0 0 2
1799.58/1799.95 c mostinf : 0.00 0 0 0 0 0 0
1799.58/1799.95 c leastinf : 0.00 0 0 0 0 0 0
1799.58/1799.95 c fullstrong : 0.00 0 0 0 0 0 0
1799.58/1799.95 c allfullstrong : 0.00 0 0 0 0 0 0
1799.58/1799.95 c random : 0.00 0 0 0 0 0 0
1799.58/1799.95 c Primal Heuristics : Time Calls Found
1799.58/1799.95 c LP solutions : 0.00 - 1
1799.58/1799.95 c pseudo solutions : 0.00 - 0
1799.58/1799.95 c oneopt : 0.02 7 2
1799.58/1799.95 c feaspump : 1.58 2 0
1799.58/1799.95 c crossover : 0.33 13 1
1799.58/1799.95 c fracdiving : 17.93 97 0
1799.58/1799.95 c linesearchdiving : 10.09 97 0
1799.58/1799.95 c rootsoldiving : 12.47 49 0
1799.58/1799.95 c guideddiving : 17.83 98 0
1799.58/1799.95 c objpscostdiving : 17.89 49 0
1799.58/1799.95 c pscostdiving : 15.97 98 0
1799.58/1799.95 c veclendiving : 15.56 98 0
1799.58/1799.95 c coefdiving : 19.39 98 0
1799.58/1799.95 c simplerounding : 0.02 0 0
1799.58/1799.95 c rounding : 4.80 15126 4
1799.58/1799.95 c shifting : 2.14 2657 7
1799.58/1799.95 c intshifting : 0.00 0 0
1799.58/1799.95 c fixandinfer : 0.00 0 0
1799.58/1799.95 c intdiving : 0.00 0 0
1799.58/1799.95 c actconsdiving : 0.00 0 0
1799.58/1799.95 c octane : 0.00 0 0
1799.58/1799.95 c rens : 0.00 0 0
1799.58/1799.95 c rins : 0.00 0 0
1799.58/1799.95 c localbranching : 0.00 0 0
1799.58/1799.95 c mutation : 0.00 0 0
1799.58/1799.95 c dins : 0.00 0 0
1799.58/1799.95 c LP : Time Calls Iterations Iter/call Iter/sec
1799.58/1799.95 c primal LP : 0.01 0 0 0.00 0.00
1799.58/1799.95 c dual LP : 1256.46 41150 4524810 109.96 3601.24
1799.58/1799.95 c barrier LP : 0.00 0 0 0.00 -
1799.58/1799.95 c diving/probing LP: 118.66 17916 384478 21.46 3240.17
1799.58/1799.95 c strong branching : 331.34 7466 1079683 144.61 3258.54
1799.58/1799.95 c (at root node) : - 27 15645 579.44 -
1799.58/1799.95 c conflict analysis: 0.00 0 0 0.00 -
1799.58/1799.95 c B&B Tree :
1799.58/1799.95 c number of runs : 1
1799.58/1799.95 c nodes : 56757
1799.58/1799.95 c nodes (total) : 56757
1799.58/1799.95 c nodes left : 6054
1799.58/1799.95 c max depth : 69
1799.58/1799.95 c max depth (total): 69
1799.58/1799.95 c backtracks : 11627 (20.5%)
1799.58/1799.95 c delayed cutoffs : 5938
1799.58/1799.95 c repropagations : 40237 (776913 domain reductions, 5016 cutoffs)
1799.58/1799.95 c avg switch length: 6.62
1799.58/1799.95 c switching time : 12.30
1799.58/1799.95 c Solution :
1799.58/1799.95 c Solutions found : 15 (9 improvements)
1799.58/1799.95 c Primal Bound : +3.72000000000000e+02 (in run 1, after 7313 nodes, 370.99 seconds, depth 34, found by <relaxation>)
1799.58/1799.95 c Dual Bound : +2.95518730158730e+02
1799.58/1799.95 c Gap : 25.88 %
1799.58/1799.95 c Root Dual Bound : +2.72026315789474e+02
1799.58/1799.98 c Time complete: 1799.67.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732508-1338695393/watcher-3732508-1338695393 -o /tmp/evaluation-result-3732508-1338695393/solver-3732508-1338695393 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3732508-1338695393.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29648
/proc/meminfo: memFree=28113260/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=4008 CPUtime=0 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 335665298 4104192 332 33554432000 4194304 7823515 140733754708464 140734619714744 6883856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 1035 337 256 887 0 145 0
[startup+0.104333 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29648
/proc/meminfo: memFree=28113260/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=26540 CPUtime=0.09 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 6070 0 0 0 8 1 0 0 20 0 1 0 335665298 27176960 5669 33554432000 4194304 7823515 140733754708464 140734619714744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 6635 5669 425 887 0 5745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26540
[startup+0.200195 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29648
/proc/meminfo: memFree=28113260/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=34092 CPUtime=0.18 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 8094 0 0 0 17 1 0 0 20 0 1 0 335665298 34910208 7502 33554432000 4194304 7823515 140733754708464 140734619714744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 8523 7502 507 887 0 7633 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 34092
[startup+0.300204 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29648
/proc/meminfo: memFree=28113260/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=35736 CPUtime=0.28 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 8587 0 0 0 27 1 0 0 20 0 1 0 335665298 36593664 7954 33554432000 4194304 7823515 140733754708464 140734619714744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 8934 7954 521 887 0 8044 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 35736
[startup+0.70016 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29648
/proc/meminfo: memFree=28113260/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=36308 CPUtime=0.68 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 8774 0 0 0 67 1 0 0 20 0 1 0 335665298 37179392 8126 33554432000 4194304 7823515 140733754708464 140734619714744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 9077 8126 521 887 0 8187 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 36308
[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29649
/proc/meminfo: memFree=28082740/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=36308 CPUtime=1.48 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 8800 0 0 0 147 1 0 0 20 0 1 0 335665298 37179392 8152 33554432000 4194304 7823515 140733754708464 140733754703224 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 9077 8152 521 887 0 8187 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36308
[startup+3.10011 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29649
/proc/meminfo: memFree=28078772/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=42948 CPUtime=3.09 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 10639 0 0 0 304 5 0 0 20 0 1 0 335665298 43978752 9911 33554432000 4194304 7823515 140733754708464 140733754703608 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 10737 9911 547 887 0 9847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42948
[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29649
/proc/meminfo: memFree=28071960/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=49012 CPUtime=6.28 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 12633 0 0 0 620 8 0 0 20 0 1 0 335665298 50188288 11330 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 12253 11330 547 887 0 11363 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49012
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29652
/proc/meminfo: memFree=28065060/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=51304 CPUtime=12.68 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 14061 0 0 0 1255 13 0 0 20 0 1 0 335665298 52535296 12204 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 12826 12204 547 887 0 11936 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51304
[startup+25.5065 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29652
/proc/meminfo: memFree=28063848/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=52612 CPUtime=25.48 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 14398 0 0 0 2532 16 0 0 20 0 1 0 335665298 53874688 12681 33554432000 4194304 7823515 140733754708464 140733754703624 6099032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 13153 12681 552 887 0 12263 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52612
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29652
/proc/meminfo: memFree=28063636/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=52612 CPUtime=51.06 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 14403 0 0 0 5083 23 0 0 20 0 1 0 335665298 53874688 12729 33554432000 4194304 7823515 140733754708464 140733754703160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 13153 12729 553 887 0 12263 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 52612
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29652
/proc/meminfo: memFree=28063276/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=52612 CPUtime=102.26 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 14410 0 0 0 10182 44 0 0 20 0 1 0 335665298 53874688 12736 33554432000 4194304 7823515 140733754708464 140733754703624 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 13153 12736 560 887 0 12263 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 52612
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 29652
/proc/meminfo: memFree=28063152/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=53476 CPUtime=162.25 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 19484 0 0 0 16153 72 0 0 20 0 1 0 335665298 54759424 12883 33554432000 4194304 7823515 140733754708464 140733754704152 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 13369 12883 565 887 0 12479 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53476
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29652
/proc/meminfo: memFree=28060236/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=56388 CPUtime=222.25 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 20926 0 0 0 22127 98 0 0 20 0 1 0 335665298 57741312 13685 33554432000 4194304 7823515 140733754708464 140733754704392 6212075 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 14097 13685 565 887 0 13207 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 56388
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29652
/proc/meminfo: memFree=28044488/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=72136 CPUtime=282.23 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 24814 0 0 0 28096 127 0 0 20 0 1 0 335665298 73867264 17572 33554432000 4194304 7823515 140733754708464 140733754703160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 18034 17572 579 887 0 17144 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 72136
[startup+342.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28045400/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=70344 CPUtime=342.22 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 25349 0 0 0 34066 156 0 0 20 0 1 0 335665298 72032256 17219 33554432000 4194304 7823515 140733754708464 140733754703800 6234801 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 17586 17219 579 887 0 16696 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 70344
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 29729
/proc/meminfo: memFree=28098500/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=70624 CPUtime=402.21 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 28358 0 0 0 40033 188 0 0 20 0 1 0 335665298 72318976 17290 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 17656 17290 579 887 0 16766 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 70624
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29729
/proc/meminfo: memFree=28089788/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=70344 CPUtime=462.2 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 30147 0 0 0 46004 216 0 0 20 0 1 0 335665298 72032256 17220 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 17586 17220 579 887 0 16696 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 70344
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29729
/proc/meminfo: memFree=28089864/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=71368 CPUtime=522.19 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 30371 0 0 0 51971 248 0 0 20 0 1 0 335665298 73080832 17444 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 17842 17444 579 887 0 16952 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 71368
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29729
/proc/meminfo: memFree=28085708/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=71368 CPUtime=582.18 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 30371 0 0 0 57941 277 0 0 20 0 1 0 335665298 73080832 17444 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 17842 17444 579 887 0 16952 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 71368
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28076356/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=82472 CPUtime=1062.1 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 35702 0 0 0 105704 506 0 0 20 0 1 0 335665298 84451328 20162 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 20618 20162 579 887 0 19728 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 82472
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29757
/proc/meminfo: memFree=28070616/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=84608 CPUtime=1122.1 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 36089 0 0 0 111674 536 0 0 20 0 1 0 335665298 86638592 20549 33554432000 4194304 7823515 140733754708464 140733754703624 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 21152 20549 579 887 0 20262 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 84608
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29757
/proc/meminfo: memFree=28072224/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=84628 CPUtime=1182.09 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 40136 0 0 0 117645 564 0 0 20 0 1 0 335665298 86659072 20759 33554432000 4194304 7823515 140733754708464 140733754705496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 21157 20759 579 887 0 20267 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 84628
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29761
/proc/meminfo: memFree=28066776/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=85872 CPUtime=1242.07 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 40433 0 0 0 123614 593 0 0 20 0 1 0 335665298 87932928 21056 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 21468 21056 579 887 0 20578 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 85872
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 29761
/proc/meminfo: memFree=28064364/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=87444 CPUtime=1302.07 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 40777 0 0 0 129586 621 0 0 20 0 1 0 335665298 89542656 21399 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 21861 21399 579 887 0 20971 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 87444
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29761
/proc/meminfo: memFree=28063436/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=89712 CPUtime=1362.05 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 41319 0 0 0 135558 647 0 0 20 0 1 0 335665298 91865088 21941 33554432000 4194304 7823515 140733754708464 140733754703160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 22428 21941 579 887 0 21538 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 89712
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29761
/proc/meminfo: memFree=28064496/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=90352 CPUtime=1422.05 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 41570 0 0 0 141528 677 0 0 20 0 1 0 335665298 92520448 22190 33554432000 4194304 7823515 140733754708464 140733754704152 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 22588 22190 579 887 0 21698 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 90352
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29761
/proc/meminfo: memFree=28059968/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=90352 CPUtime=1482.04 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 41575 0 0 0 147496 708 0 0 20 0 1 0 335665298 92520448 22195 33554432000 4194304 7823515 140733754708464 140733754704152 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 22588 22195 579 887 0 21698 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 90352
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29762
/proc/meminfo: memFree=28063564/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=91552 CPUtime=1542.03 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 41809 0 0 0 153467 736 0 0 20 0 1 0 335665298 93749248 22429 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 22888 22429 579 887 0 21998 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 91552
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28057796/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=94108 CPUtime=1602.01 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 42480 0 0 0 159436 765 0 0 20 0 1 0 335665298 96366592 23099 33554432000 4194304 7823515 140733754708464 140733754703160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 23527 23099 579 887 0 22637 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 94108
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28056308/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=95232 CPUtime=1662.02 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 42801 0 0 0 165408 794 0 0 20 0 1 0 335665298 97517568 23420 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 23808 23420 579 887 0 22918 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 95232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28054880/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=95712 CPUtime=1722 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 42912 0 0 0 171375 825 0 0 20 0 1 0 335665298 98009088 23530 33554432000 4194304 7823515 140733754708464 140733754704216 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 23928 23530 579 887 0 23038 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 95712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28052008/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=97504 CPUtime=1781.99 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 43295 0 0 0 177346 853 0 0 20 0 1 0 335665298 99844096 23913 33554432000 4194304 7823515 140733754708464 140733754703944 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 24376 23913 579 887 0 23486 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 97504
Solver just ended. Dumping a history of the last processes samples
[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28051636/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=97504 CPUtime=1791.8 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 43295 0 0 0 178322 858 0 0 20 0 1 0 335665298 99844096 23913 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 24376 23913 579 887 0 23486 0
Current children cumulated CPU time (s) 1791.8
Current children cumulated vsize (KiB) 97504
[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28051636/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=97504 CPUtime=1795 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 43295 0 0 0 178641 859 0 0 20 0 1 0 335665298 99844096 23913 33554432000 4194304 7823515 140733754708464 140733754705512 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 24376 23913 579 887 0 23486 0
Current children cumulated CPU time (s) 1795
Current children cumulated vsize (KiB) 97504
[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28051636/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=97504 CPUtime=1798.19 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 43295 0 0 0 178958 861 0 0 20 0 1 0 335665298 99844096 23913 33554432000 4194304 7823515 140733754708464 140733754704152 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 24376 23913 579 887 0 23486 0
Current children cumulated CPU time (s) 1798.19
Current children cumulated vsize (KiB) 97504
[startup+1799.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28051636/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=97504 CPUtime=1798.99 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 43295 0 0 0 179038 861 0 0 20 0 1 0 335665298 99844096 23913 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 24376 23913 579 887 0 23486 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 97504
[startup+1799.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28049032/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=97504 CPUtime=1799.39 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 43295 0 0 0 179078 861 0 0 20 0 1 0 335665298 99844096 23913 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 24376 23913 579 887 0 23486 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 97504
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29762
/proc/meminfo: memFree=28049032/32873648 swapFree=6864/6864
[pid=29648] ppid=29646 vsize=97504 CPUtime=1799.58 cores=0,2,4,6
/proc/29648/stat : 29648 (pbscip.linux.x8) R 29646 29648 19043 0 -1 4202496 43295 0 0 0 179097 861 0 0 20 0 1 0 335665298 99844096 23913 33554432000 4194304 7823515 140733754708464 140733754703800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29648/statm: 24376 23913 579 887 0 23486 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 97504
Child status: 0
Real time (s): 1799.98
CPU time (s): 1799.68
CPU user time (s): 1791.06
CPU system time (s): 8.62169
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 97504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.06
system time used= 8.62169
maximum resident set size= 97328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43300
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= 33
involuntary context switches= 1854
runsolver used 3.2605 second user time and 8.76367 second system time
The end