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

OK	0

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.01 0.96 3/65 1989
/proc/meminfo: memFree=1786276/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=6100 CPUtime=0
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 573 0 0 0 0 0 0 0 20 0 1 0 189325886 6246400 555 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/1989/statm: 1525 568 325 886 0 635 0

[startup+0.0241321 s]
/proc/loadavg: 1.00 1.01 0.96 3/65 1989
/proc/meminfo: memFree=1786276/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=12040 CPUtime=0.01
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 2249 0 0 0 1 0 0 0 20 0 1 0 189325886 12328960 2231 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/1989/statm: 3010 2231 351 886 0 2120 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12040

[startup+0.101141 s]
/proc/loadavg: 1.00 1.01 0.96 3/65 1989
/proc/meminfo: memFree=1786276/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=23564 CPUtime=0.09
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 5181 0 0 0 7 2 0 0 20 0 1 0 189325886 24129536 5163 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1989/statm: 5891 5163 351 886 0 5001 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23564

[startup+0.301163 s]
/proc/loadavg: 1.00 1.01 0.96 3/65 1989
/proc/meminfo: memFree=1786276/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=44952 CPUtime=0.29
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 10554 0 0 0 25 4 0 0 22 0 1 0 189325886 46030848 10536 1992294400 4194304 7823515 548682068736 18446744073709551615 5878709 0 0 4096 0 0 0 0 17 1 0 0
/proc/1989/statm: 11238 10536 351 886 0 10348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44952

[startup+0.701208 s]
/proc/loadavg: 1.00 1.01 0.96 3/65 1989
/proc/meminfo: memFree=1786276/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=102092 CPUtime=0.69
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 25153 0 0 0 59 10 0 0 25 0 1 0 189325886 104542208 24707 1992294400 4194304 7823515 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 25523 24707 385 886 0 24633 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102092

