0.29/0.39	c SCIP version 1.1.0.7
0.29/0.39	c LP-Solver SoPlex 1.4.1
0.29/0.39	c user parameter file <scip.set> not found - using default parameters
0.29/0.39	c read problem <HOME/instance-1870674-1245215419.opb>
0.29/0.39	c original problem has 38366 variables (38366 bin, 0 int, 0 impl, 0 cont) and 38868 constraints
0.69/0.78	c No objective function, only one solution is needed.
0.69/0.78	c start presolving problem
0.69/0.78	c presolving:
1.98/2.06	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 298296 impls, 1000 clqs
2.89/2.94	c presolving (2 rounds):
2.89/2.94	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.89/2.94	c  298296 implications, 1000 cliques
2.89/2.94	c presolved problem has 38366 variables (38366 bin, 0 int, 0 impl, 0 cont) and 38868 constraints
2.89/2.94	c       1 constraints of type <knapsack>
2.89/2.94	c    1000 constraints of type <setppc>
2.89/2.94	c   37366 constraints of type <and>
2.89/2.94	c       1 constraints of type <linear>
2.89/2.94	c     500 constraints of type <logicor>
2.89/2.94	c transformed objective value is always integral (scale: 1)
2.89/2.94	c Presolving Time: 2.08
2.89/2.94	c SATUNSAT-NLC
2.89/2.94	c -----------------------------------------------------------------------------------------------
2.89/2.94	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.94	c separating/flowcover/freq = c -1
2.89/2.94	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.94	c separating/cmir/freq = c -1
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/veclendiving/maxlpiterofs = c 1500
2.89/2.94	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.94	c heuristics/veclendiving/maxlpiterquot = c 0.075
2.89/2.94	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.94	c heuristics/veclendiving/freq = c -1
2.89/2.94	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.94	c heuristics/simplerounding/freq = c -1
2.89/2.94	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.94	c heuristics/shifting/freq = c -1
2.89/2.94	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.94	c heuristics/rounding/freq = c -1
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.89/2.94	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.89/2.94	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.89/2.94	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.94	c heuristics/rootsoldiving/freq = c -1
2.89/2.94	c # number of nodes added to the contingent of the total nodes
2.89/2.94	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.89/2.94	c heuristics/rens/nodesofs = c 2000
2.89/2.94	c # minimum percentage of integer variables that have to be fixable 
2.89/2.94	c # [type: real, range: [0,1], default: 0.5]
2.89/2.94	c heuristics/rens/minfixingrate = c 0.3
2.89/2.94	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.94	c heuristics/rens/freq = c -1
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/pscostdiving/maxlpiterofs = c 1500
2.89/2.94	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.94	c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.89/2.94	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.94	c heuristics/pscostdiving/freq = c -1
2.89/2.94	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.94	c heuristics/oneopt/freq = c -1
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.89/2.94	c # maximal fraction of diving LP iterations compared to total iteration number
2.89/2.94	c # [type: real, range: [0,1], default: 0.01]
2.89/2.94	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.89/2.94	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.94	c heuristics/objpscostdiving/freq = c -1
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.89/2.94	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.94	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.89/2.94	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.94	c heuristics/linesearchdiving/freq = c -1
2.89/2.94	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.94	c heuristics/intshifting/freq = c -1
2.89/2.94	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.94	c heuristics/intdiving/maxlpiterquot = c 0.075
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/guideddiving/maxlpiterofs = c 1500
2.89/2.94	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.94	c heuristics/guideddiving/maxlpiterquot = c 0.075
2.89/2.94	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.94	c heuristics/guideddiving/freq = c -1
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/fracdiving/maxlpiterofs = c 1500
2.89/2.94	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.94	c heuristics/fracdiving/maxlpiterquot = c 0.075
2.89/2.94	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.94	c heuristics/fracdiving/freq = c -1
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/feaspump/maxlpiterofs = c 2000
2.89/2.94	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.94	c heuristics/feaspump/freq = c -1
2.89/2.94	c # minimum percentage of integer variables that have to be fixed 
2.89/2.94	c # [type: real, range: [0,1], default: 0.666]
2.89/2.94	c heuristics/crossover/minfixingrate = c 0.5
2.89/2.94	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.89/2.94	c # [type: real, range: [0,1], default: 0.1]
2.89/2.94	c heuristics/crossover/nodesquot = c 0.15
2.89/2.94	c # number of nodes without incumbent change that heuristic should wait
2.89/2.94	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.89/2.94	c heuristics/crossover/nwaitingnodes = c 100
2.89/2.94	c # number of nodes added to the contingent of the total nodes
2.89/2.94	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.89/2.94	c heuristics/crossover/nodesofs = c 750
2.89/2.94	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 30]
2.89/2.94	c heuristics/crossover/freq = c -1
2.89/2.94	c # additional number of allowed LP iterations
2.89/2.94	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.94	c heuristics/coefdiving/maxlpiterofs = c 1500
2.89/2.94	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.94	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.94	c heuristics/coefdiving/maxlpiterquot = c 0.075
2.89/2.94	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.94	c heuristics/coefdiving/freq = c -1
2.89/2.94	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.94	c presolving/probing/maxrounds = c 0
2.89/2.94	c # should presolving try to simplify knapsacks
2.89/2.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.94	c constraints/knapsack/simplifyinequalities = c TRUE
2.89/2.94	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.89/2.94	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.89/2.94	c constraints/knapsack/disaggregation = c FALSE
2.89/2.94	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.89/2.94	c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.94	c constraints/knapsack/maxnumcardlift = c 0
2.89/2.94	c # should presolving try to simplify inequalities
2.89/2.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.98	c constraints/linear/simplifyinequalities = c TRUE
2.89/2.98	c # maximal number of separation rounds in the root node (-1: unlimited)
2.89/2.98	c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.98	c separating/maxroundsroot = c 5
2.89/2.98	c # maximal number of separation rounds per node (-1: unlimited)
2.89/2.98	c # [type: int, range: [-1,2147483647], default: 5]
2.89/2.98	c separating/maxrounds = c 1
2.89/2.98	c # solving stops, if the given number of solutions were found (-1: no limit)
2.89/2.98	c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.98	c limits/solutions = c 1
2.89/2.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.89/2.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.98	c limits/memory = c 1620
2.89/2.98	c # maximal time in seconds to run
2.89/2.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.98	c limits/time = c 1791
2.89/2.98	c # frequency for displaying node information lines
2.89/2.98	c # [type: int, range: [-1,2147483647], default: 100]
2.89/2.98	c display/freq = c 10000
2.89/2.98	c -----------------------------------------------------------------------------------------------
2.89/2.98	c start solving problem
2.89/2.98	c 
4.08/4.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.08/4.12	c   3.3s|     1 |     0 |   100 | 171M|   0 |  60 |  38k|  38k|  38k|  38k|  76k|   0 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
9.89/9.94	c   9.0s|     1 |     0 |   108 | 171M|   0 |  61 |  38k|  38k|  38k|  38k|  76k|   2 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
13.68/13.74	c  12.8s|     1 |     0 |   114 | 171M|   0 |  62 |  38k|  38k|  38k|  38k|  76k|   3 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
48.26/48.37	c  47.3s|     1 |     0 |   125 | 171M|   0 |  61 |  38k|  38k|  38k|  38k|  76k|   4 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
82.65/82.76	c  81.6s|     1 |     0 |   158 | 171M|   0 |  61 |  38k|  38k|  38k|  38k|  76k|   6 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
149.01/149.14	c   148s|     1 |     0 |   203 | 171M|   0 |  63 |  38k|  38k|  38k|  38k|  76k|   7 |   0 |   0 | 3.000000e+01 |      --      |    Inf 
224.22/225.07	c   223s|     1 |     2 |   203 | 171M|   0 |  63 |  38k|  38k|  38k|  38k|  76k|   7 |   0 |  33 | 3.000000e+01 |      --      |    Inf 
265.56/266.63	c * 264s|    82 |    53 |  2896 | 185M|  24 |   - |  38k|  38k|  17k|  38k|2006 |2441 |   4 | 893 | 3.000000e+01 | 3.200000e+01 |   6.67%
265.56/266.63	c 
265.56/266.63	c SCIP Status        : solving was interrupted [solution limit reached]
265.56/266.63	c Solving Time (sec) : 264.13
265.56/266.63	c Solving Nodes      : 82
265.56/266.63	c Primal Bound       : +3.20000000000000e+01 (1 solutions)
265.56/266.63	c Dual Bound         : +3.00000000000000e+01
265.56/266.63	c Gap                : 6.67 %
265.66/266.74	c NODE         82
265.66/266.74	c DUAL BOUND   30
265.66/266.74	c PRIMAL BOUND 32
265.66/266.74	c GAP          0.0666667
265.66/266.74	s SATISFIABLE
265.66/266.74	v -x846 -x924 -x902 -x875 -x943 -x910 -x954 -x808 -x593 -x780 -x949 -x675 -x801 -x907 -x817 -x603 -x838 -x767 -x701 -x990 -x610 -x906 
265.66/266.74	v -x562 -x835 -x721 -x704 -x748 -x958 -x655 -x936 -x867 -x831 -x697 -x986 -x852 -x574 -x654 x511 -x824 -x717 -x665 -x657 -x605 
265.66/266.74	v -x584 -x577 -x763 -x878 -x987 -x883 -x590 -x876 -x951 -x912 -x708 -x686 -x705 -x586 -x732 -x963 -x932 -x848 -x734 -x575 
265.66/266.74	v -x939 -x979 -x509 -x964 -x948 -x578 -x533 -x515 -x519 -x761 -x567 -x642 -x775 -x970 -x715 -x594 -x581 -x813 -x558 -x984 -x956 
265.66/266.74	v -x853 -x788 -x784 -x597 -x589 -x545 -x950 -x972 -x739 -x678 -x786 -x630 -x693 -x635 -x648 -x983 -x947 -x890 -x855 -x832 -x735 
265.66/266.74	v -x702 -x681 -x521 -x517 -x795 -x961 -x976 -x687 -x893 -x750 -x798 -x547 -x891 -x649 -x834 -x804 -x754 -x999 -x959 -x909 -x522 
265.66/266.74	v -x703 -x962 -x977 -x911 -x864 -x862 -x791 -x766 -x762 -x752 -x674 -x672 -x639 -x617 -x611 -x536 -x994 -x885 -x643 -x995 -x799 
265.66/266.74	v -x899 -x886 -x626 x973 -x793 -x631 -x582 -x770 -x725 -x921 -x659 -x985 -x651 -x628 -x940 -x600 -x820 -x756 -x873 -x714 -x505 
265.66/266.74	v -x978 -x901 -x823 -x723 -x696 -x695 x663 x656 -x641 -x634 -x621 -x604 -x580 x579 -x573 -x843 -x711 -x660 -x913 -x888 -x919 
265.66/266.74	v -x680 x946 -x608 x877 -x685 -x967 -x669 -x774 -x700 -x661 -x895 -x934 -x931 -x882 -x974 -x572 -x969 x551 -x953 -x537 -x601 
265.66/266.74	v -x563 -x925 x759 -x917 -x960 -x889 -x840 -x792 x768 -x753 -x749 -x742 -x692 -x627 -x615 x576 -x564 x548 -x525 -x524 -x821 -x731 
265.66/266.74	v -x662 -x606 -x811 -x812 -x923 -x569 -x747 -x844 -x800 -x612 -x805 -x856 -x698 -x955 -x591 x645 -x726 x773 -x1000 -x971 -x918 
265.66/266.74	v -x870 x607 -x539 -x614 -x944 -x905 -x644 -x929 -x861 -x850 -x845 -x839 -x822 -x722 -x718 -x707 -x670 -x658 -x637 -x629 -x609 
265.66/266.74	v -x553 -x550 -x534 -x518 -x510 -x736 -x738 -x859 -x622 -x975 -x908 -x776 -x938 -x552 -x860 -x728 -x992 -x744 -x988 -x915 -x535 
265.66/266.74	v -x694 -x851 -x842 -x729 -x989 -x880 -x556 -x952 -x746 -x619 -x724 -x797 -x841 -x716 -x709 -x771 -x520 -x504 -x830 -x733 -x872 
265.66/266.74	v -x807 -x966 -x854 -x998 -x502 -x980 -x937 -x898 -x897 -x829 -x826 -x810 -x790 -x769 -x765 -x758 -x743 -x719 -x688 -x684 
265.66/266.74	v -x682 -x667 -x664 -x647 -x616 -x599 -x596 -x566 -x565 -x557 -x555 -x554 -x857 -x928 -x710 -x982 -x772 -x618 -x532 -x941 -x620 
265.66/266.74	v -x945 -x690 -x866 -x942 -x787 -x781 -x802 -x757 -x653 -x818 -x903 -x598 -x602 -x968 -x879 -x571 -x796 -x540 -x595 -x587 -x727 
265.66/266.74	v -x513 -x740 -x677 -x561 -x933 -x900 -x755 -x652 -x904 -x789 -x679 -x809 -x588 -x751 -x544 -x865 -x935 -x868 -x815 -x546 -x583 
265.66/266.74	v -x896 -x501 -x996 -x991 -x965 -x892 -x881 -x849 -x833 -x827 -x819 -x779 -x777 -x760 -x745 -x741 -x720 -x713 -x706 -x689 -x683 
265.66/266.74	v -x676 -x666 -x646 -x640 -x638 -x633 -x632 -x625 -x623 -x613 -x549 -x542 -x530 -x529 -x526 -x516 -x514 -x508 -x507 -x503 -x858 
265.66/266.74	v -x814 -x847 -x506 -x837 -x828 -x585 -x926 -x806 -x782 -x997 -x671 -x981 -x592 -x527 -x914 -x871 -x816 -x825 -x699 -x538 
265.66/266.74	v -x785 -x920 -x874 -x730 -x543 -x512 -x957 -x894 -x668 -x570 -x559 -x523 -x803 -x636 -x624 -x531 -x783 -x930 -x568 -x869 -x712 
265.66/266.74	v -x737 -x673 -x541 -x927 -x764 -x560 -x691 -x528 -x863 -x922 -x650 -x993 -x836 -x794 -x916 -x778 -x887 -x884 -x500 -x499 -x498 
265.66/266.74	v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 
265.66/266.74	v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 
265.66/266.74	v x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 
265.66/266.74	v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 
265.66/266.74	v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 
265.66/266.74	v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 
265.66/266.74	v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 
265.66/266.74	v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 
265.66/266.74	v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 
265.66/266.74	v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 
265.66/266.74	v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 
265.66/266.74	v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 
265.66/266.74	v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 
265.66/266.74	v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 
265.66/266.74	v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 
265.66/266.74	v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 
265.66/266.74	v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 
265.66/266.74	v -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 
265.66/266.74	v -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 
265.66/266.74	v -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 
265.66/266.74	v -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 
265.66/266.74	v -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 
265.66/266.74	v x26 x25 -x24 -x23 -x22 x21 x20 -x19 -x18 x17 -x16 x15 -x14 -x13 x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 x2 x1 
265.66/266.74	c SCIP Status        : solving was interrupted [solution limit reached]
265.66/266.74	c Solving Time       :     264.13
265.66/266.74	c Original Problem   :
265.66/266.74	c   Problem name     : HOME/instance-1870674-1245215419.opb
265.66/266.74	c   Variables        : 38366 (38366 binary, 0 integer, 0 implicit integer, 0 continuous)
265.66/266.74	c   Constraints      : 38868 initial, 38868 maximal
265.66/266.74	c Presolved Problem  :
265.66/266.74	c   Problem name     : t_HOME/instance-1870674-1245215419.opb
265.66/266.74	c   Variables        : 38366 (38366 binary, 0 integer, 0 implicit integer, 0 continuous)
265.66/266.74	c   Constraints      : 38868 initial, 38872 maximal
265.66/266.74	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
265.66/266.74	c   trivial          :       0.02          0          0          0          0          0          0          0          0
265.66/266.74	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
265.66/266.74	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
265.66/266.74	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
265.66/266.74	c   implics          :       0.03          0          0          0          0          0          0          0          0
265.66/266.74	c   probing          :       0.00          0          0          0          0          0          0          0          0
265.66/266.74	c   knapsack         :       0.04          0          0          0          0          0          0          0          0
265.66/266.74	c   setppc           :       0.05          0          0          0          0          0          0          0          0
265.66/266.74	c   and              :       1.44          0          0          0          0          0          0          0          0
265.66/266.74	c   linear           :       0.28          0          0          0          0          0          0          0          0
265.66/266.74	c   logicor          :       0.00          0          0          0          0          0          0          0          0
265.66/266.74	c   root node        :          -          0          -          -          0          -          -          -          -
265.66/266.74	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
265.66/266.74	c   integral         :          0          0          0        101          0          0          0          0          0        154
265.66/266.74	c   knapsack         :          1          5        242         24          0          0          0          0          0          0
265.66/266.74	c   setppc           :       1000          5        242         24          0          4       1489          0          0          0
265.66/266.74	c   and              :      37366         82        238         24          0          0      92237       2434          0          0
265.66/266.74	c   linear           :          1          5        238          1          0          0          0          0          0          0
265.66/266.74	c   logicor          :        500+         5         73          1          0          0         56          0          0          0
265.66/266.74	c   countsols        :          0          0          0          1          0          0          0          0          0          0
265.66/266.74	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
265.66/266.74	c   integral         :      99.69       0.00       0.00      99.69       0.00
265.66/266.74	c   knapsack         :       0.01       0.01       0.00       0.00       0.00
265.66/266.74	c   setppc           :       0.03       0.00       0.03       0.00       0.00
265.66/266.74	c   and              :       4.38       2.77       1.10       0.51       0.00
265.66/266.74	c   linear           :       0.03       0.01       0.02       0.00       0.00
265.66/266.74	c   logicor          :       0.00       0.00       0.00       0.00       0.00
265.66/266.74	c   countsols        :       0.00       0.00       0.00       0.00       0.00
265.66/266.74	c Propagators        :       Time      Calls    Cutoffs    DomReds
265.66/266.74	c   rootredcost      :       0.00          0          0          0
265.66/266.74	c   pseudoobj        :       1.76        243          0          0
265.66/266.74	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
265.66/266.74	c   propagation      :       0.00          4          4          4        3.0          0        0.0          -
265.66/266.74	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
265.66/266.74	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
265.66/266.74	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
265.66/266.74	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
265.66/266.74	c   applied globally :          -          -          -          4        3.0          -          -          -
265.66/266.74	c   applied locally  :          -          -          -          0        0.0          -          -          -
265.66/266.74	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
265.66/266.74	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 16)
265.66/266.74	c   redcost          :       0.65         82          0          0          0          0
265.66/266.74	c   impliedbounds    :       0.03          5          0          0          0          0
265.66/266.74	c   intobj           :       0.00          0          0          0          0          0
265.66/266.74	c   gomory           :     103.08          5          0          0       1000          0
265.66/266.74	c   strongcg         :      37.41          5          0          0       2014          0
265.66/266.74	c   cmir             :       0.00          0          0          0          0          0
265.66/266.74	c   flowcover        :       0.00          0          0          0          0          0
265.66/266.74	c   clique           :       0.26          5          0          0          0          0
265.66/266.74	c   zerohalf         :       0.00          0          0          0          0          0
265.66/266.74	c   mcf              :       3.81          2          0          0          0          0
265.66/266.74	c Pricers            :       Time      Calls       Vars
265.66/266.74	c   problem variables:       0.00          0          0
265.66/266.74	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
265.66/266.74	c   relpscost        :      99.69         77          0          0          0          0        154
265.66/266.74	c   pscost           :       0.00          0          0          0          0          0          0
265.66/266.74	c   inference        :       0.00          0          0          0          0          0          0
265.66/266.74	c   mostinf          :       0.00          0          0          0          0          0          0
265.66/266.74	c   leastinf         :       0.00          0          0          0          0          0          0
265.66/266.74	c   fullstrong       :       0.00          0          0          0          0          0          0
265.66/266.74	c   allfullstrong    :       0.00          0          0          0          0          0          0
265.66/266.74	c   random           :       0.00          0          0          0          0          0          0
265.66/266.74	c Primal Heuristics  :       Time      Calls      Found
265.66/266.74	c   LP solutions     :       0.02          -          1
265.66/266.74	c   pseudo solutions :       0.00          -          0
265.66/266.74	c   simplerounding   :       0.00          0          0
265.66/266.74	c   rounding         :       0.00          0          0
265.66/266.74	c   shifting         :       0.00          0          0
265.66/266.74	c   intshifting      :       0.00          0          0
265.66/266.74	c   oneopt           :       0.00          0          0
265.66/266.74	c   fixandinfer      :       0.00          0          0
265.66/266.74	c   feaspump         :       0.00          0          0
265.66/266.74	c   coefdiving       :       0.00          0          0
265.66/266.74	c   pscostdiving     :       0.00          0          0
265.66/266.74	c   fracdiving       :       0.00          0          0
265.66/266.74	c   veclendiving     :       0.00          0          0
265.66/266.74	c   intdiving        :       0.00          0          0
265.66/266.74	c   actconsdiving    :       0.00          0          0
265.66/266.74	c   objpscostdiving  :       0.00          0          0
265.66/266.74	c   rootsoldiving    :       0.00          0          0
265.66/266.74	c   linesearchdiving :       0.00          0          0
265.66/266.74	c   guideddiving     :       0.00          0          0
265.66/266.74	c   octane           :       0.00          0          0
265.66/266.74	c   rens             :       0.00          0          0
265.66/266.74	c   rins             :       0.00          0          0
265.66/266.74	c   localbranching   :       0.00          0          0
265.66/266.74	c   mutation         :       0.00          0          0
265.66/266.74	c   crossover        :       0.00          0          0
265.66/266.74	c   dins             :       0.00          0          0
265.66/266.74	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
265.66/266.74	c   primal LP        :       0.57          0          0       0.00       0.00
265.66/266.74	c   dual LP          :       5.46        182       2896      15.91     530.40
265.66/266.74	c   barrier LP       :       0.00          0          0       0.00          -
265.66/266.74	c   diving/probing LP:       0.00          0          0       0.00          -
265.66/266.74	c   strong branching :      99.67        893      15166      16.98     152.16
265.66/266.74	c     (at root node) :          -         33       9250     280.30          -
265.66/266.74	c   conflict analysis:       0.00          0          0       0.00          -
265.66/266.74	c B&B Tree           :
265.66/266.74	c   number of runs   :          1
265.66/266.74	c   nodes            :         82
265.66/266.74	c   nodes (total)    :         82
265.66/266.74	c   nodes left       :         53
265.66/266.74	c   max depth        :         24
265.66/266.74	c   max depth (total):         24
265.66/266.74	c   backtracks       :          4 (4.9%)
265.66/266.74	c   delayed cutoffs  :          0
265.66/266.74	c   repropagations   :         22 (284 domain reductions, 0 cutoffs)
265.66/266.74	c   avg switch length:       2.30
265.66/266.74	c   switching time   :       1.21
265.66/266.74	c Solution           :
265.66/266.74	c   Solutions found  :          1 (1 improvements)
265.66/266.74	c   Primal Bound     : +3.20000000000000e+01   (in run 1, after 82 nodes, 264.11 seconds, depth 24, found by <relaxation>)
265.66/266.74	c   Dual Bound       : +3.00000000000000e+01
265.66/266.74	c   Gap              :       6.67 %
265.66/266.74	c   Root Dual Bound  : +3.00000000000000e+01
266.27/267.40	c Time complete: 266.36.

