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

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870661-1245215200/watcher-1870661-1245215200 -o /tmp/evaluation-result-1870661-1245215200/solver-1870661-1245215200 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870661-1245215200.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4860
/proc/meminfo: memFree=1643664/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=7616 CPUtime=0
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 560 0 0 0 0 0 0 0 18 0 1 0 189118901 7798784 544 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/4860/statm: 1904 556 353 1256 0 643 0

[startup+0.0504019 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4860
/proc/meminfo: memFree=1643664/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=16276 CPUtime=0.04
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 3038 0 0 0 3 1 0 0 18 0 1 0 189118901 16666624 3022 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4860/statm: 4069 3022 376 1256 0 2808 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16276

[startup+0.101411 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4860
/proc/meminfo: memFree=1643664/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=20116 CPUtime=0.09
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 4006 0 0 0 8 1 0 0 18 0 1 0 189118901 20598784 3990 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4860/statm: 5029 3989 376 1256 0 3768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20116

[startup+0.30145 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4860
/proc/meminfo: memFree=1643664/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=38068 CPUtime=0.29
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 8675 0 0 0 22 7 0 0 19 0 1 0 189118901 38981632 8305 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 9517 8305 446 1256 0 8256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38068

[startup+0.701529 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 4860
/proc/meminfo: memFree=1643664/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=52628 CPUtime=0.69
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 12436 0 0 0 50 19 0 0 17 0 1 0 189118901 53891072 12043 1992294400 4194304 9342243 548682068736 18446744073709551615 4639770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 13157 12043 528 1256 0 11896 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52628

[startup+1.50168 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1583944/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=72384 CPUtime=1.49
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 17003 0 0 0 127 22 0 0 23 0 1 0 189118901 74121216 16269 1992294400 4194304 9342243 548682068736 18446744073709551615 4298277 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 18096 16269 639 1256 0 16835 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72384

[startup+3.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1576456/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=83260 CPUtime=3.09
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 19640 0 0 0 287 22 0 0 25 0 1 0 189118901 85258240 18906 1992294400 4194304 9342243 548682068736 18446744073709551615 4339117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 20815 18906 639 1256 0 19554 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83260

[startup+6.30163 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1553224/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=99544 CPUtime=6.28
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 23870 0 0 0 602 26 0 0 25 0 1 0 189118901 101933056 23136 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 24886 23136 653 1256 0 23625 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 99544

[startup+12.7029 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1551048/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=99544 CPUtime=12.68
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24442 0 0 0 1240 28 0 0 25 0 1 0 189118901 101933056 23708 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 24886 23708 653 1256 0 23625 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99544

[startup+25.5014 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550600/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=99544 CPUtime=25.48
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24551 0 0 0 2518 30 0 0 25 0 1 0 189118901 101933056 23817 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 24886 23817 653 1256 0 23625 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 99544

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550472/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=51.07
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24589 0 0 0 5072 35 0 0 25 0 1 0 189118901 103452672 23855 1992294400 4194304 9342243 548682068736 18446744073709551615 6960342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23855 658 1256 0 23996 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 101028

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550536/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=102.26
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24611 0 0 0 10182 44 0 0 25 0 1 0 189118901 103452672 23877 1992294400 4194304 9342243 548682068736 18446744073709551615 6039476 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23877 679 1256 0 23996 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 101028

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550536/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=162.23
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24613 0 0 0 16171 52 0 0 25 0 1 0 189118901 103452672 23879 1992294400 4194304 9342243 548682068736 18446744073709551615 5734747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23879 679 1256 0 23996 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 101028

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (182.31 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (182.31 s) to the 'lost time'.

[startup+182.401 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550472/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=182.31
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24620 0 0 0 18178 53 0 0 17 0 1 0 189118901 103452672 23886 1992294400 4194304 9342243 548682068736 18446744073709551615 5920707 0 0 4096 0 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23886 685 1256 0 23996 0
Current children cumulated CPU time (s) 182.31
Current children cumulated vsize (KiB) 101028

[startup+182.501 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1630984/2055920 swapFree=4182388/4192956
[pid=4860] ppid=-1 vsize=0 CPUtime=0
/proc/4860/stat : -- couldn't open stat file --/proc/4860/statm: 25257 23879 679 1256 0 23996 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550536/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=166.22
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24613 0 0 0 16570 52 0 0 25 0 1 0 189118901 103452672 23879 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23879 679 1256 0 23996 0
Current children cumulated CPU time (s) 166.22
Current children cumulated vsize (KiB) 101028

[startup+172.705 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550536/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=172.63
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24613 0 0 0 17210 53 0 0 25 0 1 0 189118901 103452672 23879 1992294400 4194304 9342243 548682068736 18446744073709551615 6974281 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23879 679 1256 0 23996 0
Current children cumulated CPU time (s) 172.63
Current children cumulated vsize (KiB) 101028

[startup+179.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550472/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=179.02
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24613 0 0 0 17849 53 0 0 25 0 1 0 189118901 103452672 23879 1992294400 4194304 9342243 548682068736 18446744073709551615 7289242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23879 679 1256 0 23996 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 101028

[startup+180.701 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550472/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=180.62
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24613 0 0 0 18009 53 0 0 25 0 1 0 189118901 103452672 23879 1992294400 4194304 9342243 548682068736 18446744073709551615 6261975 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23879 679 1256 0 23996 0
Current children cumulated CPU time (s) 180.62
Current children cumulated vsize (KiB) 101028

[startup+181.505 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550472/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=181.42
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24613 0 0 0 18089 53 0 0 25 0 1 0 189118901 103452672 23879 1992294400 4194304 9342243 548682068736 18446744073709551615 5882080 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23879 679 1256 0 23996 0
Current children cumulated CPU time (s) 181.42
Current children cumulated vsize (KiB) 101028

[startup+182.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1550472/2055920 swapFree=4182388/4192956
[pid=4860] ppid=4858 vsize=101028 CPUtime=182.21
/proc/4860/stat : 4860 (pbscip.linux.x8) R 4858 4860 4518 0 -1 4194304 24614 0 0 0 18168 53 0 0 25 0 1 0 189118901 103452672 23880 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4860/statm: 25257 23880 679 1256 0 23996 0
Current children cumulated CPU time (s) 182.21
Current children cumulated vsize (KiB) 101028

[startup+182.501 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 4861
/proc/meminfo: memFree=1630984/2055920 swapFree=4182388/4192956
[pid=4860] ppid=-1 vsize=0 CPUtime=0
/proc/4860/stat : -- couldn't open stat file --/proc/4860/statm: 25257 23879 679 1256 0 23996 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4860 and gives
#  childrusage.ru_utime.tv_sec=181
#  childrusage.ru_utime.tv_usec=875350
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=555915
# CPU time returned by wait4() is 182.431
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 182.31
#  lost CPU user time (s): 181.78
#  lost CPU system time (s): 0.53

Real time (s): 182.505
CPU time (s): 182.31
CPU user time (s): 181.78
CPU system time (s): 0.53
CPU usage (%): 99.8933
Max. virtual memory (cumulated for all children) (KiB): 101028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.875
system time used= 0.555915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24625
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= 14
involuntary context switches= 225

runsolver used 0.166974 second user time and 0.510922 second system time

The end

Begin job on node73 at 2009-06-17 07:06:40
IDJOB=1870661
IDBENCH=48329
IDSOLVER=684
FILE ID=node73/1870661-1245215200
PBS_JOBID= 9368409
Free space on /tmp= 66508 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870661-1245215200/watcher-1870661-1245215200 -o /tmp/evaluation-result-1870661-1245215200/solver-1870661-1245215200 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870661-1245215200.opb

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

MD5SUM BENCH= 4023d6beb9ef2c356e20e783b830f625
RANDOM SEED=1131511524

node73.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.274
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.274
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1644080 kB
Buffers:         50720 kB
Cached:         278064 kB
SwapCached:       5844 kB
Active:          48296 kB
Inactive:       289492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644080 kB
SwapTotal:     4192956 kB
SwapFree:      4182388 kB
Dirty:           11916 kB
Writeback:           0 kB
Mapped:          13488 kB
Slab:            60056 kB
Committed_AS:    70112 kB
PageTables:       1404 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= 66496 MiB
End job on node73 at 2009-06-17 07:09:43