0.00/0.03 c SCIP version 1.1.0.7
0.00/0.03 c LP-Solver SoPlex 1.4.1
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c read problem <HOME/instance-3732563-1338695632.opb>
0.00/0.03 c original problem has 1040 variables (1040 bin, 0 int, 0 impl, 0 cont) and 3656 constraints
0.00/0.03 c start presolving problem
0.00/0.03 c presolving:
0.03/0.04 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.03/0.06 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.03/0.07 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.03/0.08 c (0.1s) probing: 101/1030 (9.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.08 c presolving (4 rounds):
0.03/0.08 c 10 deleted vars, 10 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.08 c 23740 implications, 0 cliques
0.03/0.08 c presolved problem has 1030 variables (1030 bin, 0 int, 0 impl, 0 cont) and 3646 constraints
0.03/0.08 c 3646 constraints of type <logicor>
0.03/0.08 c transformed objective value is always integral (scale: 1)
0.03/0.08 c Presolving Time: 0.05
0.03/0.09 c strange?!, PURESAT with obj
0.03/0.09 c -----------------------------------------------------------------------------------------------
0.03/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.09 c limits/memory = c 13950
0.03/0.09 c # maximal time in seconds to run
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.09 c limits/time = c 1791
0.03/0.09 c # frequency for displaying node information lines
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.09 c display/freq = c 10000
0.03/0.09 c -----------------------------------------------------------------------------------------------
0.03/0.09 c start solving problem
0.03/0.09 c
0.19/0.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.2s| 1 | 0 | 1529 |7466k| 0 | 742 |1030 |3646 |3646 |1030 |3646 | 0 | 0 | 0 | 2.397500e+02 | -- | Inf
0.89/0.92 c 0.9s| 1 | 0 | 6775 |7562k| 0 | 733 |1030 |3646 |3646 |1030 |3656 | 10 | 0 | 0 | 2.483750e+02 | -- | Inf
1.00/1.03 c 1.0s| 1 | 0 | 7006 |7633k| 0 | 723 |1030 |3646 |3646 |1030 |3669 | 23 | 0 | 0 | 2.565000e+02 | -- | Inf
1.09/1.15 c 1.1s| 1 | 0 | 7230 |7732k| 0 | 721 |1030 |3646 |3646 |1030 |3685 | 39 | 0 | 0 | 2.610090e+02 | -- | Inf
1.18/1.29 c 1.2s| 1 | 0 | 7563 |7972k| 0 | 720 |1030 |3646 |3646 |1030 |3698 | 52 | 0 | 0 | 2.647012e+02 | -- | Inf
1.38/1.45 c 1.4s| 1 | 0 | 7982 |8246k| 0 | 712 |1030 |3646 |3646 |1030 |3714 | 68 | 0 | 0 | 2.667984e+02 | -- | Inf
1.59/1.63 c 1.6s| 1 | 0 | 8474 |8570k| 0 | 725 |1030 |3646 |3646 |1030 |3732 | 86 | 0 | 0 | 2.690378e+02 | -- | Inf
1.79/1.84 c 1.8s| 1 | 0 | 8998 |8948k| 0 | 717 |1030 |3646 |3646 |1030 |3748 | 102 | 0 | 0 | 2.706627e+02 | -- | Inf
1.99/2.08 c 2.0s| 1 | 0 | 9582 |9258k| 0 | 723 |1030 |3646 |3646 |1030 |3763 | 117 | 0 | 0 | 2.718843e+02 | -- | Inf
2.29/2.30 c 2.2s| 1 | 0 | 10053 |9604k| 0 | 716 |1030 |3646 |3646 |1030 |3776 | 130 | 0 | 0 | 2.724895e+02 | -- | Inf
2.48/2.59 c 2.5s| 1 | 0 | 10440 |9888k| 0 | 720 |1030 |3646 |3646 |1030 |3790 | 144 | 0 | 0 | 2.732899e+02 | -- | Inf
2.79/2.85 c 2.8s| 1 | 0 | 10889 | 10M| 0 | 716 |1030 |3646 |3646 |1030 |3802 | 156 | 0 | 0 | 2.737178e+02 | -- | Inf
3.09/3.15 c 3.1s| 1 | 0 | 11303 | 10M| 0 | 725 |1030 |3646 |3646 |1030 |3814 | 168 | 0 | 0 | 2.739203e+02 | -- | Inf
3.39/3.49 c 3.4s| 1 | 0 | 11772 | 10M| 0 | 729 |1030 |3646 |3646 |1030 |3826 | 180 | 0 | 0 | 2.741228e+02 | -- | Inf
3.78/3.82 c 3.8s| 1 | 0 | 12258 | 11M| 0 | 726 |1030 |3646 |3646 |1030 |3836 | 190 | 0 | 0 | 2.743531e+02 | -- | Inf
4.09/4.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.19 c 4.1s| 1 | 0 | 12746 | 11M| 0 | 729 |1030 |3646 |3646 |1030 |3839 | 203 | 0 | 0 | 2.752274e+02 | -- | Inf
4.49/4.54 c 4.5s| 1 | 0 | 13093 | 11M| 0 | 721 |1030 |3646 |3646 |1030 |3846 | 210 | 0 | 0 | 2.759181e+02 | -- | Inf
4.78/4.84 c 4.8s| 1 | 0 | 13325 | 11M| 0 | 732 |1030 |3646 |3646 |1030 |3858 | 222 | 0 | 0 | 2.762611e+02 | -- | Inf
5.09/5.18 c 5.1s| 1 | 0 | 13709 | 11M| 0 | 727 |1030 |3646 |3646 |1030 |3864 | 228 | 0 | 0 | 2.765275e+02 | -- | Inf
5.49/5.51 c 5.4s| 1 | 0 | 14041 | 11M| 0 | 729 |1030 |3646 |3646 |1030 |3869 | 233 | 0 | 0 | 2.767765e+02 | -- | Inf
5.78/5.83 c 5.7s| 1 | 0 | 14251 | 12M| 0 | 719 |1030 |3646 |3646 |1030 |3875 | 239 | 0 | 0 | 2.769080e+02 | -- | Inf
5.99/6.04 c 6.0s| 1 | 0 | 14452 | 12M| 0 | 724 |1030 |3646 |3646 |1030 |3851 | 245 | 0 | 0 | 2.769385e+02 | -- | Inf
6.09/6.19 c 6.1s| 1 | 0 | 14493 | 12M| 0 | 723 |1030 |3646 |3646 |1030 |3853 | 247 | 0 | 0 | 2.769590e+02 | -- | Inf
7.70/7.75 c 7.6s| 1 | 2 | 14493 | 12M| 0 | 723 |1030 |3646 |3646 |1030 |3853 | 247 | 0 | 26 | 2.769590e+02 | -- | Inf
27.08/27.18 o 418
27.08/27.18 c R27.0s| 19 | 18 | 16203 | 12M| 16 | 192 |1030 |3646 |3269 |1030 |3793 | 247 | 0 | 587 | 2.777291e+02 | 4.180000e+02 | 50.51%
27.18/27.27 o 410
27.18/27.27 c R27.1s| 19 | 18 | 16212 | 12M| 16 | 118 |1030 |3646 |3264 |1030 |3793 | 247 | 0 | 604 | 2.777291e+02 | 4.100000e+02 | 47.63%
27.28/27.39 o 409
27.28/27.39 c R27.2s| 19 | 18 | 16219 | 12M| 16 | 115 |1030 |3646 |3262 |1030 |3793 | 247 | 0 | 626 | 2.777291e+02 | 4.090000e+02 | 47.27%
27.39/27.46 o 408
27.39/27.46 c R27.3s| 19 | 18 | 16221 | 12M| 16 | 113 |1030 |3646 |3260 |1030 |3793 | 247 | 0 | 640 | 2.777291e+02 | 4.080000e+02 | 46.91%
27.49/27.53 o 385
27.49/27.53 c R27.3s| 19 | 18 | 16227 | 12M| 16 | 35 |1030 |3646 |3255 |1030 |3793 | 247 | 0 | 653 | 2.777291e+02 | 3.850000e+02 | 38.62%
27.49/27.58 o 370
27.49/27.58 c *27.4s| 19 | 18 | 16228 | 12M| 16 | - |1030 |3646 |3250 |1030 |3793 | 247 | 0 | 665 | 2.777291e+02 | 3.700000e+02 | 33.22%
27.49/27.58 o 369
27.49/27.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.49/27.58 c k27.4s| 19 | 18 | 16228 | 12M| 16 | - |1030 |3646 |3250 |1030 |3793 | 247 | 0 | 665 | 2.777291e+02 | 3.690000e+02 | 32.86%
55.58/55.64 o 368
55.58/55.64 c R55.3s| 1346 | 433 | 87924 | 13M| 57 | 161 |1030 |3717 |2715 |1030 |3793 | 247 | 71 |1237 | 2.801043e+02 | 3.680000e+02 | 31.38%
55.68/55.77 o 366
55.68/55.77 c k55.5s| 1346 | 407 | 87924 | 13M| 57 | 161 |1030 |3717 |2715 |1030 |3793 | 247 | 71 |1246 | 2.801043e+02 | 3.660000e+02 | 30.67%
59.68/59.72 o 355
59.68/59.72 c C59.4s| 1546 | 317 |100688 | 13M| 75 | 563 |1030 |3740 |3372 |1030 |3793 | 247 | 94 |1292 | 2.823990e+02 | 3.550000e+02 | 25.71%
59.68/59.75 o 353
59.68/59.75 c k59.4s| 1547 | 297 |100805 | 13M| 75 | 541 |1030 |3740 |3332 |1030 |3793 | 247 | 94 |1292 | 2.823990e+02 | 3.530000e+02 | 25.00%
123.56/123.61 o 350
123.56/123.61 c * 123s| 5658 | 1033 |332908 | 15M| 77 | - |1030 |3757 |2411 |1030 |3793 | 247 | 160 |2224 | 2.880587e+02 | 3.500000e+02 | 21.50%
182.34/182.42 c 182s| 10000 | 1469 |529410 | 17M| 78 | 355 |1030 |3754 |3252 |1030 |3793 | 247 | 193 |3322 | 2.905277e+02 | 3.500000e+02 | 20.47%
299.14/299.29 c 298s| 20000 | 2309 |985452 | 19M| 78 | 331 |1030 |3785 |2931 |1030 |3793 | 247 | 260 |4801 | 2.941370e+02 | 3.500000e+02 | 18.99%
435.31/435.49 c 434s| 30000 | 2939 | 1499k| 22M| 78 | - |1030 |3785 |2677 |1030 |3793 | 247 | 290 |6598 | 2.962968e+02 | 3.500000e+02 | 18.12%
557.39/557.52 c 555s| 40000 | 3449 | 1977k| 23M| 78 | 359 |1030 |3784 |2925 |1030 |3793 | 247 | 307 |8082 | 2.980655e+02 | 3.500000e+02 | 17.42%
670.47/670.64 c 668s| 50000 | 4116 | 2436k| 25M| 78 | - |1030 |3798 |3083 |1030 |3793 | 247 | 331 |9212 | 2.994885e+02 | 3.500000e+02 | 16.87%
782.06/782.20 c 779s| 60000 | 4672 | 2921k| 27M| 78 | - |1030 |3783 |2796 |1030 |3793 | 247 | 332 |9856 | 3.004213e+02 | 3.500000e+02 | 16.50%
903.23/903.49 c 900s| 70000 | 5284 | 3404k| 29M| 78 | - |1030 |3798 |2753 |1030 |3793 | 247 | 357 | 11k| 3.013753e+02 | 3.500000e+02 | 16.13%
1020.72/1020.98 c 1017s| 80000 | 5902 | 3891k| 31M| 78 | - |1030 |3805 |2702 |1030 |3793 | 247 | 383 | 12k| 3.020767e+02 | 3.500000e+02 | 15.86%
1132.60/1132.84 c 1128s| 90000 | 6430 | 4367k| 33M| 78 | 352 |1030 |3831 |2948 |1030 |3793 | 247 | 416 | 12k| 3.026185e+02 | 3.500000e+02 | 15.66%
1158.00/1158.26 o 343
1158.00/1158.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.00/1158.26 c *1153s| 92089 | 4873 | 4465k| 28M| 78 | - |1030 |3822 |2819 |1030 |3793 | 247 | 419 | 13k| 3.027935e+02 | 3.430000e+02 | 13.28%
1255.08/1255.34 c 1250s|100000 | 5260 | 4872k| 29M| 78 | 435 |1030 |3797 |3057 |1030 |3793 | 247 | 420 | 13k| 3.032240e+02 | 3.430000e+02 | 13.12%
1380.06/1380.38 c 1375s|110000 | 5666 | 5366k| 31M| 78 | 284 |1030 |3804 |2836 |1030 |3793 | 247 | 430 | 15k| 3.036890e+02 | 3.430000e+02 | 12.94%
1488.64/1488.95 c 1483s|120000 | 6084 | 5840k| 32M| 78 | - |1030 |3797 |3130 |1030 |3793 | 247 | 436 | 15k| 3.040258e+02 | 3.430000e+02 | 12.82%
1615.23/1615.53 c 1609s|130000 | 6552 | 6355k| 34M| 78 | - |1030 |3790 |2934 |1030 |3793 | 247 | 438 | 16k| 3.043996e+02 | 3.430000e+02 | 12.68%
1733.00/1733.31 c 1726s|140000 | 7014 | 6856k| 36M| 78 | - |1030 |3788 |2876 |1030 |3793 | 247 | 441 | 17k| 3.048325e+02 | 3.430000e+02 | 12.52%
1798.20/1798.51 c
1798.20/1798.51 c SCIP Status : solving was interrupted [time limit reached]
1798.20/1798.51 c Solving Time (sec) : 1791.00
1798.20/1798.51 c Solving Nodes : 145834
1798.20/1798.51 c Primal Bound : +3.43000000000000e+02 (68 solutions)
1798.20/1798.51 c Dual Bound : +3.05061078337443e+02
1798.20/1798.51 c Gap : 12.44 %
1798.20/1798.51 c NODE 145834
1798.20/1798.51 c DUAL BOUND 305.061
1798.20/1798.51 c PRIMAL BOUND 343
1798.20/1798.51 c GAP 0.124365
1798.20/1798.51 s SATISFIABLE
1798.20/1798.51 v x1040 -x1039 x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 x1028 -x1027 x1026 -x1025 -x1024 x1023 x1022 -x1021
1798.20/1798.51 v -x1020 -x1019 x1018 -x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 x1010 -x1009 x1008 -x1007 x1006 -x1005 -x1004 x1003 x1002
1798.20/1798.51 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 x981
1798.20/1798.51 v -x980 x979 x978 -x977 x976 -x975 x974 -x973 x972 -x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 x962 -x961 -x960 -x959
1798.20/1798.51 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 x941 -x940 x939 x938 -x937
1798.20/1798.51 v x936 -x935 x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 x924 -x923 x922 -x921 x920 -x919 -x918 -x917 -x916 -x915
1798.20/1798.51 v -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 -x902 x901 -x900 x899 x898 -x897 x896 -x895 x894 -x893
1798.20/1798.51 v x892 -x891 x890 -x889 x888 -x887 x886 -x885 x884 -x883 x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871
1798.20/1798.51 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
1798.20/1798.51 v -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829
1798.20/1798.51 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807 x806
1798.20/1798.51 v -x805 -x804 x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1798.20/1798.51 v -x784 -x783 -x782 x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764
1798.20/1798.51 v -x763 -x762 x761 -x760 x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741
1798.20/1798.51 v x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 x721 x720
1798.20/1798.51 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 x701 x700 -x699 -x698
1798.20/1798.51 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 x678 -x677
1798.20/1798.51 v x676 -x675 x674 -x673 x672 -x671 x670 -x669 x668 -x667 x666 -x665 -x664 x663 x662 -x661 x660 -x659 -x658 -x657 -x656 -x655
1798.20/1798.51 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 x641 -x640 x639 x638 -x637 x636 -x635 x634 -x633
1798.20/1798.51 v x632 -x631 x630 -x629 x628 -x627 x626 -x625 x624 -x623 x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
1798.20/1798.51 v -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 x601 x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
1798.20/1798.51 v -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1798.20/1798.51 v -x567 -x566 -x565 -x564 -x563 -x562 x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1798.20/1798.51 v -x546 -x545 x544 -x543 -x542 x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1798.20/1798.51 v -x525 x524 -x523 -x522 x521 x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
1798.20/1798.51 v x504 -x503 -x502 x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 x492 -x491 x490 -x489 x488 -x487 x486 -x485 -x484 x483 x482
1798.20/1798.51 v -x481 -x480 x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 x470 -x469 x468 -x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459
1798.20/1798.51 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 x441 -x440 x439 x438
1798.20/1798.51 v -x437 x436 -x435 x434 -x433 x432 -x431 x430 -x429 x428 -x427 x426 -x425 x424 -x423 x422 -x421 x420 -x419 -x418 -x417 -x416 -x415
1798.20/1798.51 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 x401 -x400 x399 x398 -x397 x396 -x395 x394 -x393
1798.20/1798.51 v x392 -x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
1798.20/1798.51 v -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
1798.20/1798.51 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
1798.20/1798.51 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307
1798.20/1798.51 v x306 -x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 x294 -x293 -x292 x291 -x290 x289 -x288 x287 x286 -x285 -x284
1798.20/1798.51 v x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262
1798.20/1798.51 v x261 -x260 x259 -x258 x257 -x256 x255 x254 -x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239
1798.20/1798.51 v -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 x222 -x221 -x220 x219 -x218 x217 -x216
1798.20/1798.51 v x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194
1798.20/1798.51 v x193 -x192 x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171
1798.20/1798.51 v -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 x158 -x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148
1798.20/1798.51 v x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 x126 -x125
1798.20/1798.51 v -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103
1798.20/1798.51 v -x102 x101 -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
1798.20/1798.51 v x75 -x74 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
1798.20/1798.51 v x47 -x46 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
1798.20/1798.51 v x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1798.20/1798.51 c SCIP Status : solving was interrupted [time limit reached]
1798.20/1798.51 c Solving Time : 1791.00
1798.20/1798.51 c Original Problem :
1798.20/1798.51 c Problem name : HOME/instance-3732563-1338695632.opb
1798.20/1798.51 c Variables : 1040 (1040 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.20/1798.51 c Constraints : 3656 initial, 3656 maximal
1798.20/1798.51 c Presolved Problem :
1798.20/1798.51 c Problem name : t_HOME/instance-3732563-1338695632.opb
1798.20/1798.51 c Variables : 1030 (1030 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.20/1798.51 c Constraints : 3646 initial, 3831 maximal
1798.20/1798.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.20/1798.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1798.20/1798.51 c dualfix : 0.00 10 0 0 0 0 0 0 0
1798.20/1798.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.20/1798.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.20/1798.51 c implics : 0.00 0 0 0 0 0 0 0 0
1798.20/1798.51 c probing : 0.01 0 0 0 0 0 0 0 0
1798.20/1798.51 c linear : 0.02 0 0 0 0 0 10 0 0
1798.20/1798.51 c logicor : 0.02 0 0 0 0 0 0 0 0
1798.20/1798.51 c root node : - 0 - - 0 - - - -
1798.20/1798.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.20/1798.51 c integral : 0 0 0 79841 0 161 6509 0 0 155118
1798.20/1798.51 c logicor : 3646+ 23 439631 3 1 238 2942971 0 0 0
1798.20/1798.51 c countsols : 0 0 0 3 1 0 0 0 0 0
1798.20/1798.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.20/1798.51 c integral : 286.05 0.00 0.00 286.05 0.00
1798.20/1798.51 c logicor : 4.51 0.00 4.51 0.00 0.00
1798.20/1798.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.20/1798.51 c Propagators : Time Calls Cutoffs DomReds
1798.20/1798.51 c rootredcost : 0.08 11 0 0
1798.20/1798.51 c pseudoobj : 8.37 526813 0 0
1798.20/1798.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.20/1798.51 c propagation : 0.00 238 238 363 4.7 12 3.5 -
1798.20/1798.51 c infeasible LP : 0.00 20 20 61 28.2 19 2.4 0
1798.20/1798.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.20/1798.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.20/1798.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.20/1798.51 c applied globally : - - - 446 7.3 - - -
1798.20/1798.51 c applied locally : - - - 0 0.0 - - -
1798.20/1798.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.20/1798.51 c cut pool : 0.01 22 - - 812 - (maximal pool size: 2533)
1798.20/1798.51 c redcost : 1.16 89720 0 31930 0 0
1798.20/1798.51 c impliedbounds : 0.00 23 0 0 0 0
1798.20/1798.51 c intobj : 0.00 0 0 0 0 0
1798.20/1798.51 c gomory : 2.07 23 0 0 6915 0
1798.20/1798.51 c strongcg : 1.30 20 0 0 8799 0
1798.20/1798.51 c cmir : 0.16 10 0 0 0 0
1798.20/1798.51 c flowcover : 0.10 10 0 0 0 0
1798.20/1798.51 c clique : 0.00 1 0 0 0 0
1798.20/1798.51 c zerohalf : 0.00 0 0 0 0 0
1798.20/1798.51 c mcf : 0.00 1 0 0 0 0
1798.20/1798.51 c Pricers : Time Calls Vars
1798.20/1798.51 c problem variables: 0.00 0 0
1798.20/1798.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.20/1798.51 c relpscost : 286.03 79838 161 6509 0 0 155118
1798.20/1798.51 c pscost : 0.00 0 0 0 0 0 0
1798.20/1798.51 c inference : 0.00 1 0 0 0 0 2
1798.20/1798.51 c mostinf : 0.00 0 0 0 0 0 0
1798.20/1798.51 c leastinf : 0.00 0 0 0 0 0 0
1798.20/1798.51 c fullstrong : 0.00 0 0 0 0 0 0
1798.20/1798.51 c allfullstrong : 0.00 0 0 0 0 0 0
1798.20/1798.51 c random : 0.00 0 0 0 0 0 0
1798.20/1798.51 c Primal Heuristics : Time Calls Found
1798.20/1798.51 c LP solutions : 0.00 - 3
1798.20/1798.51 c pseudo solutions : 0.00 - 0
1798.20/1798.51 c oneopt : 0.06 6 3
1798.20/1798.51 c crossover : 0.44 12 1
1798.20/1798.51 c fracdiving : 7.65 59 0
1798.20/1798.51 c veclendiving : 5.90 59 0
1798.20/1798.51 c guideddiving : 6.98 59 0
1798.20/1798.51 c linesearchdiving : 12.69 59 0
1798.20/1798.51 c objpscostdiving : 15.09 30 27
1798.20/1798.51 c rootsoldiving : 5.35 30 27
1798.20/1798.51 c coefdiving : 6.79 60 0
1798.20/1798.51 c simplerounding : 0.05 0 0
1798.20/1798.51 c rounding : 6.60 29418 6
1798.20/1798.51 c shifting : 1.05 1439 1
1798.20/1798.51 c intshifting : 0.00 0 0
1798.20/1798.51 c fixandinfer : 0.00 0 0
1798.20/1798.51 c feaspump : 0.62 1 0
1798.20/1798.51 c pscostdiving : 5.98 60 0
1798.20/1798.51 c intdiving : 0.00 0 0
1798.20/1798.51 c actconsdiving : 0.00 0 0
1798.20/1798.51 c octane : 0.00 0 0
1798.20/1798.51 c rens : 0.01 0 0
1798.20/1798.51 c rins : 0.00 0 0
1798.20/1798.51 c localbranching : 0.00 0 0
1798.20/1798.51 c mutation : 0.00 0 0
1798.20/1798.51 c dins : 0.00 0 0
1798.20/1798.51 c LP : Time Calls Iterations Iter/call Iter/sec
1798.20/1798.51 c primal LP : 0.00 0 0 0.00 -
1798.20/1798.51 c dual LP : 1355.17 148127 6797703 45.89 5016.13
1798.20/1798.51 c barrier LP : 0.00 0 0 0.00 -
1798.20/1798.51 c diving/probing LP: 62.37 11612 326596 28.13 5236.43
1798.20/1798.51 c strong branching : 279.36 18248 1239937 67.95 4438.49
1798.20/1798.51 c (at root node) : - 26 5585 214.81 -
1798.20/1798.51 c conflict analysis: 0.00 0 0 0.00 -
1798.20/1798.51 c B&B Tree :
1798.20/1798.51 c number of runs : 1
1798.20/1798.51 c nodes : 145834
1798.20/1798.51 c nodes (total) : 145834
1798.20/1798.51 c nodes left : 7280
1798.20/1798.51 c max depth : 78
1798.20/1798.51 c max depth (total): 78
1798.20/1798.51 c backtracks : 12203 (8.4%)
1798.20/1798.51 c delayed cutoffs : 1
1798.20/1798.51 c repropagations : 1988 (1590 domain reductions, 1 cutoffs)
1798.20/1798.51 c avg switch length: 3.49
1798.20/1798.51 c switching time : 9.11
1798.20/1798.51 c Solution :
1798.20/1798.51 c Solutions found : 68 (13 improvements)
1798.20/1798.51 c Primal Bound : +3.43000000000000e+02 (in run 1, after 92089 nodes, 1153.34 seconds, depth 54, found by <relaxation>)
1798.20/1798.51 c Dual Bound : +3.05061078337443e+02
1798.20/1798.51 c Gap : 12.44 %
1798.20/1798.51 c Root Dual Bound : +2.76958976134097e+02
1798.20/1798.53 c Time complete: 1798.23.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732563-1338695632/watcher-3732563-1338695632 -o /tmp/evaluation-result-3732563-1338695632/solver-3732563-1338695632 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3732563-1338695632.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 25588
/proc/meminfo: memFree=23795960/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=8420 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 1461 0 0 0 0 0 0 0 20 0 1 0 335691770 8622080 1414 33554432000 4194304 7823515 140733648105744 140736259663656 6883856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25588/statm: 2105 1418 349 887 0 1215 0
[startup+0.044877 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 25588
/proc/meminfo: memFree=23795960/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=18416 CPUtime=0.03 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 4048 0 0 0 3 0 0 0 20 0 1 0 335691770 18857984 3647 33554432000 4194304 7823515 140733648105744 140733647970344 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25588/statm: 4604 3649 426 887 0 3714 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18416
[startup+0.100249 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 25588
/proc/meminfo: memFree=23795960/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=27048 CPUtime=0.09 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 6358 0 0 0 8 1 0 0 20 0 1 0 335691770 27697152 5949 33554432000 4194304 7823515 140733648105744 140733647970344 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25588/statm: 6762 5949 509 887 0 5872 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27048
[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 25588
/proc/meminfo: memFree=23795960/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=29300 CPUtime=0.29 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 6936 0 0 0 28 1 0 0 20 0 1 0 335691770 30003200 6449 33554432000 4194304 7823515 140733648105744 140733647970344 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25588/statm: 7325 6449 526 887 0 6435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29300
[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 25588
/proc/meminfo: memFree=23795960/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=29300 CPUtime=0.68 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 6936 0 0 0 67 1 0 0 20 0 1 0 335691770 30003200 6449 33554432000 4194304 7823515 140733648105744 140733648100552 6908072 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25588/statm: 7325 6449 526 887 0 6435 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29300
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25589
/proc/meminfo: memFree=23771880/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=32992 CPUtime=1.49 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 8084 0 0 0 146 3 0 0 20 0 1 0 335691770 33783808 7514 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25588/statm: 8248 7514 552 887 0 7358 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32992
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25589
/proc/meminfo: memFree=23765168/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=38476 CPUtime=3.09 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 9468 0 0 0 305 4 0 0 20 0 1 0 335691770 39399424 8851 33554432000 4194304 7823515 140733648105744 140733648100936 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25588/statm: 9619 8851 552 887 0 8729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38476
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25589
/proc/meminfo: memFree=23759836/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=41296 CPUtime=6.29 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 10153 0 0 0 622 7 0 0 20 0 1 0 335691770 42287104 9498 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 10324 9498 552 887 0 9434 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41296
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25589
/proc/meminfo: memFree=23757008/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=42700 CPUtime=12.68 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 10621 0 0 0 1259 9 0 0 20 0 1 0 335691770 43724800 9966 33554432000 4194304 7823515 140733648105744 140733648100440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 10675 9966 556 887 0 9785 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42700
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25589
/proc/meminfo: memFree=23757256/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=42700 CPUtime=25.48 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 10622 0 0 0 2534 14 0 0 20 0 1 0 335691770 43724800 9967 33554432000 4194304 7823515 140733648105744 140733648100792 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 10675 9967 557 887 0 9785 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42700
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 25589
/proc/meminfo: memFree=23757500/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=41176 CPUtime=51.08 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 15777 0 0 0 5082 26 0 0 20 0 1 0 335691770 42164224 9886 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 10294 9886 563 887 0 9404 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41176
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25590
/proc/meminfo: memFree=23755796/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=42904 CPUtime=102.27 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 30062 0 0 0 10178 49 0 0 20 0 1 0 335691770 43933696 10294 33554432000 4194304 7823515 140733648105744 140733648100072 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 10726 10294 579 887 0 9836 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42904
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25590
/proc/meminfo: memFree=23753748/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=45356 CPUtime=162.25 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 44587 0 0 0 16150 75 0 0 20 0 1 0 335691770 46444544 10887 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 11339 10887 579 887 0 10449 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45356
[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 25590
/proc/meminfo: memFree=23751328/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=47236 CPUtime=222.24 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 46692 0 0 0 22126 98 0 0 20 0 1 0 335691770 48369664 11457 33554432000 4194304 7823515 140733648105744 140733648101688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 11809 11457 579 887 0 10919 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 47236
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 25590
/proc/meminfo: memFree=23750956/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=49684 CPUtime=282.23 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 47979 0 0 0 28102 121 0 0 20 0 1 0 335691770 50876416 12038 33554432000 4194304 7823515 140733648105744 140733648101544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 12421 12038 579 887 0 11531 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 49684
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 25590
/proc/meminfo: memFree=23749524/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=51168 CPUtime=342.22 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 48277 0 0 0 34077 145 0 0 20 0 1 0 335691770 52396032 12334 33554432000 4194304 7823515 140733648105744 140733648101864 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 12792 12334 579 887 0 11902 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 51168
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 25594
/proc/meminfo: memFree=23748400/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=52016 CPUtime=402.21 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 48492 0 0 0 40051 170 0 0 20 0 1 0 335691770 53264384 12549 33554432000 4194304 7823515 140733648105744 140733648101432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 13004 12549 579 887 0 12114 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 52016
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25617
/proc/meminfo: memFree=23746352/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=52028 CPUtime=462.21 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 49293 0 0 0 46029 192 0 0 20 0 1 0 335691770 53276672 12604 33554432000 4194304 7823515 140733648105744 140733648101432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 13007 12604 579 887 0 12117 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 52028
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25617
/proc/meminfo: memFree=23744188/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=54480 CPUtime=522.2 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 49898 0 0 0 52004 216 0 0 20 0 1 0 335691770 55787520 13209 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 13620 13209 579 887 0 12730 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 54480
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25617
/proc/meminfo: memFree=23743876/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=54688 CPUtime=582.18 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 49937 0 0 0 57980 238 0 0 20 0 1 0 335691770 56000512 13247 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 13672 13247 579 887 0 12782 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 54688
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23733200/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=64988 CPUtime=1062.11 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 53441 0 0 0 105781 430 0 0 20 0 1 0 335691770 66547712 15872 33554432000 4194304 7823515 140733648105744 140733648102232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 16247 15872 579 887 0 15357 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 64988
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25623
/proc/meminfo: memFree=23729356/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=67100 CPUtime=1122.1 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 53970 0 0 0 111754 456 0 0 20 0 1 0 335691770 68710400 16401 33554432000 4194304 7823515 140733648105744 140733648102232 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 16775 16401 579 887 0 15885 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 67100
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25623
/proc/meminfo: memFree=23727120/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=69076 CPUtime=1182.09 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 55892 0 0 0 117730 479 0 0 20 0 1 0 335691770 70733824 16796 33554432000 4194304 7823515 140733648105744 140733648101496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17269 16796 579 887 0 16379 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 69076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25623
/proc/meminfo: memFree=23726436/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=68996 CPUtime=1242.09 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 60018 0 0 0 123708 501 0 0 20 0 1 0 335691770 70651904 16874 33554432000 4194304 7823515 140733648105744 140733648101592 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17249 16874 579 887 0 16359 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 68996
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 25662
/proc/meminfo: memFree=23757164/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=68996 CPUtime=1302.08 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 60039 0 0 0 129684 524 0 0 20 0 1 0 335691770 70651904 16895 33554432000 4194304 7823515 140733648105744 140733648100072 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17249 16895 579 887 0 16359 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 68996
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 25662
/proc/meminfo: memFree=23756148/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=69076 CPUtime=1362.06 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 60862 0 0 0 135660 546 0 0 20 0 1 0 335691770 70733824 16903 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17269 16903 579 887 0 16379 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 69076
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 25662
/proc/meminfo: memFree=23755836/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=69076 CPUtime=1422.06 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 60863 0 0 0 141637 569 0 0 20 0 1 0 335691770 70733824 16903 33554432000 4194304 7823515 140733648105744 140733648101432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17269 16903 579 887 0 16379 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 69076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 25662
/proc/meminfo: memFree=23753044/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=69208 CPUtime=1482.05 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 61562 0 0 0 147611 594 0 0 20 0 1 0 335691770 70868992 16927 33554432000 4194304 7823515 140733648105744 140733648101432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17302 16927 579 887 0 16412 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 69208
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 25662
/proc/meminfo: memFree=23754220/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=69384 CPUtime=1542.04 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 61606 0 0 0 153587 617 0 0 20 0 1 0 335691770 71049216 16971 33554432000 4194304 7823515 140733648105744 140733648100792 6236588 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17346 16971 579 887 0 16456 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 69384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 25666
/proc/meminfo: memFree=23753404/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=69940 CPUtime=1602.03 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 61669 0 0 0 159565 638 0 0 20 0 1 0 335691770 71618560 17033 33554432000 4194304 7823515 140733648105744 140733648100712 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17485 17033 579 887 0 16595 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 69940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 25666
/proc/meminfo: memFree=23749008/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=70912 CPUtime=1662.02 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 61989 0 0 0 165540 662 0 0 20 0 1 0 335691770 72613888 17353 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17728 17353 579 887 0 16838 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 70912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 25666
/proc/meminfo: memFree=23746524/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=71884 CPUtime=1722 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 62232 0 0 0 171514 686 0 0 20 0 1 0 335691770 73609216 17596 33554432000 4194304 7823515 140733648105744 140733648101544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17971 17596 579 887 0 17081 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 71884
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 4/175 25666
/proc/meminfo: memFree=23746772/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=71908 CPUtime=1782 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 65550 0 0 0 177488 712 0 0 20 0 1 0 335691770 73633792 17524 33554432000 4194304 7823515 140733648105744 140733648101080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17977 17524 579 887 0 17087 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 71908
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.03 2.01 4/175 25666
/proc/meminfo: memFree=23746400/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=71908 CPUtime=1791.6 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 65617 0 0 0 178444 716 0 0 20 0 1 0 335691770 73633792 17591 33554432000 4194304 7823515 140733648105744 140733648101400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17977 17591 579 887 0 17087 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 71908
[startup+1795.1 s]
/proc/loadavg: 2.07 2.03 2.01 4/175 25666
/proc/meminfo: memFree=23746400/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=71908 CPUtime=1794.8 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 65617 0 0 0 178763 717 0 0 20 0 1 0 335691770 73633792 17591 33554432000 4194304 7823515 140733648105744 140733648101592 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17977 17591 579 887 0 17087 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 71908
[startup+1796.7 s]
/proc/loadavg: 2.07 2.03 2.01 4/175 25666
/proc/meminfo: memFree=23746400/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=71908 CPUtime=1796.4 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 65617 0 0 0 178922 718 0 0 20 0 1 0 335691770 73633792 17591 33554432000 4194304 7823515 140733648105744 140733648100712 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17977 17591 579 887 0 17087 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 71908
[startup+1797.5 s]
/proc/loadavg: 2.07 2.03 2.01 4/175 25666
/proc/meminfo: memFree=23746400/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=71908 CPUtime=1797.19 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 65617 0 0 0 179001 718 0 0 20 0 1 0 335691770 73633792 17591 33554432000 4194304 7823515 140733648105744 140733648100760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17977 17591 579 887 0 17087 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 71908
[startup+1798.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/175 25666
/proc/meminfo: memFree=23746400/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=71908 CPUtime=1798 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 65617 0 0 0 179081 719 0 0 20 0 1 0 335691770 73633792 17591 33554432000 4194304 7823515 140733648105744 140733648101432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17977 17591 579 887 0 17087 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 71908
[startup+1798.51 s]
/proc/loadavg: 2.07 2.03 2.01 4/175 25666
/proc/meminfo: memFree=23746400/32873844 swapFree=7112/7112
[pid=25588] ppid=25586 vsize=71908 CPUtime=1798.2 cores=0,2,4,6
/proc/25588/stat : 25588 (pbscip.linux.x8) R 25586 25588 13043 0 -1 4202496 65617 0 0 0 179101 719 0 0 20 0 1 0 335691770 73633792 17591 33554432000 4194304 7823515 140733648105744 140733648101432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25588/statm: 17977 17591 579 887 0 17087 0
Current children cumulated CPU time (s) 1798.2
Current children cumulated vsize (KiB) 71908
Child status: 0
Real time (s): 1798.54
CPU time (s): 1798.24
CPU user time (s): 1791.04
CPU system time (s): 7.1999
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 71908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.04
system time used= 7.19991
maximum resident set size= 82348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65622
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= 29
involuntary context switches= 1966
runsolver used 3.36249 second user time and 6.78097 second system time
The end