OK	0

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870674-1245215419/watcher-1870674-1245215419 -o /tmp/evaluation-result-1870674-1245215419/solver-1870674-1245215419 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870674-1245215419.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.98 1.84 1.76 3/72 7257
/proc/meminfo: memFree=1811680/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=6100 CPUtime=0
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 687 0 0 0 0 0 0 0 20 0 1 0 178068215 6246400 669 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/7257/statm: 1525 678 325 886 0 635 0

[startup+0.103997 s]
/proc/loadavg: 1.98 1.84 1.76 3/72 7257
/proc/meminfo: memFree=1811680/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=23820 CPUtime=0.09
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 5214 0 0 0 8 1 0 0 21 0 1 0 178068215 24391680 5196 1992294400 4194304 7823515 548682068736 18446744073709551615 4403196 0 0 4096 0 0 0 0 17 1 0 0
/proc/7257/statm: 5955 5196 351 886 0 5065 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23820

[startup+0.209099 s]
/proc/loadavg: 1.98 1.84 1.76 3/72 7257
/proc/meminfo: memFree=1811680/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=36696 CPUtime=0.2
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 8465 0 0 0 18 2 0 0 22 0 1 0 178068215 37576704 8448 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/7257/statm: 9174 8460 351 886 0 8284 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 36696

