0.02/0.06 c SCIP version 1.1.0.7
0.02/0.06 c LP-Solver SoPlex 1.4.1
0.02/0.06 c user parameter file <scip.set> not found - using default parameters
0.02/0.06 c read problem <HOME/instance-1869104-1245158858.opb>
0.02/0.06 c original problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 3575 constraints
0.02/0.07 c start presolving problem
0.02/0.07 c presolving:
0.09/0.10 c (round 1) 20 del vars, 20 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22220 impls, 0 clqs
0.09/0.14 c (round 2) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3195 upgd conss, 22220 impls, 0 clqs
0.09/0.16 c (round 3) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3545 upgd conss, 22220 impls, 0 clqs
0.09/0.20 c (0.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/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 20 deleted vars, 30 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 22220 implications, 0 cliques
0.19/0.20 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 3545 constraints
0.19/0.20 c 3545 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.11
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.48/0.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.48/0.51 c 0.4s| 1 | 0 | 1510 |7262k| 0 | 720 |1000 |3545 |3545 |1000 |3545 | 0 | 0 | 0 | 2.362500e+02 | -- | Inf
1.29/1.39 c 1.3s| 1 | 0 | 4196 |7349k| 0 | 712 |1000 |3545 |3545 |1000 |3556 | 11 | 0 | 0 | 2.450000e+02 | -- | Inf
1.59/1.61 c 1.5s| 1 | 0 | 4280 |7448k| 0 | 711 |1000 |3545 |3545 |1000 |3567 | 22 | 0 | 0 | 2.457500e+02 | -- | Inf
1.78/1.86 c 1.7s| 1 | 0 | 4472 |7544k| 0 | 708 |1000 |3545 |3545 |1000 |3579 | 34 | 0 | 0 | 2.477428e+02 | -- | Inf
2.09/2.16 c 2.0s| 1 | 0 | 4776 |7696k| 0 | 697 |1000 |3545 |3545 |1000 |3591 | 46 | 0 | 0 | 2.525848e+02 | -- | Inf
2.38/2.46 c 2.3s| 1 | 0 | 5070 |7869k| 0 | 704 |1000 |3545 |3545 |1000 |3611 | 66 | 0 | 0 | 2.574997e+02 | -- | Inf
2.78/2.83 c 2.7s| 1 | 0 | 5496 |8103k| 0 | 692 |1000 |3545 |3545 |1000 |3628 | 83 | 0 | 0 | 2.606325e+02 | -- | Inf
3.09/3.18 c 3.0s| 1 | 0 | 5838 |8496k| 0 | 698 |1000 |3545 |3545 |1000 |3650 | 105 | 0 | 0 | 2.633964e+02 | -- | Inf
3.58/3.62 c 3.5s| 1 | 0 | 6238 |8847k| 0 | 691 |1000 |3545 |3545 |1000 |3667 | 122 | 0 | 0 | 2.653089e+02 | -- | Inf
3.99/4.09 c 3.9s| 1 | 0 | 6642 |9226k| 0 | 691 |1000 |3545 |3545 |1000 |3682 | 137 | 0 | 0 | 2.663255e+02 | -- | Inf
4.59/4.67 c 4.5s| 1 | 0 | 7100 |9539k| 0 | 679 |1000 |3545 |3545 |1000 |3698 | 153 | 0 | 0 | 2.675421e+02 | -- | Inf
5.19/5.25 c 5.1s| 1 | 0 | 7565 |9883k| 0 | 694 |1000 |3545 |3545 |1000 |3710 | 165 | 0 | 0 | 2.680991e+02 | -- | Inf
5.89/5.98 c 5.8s| 1 | 0 | 7946 | 10M| 0 | 703 |1000 |3545 |3545 |1000 |3715 | 175 | 0 | 0 | 2.687193e+02 | -- | Inf
6.68/6.75 c 6.6s| 1 | 0 | 8333 | 10M| 0 | 697 |1000 |3545 |3545 |1000 |3724 | 184 | 0 | 0 | 2.689940e+02 | -- | Inf
7.48/7.58 c 7.4s| 1 | 0 | 8637 | 10M| 0 | 699 |1000 |3545 |3545 |1000 |3732 | 192 | 0 | 0 | 2.698419e+02 | -- | Inf
8.29/8.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.29/8.37 c 8.2s| 1 | 0 | 8903 | 10M| 0 | 696 |1000 |3545 |3545 |1000 |3743 | 203 | 0 | 0 | 2.699293e+02 | -- | Inf
9.08/9.16 c 8.9s| 1 | 0 | 9202 | 10M| 0 | 698 |1000 |3545 |3545 |1000 |3751 | 211 | 0 | 0 | 2.700512e+02 | -- | Inf
9.89/9.94 c 9.7s| 1 | 0 | 9505 | 11M| 0 | 701 |1000 |3545 |3545 |1000 |3759 | 219 | 0 | 0 | 2.701140e+02 | -- | Inf
10.69/10.78 c 10.5s| 1 | 0 | 9817 | 11M| 0 | 701 |1000 |3545 |3545 |1000 |3741 | 228 | 0 | 0 | 2.701951e+02 | -- | Inf
11.38/11.50 c 11.2s| 1 | 0 | 9898 | 11M| 0 | 703 |1000 |3545 |3545 |1000 |3745 | 232 | 0 | 0 | 2.702156e+02 | -- | Inf
12.18/12.25 c 12.0s| 1 | 0 | 10045 | 11M| 0 | 698 |1000 |3545 |3545 |1000 |3747 | 234 | 0 | 0 | 2.703582e+02 | -- | Inf
12.58/12.65 c 12.4s| 1 | 0 | 10062 | 11M| 0 | 696 |1000 |3545 |3545 |1000 |3748 | 235 | 0 | 0 | 2.703582e+02 | -- | Inf
15.08/15.10 c 14.8s| 1 | 2 | 10062 | 11M| 0 | 696 |1000 |3545 |3545 |1000 |3748 | 235 | 0 | 21 | 2.703582e+02 | -- | Inf
53.57/53.63 o 398
53.57/53.63 c R53.2s| 19 | 18 | 11576 | 11M| 16 | 82 |1000 |3545 |3180 |1000 |3687 | 235 | 0 | 543 | 2.709350e+02 | 3.980000e+02 | 46.90%
53.77/53.86 o 381
53.77/53.86 c *53.4s| 19 | 18 | 11585 | 11M| 16 | - |1000 |3545 |3176 |1000 |3687 | 235 | 0 | 562 | 2.709350e+02 | 3.810000e+02 | 40.62%
53.77/53.86 o 379
53.77/53.86 c k53.4s| 19 | 18 | 11585 | 11M| 16 | - |1000 |3545 |3176 |1000 |3687 | 235 | 0 | 562 | 2.709350e+02 | 3.790000e+02 | 39.89%
54.28/54.32 o 374
54.28/54.32 c *53.9s| 20 | 17 | 11795 | 11M| 16 | - |1000 |3545 |3181 |1000 |3687 | 235 | 0 | 572 | 2.709350e+02 | 3.740000e+02 | 38.04%
54.28/54.32 o 372
54.28/54.32 c k53.9s| 20 | 17 | 11795 | 11M| 16 | - |1000 |3545 |3181 |1000 |3687 | 235 | 0 | 572 | 2.709350e+02 | 3.720000e+02 | 37.30%
76.27/76.33 o 371
76.27/76.33 c R75.8s| 137 | 69 | 15690 | 11M| 38 | 52 |1000 |3547 |3127 |1000 |3687 | 235 | 2 | 828 | 2.711249e+02 | 3.710000e+02 | 36.84%
76.27/76.33 o 360
76.27/76.33 c k75.8s| 137 | 40 | 15690 | 11M| 38 | - |1000 |3547 |3127 |1000 |3687 | 235 | 2 | 828 | 2.711249e+02 | 3.600000e+02 | 32.78%
76.47/76.50 o 355
76.47/76.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.47/76.50 c *75.9s| 146 | 39 | 16045 | 11M| 38 | - |1000 |3547 |3094 |1000 |3687 | 235 | 2 | 828 | 2.711249e+02 | 3.550000e+02 | 30.94%
76.47/76.50 o 353
76.47/76.50 c k75.9s| 146 | 38 | 16045 | 11M| 38 | - |1000 |3547 |3094 |1000 |3687 | 235 | 2 | 828 | 2.711249e+02 | 3.530000e+02 | 30.20%
80.27/80.34 o 350
80.27/80.34 c *79.7s| 275 | 69 | 21922 | 11M| 38 | - |1000 |3547 |2917 |1000 |3687 | 235 | 2 | 845 | 2.711249e+02 | 3.500000e+02 | 29.09%
80.27/80.34 o 347
80.27/80.34 c k79.7s| 275 | 60 | 21922 | 11M| 38 | - |1000 |3547 |2917 |1000 |3687 | 235 | 2 | 845 | 2.711249e+02 | 3.470000e+02 | 27.99%
82.37/82.48 o 346
82.37/82.48 c R81.9s| 336 | 67 | 24538 | 11M| 38 | 60 |1000 |3553 |2806 |1000 |3687 | 235 | 8 | 854 | 2.711249e+02 | 3.460000e+02 | 27.62%
82.37/82.48 o 337
82.37/82.48 c k81.9s| 336 | 52 | 24538 | 11M| 38 | - |1000 |3553 |2806 |1000 |3687 | 235 | 8 | 854 | 2.711249e+02 | 3.370000e+02 | 24.30%
83.76/83.85 o 336
83.76/83.85 c R83.2s| 389 | 48 | 26659 | 11M| 38 | 62 |1000 |3556 |3002 |1000 |3687 | 235 | 11 | 861 | 2.711249e+02 | 3.360000e+02 | 23.93%
83.76/83.86 o 335
83.76/83.86 c s83.2s| 389 | 46 | 26659 | 11M| 38 | 62 |1000 |3556 |3002 |1000 |3687 | 235 | 11 | 861 | 2.711249e+02 | 3.350000e+02 | 23.56%
83.76/83.86 o 330
83.76/83.86 c k83.2s| 389 | 37 | 26659 | 11M| 38 | - |1000 |3556 |3002 |1000 |3687 | 235 | 11 | 861 | 2.711249e+02 | 3.300000e+02 | 21.72%
86.77/86.89 o 329
86.77/86.89 c R86.2s| 498 | 38 | 30340 | 11M| 38 | 117 |1000 |3557 |3048 |1000 |3687 | 235 | 12 | 896 | 2.711249e+02 | 3.290000e+02 | 21.35%
86.77/86.89 o 328
86.77/86.89 c s86.2s| 498 | 37 | 30340 | 11M| 38 | 117 |1000 |3557 |3048 |1000 |3687 | 235 | 12 | 896 | 2.711249e+02 | 3.280000e+02 | 20.98%
86.77/86.90 o 323
86.77/86.90 c k86.2s| 498 | 29 | 30340 | 11M| 38 | - |1000 |3557 |3048 |1000 |3687 | 235 | 12 | 896 | 2.711249e+02 | 3.230000e+02 | 19.13%
107.66/107.76 o 322
107.66/107.76 c R 107s| 1134 | 118 | 55890 | 11M| 59 | 127 |1000 |3572 |2876 |1000 |3687 | 235 | 27 |1049 | 2.729583e+02 | 3.220000e+02 | 17.97%
107.66/107.76 o 316
107.66/107.76 c k 107s| 1134 | 87 | 55890 | 11M| 59 | - |1000 |3572 |2876 |1000 |3687 | 235 | 27 |1049 | 2.729583e+02 | 3.160000e+02 | 15.77%
112.76/112.81 o 312
112.76/112.81 c C 112s| 1334 | 80 | 62226 | 11M| 59 | - |1000 |3572 |2651 |1000 |3687 | 235 | 27 |1081 | 2.736344e+02 | 3.120000e+02 | 14.02%
112.76/112.84 o 309
112.76/112.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.76/112.84 c k 112s| 1335 | 66 | 62248 | 11M| 59 | 437 |1000 |3572 |3007 |1000 |3687 | 235 | 27 |1081 | 2.736344e+02 | 3.090000e+02 | 12.92%
123.26/123.32 o 308
123.26/123.32 c R 122s| 1718 | 73 | 74651 | 11M| 59 | 192 |1000 |3572 |2910 |1000 |3687 | 235 | 27 |1172 | 2.737095e+02 | 3.080000e+02 | 12.53%
123.26/123.32 o 302
123.26/123.32 c k 122s| 1718 | 50 | 74651 | 11M| 59 | 192 |1000 |3572 |2910 |1000 |3687 | 235 | 27 |1172 | 2.737095e+02 | 3.020000e+02 | 10.34%
392.29/392.40 c
392.29/392.40 c SCIP Status : problem is solved [optimal solution found]
392.29/392.40 c Solving Time (sec) : 389.96
392.29/392.40 c Solving Nodes : 9236
392.29/392.40 c Primal Bound : +3.02000000000000e+02 (35 solutions)
392.29/392.40 c Dual Bound : +3.02000000000000e+02
392.29/392.40 c Gap : 0.00 %
392.29/392.41 c NODE 9236
392.29/392.41 c DUAL BOUND 302
392.29/392.41 c PRIMAL BOUND 302
392.29/392.41 c GAP 0
392.29/392.41 s OPTIMUM FOUND
392.29/392.41 v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002
392.29/392.41 v x1001 -x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982
392.29/392.41 v -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 x961
392.29/392.41 v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 x941 -x940 -x939
392.29/392.41 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 x921 x920 -x919 x918
392.29/392.41 v -x917 x916 -x915 x914 -x913 x912 -x911 -x910 x909 x908 -x907 x906 -x905 x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896
392.29/392.41 v -x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875
392.29/392.41 v -x874 -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
392.29/392.41 v -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
392.29/392.41 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
392.29/392.41 v x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
392.29/392.41 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769
392.29/392.41 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 x760 -x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 -x750 x749 x748 -x747
392.29/392.41 v x746 -x745 x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725
392.29/392.41 v -x724 -x723 -x722 x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 x708 -x707 x706 -x705 x704 -x703
392.29/392.41 v x702 -x701 x700 -x699 x698 -x697 x696 -x695 x694 -x693 x692 -x691 -x690 x689 x688 -x687 x686 -x685 x684 -x683 x682 -x681 x680
392.29/392.41 v -x679 x678 -x677 x676 -x675 x674 -x673 x672 -x671 -x670 x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 -x660 -x659 -x658
392.29/392.41 v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 x640 -x639 x638 -x637 x636
392.29/392.41 v -x635 x634 -x633 x632 -x631 -x630 x629 x628 -x627 x626 -x625 x624 -x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613
392.29/392.41 v x612 -x611 -x610 x609 x608 -x607 x606 -x605 x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592
392.29/392.41 v -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570
392.29/392.41 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553 x552 -x551 -x550 x549 x548
392.29/392.41 v -x547 x546 -x545 x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527
392.29/392.41 v -x526 -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
392.29/392.41 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484
392.29/392.41 v -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
392.29/392.41 v -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
392.29/392.41 v x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421
392.29/392.41 v x420 -x419 x418 -x417 x416 -x415 x414 -x413 x412 -x411 -x410 x409 x408 -x407 x406 -x405 x404 -x403 x402 -x401 -x400 -x399 -x398
392.29/392.41 v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377
392.29/392.41 v -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 x360 -x359 x358 -x357 x356
392.29/392.41 v -x355 x354 -x353 x352 -x351 -x350 x349 x348 -x347 x346 -x345 x344 -x343 x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334
392.29/392.41 v -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312
392.29/392.41 v x311 -x310 x309 -x308 x307 x306 -x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289
392.29/392.41 v -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 x274 -x273 -x272 x271 -x270 x269 -x268 x267 -x266
392.29/392.41 v x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244
392.29/392.41 v x243 x242 -x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221
392.29/392.41 v -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 x210 -x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198
392.29/392.41 v x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 x178 -x177 -x176
392.29/392.41 v x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 x154 -x153
392.29/392.41 v -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130
392.29/392.41 v x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 x114 -x113 -x112 x111 -x110 x109 -x108 x107
392.29/392.41 v -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 x82 -x81
392.29/392.41 v -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 x55 -x54
392.29/392.41 v 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 x27 -x26
392.29/392.41 v 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
392.29/392.41 c SCIP Status : problem is solved [optimal solution found]
392.29/392.41 c Solving Time : 389.96
392.29/392.41 c Original Problem :
392.29/392.41 c Problem name : HOME/instance-1869104-1245158858.opb
392.29/392.41 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
392.29/392.41 c Constraints : 3575 initial, 3575 maximal
392.29/392.41 c Presolved Problem :
392.29/392.41 c Problem name : t_HOME/instance-1869104-1245158858.opb
392.29/392.41 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
392.29/392.41 c Constraints : 3545 initial, 3598 maximal
392.29/392.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
392.29/392.41 c trivial : 0.00 0 0 0 0 0 0 0 0
392.29/392.41 c dualfix : 0.00 20 0 0 0 0 0 0 0
392.29/392.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
392.29/392.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
392.29/392.41 c implics : 0.00 0 0 0 0 0 0 0 0
392.29/392.41 c probing : 0.03 0 0 0 0 0 0 0 0
392.29/392.41 c linear : 0.05 0 0 0 0 0 30 0 0
392.29/392.41 c logicor : 0.03 0 0 0 0 0 0 0 0
392.29/392.41 c root node : - 24 - - 24 - - - -
392.29/392.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
392.29/392.41 c integral : 0 0 0 5094 0 22 1397 0 0 9428
392.29/392.41 c logicor : 3545+ 22 26537 4 0 51 178171 0 0 0
392.29/392.41 c countsols : 0 0 0 4 0 0 0 0 0 0
392.29/392.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
392.29/392.41 c integral : 147.16 0.00 0.00 147.16 0.00
392.29/392.41 c logicor : 1.03 0.00 1.03 0.00 0.00
392.29/392.41 c countsols : 0.00 0.00 0.00 0.00 0.00
392.29/392.41 c Propagators : Time Calls Cutoffs DomReds
392.29/392.41 c rootredcost : 0.01 13 0 0
392.29/392.41 c pseudoobj : 2.29 32609 0 0
392.29/392.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
392.29/392.41 c propagation : 0.00 51 51 62 3.9 0 0.0 -
392.29/392.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
392.29/392.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
392.29/392.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
392.29/392.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
392.29/392.41 c applied globally : - - - 62 3.9 - - -
392.29/392.41 c applied locally : - - - 0 0.0 - - -
392.29/392.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
392.29/392.41 c cut pool : 0.04 21 - - 666 - (maximal pool size: 2165)
392.29/392.41 c redcost : 0.29 5806 0 1997 0 0
392.29/392.41 c impliedbounds : 0.01 22 0 0 0 0
392.29/392.41 c intobj : 0.00 0 0 0 0 0
392.29/392.41 c gomory : 4.76 22 0 0 6351 0
392.29/392.41 c strongcg : 3.30 20 0 0 7737 0
392.29/392.41 c cmir : 0.33 10 0 0 1 0
392.29/392.41 c flowcover : 0.24 10 0 0 1 0
392.29/392.41 c clique : 0.01 1 0 0 0 0
392.29/392.41 c zerohalf : 0.00 0 0 0 0 0
392.29/392.41 c mcf : 0.00 1 0 0 0 0
392.29/392.41 c Pricers : Time Calls Vars
392.29/392.41 c problem variables: 0.00 0 0
392.29/392.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
392.29/392.41 c relpscost : 147.15 5090 22 1397 0 0 9428
392.29/392.41 c pscost : 0.00 0 0 0 0 0 0
392.29/392.41 c inference : 0.00 0 0 0 0 0 0
392.29/392.41 c mostinf : 0.00 0 0 0 0 0 0
392.29/392.41 c leastinf : 0.00 0 0 0 0 0 0
392.29/392.41 c fullstrong : 0.00 0 0 0 0 0 0
392.29/392.41 c allfullstrong : 0.00 0 0 0 0 0 0
392.29/392.41 c random : 0.00 0 0 0 0 0 0
392.29/392.41 c Primal Heuristics : Time Calls Found
392.29/392.41 c LP solutions : 0.00 - 4
392.29/392.41 c pseudo solutions : 0.00 - 0
392.29/392.41 c intshifting : 0.00 0 0
392.29/392.41 c oneopt : 0.02 12 11
392.29/392.41 c coefdiving : 0.15 2 0
392.29/392.41 c pscostdiving : 0.07 2 0
392.29/392.41 c fracdiving : 0.54 2 0
392.29/392.41 c veclendiving : 0.41 2 0
392.29/392.41 c linesearchdiving : 0.19 2 0
392.29/392.41 c guideddiving : 0.23 2 0
392.29/392.41 c feaspump : 0.64 1 0
392.29/392.41 c objpscostdiving : 2.37 2 2
392.29/392.41 c rootsoldiving : 0.60 2 2
392.29/392.41 c crossover : 0.48 9 1
392.29/392.41 c simplerounding : 0.01 2 0
392.29/392.41 c rounding : 5.40 5111 7
392.29/392.41 c shifting : 2.09 538 8
392.29/392.41 c fixandinfer : 0.00 0 0
392.29/392.41 c intdiving : 0.00 0 0
392.29/392.41 c actconsdiving : 0.00 0 0
392.29/392.41 c octane : 0.00 0 0
392.29/392.41 c rens : 0.01 0 0
392.29/392.41 c rins : 0.00 0 0
392.29/392.41 c localbranching : 0.00 0 0
392.29/392.41 c mutation : 0.00 0 0
392.29/392.41 c dins : 0.00 0 0
392.29/392.41 c LP : Time Calls Iterations Iter/call Iter/sec
392.29/392.41 c primal LP : 0.00 0 0 0.00 -
392.29/392.41 c dual LP : 203.92 9561 406440 42.51 1993.13
392.29/392.41 c barrier LP : 0.00 0 0 0.00 -
392.29/392.41 c diving/probing LP: 4.78 296 12391 41.86 2592.26
392.29/392.41 c strong branching : 145.86 3202 269541 84.18 1847.94
392.29/392.41 c (at root node) : - 21 3538 168.48 -
392.29/392.41 c conflict analysis: 0.00 0 0 0.00 -
392.29/392.41 c B&B Tree :
392.29/392.41 c number of runs : 1
392.29/392.41 c nodes : 9236
392.29/392.41 c nodes (total) : 9236
392.29/392.41 c nodes left : 0
392.29/392.41 c max depth : 69
392.29/392.41 c max depth (total): 69
392.29/392.41 c backtracks : 682 (7.4%)
392.29/392.41 c delayed cutoffs : 1
392.29/392.41 c repropagations : 663 (213 domain reductions, 0 cutoffs)
392.29/392.41 c avg switch length: 2.73
392.29/392.41 c switching time : 1.37
392.29/392.41 c Solution :
392.29/392.41 c Solutions found : 35 (25 improvements)
392.29/392.41 c Primal Bound : +3.02000000000000e+02 (in run 1, after 1718 nodes, 122.38 seconds, depth 43, found by <oneopt>)
392.29/392.41 c Dual Bound : +3.02000000000000e+02
392.29/392.41 c Gap : 0.00 %
392.29/392.41 c Root Dual Bound : +2.70358224404808e+02
392.29/392.44 c Time complete: 392.33.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869104-1245158858/watcher-1869104-1245158858 -o /tmp/evaluation-result-1869104-1245158858/solver-1869104-1245158858 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869104-1245158858.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: 0.99 0.97 0.99 2/64 2977
/proc/meminfo: memFree=1922352/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=4328 CPUtime=0
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 183483169 4431872 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0
/proc/2977/statm: 1162 474 307 886 0 272 0
[startup+0.037013 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 2977
/proc/meminfo: memFree=1922352/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=10236 CPUtime=0.02
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 1895 0 0 0 2 0 0 0 18 0 1 0 183483169 10481664 1877 1992294400 4194304 7823515 548682068736 18446744073709551615 6896431 0 0 4096 0 0 0 0 17 1 0 0
/proc/2977/statm: 2559 1877 354 886 0 1669 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10236
[startup+0.101019 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 2977
/proc/meminfo: memFree=1922352/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=19616 CPUtime=0.09
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 4217 0 0 0 8 1 0 0 18 0 1 0 183483169 20086784 3845 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 4904 3853 426 886 0 4014 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19616
[startup+0.301038 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 2977
/proc/meminfo: memFree=1922352/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=26772 CPUtime=0.29
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 6211 0 0 0 26 3 0 0 19 0 1 0 183483169 27414528 5790 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 6693 5790 512 886 0 5803 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26772
[startup+0.701078 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 2977
/proc/meminfo: memFree=1922352/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=27676 CPUtime=0.69
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 6529 0 0 0 65 4 0 0 23 0 1 0 183483169 28340224 6089 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 6919 6089 526 886 0 6029 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27676
[startup+1.50116 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1900008/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=28460 CPUtime=1.49
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 6672 0 0 0 142 7 0 0 25 0 1 0 183483169 29143040 6223 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 7115 6223 552 886 0 6225 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28460
[startup+3.10132 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1897768/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=32016 CPUtime=3.09
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 7733 0 0 0 300 9 0 0 25 0 1 0 183483169 32784384 7227 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 8004 7227 552 886 0 7114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32016
[startup+6.30163 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1890600/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39544 CPUtime=6.29
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 9579 0 0 0 616 13 0 0 25 0 1 0 183483169 40493056 9030 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9886 9030 552 886 0 8996 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39544
[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887848/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39544 CPUtime=12.68
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 9655 0 0 0 1248 20 0 0 25 0 1 0 183483169 40493056 9084 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9886 9084 552 886 0 8996 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39544
[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1886504/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=40524 CPUtime=25.48
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 9995 0 0 0 2522 26 0 0 25 0 1 0 183483169 41496576 9424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 10131 9424 556 886 0 9241 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40524
[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1886568/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=40524 CPUtime=51.08
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 9996 0 0 0 5070 38 0 0 25 0 1 0 183483169 41496576 9425 1992294400 4194304 7823515 548682068736 18446744073709551615 6236694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 10131 9425 557 886 0 9241 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40524
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39924 CPUtime=102.26
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 12735 0 0 0 10159 67 0 0 25 0 1 0 183483169 40882176 9282 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9981 9282 564 886 0 9091 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 39924
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39852 CPUtime=162.24
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 24718 0 0 0 16117 107 0 0 25 0 1 0 183483169 40808448 9292 1992294400 4194304 7823515 548682068736 18446744073709551615 6237471 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9963 9292 577 886 0 9073 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 39852
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887016/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39912 CPUtime=222.23
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 30814 0 0 0 22083 140 0 0 25 0 1 0 183483169 40869888 9292 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9978 9292 577 886 0 9088 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 39912
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887464/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39412 CPUtime=282.21
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 33878 0 0 0 28050 171 0 0 25 0 1 0 183483169 40357888 9175 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9853 9175 577 886 0 8963 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 39412
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1886504/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=40372 CPUtime=342.2
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 34107 0 0 0 34018 202 0 0 25 0 1 0 183483169 41340928 9404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 10093 9404 577 886 0 9203 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 40372
Solver just ended. Dumping a history of the last processes samples
[startup+358.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1886504/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=40372 CPUtime=358.2
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 34107 0 0 0 35609 211 0 0 25 0 1 0 183483169 41340928 9404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 10093 9404 577 886 0 9203 0
Current children cumulated CPU time (s) 358.2
Current children cumulated vsize (KiB) 40372
[startup+371.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39904 CPUtime=370.99
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 36973 0 0 0 36882 217 0 0 25 0 1 0 183483169 40861696 9212 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9976 9212 577 886 0 9086 0
Current children cumulated CPU time (s) 370.99
Current children cumulated vsize (KiB) 39904
[startup+383.905 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39904 CPUtime=383.79
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 36984 0 0 0 38156 223 0 0 25 0 1 0 183483169 40861696 9223 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9976 9223 577 886 0 9086 0
Current children cumulated CPU time (s) 383.79
Current children cumulated vsize (KiB) 39904
[startup+387.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39904 CPUtime=386.99
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 36985 0 0 0 38474 225 0 0 25 0 1 0 183483169 40861696 9224 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9976 9224 577 886 0 9086 0
Current children cumulated CPU time (s) 386.99
Current children cumulated vsize (KiB) 39904
[startup+390.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39904 CPUtime=390.19
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 36985 0 0 0 38792 227 0 0 25 0 1 0 183483169 40861696 9224 1992294400 4194304 7823515 548682068736 18446744073709551615 6237717 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9976 9224 577 886 0 9086 0
Current children cumulated CPU time (s) 390.19
Current children cumulated vsize (KiB) 39904
[startup+391.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39904 CPUtime=390.99
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 36985 0 0 0 38871 228 0 0 25 0 1 0 183483169 40861696 9224 1992294400 4194304 7823515 548682068736 18446744073709551615 6161828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9976 9224 577 886 0 9086 0
Current children cumulated CPU time (s) 390.99
Current children cumulated vsize (KiB) 39904
[startup+391.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39904 CPUtime=391.78
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 36985 0 0 0 38950 228 0 0 25 0 1 0 183483169 40861696 9224 1992294400 4194304 7823515 548682068736 18446744073709551615 6237130 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9976 9224 577 886 0 9086 0
Current children cumulated CPU time (s) 391.78
Current children cumulated vsize (KiB) 39904
[startup+392.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39904 CPUtime=392.19
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 36985 0 0 0 38990 229 0 0 25 0 1 0 183483169 40861696 9224 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9976 9224 577 886 0 9086 0
Current children cumulated CPU time (s) 392.19
Current children cumulated vsize (KiB) 39904
[startup+392.401 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2978
/proc/meminfo: memFree=1887080/2055920 swapFree=4181364/4192956
[pid=2977] ppid=2975 vsize=39904 CPUtime=392.29
/proc/2977/stat : 2977 (pbscip.linux.x8) R 2975 2977 2870 0 -1 4194304 36985 0 0 0 39000 229 0 0 25 0 1 0 183483169 40861696 9224 1992294400 4194304 7823515 548682068736 18446744073709551615 6254161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2977/statm: 9976 9224 577 886 0 9086 0
Current children cumulated CPU time (s) 392.29
Current children cumulated vsize (KiB) 39904
Child status: 0
Real time (s): 392.447
CPU time (s): 392.34
CPU user time (s): 390.042
CPU system time (s): 2.29865
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 52492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 390.042
system time used= 2.29865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36990
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= 2
involuntary context switches= 529
runsolver used 0.318951 second user time and 0.809876 second system time
The end