0.00/0.06 c SCIP version 1.1.0.7
0.00/0.06 c LP-Solver SoPlex 1.4.1
0.00/0.06 c user parameter file <scip.set> not found - using default parameters
0.00/0.06 c read problem <HOME/instance-1869008-1245154125.opb>
0.00/0.06 c original problem has 1040 variables (1040 bin, 0 int, 0 impl, 0 cont) and 3656 constraints
0.00/0.08 c start presolving problem
0.00/0.08 c presolving:
0.09/0.10 c (round 1) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23740 impls, 0 clqs
0.09/0.14 c (round 2) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3286 upgd conss, 23740 impls, 0 clqs
0.09/0.16 c (round 3) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3646 upgd conss, 23740 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 101/1030 (9.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (4 rounds):
0.19/0.20 c 10 deleted vars, 10 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 23740 implications, 0 cliques
0.19/0.20 c presolved problem has 1030 variables (1030 bin, 0 int, 0 impl, 0 cont) and 3646 constraints
0.19/0.20 c 3646 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.12
0.19/0.20 c strange?!, PURESAT with obj
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = c 1620
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = c 1791
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = c 10000
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving problem
0.19/0.20 c
0.40/0.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.40/0.47 c 0.4s| 1 | 0 | 1529 |7466k| 0 | 742 |1030 |3646 |3646 |1030 |3646 | 0 | 0 | 0 | 2.397500e+02 | -- | Inf
2.09/2.15 c 2.0s| 1 | 0 | 6775 |7562k| 0 | 733 |1030 |3646 |3646 |1030 |3656 | 10 | 0 | 0 | 2.483750e+02 | -- | Inf
2.39/2.41 c 2.3s| 1 | 0 | 7006 |7633k| 0 | 723 |1030 |3646 |3646 |1030 |3669 | 23 | 0 | 0 | 2.565000e+02 | -- | Inf
2.59/2.67 c 2.5s| 1 | 0 | 7230 |7732k| 0 | 721 |1030 |3646 |3646 |1030 |3685 | 39 | 0 | 0 | 2.610090e+02 | -- | Inf
2.99/3.00 c 2.9s| 1 | 0 | 7563 |7972k| 0 | 720 |1030 |3646 |3646 |1030 |3698 | 52 | 0 | 0 | 2.647012e+02 | -- | Inf
3.29/3.36 c 3.2s| 1 | 0 | 7982 |8246k| 0 | 712 |1030 |3646 |3646 |1030 |3714 | 68 | 0 | 0 | 2.667984e+02 | -- | Inf
3.69/3.78 c 3.6s| 1 | 0 | 8474 |8570k| 0 | 725 |1030 |3646 |3646 |1030 |3732 | 86 | 0 | 0 | 2.690378e+02 | -- | Inf
4.19/4.26 c 4.1s| 1 | 0 | 8998 |8948k| 0 | 717 |1030 |3646 |3646 |1030 |3748 | 102 | 0 | 0 | 2.706627e+02 | -- | Inf
4.79/4.81 c 4.7s| 1 | 0 | 9582 |9258k| 0 | 723 |1030 |3646 |3646 |1030 |3763 | 117 | 0 | 0 | 2.718843e+02 | -- | Inf
5.29/5.34 c 5.2s| 1 | 0 | 10053 |9604k| 0 | 716 |1030 |3646 |3646 |1030 |3776 | 130 | 0 | 0 | 2.724895e+02 | -- | Inf
5.99/6.02 c 5.9s| 1 | 0 | 10440 |9888k| 0 | 720 |1030 |3646 |3646 |1030 |3790 | 144 | 0 | 0 | 2.732899e+02 | -- | Inf
6.60/6.61 c 6.5s| 1 | 0 | 10889 | 10M| 0 | 716 |1030 |3646 |3646 |1030 |3802 | 156 | 0 | 0 | 2.737178e+02 | -- | Inf
7.29/7.35 c 7.2s| 1 | 0 | 11303 | 10M| 0 | 725 |1030 |3646 |3646 |1030 |3814 | 168 | 0 | 0 | 2.739203e+02 | -- | Inf
8.09/8.16 c 8.0s| 1 | 0 | 11772 | 10M| 0 | 729 |1030 |3646 |3646 |1030 |3826 | 180 | 0 | 0 | 2.741228e+02 | -- | Inf
8.89/8.97 c 8.8s| 1 | 0 | 12258 | 11M| 0 | 726 |1030 |3646 |3646 |1030 |3836 | 190 | 0 | 0 | 2.743531e+02 | -- | Inf
9.79/9.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.79/9.88 c 9.7s| 1 | 0 | 12746 | 11M| 0 | 729 |1030 |3646 |3646 |1030 |3839 | 203 | 0 | 0 | 2.752274e+02 | -- | Inf
10.68/10.73 c 10.5s| 1 | 0 | 13093 | 11M| 0 | 721 |1030 |3646 |3646 |1030 |3846 | 210 | 0 | 0 | 2.759181e+02 | -- | Inf
11.49/11.51 c 11.3s| 1 | 0 | 13325 | 11M| 0 | 732 |1030 |3646 |3646 |1030 |3858 | 222 | 0 | 0 | 2.762611e+02 | -- | Inf
12.39/12.41 c 12.2s| 1 | 0 | 13709 | 11M| 0 | 727 |1030 |3646 |3646 |1030 |3864 | 228 | 0 | 0 | 2.765275e+02 | -- | Inf
13.19/13.28 c 13.1s| 1 | 0 | 14041 | 11M| 0 | 729 |1030 |3646 |3646 |1030 |3869 | 233 | 0 | 0 | 2.767765e+02 | -- | Inf
14.09/14.13 c 13.9s| 1 | 0 | 14251 | 12M| 0 | 719 |1030 |3646 |3646 |1030 |3875 | 239 | 0 | 0 | 2.769080e+02 | -- | Inf
14.59/14.68 c 14.4s| 1 | 0 | 14452 | 12M| 0 | 724 |1030 |3646 |3646 |1030 |3851 | 245 | 0 | 0 | 2.769385e+02 | -- | Inf
14.98/15.08 c 14.8s| 1 | 0 | 14493 | 12M| 0 | 723 |1030 |3646 |3646 |1030 |3853 | 247 | 0 | 0 | 2.769590e+02 | -- | Inf
18.70/18.76 c 18.5s| 1 | 2 | 14493 | 12M| 0 | 723 |1030 |3646 |3646 |1030 |3853 | 247 | 0 | 26 | 2.769590e+02 | -- | Inf
63.96/64.05 o 418
63.96/64.05 c R63.6s| 19 | 18 | 16203 | 12M| 16 | 192 |1030 |3646 |3269 |1030 |3793 | 247 | 0 | 587 | 2.777291e+02 | 4.180000e+02 | 50.51%
64.16/64.25 o 410
64.16/64.25 c R63.8s| 19 | 18 | 16212 | 12M| 16 | 118 |1030 |3646 |3264 |1030 |3793 | 247 | 0 | 604 | 2.777291e+02 | 4.100000e+02 | 47.63%
64.46/64.55 o 409
64.46/64.55 c R64.1s| 19 | 18 | 16219 | 12M| 16 | 115 |1030 |3646 |3262 |1030 |3793 | 247 | 0 | 626 | 2.777291e+02 | 4.090000e+02 | 47.27%
64.66/64.73 o 408
64.66/64.73 c R64.3s| 19 | 18 | 16221 | 12M| 16 | 113 |1030 |3646 |3260 |1030 |3793 | 247 | 0 | 640 | 2.777291e+02 | 4.080000e+02 | 46.91%
64.76/64.89 o 385
64.76/64.89 c R64.4s| 19 | 18 | 16227 | 12M| 16 | 35 |1030 |3646 |3255 |1030 |3793 | 247 | 0 | 653 | 2.777291e+02 | 3.850000e+02 | 38.62%
64.96/65.02 o 370
64.96/65.02 c *64.5s| 19 | 18 | 16228 | 12M| 16 | - |1030 |3646 |3250 |1030 |3793 | 247 | 0 | 665 | 2.777291e+02 | 3.700000e+02 | 33.22%
64.96/65.02 o 369
64.96/65.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.96/65.02 c k64.5s| 19 | 18 | 16228 | 12M| 16 | - |1030 |3646 |3250 |1030 |3793 | 247 | 0 | 665 | 2.777291e+02 | 3.690000e+02 | 32.86%
132.44/132.56 o 368
132.44/132.56 c R 132s| 1346 | 433 | 87924 | 13M| 57 | 161 |1030 |3717 |2715 |1030 |3793 | 247 | 71 |1237 | 2.801043e+02 | 3.680000e+02 | 31.38%
132.74/132.87 o 366
132.74/132.87 c k 132s| 1346 | 407 | 87924 | 13M| 57 | 161 |1030 |3717 |2715 |1030 |3793 | 247 | 71 |1246 | 2.801043e+02 | 3.660000e+02 | 30.67%
142.53/142.64 o 355
142.53/142.64 c C 142s| 1546 | 317 |100688 | 13M| 75 | 563 |1030 |3740 |3372 |1030 |3793 | 247 | 94 |1292 | 2.823990e+02 | 3.550000e+02 | 25.71%
142.64/142.72 o 353
142.64/142.72 c k 142s| 1547 | 297 |100805 | 13M| 75 | 541 |1030 |3740 |3332 |1030 |3793 | 247 | 94 |1292 | 2.823990e+02 | 3.530000e+02 | 25.00%
300.59/300.71 o 350
300.59/300.71 c * 299s| 5658 | 1033 |332908 | 15M| 77 | - |1030 |3757 |2411 |1030 |3793 | 247 | 160 |2224 | 2.880587e+02 | 3.500000e+02 | 21.50%
445.65/445.85 c 443s| 10000 | 1469 |529410 | 17M| 78 | 355 |1030 |3754 |3252 |1030 |3793 | 247 | 193 |3322 | 2.905277e+02 | 3.500000e+02 | 20.47%
733.26/733.53 c 729s| 20000 | 2309 |985452 | 19M| 78 | 331 |1030 |3785 |2931 |1030 |3793 | 247 | 260 |4801 | 2.941370e+02 | 3.500000e+02 | 18.99%
1065.27/1065.65 c 1059s| 30000 | 2939 | 1499k| 22M| 78 | - |1030 |3785 |2677 |1030 |3793 | 247 | 290 |6598 | 2.962968e+02 | 3.500000e+02 | 18.12%
1363.58/1364.08 c 1356s| 40000 | 3449 | 1977k| 23M| 78 | 359 |1030 |3784 |2925 |1030 |3793 | 247 | 307 |8082 | 2.980655e+02 | 3.500000e+02 | 17.42%
1641.10/1641.65 c 1632s| 50000 | 4116 | 2436k| 25M| 78 | - |1030 |3798 |3083 |1030 |3793 | 247 | 331 |9212 | 2.994885e+02 | 3.500000e+02 | 16.87%
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1789.66
1800.05/1800.61 c Solving Nodes : 55598
1800.05/1800.61 c Primal Bound : +3.50000000000000e+02 (48 solutions)
1800.05/1800.61 c Dual Bound : +2.99992990227222e+02
1800.05/1800.61 c Gap : 16.67 %
1800.05/1800.62 c NODE 55598
1800.05/1800.62 c DUAL BOUND 299.993
1800.05/1800.62 c PRIMAL BOUND 350
1800.05/1800.62 c GAP 0.166694
1800.05/1800.62 s SATISFIABLE
1800.05/1800.62 v -x1040 x1039 x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 x1024 -x1023 x1022 -x1021
1800.05/1800.62 v -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 x1013 x1012 -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 x1002
1800.05/1800.62 v -x1001 x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981
1800.05/1800.62 v x980 -x979 x978 -x977 -x976 -x975 -x974 x973 x972 -x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 x962 -x961 x960 -x959
1800.05/1800.62 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 x941 x940 -x939 x938 -x937
1800.05/1800.62 v -x936 -x935 -x934 x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 x924 -x923 x922 -x921 x920 -x919 -x918 -x917 x916 -x915
1800.05/1800.62 v x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 x900 -x899 x898 -x897 -x896 -x895 -x894
1800.05/1800.62 v x893 x892 -x891 x890 -x889 x888 -x887 x886 -x885 x884 -x883 x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 x874 -x873 -x872 -x871
1800.05/1800.62 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
1800.05/1800.62 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 -x837 x836 -x835 x834 -x833 -x832 -x831 -x830 -x829
1800.05/1800.62 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 -x820 x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807
1800.05/1800.62 v x806 -x805 x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1800.05/1800.62 v -x784 -x783 -x782 x781 x780 -x779 -x778 -x777 x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
1800.05/1800.62 v -x763 -x762 x761 x760 -x759 x758 -x757 -x756 -x755 -x754 x753 x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741
1800.05/1800.62 v x740 -x739 -x738 -x737 x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720
1800.05/1800.62 v -x719 -x718 -x717 x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 -x700 -x699 -x698
1800.05/1800.62 v -x697 x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 x678 -x677
1800.05/1800.62 v -x676 -x675 -x674 x673 x672 -x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 x660 -x659 -x658 -x657 x656 -x655
1800.05/1800.62 v x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 x640 -x639 x638 -x637 -x636 -x635 -x634 x633
1800.05/1800.62 v x632 -x631 x630 -x629 x628 -x627 x626 -x625 x624 -x623 x622 -x621 x620 -x619 -x618 -x617 x616 -x615 x614 -x613 -x612 -x611
1800.05/1800.62 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 x600 -x599 -x598 -x597 x596 -x595 x594 -x593 -x592 -x591 -x590 -x589
1800.05/1800.62 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 -x578 -x577 x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568
1800.05/1800.62 v -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 -x559 -x558 -x557 x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546
1800.05/1800.62 v -x545 -x544 -x543 -x542 x541 x540 -x539 -x538 -x537 x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525
1800.05/1800.62 v -x524 -x523 -x522 x521 x520 -x519 -x518 -x517 x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
1800.05/1800.62 v -x502 x501 -x500 x499 x498 -x497 x496 -x495 x494 -x493 x492 -x491 x490 -x489 x488 -x487 x486 -x485 x484 -x483 x482 -x481
1800.05/1800.62 v x480 -x479 x478 -x477 -x476 -x475 -x474 x473 x472 -x471 x470 -x469 x468 -x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459 -x458
1800.05/1800.62 v -x457 x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 -x439 x438 -x437 -x436
1800.05/1800.62 v -x435 -x434 x433 x432 -x431 x430 -x429 x428 -x427 x426 -x425 x424 -x423 x422 -x421 x420 -x419 -x418 -x417 x416 -x415 x414
1800.05/1800.62 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 x400 -x399 x398 -x397 -x396 -x395 -x394 x393 x392
1800.05/1800.62 v -x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379 -x378 -x377 x376 -x375 x374 -x373 -x372 -x371 -x370
1800.05/1800.62 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1800.05/1800.62 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1800.05/1800.62 v -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 x306
1800.05/1800.62 v -x305 -x304 x303 -x302 x301 x300 -x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 x286 -x285 -x284 x283
1800.05/1800.62 v -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260
1800.05/1800.62 v x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 x242 -x241 -x240 x239 -x238
1800.05/1800.62 v x237 -x236 x235 -x234 x233 -x232 x231 x230 -x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215
1800.05/1800.62 v -x214 x213 -x212 x211 x210 -x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 x198 -x197 -x196 x195 -x194 x193 -x192
1800.05/1800.62 v x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170
1800.05/1800.62 v x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 x158 -x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147
1800.05/1800.62 v -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 x126 -x125 -x124
1800.05/1800.62 v x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101
1800.05/1800.62 v -x100 x99 -x98 x97 -x96 x95 x94 -x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74
1800.05/1800.62 v x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 x62 -x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46
1800.05/1800.62 v x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 x30 -x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18
1800.05/1800.62 v x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1789.66
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-1869008-1245154125.opb
1800.05/1800.62 c Variables : 1040 (1040 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 3656 initial, 3656 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-1869008-1245154125.opb
1800.05/1800.62 c Variables : 1030 (1030 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 3646 initial, 3799 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 10 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.62 c linear : 0.05 0 0 0 0 0 10 0 0
1800.05/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 31255 0 83 3171 0 0 60332
1800.05/1800.62 c logicor : 3646+ 23 175254 2 0 199 1118928 0 0 0
1800.05/1800.62 c countsols : 0 0 0 2 0 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 375.83 0.00 0.00 375.83 0.00
1800.05/1800.62 c logicor : 6.63 0.02 6.61 0.00 0.00
1800.05/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c rootredcost : 0.14 10 0 0
1800.05/1800.62 c pseudoobj : 13.39 209194 0 0
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 0.01 199 199 303 4.6 11 3.5 -
1800.05/1800.62 c infeasible LP : 0.01 8 8 18 28.1 5 3.4 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 332 5.5 - - -
1800.05/1800.62 c applied locally : - - - 0 0.0 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.01 22 - - 812 - (maximal pool size: 2533)
1800.05/1800.62 c redcost : 1.92 35324 0 13291 0 0
1800.05/1800.62 c impliedbounds : 0.03 23 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 5.39 23 0 0 6915 0
1800.05/1800.62 c strongcg : 3.32 20 0 0 8799 0
1800.05/1800.62 c cmir : 0.33 10 0 0 0 0
1800.05/1800.62 c flowcover : 0.24 10 0 0 0 0
1800.05/1800.62 c clique : 0.01 1 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.01 1 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 375.74 31253 83 3171 0 0 60332
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 2
1800.05/1800.62 c pseudo solutions : 0.00 - 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c oneopt : 0.10 5 3
1800.05/1800.62 c feaspump : 1.40 1 0
1800.05/1800.62 c crossover : 0.76 10 1
1800.05/1800.62 c veclendiving : 11.28 38 0
1800.05/1800.62 c guideddiving : 12.09 38 0
1800.05/1800.62 c linesearchdiving : 19.16 38 0
1800.05/1800.62 c coefdiving : 12.82 39 0
1800.05/1800.62 c pscostdiving : 11.67 39 0
1800.05/1800.62 c fracdiving : 13.81 39 0
1800.05/1800.62 c objpscostdiving : 27.96 20 17
1800.05/1800.62 c rootsoldiving : 8.38 20 19
1800.05/1800.62 c simplerounding : 0.06 0 0
1800.05/1800.62 c rounding : 12.79 17127 6
1800.05/1800.62 c shifting : 2.23 752 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.01 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.02 0 0 0.00 0.00
1800.05/1800.62 c dual LP : 1166.03 56616 2477863 43.77 2125.04
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 106.07 8151 227955 27.97 2149.10
1800.05/1800.62 c strong branching : 368.20 9773 691173 70.72 1877.17
1800.05/1800.62 c (at root node) : - 26 5585 214.81 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 55598
1800.05/1800.62 c nodes (total) : 55598
1800.05/1800.62 c nodes left : 4390
1800.05/1800.62 c max depth : 78
1800.05/1800.62 c max depth (total): 78
1800.05/1800.62 c backtracks : 4784 (8.6%)
1800.05/1800.62 c delayed cutoffs : 1
1800.05/1800.62 c repropagations : 1738 (1243 domain reductions, 1 cutoffs)
1800.05/1800.62 c avg switch length: 3.58
1800.05/1800.62 c switching time : 10.12
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 48 (12 improvements)
1800.05/1800.62 c Primal Bound : +3.50000000000000e+02 (in run 1, after 5658 nodes, 298.72 seconds, depth 63, found by <relaxation>)
1800.05/1800.62 c Dual Bound : +2.99992990227222e+02
1800.05/1800.62 c Gap : 16.67 %
1800.05/1800.62 c Root Dual Bound : +2.76958976134097e+02
1800.05/1800.67 c Time complete: 1800.12.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869008-1245154125/watcher-1869008-1245154125 -o /tmp/evaluation-result-1869008-1245154125/solver-1869008-1245154125 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869008-1245154125.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 0.99 0.96 3/64 3876
/proc/meminfo: memFree=1849192/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=4648 CPUtime=0
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 499 0 0 0 0 0 0 0 18 0 1 0 183013550 4759552 483 1992294400 4194304 7823515 548682068736 18446744073709551615 5976930 0 0 4096 0 0 0 0 17 1 0 0
/proc/3876/statm: 1082 485 320 886 0 192 0
[startup+0.014313 s]
/proc/loadavg: 1.00 0.99 0.96 3/64 3876
/proc/meminfo: memFree=1849192/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=9728 CPUtime=0
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 1766 0 0 0 0 0 0 0 18 0 1 0 183013550 9961472 1748 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/3876/statm: 2432 1749 354 886 0 1542 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9728
[startup+0.101324 s]
/proc/loadavg: 1.00 0.99 0.96 3/64 3876
/proc/meminfo: memFree=1849192/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=18760 CPUtime=0.09
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 4112 0 0 0 8 1 0 0 18 0 1 0 183013550 19210240 3740 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 4690 3740 426 886 0 3800 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18760
[startup+0.301346 s]
/proc/loadavg: 1.00 0.99 0.96 3/64 3876
/proc/meminfo: memFree=1849192/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=28224 CPUtime=0.3
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 6600 0 0 0 27 3 0 0 19 0 1 0 183013550 28901376 6164 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 7056 6164 512 886 0 6166 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 28224
[startup+0.701392 s]
/proc/loadavg: 1.00 0.99 0.96 3/64 3876
/proc/meminfo: memFree=1849192/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=29288 CPUtime=0.69
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 6907 0 0 0 66 3 0 0 23 0 1 0 183013550 29990912 6447 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 7322 6447 526 886 0 6432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29288
[startup+1.50149 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1825376/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=29288 CPUtime=1.49
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 6907 0 0 0 146 3 0 0 25 0 1 0 183013550 29990912 6447 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 7322 6447 526 886 0 6432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29288
[startup+3.10168 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1824800/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=31648 CPUtime=3.09
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 7641 0 0 0 302 7 0 0 25 0 1 0 183013550 32407552 7127 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 7912 7127 552 886 0 7022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31648
[startup+6.30105 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1818080/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=37496 CPUtime=6.29
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 9164 0 0 0 619 10 0 0 25 0 1 0 183013550 38395904 8574 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 9374 8574 552 886 0 8484 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37496
[startup+12.7018 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1813608/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=40636 CPUtime=12.69
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 9961 0 0 0 1253 16 0 0 25 0 1 0 183013550 41611264 9355 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 10159 9355 552 886 0 9269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40636
[startup+25.5013 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1811112/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=42688 CPUtime=25.48
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 10593 0 0 0 2526 22 0 0 25 0 1 0 183013550 43712512 9965 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 10672 9965 556 886 0 9782 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42688
[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1811240/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=42688 CPUtime=51.06
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 10594 0 0 0 5073 33 0 0 25 0 1 0 183013550 43712512 9966 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 10672 9966 557 886 0 9782 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 42688
[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1812968/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=41164 CPUtime=102.25
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 15663 0 0 0 10162 63 0 0 25 0 1 0 183013550 42151936 9496 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 10291 9496 563 886 0 9401 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 41164
[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1812200/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=42040 CPUtime=162.23
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 22855 0 0 0 16122 101 0 0 25 0 1 0 183013550 43048960 9742 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 10510 9742 577 886 0 9620 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 42040
[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1811240/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=42636 CPUtime=222.21
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 30012 0 0 0 22083 138 0 0 25 0 1 0 183013550 43659264 9976 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 10659 9976 579 886 0 9769 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 42636
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1809256/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=44888 CPUtime=282.2
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 33927 0 0 0 28047 173 0 0 25 0 1 0 183013550 45965312 10461 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 11222 10461 579 886 0 10332 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 44888
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1808872/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=44848 CPUtime=342.18
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 40765 0 0 0 34006 212 0 0 25 0 1 0 183013550 45924352 10533 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 11212 10533 579 886 0 10322 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 44848
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1808616/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=44900 CPUtime=402.17
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 45307 0 0 0 39967 250 0 0 25 0 1 0 183013550 45977600 10545 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 11225 10545 579 886 0 10335 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 44900
[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1807400/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=46368 CPUtime=462.15
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 45654 0 0 0 45934 281 0 0 25 0 1 0 183013550 47480832 10892 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 11592 10892 579 886 0 10702 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 46368
[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1806312/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=47224 CPUtime=522.13
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 46652 0 0 0 51898 315 0 0 25 0 1 0 183013550 48357376 11147 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 11806 11147 579 886 0 10916 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 47224
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1805608/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=47980 CPUtime=582.11
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 46821 0 0 0 57860 351 0 0 25 0 1 0 183013550 49131520 11316 1992294400 4194304 7823515 548682068736 18446744073709551615 6237362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 11995 11316 579 886 0 11105 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 47980
[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1805544/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=47980 CPUtime=642.1
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 46824 0 0 0 63823 387 0 0 25 0 1 0 183013550 49131520 11319 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 11995 11319 579 886 0 11105 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 47980
[startup+702.301 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1802792/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=50988 CPUtime=822.04
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 48200 0 0 0 81717 487 0 0 25 0 1 0 183013550 52211712 11989 1992294400 4194304 7823515 548682068736 18446744073709551615 6237441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 12747 11989 579 886 0 11857 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 50988
[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1802024/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=51404 CPUtime=882.02
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 48387 0 0 0 87683 519 0 0 25 0 1 0 183013550 52637696 12176 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 12851 12176 579 886 0 11961 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 51404
[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1802024/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=51404 CPUtime=942
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 48387 0 0 0 93648 552 0 0 25 0 1 0 183013550 52637696 12176 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 12851 12176 579 886 0 11961 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 51404
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1801704/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=52004 CPUtime=1001.98
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 48457 0 0 0 99615 583 0 0 25 0 1 0 183013550 53252096 12246 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13001 12246 579 886 0 12111 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 52004
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1801640/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=52004 CPUtime=1061.97
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 48459 0 0 0 105579 618 0 0 25 0 1 0 183013550 53252096 12248 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13001 12248 579 886 0 12111 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 52004
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1801960/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=51684 CPUtime=1121.95
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 49129 0 0 0 111543 652 0 0 25 0 1 0 183013550 52924416 12173 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 12921 12173 579 886 0 12031 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 51684
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1800744/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=52808 CPUtime=1181.93
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 49416 0 0 0 117506 687 0 0 25 0 1 0 183013550 54075392 12460 1992294400 4194304 7823515 548682068736 18446744073709551615 6131114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13202 12460 579 886 0 12312 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 52808
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1799080/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=54468 CPUtime=1241.91
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 49827 0 0 0 123472 719 0 0 25 0 1 0 183013550 55775232 12871 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13617 12871 579 886 0 12727 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 54468
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1798760/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=54468 CPUtime=1301.9
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 49902 0 0 0 129439 751 0 0 25 0 1 0 183013550 55775232 12946 1992294400 4194304 7823515 548682068736 18446744073709551615 6237764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13617 12946 579 886 0 12727 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 54468
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1798696/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=54468 CPUtime=1361.88
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 49902 0 0 0 135402 786 0 0 25 0 1 0 183013550 55775232 12946 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13617 12946 579 886 0 12727 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 54468
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1798632/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=54676 CPUtime=1421.86
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 49904 0 0 0 141366 820 0 0 25 0 1 0 183013550 55988224 12948 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13669 12948 579 886 0 12779 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 54676
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1798120/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=55120 CPUtime=1481.84
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 50024 0 0 0 147330 854 0 0 25 0 1 0 183013550 56442880 13068 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13780 13068 579 886 0 12890 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 55120
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1797352/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=55752 CPUtime=1541.83
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 50223 0 0 0 153293 890 0 0 25 0 1 0 183013550 57090048 13267 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 13938 13267 579 886 0 13048 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 55752
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1797096/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=56032 CPUtime=1601.81
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 50297 0 0 0 159257 924 0 0 25 0 1 0 183013550 57376768 13341 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 14008 13341 579 886 0 13118 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 56032
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1797032/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=56188 CPUtime=1661.79
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 50301 0 0 0 165221 958 0 0 25 0 1 0 183013550 57536512 13345 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 14047 13345 579 886 0 13157 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 56188
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1796648/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=56608 CPUtime=1721.77
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 50383 0 0 0 171182 995 0 0 25 0 1 0 183013550 57966592 13427 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 14152 13427 579 886 0 13262 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 56608
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1796392/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=56608 CPUtime=1781.75
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 50448 0 0 0 177150 1025 0 0 25 0 1 0 183013550 57966592 13492 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 14152 13492 579 886 0 13262 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 56608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.96 2/65 3877
/proc/meminfo: memFree=1795752/2055920 swapFree=4191900/4192956
[pid=3876] ppid=3874 vsize=57312 CPUtime=1800.05
/proc/3876/stat : 3876 (pbscip.linux.x8) R 3874 3876 3460 0 -1 4194304 50610 0 0 0 178970 1035 0 0 25 0 1 0 183013550 58687488 13654 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3876/statm: 14328 13654 579 886 0 13438 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 57312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.13
CPU user time (s): 1789.76
CPU system time (s): 10.3704
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 59128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.76
system time used= 10.3704
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50615
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= 6
involuntary context switches= 3762
runsolver used 1.62975 second user time and 3.37049 second system time
The end