[startup+0.300901 s]
/proc/loadavg: 1.98 1.84 1.76 3/72 7257
/proc/meminfo: memFree=1811680/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=45016 CPUtime=0.29
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 10560 0 0 0 26 3 0 0 22 0 1 0 178068215 46096384 10542 1992294400 4194304 7823515 548682068736 18446744073709551615 6288797 0 0 4096 0 0 0 0 17 1 0 0
/proc/7257/statm: 11254 10542 351 886 0 10364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45016

[startup+0.701071 s]
/proc/loadavg: 1.98 1.84 1.76 3/72 7257
/proc/meminfo: memFree=1811680/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=101952 CPUtime=0.69
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 25114 0 0 0 60 9 0 0 25 0 1 0 178068215 104398848 24669 1992294400 4194304 7823515 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 25488 24669 385 886 0 24598 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101952

[startup+1.50394 s]
/proc/loadavg: 1.98 1.84 1.76 2/73 7258
/proc/meminfo: memFree=1707736/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=116556 CPUtime=1.49
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 28531 0 0 0 138 11 0 0 25 0 1 0 178068215 119353344 28086 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 29139 28086 404 886 0 28249 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116556

[startup+3.10145 s]
/proc/loadavg: 1.90 1.83 1.76 2/73 7258
/proc/meminfo: memFree=1683608/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=154380 CPUtime=3.08
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 38657 0 0 0 276 32 0 0 25 0 1 0 178068215 158085120 37365 1992294400 4194304 7823515 548682068736 18446744073709551615 4801943 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 38595 37365 485 886 0 37705 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 154380