[startup+1.5013 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 1990
/proc/meminfo: memFree=1683612/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=118176 CPUtime=1.49
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 28940 0 0 0 136 13 0 0 25 0 1 0 189325886 121012224 28494 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 29544 28494 404 886 0 28654 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118176

[startup+3.10148 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 1990
/proc/meminfo: memFree=1658396/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=163436 CPUtime=3.09
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 40952 0 0 0 275 34 0 0 18 0 1 0 189325886 167358464 39623 1992294400 4194304 7823515 548682068736 18446744073709551615 7027273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 40859 39623 485 886 0 39969 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163436

[startup+6.30183 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 1990
/proc/meminfo: memFree=1519004/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=289556 CPUtime=6.29
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 71716 0 0 0 584 45 0 0 25 0 1 0 189325886 296505344 68212 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 72389 68212 539 886 0 71499 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 289556

[startup+12.7015 s]
/proc/loadavg: 1.08 1.03 0.97 2/66 1990
/proc/meminfo: memFree=1487836/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=318972 CPUtime=12.69
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 79014 0 0 0 1213 56 0 0 25 0 1 0 189325886 326627328 75171 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 79743 75171 555 886 0 78853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 318972

[startup+25.502 s]
/proc/loadavg: 1.06 1.03 0.97 2/66 1990
/proc/meminfo: memFree=1480860/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=324356 CPUtime=25.48
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 81292 0 0 0 2490 58 0 0 25 0 1 0 189325886 332140544 77449 1992294400 4194304 7823515 548682068736 18446744073709551615 6911731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 81089 77449 555 886 0 80199 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 324356

[startup+51.1018 s]
/proc/loadavg: 1.04 1.02 0.97 2/66 1990
/proc/meminfo: memFree=1465180/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=347184 CPUtime=51.06
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 84528 0 0 0 5042 64 0 0 25 0 1 0 189325886 355516416 80685 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 86796 80685 555 886 0 85906 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 347184

[startup+102.306 s]
/proc/loadavg: 1.02 1.02 0.97 2/66 1990
/proc/meminfo: memFree=1462684/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=347184 CPUtime=102.26
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 85208 0 0 0 10151 75 0 0 25 0 1 0 189325886 355516416 81325 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 86796 81325 555 886 0 85906 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 347184

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 1990
/proc/meminfo: memFree=1459420/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=347184 CPUtime=162.23
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86130 0 0 0 16138 85 0 0 25 0 1 0 189325886 355516416 82126 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 86796 82126 555 886 0 85906 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 347184

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 1990
/proc/meminfo: memFree=1456860/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=347184 CPUtime=222.21
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86774 0 0 0 22127 94 0 0 25 0 1 0 189325886 355516416 82770 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 86796 82770 558 886 0 85906 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 347184

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456796/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=348400 CPUtime=282.2
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86776 0 0 0 28120 100 0 0 25 0 1 0 189325886 356761600 82772 1992294400 4194304 7823515 548682068736 18446744073709551615 6263171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 87100 82772 558 886 0 86210 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 348400

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

[startup+307.101 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456796/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=348400 CPUtime=306.99
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86776 0 0 0 30597 102 0 0 25 0 1 0 189325886 356761600 82772 1992294400 4194304 7823515 548682068736 18446744073709551615 6212327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 87100 82772 558 886 0 86210 0
Current children cumulated CPU time (s) 306.99
Current children cumulated vsize (KiB) 348400

[startup+319.902 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456732/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=348400 CPUtime=319.79
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86788 0 0 0 31875 104 0 0 25 0 1 0 189325886 356761600 82784 1992294400 4194304 7823515 548682068736 18446744073709551615 6100198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 87100 82784 561 886 0 86210 0
Current children cumulated CPU time (s) 319.79
Current children cumulated vsize (KiB) 348400

[startup+323.101 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456732/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=348400 CPUtime=322.98
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86790 0 0 0 32194 104 0 0 25 0 1 0 189325886 356761600 82786 1992294400 4194304 7823515 548682068736 18446744073709551615 6151739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 87100 82786 561 886 0 86210 0
Current children cumulated CPU time (s) 322.98
Current children cumulated vsize (KiB) 348400

[startup+324.701 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456732/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=348400 CPUtime=324.59
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86800 0 0 0 32354 105 0 0 25 0 1 0 189325886 356761600 82796 1992294400 4194304 7823515 548682068736 18446744073709551615 5734723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 87100 82796 561 886 0 86210 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 348400

[startup+325.501 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456732/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=348400 CPUtime=325.39
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86800 0 0 0 32434 105 0 0 25 0 1 0 189325886 356761600 82796 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1989/statm: 87100 82796 561 886 0 86210 0
Current children cumulated CPU time (s) 325.39
Current children cumulated vsize (KiB) 348400

[startup+326.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456732/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=348400 CPUtime=326.19
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86809 0 0 0 32514 105 0 0 17 0 1 0 189325886 356761600 82805 1992294400 4194304 7823515 548682068736 18446744073709551615 4301917 0 0 4096 0 0 0 0 17 1 0 0
/proc/1989/statm: 87100 82805 565 886 0 86210 0
Current children cumulated CPU time (s) 326.19
Current children cumulated vsize (KiB) 348400

[startup+326.706 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456668/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=348400 CPUtime=326.59
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86810 0 0 0 32554 105 0 0 20 0 1 0 189325886 356761600 82806 1992294400 4194304 7823515 548682068736 18446744073709551615 5875152 0 0 4096 0 0 0 0 17 1 0 0
/proc/1989/statm: 87100 82806 566 886 0 86210 0
Current children cumulated CPU time (s) 326.59
Current children cumulated vsize (KiB) 348400

[startup+326.802 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 1990
/proc/meminfo: memFree=1456668/2055920 swapFree=4192952/4192956
[pid=1989] ppid=1987 vsize=25364 CPUtime=326.68
/proc/1989/stat : 1989 (pbscip.linux.x8) R 1987 1989 1563 0 -1 4194304 86812 0 0 0 32559 109 0 0 21 0 1 0 189325886 25972736 5957 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/1989/statm: 6341 5701 568 886 0 5451 0
Current children cumulated CPU time (s) 326.68
Current children cumulated vsize (KiB) 25364

Child status: 0
Real time (s): 326.806
CPU time (s): 326.698
CPU user time (s): 325.598
CPU system time (s): 1.10083
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 348400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 325.598
system time used= 1.10083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86815
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= 13
involuntary context switches= 719

runsolver used 0.381941 second user time and 0.815875 second system time

The end

Begin job on node76 at 2009-06-17 07:41:11
IDJOB=1870724
IDBENCH=48361
IDSOLVER=683
FILE ID=node76/1870724-1245217271
PBS_JOBID= 9368408
Free space on /tmp= 66560 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_4_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-1870724-1245217271/watcher-1870724-1245217271 -o /tmp/evaluation-result-1870724-1245217271/solver-1870724-1245217271 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870724-1245217271.opb

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

MD5SUM BENCH= bd16609fa1dd670f862cc5fd2d9f8fc4
RANDOM SEED=1076537406

node76.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.216
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.216
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:       1786756 kB
Buffers:         35260 kB
Cached:         147384 kB
SwapCached:          4 kB
Active:          75732 kB
Inactive:       119768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786756 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:           10868 kB
Writeback:           0 kB
Mapped:          22600 kB
Slab:            59560 kB
Committed_AS:    70324 kB
PageTables:       1436 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= 66552 MiB
End job on node76 at 2009-06-17 07:46:39