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

OK	0

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

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

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.00 1.00 3/105 18264
/proc/meminfo: memFree=1783328/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=8020 CPUtime=0
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 9329520 8212480 931 1992294400 4194304 8223781 140736871647472 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18264/statm: 2005 940 348 984 0 1018 0

[startup+0.0741261 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 18264
/proc/meminfo: memFree=1783328/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=16476 CPUtime=0.07
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 3361 0 0 0 6 1 0 0 20 0 1 0 9329520 16871424 3280 1992294400 4194304 8223781 140736871647472 18446744073709551615 7247715 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18264/statm: 4119 3280 364 984 0 3132 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16476

[startup+0.10113 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 18264
/proc/meminfo: memFree=1783328/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=19244 CPUtime=0.09
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 4044 0 0 0 8 1 0 0 20 0 1 0 9329520 19705856 3963 1992294400 4194304 8223781 140736871647472 18446744073709551615 7218768 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18264/statm: 4811 3963 364 984 0 3824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19244

[startup+0.301155 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 18264
/proc/meminfo: memFree=1783328/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=36836 CPUtime=0.29
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 8507 0 0 0 26 3 0 0 20 0 1 0 9329520 37720064 8410 1992294400 4194304 8223781 140736871647472 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18264/statm: 9209 8410 364 984 0 8222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36836

[startup+0.701205 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 18264
/proc/meminfo: memFree=1783328/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=91372 CPUtime=0.69
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 22530 0 0 0 62 7 0 0 20 0 1 0 9329520 93564928 21968 1992294400 4194304 8223781 140736871647472 18446744073709551615 6207680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 22843 21968 382 984 0 21856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91372

[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18265
/proc/meminfo: memFree=1678044/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=118860 CPUtime=1.49
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 29164 0 0 0 137 12 0 0 22 0 1 0 9329520 121712640 28602 1992294400 4194304 8223781 140736871647472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 29715 28602 426 984 0 28728 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118860

[startup+3.10051 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18265
/proc/meminfo: memFree=1661304/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=141664 CPUtime=3.09
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 36579 0 0 0 281 28 0 0 25 0 1 0 9329520 145063936 33784 1992294400 4194304 8223781 140736871647472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 35416 33784 496 984 0 34429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141664

[startup+6.30091 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18265
/proc/meminfo: memFree=1519572/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=284144 CPUtime=6.29
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 112461 0 0 0 565 64 0 0 25 0 1 0 9329520 290963456 66113 1992294400 4194304 8223781 140736871647472 18446744073709551615 6046597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 71036 66113 555 984 0 70049 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 284144

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18267
/proc/meminfo: memFree=1519572/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=284744 CPUtime=12.69
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 313112 0 0 0 1127 142 0 0 25 0 1 0 9329520 291577856 66214 1992294400 4194304 8223781 140736871647472 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 71186 66226 555 984 0 70199 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 284744

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18267
/proc/meminfo: memFree=1519696/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=284744 CPUtime=25.49
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 714561 0 0 0 2249 300 0 0 25 0 1 0 9329520 291577856 66263 1992294400 4194304 8223781 140736871647472 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 71186 66263 555 984 0 70199 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 284744

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18267
/proc/meminfo: memFree=1513496/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=292008 CPUtime=51.08
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 1523360 0 0 0 4496 612 0 0 25 0 1 0 9329520 299016192 68062 1992294400 4194304 8223781 140736871647472 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 73002 68062 557 984 0 72015 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 292008

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18269
/proc/meminfo: memFree=1505188/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=303364 CPUtime=102.27
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 2823838 0 0 0 9131 1096 0 0 25 0 1 0 9329520 310644736 69856 1992294400 4194304 8223781 140736871647472 18446744073709551615 6299558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 75841 69856 571 984 0 74854 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 303364

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18271
/proc/meminfo: memFree=1493160/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=314516 CPUtime=162.24
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 4324521 0 0 0 14579 1645 0 0 25 0 1 0 9329520 322064384 72681 1992294400 4194304 8223781 140736871647472 18446744073709551615 5755328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 78629 72681 578 984 0 77642 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 314516

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18271
/proc/meminfo: memFree=1489812/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=319584 CPUtime=222.23
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 5922741 0 0 0 19997 2226 0 0 25 0 1 0 9329520 327254016 73538 1992294400 4194304 8223781 140736871647472 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 79896 73538 578 984 0 78909 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 319584

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18273
/proc/meminfo: memFree=1482744/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=327328 CPUtime=282.22
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7509035 0 0 0 25408 2814 0 0 25 0 1 0 9329520 335183872 75879 1992294400 4194304 8223781 140736871647472 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 81832 75879 577 984 0 80845 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 327328

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18275
/proc/meminfo: memFree=1488324/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=316944 CPUtime=342.2
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7785815 0 0 0 31286 2934 0 0 25 0 1 0 9329520 324550656 73957 1992294400 4194304 8223781 140736871647472 18446744073709551615 6446877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 79236 73957 577 984 0 78249 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 316944

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

[startup+345.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18275
/proc/meminfo: memFree=1488324/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=316816 CPUtime=345.4
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7810424 0 0 0 31594 2946 0 0 25 0 1 0 9329520 324419584 73926 1992294400 4194304 8223781 140736871647472 18446744073709551615 6446786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 79204 73926 577 984 0 78217 0
Current children cumulated CPU time (s) 345.4
Current children cumulated vsize (KiB) 316816

[startup+351.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18275
/proc/meminfo: memFree=1481380/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=323988 CPUtime=351.8
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7876117 0 0 0 32207 2973 0 0 25 0 1 0 9329520 331763712 75688 1992294400 4194304 8223781 140736871647472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 80997 75688 577 984 0 80010 0
Current children cumulated CPU time (s) 351.8
Current children cumulated vsize (KiB) 323988

[startup+355.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18275
/proc/meminfo: memFree=1476296/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=330508 CPUtime=354.99
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7914510 0 0 0 32513 2986 0 0 25 0 1 0 9329520 338440192 77323 1992294400 4194304 8223781 140736871647472 18446744073709551615 6304399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 82627 77323 577 984 0 81640 0
Current children cumulated CPU time (s) 354.99
Current children cumulated vsize (KiB) 330508

[startup+358.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18275
/proc/meminfo: memFree=1474808/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=329916 CPUtime=358.19
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7956743 0 0 0 32818 3001 0 0 25 0 1 0 9329520 337833984 77271 1992294400 4194304 8223781 140736871647472 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 82479 77271 577 984 0 81492 0
Current children cumulated CPU time (s) 358.19
Current children cumulated vsize (KiB) 329916

[startup+359.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18277
/proc/meminfo: memFree=1474188/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=330612 CPUtime=358.99
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7966848 0 0 0 32895 3004 0 0 25 0 1 0 9329520 338546688 77351 1992294400 4194304 8223781 140736871647472 18446744073709551615 6454392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18264/statm: 82653 77351 577 984 0 81666 0
Current children cumulated CPU time (s) 358.99
Current children cumulated vsize (KiB) 330612

[startup+359.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18277
/proc/meminfo: memFree=1473940/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=331968 CPUtime=359.79
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7974029 0 0 0 32973 3006 0 0 25 0 1 0 9329520 339935232 77719 1992294400 4194304 8223781 140736871647472 18446744073709551615 4561370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18264/statm: 82992 77719 579 984 0 82005 0
Current children cumulated CPU time (s) 359.79
Current children cumulated vsize (KiB) 331968

[startup+360.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18277
/proc/meminfo: memFree=1473940/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=257388 CPUtime=360.19
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7974069 0 0 0 33013 3006 0 0 18 0 1 0 9329520 263565312 59683 1992294400 4194304 8223781 140736871647472 18446744073709551615 4212065 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18264/statm: 64347 59683 581 984 0 63360 0
Current children cumulated CPU time (s) 360.19
Current children cumulated vsize (KiB) 257388

[startup+360.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 18277
/proc/meminfo: memFree=1473940/2059040 swapFree=4140536/4192956
[pid=18264] ppid=18262 vsize=228020 CPUtime=360.29
/proc/18264/stat : 18264 (pbscip.linux.x8) R 18262 18264 17963 0 -1 4202496 7974069 0 0 0 33022 3007 0 0 18 0 1 0 9329520 233492480 52358 1992294400 4194304 8223781 140736871647472 18446744073709551615 6206553 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18264/statm: 57005 52358 581 984 0 56018 0
Current children cumulated CPU time (s) 360.29
Current children cumulated vsize (KiB) 228020

Child status: 0
Real time (s): 360.485
CPU time (s): 360.386
CPU user time (s): 330.287
CPU system time (s): 30.0994
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 339192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.287
system time used= 30.0994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7974077
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= 6
involuntary context switches= 347

runsolver used 0.59091 second user time and 1.71274 second system time

The end

Begin job on node054 at 2010-06-16 11:26:21
IDJOB=2666328
IDBENCH=48346
IDSOLVER=1169
FILE ID=node054/2666328-1276680381
PBS_JOBID= 11172562
Free space on /tmp= 62480 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_3_15.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666328-1276680381/watcher-2666328-1276680381 -o /tmp/evaluation-result-2666328-1276680381/solver-2666328-1276680381 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666328-1276680381.opb -t 1800 -m 1800

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

MD5SUM BENCH= 318a02509ac7733b5c1657e14975af2b
RANDOM SEED=1970341360

node054.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.217
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
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.217
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1783856 kB
Buffers:         78744 kB
Cached:         115800 kB
SwapCached:       6896 kB
Active:          99780 kB
Inactive:       108720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1783856 kB
SwapTotal:     4192956 kB
SwapFree:      4140536 kB
Dirty:            5676 kB
Writeback:           0 kB
AnonPages:       11176 kB
Mapped:          13024 kB
Slab:            45056 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node054 at 2010-06-16 11:32:22