[startup+6.30409 s]
/proc/loadavg: 1.90 1.83 1.76 2/73 7258
/proc/meminfo: memFree=1545240/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=289476 CPUtime=6.28
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 71966 0 0 0 582 46 0 0 25 0 1 0 178068215 296423424 68463 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 72369 68463 539 886 0 71479 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 289476

[startup+12.7024 s]
/proc/loadavg: 2.07 1.86 1.77 4/73 7258
/proc/meminfo: memFree=1511384/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=320220 CPUtime=12.68
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 80403 0 0 0 1210 58 0 0 25 0 1 0 178068215 327905280 76427 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 80055 76427 554 886 0 79165 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 320220

[startup+25.5019 s]
/proc/loadavg: 2.12 1.89 1.78 2/73 7258
/proc/meminfo: memFree=1499544/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=326336 CPUtime=25.47
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 82374 0 0 0 2486 61 0 0 25 0 1 0 178068215 334168064 78398 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 81584 78398 554 886 0 80694 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 326336

[startup+51.1019 s]
/proc/loadavg: 2.10 1.89 1.78 2/73 7258
/proc/meminfo: memFree=1487512/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=339040 CPUtime=51.06
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 85370 0 0 0 5038 68 0 0 25 0 1 0 178068215 347176960 81394 1992294400 4194304 7823515 548682068736 18446744073709551615 5965385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 84760 81394 554 886 0 83870 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 339040

