0.02/0.09 c SCIP version 1.1.0.7
0.02/0.09 c LP-Solver Clp 1.8.2
0.02/0.09 c user parameter file <scip.set> not found - using default parameters
0.02/0.09 c read problem <HOME/instance-1868991-1245153449.opb>
0.02/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.19/0.21 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.19/0.24 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.29/0.31 c (0.2s) probing: 101/808 (12.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.31 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.31 c presolving (3 rounds):
0.29/0.31 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.31 c 39720 implications, 0 cliques
0.29/0.31 c presolved problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.29/0.31 c 5557 constraints of type <logicor>
0.29/0.31 c transformed objective value is always integral (scale: 1)
0.29/0.31 c Presolving Time: 0.17
0.29/0.31 c strange?!, PURESAT with obj
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = c 1620
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = c 1791
0.29/0.31 c # frequency for displaying node information lines
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.31 c display/freq = c 10000
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving problem
0.29/0.31 c
0.39/0.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.43 c 0.3s| 1 | 0 | 831 |9631k| 0 | 602 | 808 |5557 |5557 | 808 |5557 | 0 | 0 | 0 | 2.469383e+02 | -- | Inf
1.49/1.51 c 1.3s| 1 | 0 | 2525 | 10M| 0 | 486 | 808 |5557 |5557 | 808 |5569 | 12 | 0 | 0 | 2.510000e+02 | -- | Inf
1.69/1.72 c 1.6s| 1 | 0 | 2546 | 10M| 0 | 483 | 808 |5557 |5557 | 808 |5577 | 20 | 0 | 0 | 2.525000e+02 | -- | Inf
1.99/2.08 c 1.9s| 1 | 0 | 2563 | 10M| 0 | 482 | 808 |5557 |5557 | 808 |5582 | 25 | 0 | 0 | 2.530000e+02 | -- | Inf
2.39/2.42 c 2.2s| 1 | 0 | 2694 | 10M| 0 | 478 | 808 |5557 |5557 | 808 |5591 | 34 | 0 | 0 | 2.550000e+02 | -- | Inf
2.79/2.87 c 2.7s| 1 | 0 | 2744 | 10M| 0 | 474 | 808 |5557 |5557 | 808 |5598 | 41 | 0 | 0 | 2.570000e+02 | -- | Inf
3.19/3.21 c 3.0s| 1 | 0 | 2830 | 10M| 0 | 472 | 808 |5557 |5557 | 808 |5607 | 50 | 0 | 0 | 2.580000e+02 | -- | Inf
3.49/3.59 c 3.4s| 1 | 0 | 2952 | 10M| 0 | 470 | 808 |5557 |5557 | 808 |5616 | 59 | 0 | 0 | 2.590000e+02 | -- | Inf
3.89/4.00 c 3.8s| 1 | 0 | 3076 | 10M| 0 | 468 | 808 |5557 |5557 | 808 |5623 | 66 | 0 | 0 | 2.600000e+02 | -- | Inf
4.29/4.40 c 4.2s| 1 | 0 | 3143 | 10M| 0 | 464 | 808 |5557 |5557 | 808 |5631 | 74 | 0 | 0 | 2.620000e+02 | -- | Inf
4.89/4.93 c 4.7s| 1 | 0 | 3288 | 10M| 0 | 462 | 808 |5557 |5557 | 808 |5638 | 81 | 0 | 0 | 2.630000e+02 | -- | Inf
5.09/5.16 c 4.9s| 1 | 0 | 3418 | 10M| 0 | 461 | 808 |5557 |5557 | 808 |5647 | 90 | 0 | 0 | 2.646250e+02 | -- | Inf
5.69/5.72 c 5.5s| 1 | 0 | 3633 | 10M| 0 | 484 | 808 |5557 |5557 | 808 |5651 | 94 | 0 | 0 | 2.650000e+02 | -- | Inf
6.29/6.34 c 6.1s| 1 | 0 | 4127 | 10M| 0 | 491 | 808 |5557 |5557 | 808 |5653 | 104 | 0 | 0 | 2.655000e+02 | -- | Inf
6.60/6.67 c 6.4s| 1 | 0 | 4259 | 10M| 0 | 459 | 808 |5557 |5557 | 808 |5661 | 112 | 0 | 0 | 2.660000e+02 | -- | Inf
6.99/7.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.99/7.03 c 6.8s| 1 | 0 | 4380 | 10M| 0 | 465 | 808 |5557 |5557 | 808 |5669 | 120 | 0 | 0 | 2.660000e+02 | -- | Inf
8.09/8.12 c 7.9s| 1 | 0 | 4812 | 11M| 0 | 459 | 808 |5557 |5557 | 808 |5677 | 128 | 0 | 0 | 2.660000e+02 | -- | Inf
9.29/9.34 c 9.1s| 1 | 0 | 5505 | 11M| 0 | 497 | 808 |5557 |5557 | 808 |5681 | 132 | 0 | 0 | 2.662500e+02 | -- | Inf
10.39/10.42 c 10.1s| 1 | 0 | 5813 | 11M| 0 | 495 | 808 |5557 |5557 | 808 |5686 | 137 | 0 | 0 | 2.665000e+02 | -- | Inf
10.99/11.09 c 10.8s| 1 | 0 | 6135 | 11M| 0 | 494 | 808 |5557 |5557 | 808 |5669 | 144 | 0 | 0 | 2.665000e+02 | -- | Inf
11.69/11.77 c 11.5s| 1 | 0 | 6612 | 11M| 0 | 515 | 808 |5557 |5557 | 808 |5678 | 153 | 0 | 0 | 2.674000e+02 | -- | Inf
12.28/12.35 c 12.1s| 1 | 0 | 7019 | 11M| 0 | 511 | 808 |5557 |5557 | 808 |5683 | 158 | 0 | 0 | 2.680000e+02 | -- | Inf
13.29/13.36 c 13.1s| 1 | 0 | 7712 | 11M| 0 | 518 | 808 |5557 |5557 | 808 |5689 | 164 | 0 | 0 | 2.680000e+02 | -- | Inf
14.39/14.45 c 14.2s| 1 | 0 | 8552 | 11M| 0 | 520 | 808 |5557 |5557 | 808 |5692 | 167 | 0 | 0 | 2.682500e+02 | -- | Inf
14.98/15.06 c 14.7s| 1 | 0 | 9124 | 11M| 0 | 517 | 808 |5557 |5557 | 808 |5698 | 173 | 0 | 0 | 2.682500e+02 | -- | Inf
15.98/16.06 c 15.7s| 1 | 0 | 9811 | 11M| 0 | 521 | 808 |5557 |5557 | 808 |5673 | 180 | 0 | 0 | 2.690000e+02 | -- | Inf
16.98/17.02 c 16.7s| 1 | 0 | 10418 | 11M| 0 | 549 | 808 |5557 |5557 | 808 |5680 | 187 | 0 | 0 | 2.690041e+02 | -- | Inf
17.98/18.00 c 17.7s| 1 | 0 | 10838 | 11M| 0 | 576 | 808 |5557 |5557 | 808 |5683 | 190 | 0 | 0 | 2.690553e+02 | -- | Inf
18.79/18.84 c 18.5s| 1 | 0 | 11302 | 11M| 0 | 545 | 808 |5557 |5557 | 808 |5685 | 192 | 0 | 0 | 2.691765e+02 | -- | Inf
20.09/20.10 c 19.8s| 1 | 0 | 11765 | 11M| 0 | 539 | 808 |5557 |5557 | 808 |5688 | 195 | 0 | 0 | 2.700000e+02 | -- | Inf
20.99/21.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.99/21.10 c 20.7s| 1 | 0 | 11933 | 11M| 0 | 533 | 808 |5557 |5557 | 808 |5690 | 197 | 0 | 0 | 2.700000e+02 | -- | Inf
22.38/22.40 c 22.0s| 1 | 0 | 12348 | 11M| 0 | 529 | 808 |5557 |5557 | 808 |5674 | 198 | 0 | 0 | 2.700000e+02 | -- | Inf
23.38/23.47 c 23.1s| 1 | 0 | 12825 | 11M| 0 | 520 | 808 |5557 |5557 | 808 |5677 | 201 | 0 | 0 | 2.700000e+02 | -- | Inf
23.99/24.06 c 23.7s| 1 | 0 | 12976 | 11M| 0 | 518 | 808 |5557 |5557 | 808 |5679 | 203 | 0 | 0 | 2.700000e+02 | -- | Inf
24.79/24.82 c 24.4s| 1 | 0 | 13345 | 11M| 0 | 517 | 808 |5557 |5557 | 808 |5681 | 205 | 0 | 0 | 2.700313e+02 | -- | Inf
25.38/25.43 c 25.1s| 1 | 0 | 13485 | 11M| 0 | 511 | 808 |5557 |5557 | 808 |5686 | 210 | 0 | 0 | 2.705000e+02 | -- | Inf
25.99/26.06 c 25.7s| 1 | 0 | 13686 | 11M| 0 | 514 | 808 |5557 |5557 | 808 |5687 | 211 | 0 | 0 | 2.710000e+02 | -- | Inf
26.78/26.84 c 26.4s| 1 | 0 | 13982 | 11M| 0 | 527 | 808 |5557 |5557 | 808 |5677 | 214 | 0 | 0 | 2.710000e+02 | -- | Inf
27.58/27.68 c 27.3s| 1 | 0 | 14269 | 11M| 0 | 546 | 808 |5557 |5557 | 808 |5682 | 219 | 0 | 0 | 2.710000e+02 | -- | Inf
28.38/28.47 c 28.1s| 1 | 0 | 14328 | 11M| 0 | 539 | 808 |5557 |5557 | 808 |5684 | 221 | 0 | 0 | 2.710000e+02 | -- | Inf
34.28/34.39 c 34.0s| 1 | 2 | 14328 | 11M| 0 | 539 | 808 |5557 |5557 | 808 |5684 | 221 | 0 | 22 | 2.710000e+02 | -- | Inf
236.11/236.25 o 394
236.11/236.25 c l 235s| 332 | 181 |198363 | 12M| 37 | - | 808 |6049 | 762 | 808 |5652 | 221 | 711 | 711 | 2.712500e+02 | 3.940000e+02 | 45.25%
236.11/236.28 o 393
236.11/236.28 c k 235s| 333 | 182 |198381 | 12M| 37 | 301 | 808 |6047 |2018 | 808 |5652 | 221 | 711 | 711 | 2.712500e+02 | 3.930000e+02 | 44.88%
846.32/846.65 o 391
846.32/846.65 c g 841s| 2978 | 1320 | 1239k| 18M| 38 | - | 808 |6479 |3355 | 808 |5652 | 221 |7571 |2037 | 2.819123e+02 | 3.910000e+02 | 38.70%
1205.92/1206.33 o 390
1205.92/1206.33 c R1199s| 4887 | 2232 | 1908k| 22M| 38 | 67 | 808 |6542 |1252 | 808 |5652 | 221 | 11k|2690 | 2.866524e+02 | 3.900000e+02 | 36.05%
1205.92/1206.34 o 388
1205.92/1206.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.92/1206.34 c k1199s| 4887 | 2229 | 1908k| 22M| 38 | 67 | 808 |6542 |1252 | 808 |5652 | 221 | 11k|2690 | 2.866524e+02 | 3.880000e+02 | 35.36%
1217.02/1217.40 o 387
1217.02/1217.40 c *1210s| 5138 | 2246 | 1927k| 22M| 44 | - | 808 |6567 |1093 | 808 |5652 | 221 | 12k|2717 | 2.869780e+02 | 3.870000e+02 | 34.85%
1217.02/1217.40 o 386
1217.02/1217.40 c k1210s| 5138 | 2245 | 1927k| 22M| 44 | - | 808 |6567 |1093 | 808 |5652 | 221 | 12k|2717 | 2.869780e+02 | 3.860000e+02 | 34.51%
1234.71/1235.19 o 385
1234.71/1235.19 c *1228s| 5334 | 2262 | 1958k| 22M| 44 | - | 808 |6559 |2423 | 808 |5652 | 221 | 12k|2765 | 2.872851e+02 | 3.850000e+02 | 34.01%
1241.81/1242.26 o 384
1241.81/1242.26 c R1235s| 5409 | 2261 | 1969k| 22M| 44 | 22 | 808 |6562 |1394 | 808 |5652 | 221 | 12k|2790 | 2.873118e+02 | 3.840000e+02 | 33.65%
1241.81/1242.27 o 373
1241.81/1242.27 c k1235s| 5409 | 2160 | 1969k| 22M| 44 | 22 | 808 |6562 |1394 | 808 |5652 | 221 | 12k|2790 | 2.873118e+02 | 3.730000e+02 | 29.82%
1241.91/1242.32 o 372
1241.91/1242.32 c *1235s| 5412 | 2145 | 1970k| 22M| 44 | - | 808 |6562 |1230 | 808 |5652 | 221 | 12k|2790 | 2.873118e+02 | 3.720000e+02 | 29.48%
1785.24/1785.82 c 1775s| 10000 | 3470 | 3148k| 28M| 46 | - | 808 |6576 |2272 | 808 |5652 | 221 | 19k|3795 | 2.900250e+02 | 3.720000e+02 | 28.26%
1800.06/1800.65 c
1800.06/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.65 c Solving Time (sec) : 1789.81
1800.06/1800.65 c Solving Nodes : 10223
1800.06/1800.65 c Primal Bound : +3.72000000000000e+02 (11 solutions)
1800.06/1800.65 c Dual Bound : +2.90082830788155e+02
1800.06/1800.65 c Gap : 28.24 %
1800.06/1800.65 c NODE 10223
1800.06/1800.65 c DUAL BOUND 290.083
1800.06/1800.65 c PRIMAL BOUND 372
1800.06/1800.65 c GAP 0.282392
1800.06/1800.65 s SATISFIABLE
1800.06/1800.65 v x808 -x807 x806 -x805 x804 -x803 -x802 x801 x800 -x799 x798 -x797 x796 -x795 -x794 x793 x792 -x791 x790 -x789 -x788 x787 -x786
1800.06/1800.65 v -x785 x784 -x783 -x782 x781 x780 -x779 x778 -x777 x776 -x775 x774 -x773 -x772 x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763
1800.06/1800.65 v -x762 x761 x760 -x759 -x758 x757 x756 -x755 x754 -x753 x752 -x751 x750 -x749 -x748 x747 x746 -x745 x744 -x743 -x742 -x741 -x740
1800.06/1800.65 v x739 x738 -x737 x736 -x735 x734 -x733 -x732 x731 x730 -x729 x728 -x727 x726 -x725 x724 -x723 -x722 x721 x720 -x719 -x718
1800.06/1800.65 v x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 x708 -x707 -x706 x705 x704 -x703 -x702 x701 x700 -x699 x698 -x697 x696 -x695
1800.06/1800.65 v -x694 x693 x692 -x691 x690 -x689 x688 -x687 -x686 x685 x684 -x683 x682 -x681 x680 -x679 x678 -x677 x676 -x675 -x674 x673 x672
1800.06/1800.65 v -x671 x670 -x669 x668 -x667 -x666 x665 x664 -x663 -x662 x661 x660 -x659 x658 -x657 x656 -x655 -x654 x653 x652 -x651 x650 -x649
1800.06/1800.65 v x648 -x647 x646 -x645 x644 -x643 -x642 x641 x640 -x639 -x638 x637 x636 -x635 x634 -x633 x632 -x631 x630 -x629 x628 -x627
1800.06/1800.65 v -x626 x625 x624 -x623 x622 -x621 x620 -x619 -x618 x617 x616 -x615 x614 -x613 -x612 x611 x610 -x609 x608 -x607 -x606 x605 x604
1800.06/1800.65 v -x603 x602 -x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 x582 -x581
1800.06/1800.65 v x580 -x579 -x578 x577 x576 -x575 -x574 x573 x572 -x571 x570 -x569 -x568 -x567 -x566 x565 x564 -x563 x562 -x561 x560 -x559
1800.06/1800.65 v -x558 x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 x548 -x547 -x546 x545 x544 -x543 -x542 x541 x540 -x539 x538 -x537 x536
1800.06/1800.65 v -x535 x534 -x533 x532 -x531 -x530 x529 x528 -x527 x526 -x525 -x524 x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 x514 -x513
1800.06/1800.65 v -x512 x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 x499 -x498 -x497 -x496 x495 -x494 -x493 -x492
1800.06/1800.65 v -x491 -x490 x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 x477 -x476 x475 -x474 -x473 -x472 x471 -x470
1800.06/1800.65 v -x469 -x468 -x467 -x466 x465 -x464 x463 x462 -x461 -x460 x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 x451 -x450 -x449 -x448
1800.06/1800.65 v x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426
1800.06/1800.65 v x425 -x424 x423 -x422 -x421 -x420 x419 x418 -x417 -x416 x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 x407 -x406 -x405 -x404
1800.06/1800.65 v x403 -x402 -x401 -x400 x399 -x398 -x397 x396 -x395 -x394 x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 x383 -x382
1800.06/1800.65 v x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360
1800.06/1800.65 v x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337
1800.06/1800.65 v -x336 x335 x334 -x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314
1800.06/1800.65 v x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291
1800.06/1800.65 v x290 -x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269
1800.06/1800.65 v x268 -x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246
1800.06/1800.65 v x245 x244 -x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223
1800.06/1800.65 v -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200
1800.06/1800.65 v x199 -x198 x197 -x196 x195 -x194 x193 x192 -x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178
1800.06/1800.65 v x177 -x176 x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155
1800.06/1800.65 v -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132
1800.06/1800.65 v x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110
1800.06/1800.65 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
1800.06/1800.65 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
1800.06/1800.65 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
1800.06/1800.65 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
1800.06/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.65 c Solving Time : 1789.81
1800.06/1800.65 c Original Problem :
1800.06/1800.65 c Problem name : HOME/instance-1868991-1245153449.opb
1800.06/1800.65 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.65 c Constraints : 5557 initial, 5557 maximal
1800.06/1800.65 c Presolved Problem :
1800.06/1800.65 c Problem name : t_HOME/instance-1868991-1245153449.opb
1800.06/1800.65 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.65 c Constraints : 5557 initial, 6714 maximal
1800.06/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.65 c probing : 0.06 0 0 0 0 0 0 0 0
1800.06/1800.65 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.06/1800.65 c root node : - 0 - - 0 - - - -
1800.06/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.65 c integral : 0 0 0 7439 0 24 272 0 0 14610
1800.06/1800.65 c logicor : 5557+ 40 115991 3 0 4849 582728 0 0 0
1800.06/1800.65 c countsols : 0 0 0 3 0 0 0 0 0 0
1800.06/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.65 c integral : 405.43 0.00 0.00 405.43 0.00
1800.06/1800.65 c logicor : 10.20 0.02 10.18 0.00 0.00
1800.06/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.65 c rootredcost : 0.07 8 0 0
1800.06/1800.65 c pseudoobj : 4.40 130370 70 154
1800.06/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.65 c propagation : 1.03 4849 4849 24909 41.2 2122 27.7 -
1800.06/1800.65 c infeasible LP : 0.27 879 0 0 0.0 0 0.0 0
1800.06/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.65 c applied globally : - - - 19436 29.5 - - -
1800.06/1800.65 c applied locally : - - - 0 0.0 - - -
1800.06/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.65 c cut pool : 0.03 39 - - 42 - (maximal pool size: 813)
1800.06/1800.65 c redcost : 0.43 7532 0 135 0 0
1800.06/1800.65 c impliedbounds : 0.05 40 0 0 0 0
1800.06/1800.65 c intobj : 0.00 0 0 0 0 0
1800.06/1800.65 c gomory : 13.12 40 0 0 15968 0
1800.06/1800.65 c strongcg : 2.46 20 0 0 10000 0
1800.06/1800.65 c cmir : 0.48 10 0 0 0 0
1800.06/1800.65 c flowcover : 0.37 10 0 0 0 0
1800.06/1800.65 c clique : 0.03 1 0 0 0 0
1800.06/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.65 c mcf : 0.00 1 0 0 0 0
1800.06/1800.66 c Pricers : Time Calls Vars
1800.06/1800.66 c problem variables: 0.00 0 0
1800.06/1800.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.66 c relpscost : 405.39 7436 24 272 0 0 14610
1800.06/1800.66 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.66 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.66 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.66 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.66 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.66 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.66 c random : 0.00 0 0 0 0 0 0
1800.06/1800.66 c Primal Heuristics : Time Calls Found
1800.06/1800.66 c LP solutions : 0.00 - 3
1800.06/1800.66 c pseudo solutions : 0.00 - 0
1800.06/1800.66 c oneopt : 0.03 8 4
1800.06/1800.66 c crossover : 0.42 6 0
1800.06/1800.66 c feaspump : 15.11 17 0
1800.06/1800.66 c objpscostdiving : 22.13 18 0
1800.06/1800.66 c rootsoldiving : 15.99 35 0
1800.06/1800.66 c coefdiving : 62.54 128 0
1800.06/1800.66 c veclendiving : 63.31 132 0
1800.06/1800.66 c guideddiving : 90.62 138 1
1800.06/1800.66 c pscostdiving : 67.00 139 0
1800.06/1800.66 c fracdiving : 80.09 139 0
1800.06/1800.66 c linesearchdiving : 43.44 139 1
1800.06/1800.66 c simplerounding : 0.01 0 0
1800.06/1800.66 c rounding : 4.74 3360 2
1800.06/1800.66 c shifting : 1.19 362 0
1800.06/1800.66 c intshifting : 0.00 0 0
1800.06/1800.66 c fixandinfer : 0.00 0 0
1800.06/1800.66 c intdiving : 0.00 0 0
1800.06/1800.66 c actconsdiving : 0.00 0 0
1800.06/1800.66 c octane : 0.00 0 0
1800.06/1800.66 c rens : 0.01 0 0
1800.06/1800.66 c rins : 0.00 0 0
1800.06/1800.66 c localbranching : 0.00 0 0
1800.06/1800.66 c mutation : 0.00 0 0
1800.06/1800.66 c dins : 0.00 0 0
1800.06/1800.66 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.66 c primal LP : 0.44 0 0 0.00 0.00
1800.06/1800.66 c dual LP : 867.96 8153 2395361 293.80 2759.76
1800.06/1800.66 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.66 c diving/probing LP: 421.60 23965 782872 32.67 1856.91
1800.06/1800.66 c strong branching : 403.87 3847 833147 216.57 2062.91
1800.06/1800.66 c (at root node) : - 22 6134 278.82 -
1800.06/1800.66 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.66 c B&B Tree :
1800.06/1800.66 c number of runs : 1
1800.06/1800.66 c nodes : 10223
1800.06/1800.66 c nodes (total) : 10223
1800.06/1800.66 c nodes left : 3494
1800.06/1800.66 c max depth : 46
1800.06/1800.66 c max depth (total): 46
1800.06/1800.66 c backtracks : 2580 (25.2%)
1800.06/1800.66 c delayed cutoffs : 749
1800.06/1800.66 c repropagations : 5436 (81261 domain reductions, 525 cutoffs)
1800.06/1800.66 c avg switch length: 7.59
1800.06/1800.66 c switching time : 5.97
1800.06/1800.66 c Solution :
1800.06/1800.66 c Solutions found : 11 (11 improvements)
1800.06/1800.66 c Primal Bound : +3.72000000000000e+02 (in run 1, after 5412 nodes, 1234.75 seconds, depth 25, found by <relaxation>)
1800.06/1800.66 c Dual Bound : +2.90082830788155e+02
1800.06/1800.66 c Gap : 28.24 %
1800.06/1800.66 c Root Dual Bound : +2.71000000000000e+02
1800.15/1800.72 c Time complete: 1800.17.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868991-1245153449/watcher-1868991-1245153449 -o /tmp/evaluation-result-1868991-1245153449/solver-1868991-1245153449 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868991-1245153449.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.01 1.02 1.00 3/64 2662
/proc/meminfo: memFree=1845656/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=5812 CPUtime=0
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 182937853 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2662/statm: 1453 502 332 1256 0 192 0
[startup+0.028893 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 2662
/proc/meminfo: memFree=1845656/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=10916 CPUtime=0.02
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 1713 0 0 0 2 0 0 0 18 0 1 0 182937853 11177984 1697 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2662/statm: 2729 1697 378 1256 0 1468 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10916
[startup+0.101904 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 2662
/proc/meminfo: memFree=1845656/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=14872 CPUtime=0.09
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 3084 0 0 0 8 1 0 0 18 0 1 0 182937853 15228928 2715 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 3718 2723 408 1256 0 2457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14872
[startup+0.301931 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 2662
/proc/meminfo: memFree=1845656/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=27740 CPUtime=0.29
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 6109 0 0 0 26 3 0 0 19 0 1 0 182937853 28405760 5739 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 6935 5739 480 1256 0 5674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27740
[startup+0.701987 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 2662
/proc/meminfo: memFree=1845656/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=39908 CPUtime=0.69
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 8510 0 0 0 64 5 0 0 22 0 1 0 182937853 40865792 8122 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 9977 8122 634 1256 0 8716 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39908
[startup+1.5011 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 2663
/proc/meminfo: memFree=1815312/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=39580 CPUtime=1.49
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 8753 0 0 0 141 8 0 0 25 0 1 0 182937853 40529920 8181 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 9895 8181 662 1256 0 8634 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39580
[startup+3.10233 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 2663
/proc/meminfo: memFree=1814288/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=42240 CPUtime=3.09
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 9265 0 0 0 299 10 0 0 25 0 1 0 182937853 43253760 8634 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 10560 8634 662 1256 0 9299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42240
[startup+6.30178 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 2663
/proc/meminfo: memFree=1812496/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=44608 CPUtime=6.29
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 11157 0 0 0 614 15 0 0 25 0 1 0 182937853 45678592 8888 1992294400 4194304 9342243 548682068736 18446744073709551615 6086488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 11152 8888 665 1256 0 9891 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44608
[startup+12.7017 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 2663
/proc/meminfo: memFree=1801256/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=56228 CPUtime=12.69
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 15582 0 0 0 1248 21 0 0 25 0 1 0 182937853 57577472 11679 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 14057 11679 665 1256 0 12796 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56228
[startup+25.5015 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 2663
/proc/meminfo: memFree=1799848/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=55152 CPUtime=25.48
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 21469 0 0 0 2520 28 0 0 25 0 1 0 182937853 56475648 11897 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 13788 11897 665 1256 0 12527 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55152
[startup+51.1011 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2663
/proc/meminfo: memFree=1799464/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=54540 CPUtime=51.07
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 29674 0 0 0 5069 38 0 0 25 0 1 0 182937853 55848960 12107 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 13635 12107 673 1256 0 12374 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54540
[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2663
/proc/meminfo: memFree=1799272/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=58844 CPUtime=102.25
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 42439 0 0 0 10173 52 0 0 25 0 1 0 182937853 60256256 12202 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 14711 12202 674 1256 0 13450 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 58844
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2663
/proc/meminfo: memFree=1798248/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=54988 CPUtime=162.23
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 56758 0 0 0 16153 70 0 0 25 0 1 0 182937853 56307712 12472 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 13747 12472 679 1256 0 12486 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 54988
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1799464/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=55708 CPUtime=222.21
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 79561 0 0 0 22128 93 0 0 25 0 1 0 182937853 57044992 12097 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 13927 12097 682 1256 0 12666 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 55708
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1798376/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=60856 CPUtime=282.19
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 149068 0 0 0 28076 143 0 0 25 0 1 0 182937853 62316544 12398 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 15214 12398 682 1256 0 13953 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 60856
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1798312/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=57540 CPUtime=342.18
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 235575 0 0 0 34014 204 0 0 25 0 1 0 182937853 58920960 12376 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 14385 12376 682 1256 0 13124 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 57540
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1798376/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=61312 CPUtime=402.16
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 332161 0 0 0 39951 265 0 0 25 0 1 0 182937853 62783488 12464 1992294400 4194304 9342243 548682068736 18446744073709551615 6018115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 15328 12464 682 1256 0 14067 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 61312
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1794536/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=60128 CPUtime=462.14
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 352173 0 0 0 45925 289 0 0 25 0 1 0 182937853 61571072 13039 1992294400 4194304 9342243 548682068736 18446744073709551615 6341732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 15032 13039 682 1256 0 13771 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 60128
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1795560/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=59780 CPUtime=522.12
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 424775 0 0 0 51869 343 0 0 25 0 1 0 182937853 61214720 13082 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 14945 13082 682 1256 0 13684 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 59780
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1795624/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=59732 CPUtime=582.1
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 497708 0 0 0 57815 395 0 0 25 0 1 0 182937853 61165568 13088 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 14933 13088 682 1256 0 13672 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 59732
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1795432/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=60528 CPUtime=642.09
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 611083 0 0 0 63743 466 0 0 25 0 1 0 182937853 61980672 13098 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 15132 13098 682 1256 0 13871 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 60528
[startup+702.301 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1789544/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=63636 CPUtime=882.02
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 661919 0 0 0 87654 548 0 0 25 0 1 0 182937853 65163264 14550 1992294400 4194304 9342243 548682068736 18446744073709551615 6064753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 15909 14550 682 1256 0 14648 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 63636
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1790184/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=64352 CPUtime=941.99
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 677892 0 0 0 93627 572 0 0 25 0 1 0 182937853 65896448 14510 1992294400 4194304 9342243 548682068736 18446744073709551615 6952110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 16088 14510 691 1256 0 14827 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 64352
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1789736/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=64648 CPUtime=1001.97
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 701247 0 0 0 99597 600 0 0 25 0 1 0 182937853 66199552 14503 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 16162 14503 691 1256 0 14901 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 64648
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1790056/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=65244 CPUtime=1061.96
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 779302 0 0 0 105542 654 0 0 25 0 1 0 182937853 66809856 14363 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 16311 14363 691 1256 0 15050 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 65244
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1785384/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=68240 CPUtime=1121.95
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 790284 0 0 0 111523 672 0 0 25 0 1 0 182937853 69877760 15562 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 17060 15562 691 1256 0 15799 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 68240
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1784232/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=69004 CPUtime=1181.92
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 798479 0 0 0 117501 691 0 0 25 0 1 0 182937853 70660096 15814 1992294400 4194304 9342243 548682068736 18446744073709551615 6064747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 17251 15814 691 1256 0 15990 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 69004
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1784232/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=69016 CPUtime=1241.91
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 808938 0 0 0 123481 710 0 0 25 0 1 0 182937853 70672384 15867 1992294400 4194304 9342243 548682068736 18446744073709551615 6911109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 17254 15867 692 1256 0 15993 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 69016
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1782824/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=69932 CPUtime=1301.9
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 818435 0 0 0 129459 731 0 0 25 0 1 0 182937853 71610368 16200 1992294400 4194304 9342243 548682068736 18446744073709551615 6879930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 17483 16200 704 1256 0 16222 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 69932
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1783976/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=75020 CPUtime=1361.87
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 849404 0 0 0 135425 762 0 0 25 0 1 0 182937853 76820480 15886 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 18755 15886 704 1256 0 17494 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 75020
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1784488/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=71056 CPUtime=1421.86
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 928347 0 0 0 141364 822 0 0 25 0 1 0 182937853 72761344 15731 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 17764 15731 704 1256 0 16503 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 71056
[startup+1482.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 2669
/proc/meminfo: memFree=1781672/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=73572 CPUtime=1481.84
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 959843 0 0 0 147333 851 0 0 25 0 1 0 182937853 75337728 16368 1992294400 4194304 9342243 548682068736 18446744073709551615 6976974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 18393 16368 704 1256 0 17132 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 73572
[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 2669
/proc/meminfo: memFree=1778408/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=75224 CPUtime=1541.82
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 1020437 0 0 0 153281 901 0 0 25 0 1 0 182937853 77029376 17209 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 18806 17209 704 1256 0 17545 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 75224
[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1778088/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=76136 CPUtime=1601.8
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 1027846 0 0 0 159259 921 0 0 25 0 1 0 182937853 77963264 17397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 19034 17397 704 1256 0 17773 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 76136
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1776360/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=76308 CPUtime=1661.78
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 1032463 0 0 0 165237 941 0 0 25 0 1 0 182937853 78139392 17769 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 19077 17769 704 1256 0 17816 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 76308
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1777960/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=76844 CPUtime=1721.77
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 1086665 0 0 0 171189 988 0 0 25 0 1 0 182937853 78688256 17366 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 19211 17366 704 1256 0 17950 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 76844
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1774952/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=78616 CPUtime=1781.75
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 1103968 0 0 0 177162 1013 0 0 25 0 1 0 182937853 80502784 18095 1992294400 4194304 9342243 548682068736 18446744073709551615 6908565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 19654 18095 704 1256 0 18393 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 78616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1774568/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=82620 CPUtime=1800.06
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 1107179 0 0 0 178985 1021 0 0 25 0 1 0 182937853 84602880 18199 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2662/statm: 20655 18199 704 1256 0 19394 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 82620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2669
/proc/meminfo: memFree=1774568/2055920 swapFree=4181384/4192956
[pid=2662] ppid=2660 vsize=57448 CPUtime=1800.15
/proc/2662/stat : 2662 (pbscip.linux.x8) R 2660 2662 2562 0 -1 4194304 1107180 0 0 0 178994 1021 0 0 17 0 1 0 182937853 58826752 13506 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0
/proc/2662/statm: 14362 13266 705 1256 0 13101 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 57448
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.18
CPU user time (s): 1789.95
CPU system time (s): 10.2224
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 89936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.95
system time used= 10.2224
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1107183
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= 7
involuntary context switches= 1931
runsolver used 1.2898 second user time and 3.90141 second system time
The end