[startup+102.304 s]
/proc/loadavg: 1.95 1.89 1.79 4/73 7258
/proc/meminfo: memFree=1471640/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=355000 CPUtime=102.26
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 89311 0 0 0 10145 81 0 0 25 0 1 0 178068215 363520000 85335 1992294400 4194304 7823515 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 88750 85335 554 886 0 87860 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 355000

[startup+162.302 s]
/proc/loadavg: 1.70 1.83 1.77 4/73 7258
/proc/meminfo: memFree=1469016/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=162.21
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 89971 0 0 0 16129 92 0 0 25 0 1 0 178068215 366788608 85995 1992294400 4194304 7823515 548682068736 18446744073709551615 6151341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 89548 85995 558 886 0 88658 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 358192

[startup+222.307 s]
/proc/loadavg: 1.50 1.73 1.73 4/73 7258
/proc/meminfo: memFree=1468824/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=221.56
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 89973 0 0 0 22054 102 0 0 25 0 1 0 178068215 366788608 85997 1992294400 4194304 7823515 548682068736 18446744073709551615 6211331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 89548 85997 558 886 0 88658 0
Current children cumulated CPU time (s) 221.56
Current children cumulated vsize (KiB) 358192

Solver just ended. Dumping a history of the last processes samples

[startup+230.402 s]
/proc/loadavg: 1.54 1.73 1.74 3/73 7258
/proc/meminfo: memFree=1468696/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=229.55
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90003 0 0 0 22851 104 0 0 25 0 1 0 178068215 366788608 86027 1992294400 4194304 7823515 548682068736 18446744073709551615 6100177 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 89548 86027 561 886 0 88658 0
Current children cumulated CPU time (s) 229.55
Current children cumulated vsize (KiB) 358192

[startup+243.206 s]
/proc/loadavg: 1.56 1.73 1.73 2/73 7258
/proc/meminfo: memFree=1468696/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=242.24
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90015 0 0 0 24116 108 0 0 25 0 1 0 178068215 366788608 86039 1992294400 4194304 7823515 548682068736 18446744073709551615 4310575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 89548 86039 565 886 0 88658 0
Current children cumulated CPU time (s) 242.24
Current children cumulated vsize (KiB) 358192

[startup+256.002 s]
/proc/loadavg: 1.62 1.74 1.74 2/73 7258
/proc/meminfo: memFree=1468632/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=254.97
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90016 0 0 0 25387 110 0 0 25 0 1 0 178068215 366788608 86040 1992294400 4194304 7823515 548682068736 18446744073709551615 6100239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 89548 86040 565 886 0 88658 0
Current children cumulated CPU time (s) 254.97
Current children cumulated vsize (KiB) 358192

[startup+262.402 s]
/proc/loadavg: 1.57 1.72 1.73 4/73 7258
/proc/meminfo: memFree=1468632/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=261.37
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90016 0 0 0 26026 111 0 0 25 0 1 0 178068215 366788608 86040 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 89548 86040 565 886 0 88658 0
Current children cumulated CPU time (s) 261.37
Current children cumulated vsize (KiB) 358192

[startup+265.601 s]
/proc/loadavg: 1.60 1.73 1.73 4/73 7258
/proc/meminfo: memFree=1468632/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=264.56
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90016 0 0 0 26345 111 0 0 25 0 1 0 178068215 366788608 86040 1992294400 4194304 7823515 548682068736 18446744073709551615 6110403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 89548 86040 565 886 0 88658 0
Current children cumulated CPU time (s) 264.56
Current children cumulated vsize (KiB) 358192

[startup+266.402 s]
/proc/loadavg: 1.60 1.73 1.73 2/73 7258
/proc/meminfo: memFree=1468632/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=265.36
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90016 0 0 0 26425 111 0 0 25 0 1 0 178068215 366788608 86040 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7257/statm: 89548 86040 565 886 0 88658 0
Current children cumulated CPU time (s) 265.36
Current children cumulated vsize (KiB) 358192

[startup+266.802 s]
/proc/loadavg: 1.60 1.73 1.73 2/73 7258
/proc/meminfo: memFree=1468632/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=265.76
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90020 0 0 0 26465 111 0 0 25 0 1 0 178068215 366788608 86044 1992294400 4194304 7823515 548682068736 18446744073709551615 4301900 0 0 4096 0 0 0 0 17 0 0 0
/proc/7257/statm: 89548 86044 569 886 0 88658 0
Current children cumulated CPU time (s) 265.76
Current children cumulated vsize (KiB) 358192

[startup+267.202 s]
/proc/loadavg: 1.60 1.73 1.73 2/73 7258
/proc/meminfo: memFree=1468632/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=358192 CPUtime=266.16
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90021 0 0 0 26505 111 0 0 25 0 1 0 178068215 366788608 86045 1992294400 4194304 7823515 548682068736 18446744073709551615 4539586 0 0 4096 0 0 0 0 17 1 0 0
/proc/7257/statm: 89548 86045 570 886 0 88658 0
Current children cumulated CPU time (s) 266.16
Current children cumulated vsize (KiB) 358192

[startup+267.308 s]
/proc/loadavg: 1.55 1.72 1.73 4/73 7258
/proc/meminfo: memFree=1491928/2055920 swapFree=4192812/4192956
[pid=7257] ppid=7255 vsize=326800 CPUtime=266.27
/proc/7257/stat : 7257 (pbscip.linux.x8) R 7255 7257 6837 0 -1 4194304 90021 0 0 0 26515 112 0 0 25 0 1 0 178068215 334643200 80178 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/7257/statm: 81700 80178 8530 886 0 80810 0
Current children cumulated CPU time (s) 266.27
Current children cumulated vsize (KiB) 326800

Child status: 0
Real time (s): 267.406
CPU time (s): 266.375
CPU user time (s): 265.204
CPU system time (s): 1.17082
CPU usage (%): 99.6142
Max. virtual memory (cumulated for all children) (KiB): 358192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.204
system time used= 1.17082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90025
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= 3534

runsolver used 0.339948 second user time and 0.870867 second system time

The end

Begin job on node53 at 2009-06-17 07:10:20
IDJOB=1870674
IDBENCH=48336
IDSOLVER=683
FILE ID=node53/1870674-1245215419
PBS_JOBID= 9368379
Free space on /tmp= 66344 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_1_15.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870674-1245215419/watcher-1870674-1245215419 -o /tmp/evaluation-result-1870674-1245215419/solver-1870674-1245215419 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870674-1245215419.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= dc4640b37e8ff69e4d6e183444e5d071
RANDOM SEED=2136734211

node53.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.283
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.283
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1812160 kB
Buffers:         13676 kB
Cached:         138500 kB
SwapCached:        144 kB
Active:          62560 kB
Inactive:       120964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812160 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10832 kB
Writeback:           0 kB
Mapped:          42644 kB
Slab:            45348 kB
Committed_AS:   604152 kB
PageTables:       2056 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66336 MiB
End job on node53 at 2009-06-17 07:14:47