0.29/0.34	c SCIP version 1.1.0.7
0.29/0.34	c LP-Solver SoPlex 1.4.1
0.29/0.34	c user parameter file <scip.set> not found - using default parameters
0.29/0.34	c read problem <HOME/instance-1885097-1245263028.opb>
0.29/0.34	c original problem has 1473 variables (1473 bin, 0 int, 0 impl, 0 cont) and 22887 constraints
0.39/0.40	c No objective function, only one solution is needed.
0.39/0.40	c start presolving problem
0.39/0.40	c presolving:
0.59/0.67	c (round 1) 0 del vars, 350 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 22537 upgd conss, 49426 impls, 0 clqs
0.69/0.71	c presolving (2 rounds):
0.69/0.71	c  0 deleted vars, 350 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.71	c  49426 implications, 0 cliques
0.69/0.71	c presolved problem has 1473 variables (1473 bin, 0 int, 0 impl, 0 cont) and 22537 constraints
0.69/0.71	c   22537 constraints of type <logicor>
0.69/0.71	c transformed objective value is always integral (scale: 1)
0.69/0.71	c Presolving Time: 0.26
0.69/0.71	c PURESAT
0.69/0.71	c -----------------------------------------------------------------------------------------------
0.69/0.71	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71	c separating/flowcover/freq = c -1
0.69/0.71	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71	c separating/cmir/freq = c -1
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/veclendiving/maxlpiterofs = c 1500
0.69/0.71	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71	c heuristics/veclendiving/maxlpiterquot = c 0.075
0.69/0.71	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71	c heuristics/veclendiving/freq = c -1
0.69/0.71	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71	c heuristics/simplerounding/freq = c -1
0.69/0.71	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71	c heuristics/shifting/freq = c -1
0.69/0.71	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71	c heuristics/rounding/freq = c -1
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.69/0.71	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.71	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.69/0.71	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71	c heuristics/rootsoldiving/freq = c -1
0.69/0.71	c # number of nodes added to the contingent of the total nodes
0.69/0.71	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.71	c heuristics/rens/nodesofs = c 2000
0.69/0.71	c # minimum percentage of integer variables that have to be fixable 
0.69/0.71	c # [type: real, range: [0,1], default: 0.5]
0.69/0.71	c heuristics/rens/minfixingrate = c 0.3
0.69/0.71	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71	c heuristics/rens/freq = c -1
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/pscostdiving/maxlpiterofs = c 1500
0.69/0.71	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71	c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.69/0.71	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71	c heuristics/pscostdiving/freq = c -1
0.69/0.71	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71	c heuristics/oneopt/freq = c -1
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.69/0.71	c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.71	c # [type: real, range: [0,1], default: 0.01]
0.69/0.71	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.69/0.71	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71	c heuristics/objpscostdiving/freq = c -1
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.69/0.71	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.69/0.71	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71	c heuristics/linesearchdiving/freq = c -1
0.69/0.71	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71	c heuristics/intshifting/freq = c -1
0.69/0.71	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71	c heuristics/intdiving/maxlpiterquot = c 0.075
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/guideddiving/maxlpiterofs = c 1500
0.69/0.71	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71	c heuristics/guideddiving/maxlpiterquot = c 0.075
0.69/0.71	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71	c heuristics/guideddiving/freq = c -1
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/fracdiving/maxlpiterofs = c 1500
0.69/0.71	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71	c heuristics/fracdiving/maxlpiterquot = c 0.075
0.69/0.71	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71	c heuristics/fracdiving/freq = c -1
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/feaspump/maxlpiterofs = c 2000
0.69/0.71	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71	c heuristics/feaspump/freq = c -1
0.69/0.71	c # minimum percentage of integer variables that have to be fixed 
0.69/0.71	c # [type: real, range: [0,1], default: 0.666]
0.69/0.71	c heuristics/crossover/minfixingrate = c 0.5
0.69/0.71	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.71	c # [type: real, range: [0,1], default: 0.1]
0.69/0.71	c heuristics/crossover/nodesquot = c 0.15
0.69/0.71	c # number of nodes without incumbent change that heuristic should wait
0.69/0.71	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.71	c heuristics/crossover/nwaitingnodes = c 100
0.69/0.71	c # number of nodes added to the contingent of the total nodes
0.69/0.71	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.71	c heuristics/crossover/nodesofs = c 750
0.69/0.71	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.71	c heuristics/crossover/freq = c -1
0.69/0.71	c # additional number of allowed LP iterations
0.69/0.71	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71	c heuristics/coefdiving/maxlpiterofs = c 1500
0.69/0.71	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71	c heuristics/coefdiving/maxlpiterquot = c 0.075
0.69/0.71	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71	c heuristics/coefdiving/freq = c -1
0.69/0.71	c # priority of node selection rule <dfs> in standard mode
0.69/0.71	c # [type: int, range: [-536870912,536870911], default: 0]
0.69/0.71	c nodeselection/dfs/stdpriority = c 1000000
0.69/0.71	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.69/0.71	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71	c presolving/probing/maxrounds = c 0
0.69/0.71	c # should presolving try to simplify knapsacks
0.69/0.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71	c constraints/knapsack/simplifyinequalities = c TRUE
0.69/0.71	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.71	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.71	c constraints/knapsack/disaggregation = c FALSE
0.69/0.71	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72	c constraints/knapsack/maxnumcardlift = c 0
0.69/0.72	c # should presolving try to simplify inequalities
0.69/0.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.72	c constraints/linear/simplifyinequalities = c TRUE
0.69/0.72	c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72	c separating/maxroundsroot = c 5
0.69/0.72	c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.72	c separating/maxrounds = c 1
0.69/0.72	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.69/0.72	c # [type: char, range: {lafpsqd}, default: l]
0.69/0.72	c lp/pricing = c a
0.69/0.72	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72	c lp/solvefreq = c 0
0.69/0.72	c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72	c limits/solutions = c 1
0.69/0.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.72	c limits/memory = c 1620
0.69/0.72	c # maximal time in seconds to run
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.72	c limits/time = c 1791
0.69/0.72	c # frequency for displaying node information lines
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.72	c display/freq = c 10000
0.69/0.72	c # should enforcement of pseudo solution be disabled?
0.69/0.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.72	c constraints/disableenfops = c TRUE
0.69/0.72	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.72	c constraints/agelimit = c 1
0.69/0.72	c # should binary conflicts be preferred?
0.69/0.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.72	c conflict/preferbinary = c TRUE
0.69/0.72	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72	c conflict/interconss = c 0
0.69/0.72	c -----------------------------------------------------------------------------------------------
0.69/0.72	c start solving problem
0.69/0.72	c 
7.79/7.82	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.79/7.82	c   7.4s|     1 |     0 |  2665 |  29M|   0 | 572 |1473 |  22k|  22k|1473 |  22k|   0 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
31.28/31.34	c  30.8s|     1 |     0 |  4040 |  32M|   0 | 636 |1473 |  22k|  22k|1473 |  22k|  10 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
61.07/61.17	c  60.6s|     1 |     0 |  5089 |  37M|   0 | 688 |1473 |  22k|  22k|1473 |  22k|  15 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
94.46/94.52	c  93.8s|     1 |     0 |  6694 |  41M|   0 | 739 |1473 |  22k|  22k|1473 |  22k|  23 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
127.15/127.27	c   127s|     1 |     0 |  7711 |  45M|   0 | 746 |1473 |  22k|  22k|1473 |  22k|  29 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
162.93/163.05	c   162s|     1 |     0 |  9360 |  49M|   0 | 742 |1473 |  22k|  22k|1473 |  22k|  36 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
253.50/253.68	c   253s|     1 |     2 |  9360 |  49M|   0 | 742 |1473 |  22k|  22k|1473 |  22k|  36 |   0 |  19 | 1.330000e+02 |      --      |    Inf 
267.59/267.74	c   266s| 10000 |   154 |  9360 |  50M| 432 |   - |1473 |  23k|8993 |   0 |   0 |  36 |7393 |  19 | 1.330000e+02 |      --      |    Inf 
280.68/280.83	c   279s| 20000 |   149 |  9360 |  50M| 432 |   - |1473 |  23k|9314 |   0 |   0 |  36 |  15k|  19 | 1.330000e+02 |      --      |    Inf 
294.79/294.91	c   293s| 30000 |   134 |  9360 |  50M| 432 |   - |1473 |  23k|9322 |   0 |   0 |  36 |  24k|  19 | 1.330000e+02 |      --      |    Inf 
309.88/310.05	c   308s| 40000 |   114 |  9360 |  51M| 432 |   - |1473 |  24k|  10k|   0 |   0 |  36 |  33k|  19 | 1.330000e+02 |      --      |    Inf 
324.17/324.36	c   322s| 50000 |   109 |  9360 |  51M| 432 |   - |1473 |  24k|9984 |   0 |   0 |  36 |  40k|  19 | 1.330000e+02 |      --      |    Inf 
339.67/339.87	c   338s| 60000 |   105 |  9360 |  51M| 432 |   - |1473 |  25k|  10k|   0 |   0 |  36 |  49k|  19 | 1.330000e+02 |      --      |    Inf 
353.76/353.92	c   351s| 70000 |   111 |  9360 |  51M| 432 |   - |1473 |  26k|  10k|   0 |   0 |  36 |  57k|  19 | 1.330000e+02 |      --      |    Inf 
367.85/368.02	c   365s| 80000 |   113 |  9360 |  51M| 432 |   - |1473 |  25k|  10k|   0 |   0 |  36 |  65k|  19 | 1.330000e+02 |      --      |    Inf 
381.65/381.90	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
381.65/381.90	c   379s| 90000 |   114 |  9360 |  51M| 432 |   - |1473 |  25k|9192 |   0 |   0 |  36 |  74k|  19 | 1.330000e+02 |      --      |    Inf 
394.75/394.96	c   392s|100000 |   108 |  9360 |  51M| 432 |   - |1473 |  26k|9152 |   0 |   0 |  36 |  83k|  19 | 1.330000e+02 |      --      |    Inf 
407.84/408.00	c   405s|110000 |   110 |  9360 |  52M| 432 |   - |1473 |  28k|7865 |   0 |   0 |  36 |  94k|  19 | 1.330000e+02 |      --      |    Inf 
421.04/421.25	c   418s|120000 |   110 |  9360 |  52M| 432 |   - |1473 |  29k|8571 |   0 |   0 |  36 | 103k|  19 | 1.330000e+02 |      --      |    Inf 
433.93/434.19	c   430s|130000 |   119 |  9360 |  53M| 432 |   - |1473 |  30k|  11k|   0 |   0 |  36 | 112k|  19 | 1.330000e+02 |      --      |    Inf 
447.33/447.52	c   444s|140000 |   114 |  9360 |  53M| 432 |   - |1473 |  31k|  11k|   0 |   0 |  36 | 120k|  19 | 1.330000e+02 |      --      |    Inf 
462.02/462.25	c   458s|150000 |   123 |  9360 |  54M| 432 |   - |1473 |  33k|9713 |   0 |   0 |  36 | 130k|  19 | 1.330000e+02 |      --      |    Inf 
476.42/476.67	c   472s|160000 |   115 |  9360 |  54M| 432 |   - |1473 |  34k|9840 |   0 |   0 |  36 | 139k|  19 | 1.330000e+02 |      --      |    Inf 
490.61/490.86	c   486s|170000 |   113 |  9360 |  54M| 432 |   - |1473 |  34k|9228 |   0 |   0 |  36 | 148k|  19 | 1.330000e+02 |      --      |    Inf 
503.81/504.07	c   499s|180000 |   110 |  9360 |  54M| 432 |   - |1473 |  36k|  10k|   0 |   0 |  36 | 158k|  19 | 1.330000e+02 |      --      |    Inf 
516.71/516.93	c   512s|190000 |   115 |  9360 |  55M| 432 |   - |1473 |  37k|  10k|   0 |   0 |  36 | 166k|  19 | 1.330000e+02 |      --      |    Inf 
530.39/530.67	c   526s|200000 |   108 |  9360 |  55M| 432 |   - |1473 |  38k|9059 |   0 |   0 |  36 | 175k|  19 | 1.330000e+02 |      --      |    Inf 
543.79/544.06	c   539s|210000 |   106 |  9360 |  56M| 432 |   - |1473 |  39k|  10k|   0 |   0 |  36 | 183k|  19 | 1.330000e+02 |      --      |    Inf 
556.59/556.85	c   551s|220000 |   119 |  9360 |  55M| 432 |   - |1473 |  38k|  10k|   0 |   0 |  36 | 191k|  19 | 1.330000e+02 |      --      |    Inf 
570.89/571.16	c   565s|230000 |   123 |  9360 |  55M| 432 |   - |1473 |  40k|9555 |   0 |   0 |  36 | 200k|  19 | 1.330000e+02 |      --      |    Inf 
585.28/585.53	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
585.28/585.53	c   580s|240000 |   115 |  9360 |  56M| 432 |   - |1473 |  41k|8237 |   0 |   0 |  36 | 210k|  19 | 1.330000e+02 |      --      |    Inf 
598.87/599.12	c   593s|250000 |   105 |  9360 |  57M| 432 |   - |1473 |  44k|7062 |   0 |   0 |  36 | 222k|  19 | 1.330000e+02 |      --      |    Inf 
612.77/613.06	c   607s|260000 |   107 |  9360 |  58M| 432 |   - |1473 |  47k|8030 |   0 |   0 |  36 | 234k|  19 | 1.330000e+02 |      --      |    Inf 
628.06/628.33	c   622s|270000 |   106 |  9360 |  59M| 432 |   - |1473 |  49k|8763 |   0 |   0 |  36 | 246k|  19 | 1.330000e+02 |      --      |    Inf 
642.35/642.69	c   636s|280000 |   109 |  9360 |  60M| 432 |   - |1473 |  52k|6901 |   0 |   0 |  36 | 257k|  19 | 1.330000e+02 |      --      |    Inf 
657.15/657.46	c   650s|290000 |   105 |  9360 |  61M| 432 |   - |1473 |  55k|7878 |   0 |   0 |  36 | 268k|  19 | 1.330000e+02 |      --      |    Inf 
671.85/672.11	c   665s|300000 |    94 |  9360 |  62M| 432 |   - |1473 |  58k|8228 |   0 |   0 |  36 | 279k|  19 | 1.330000e+02 |      --      |    Inf 
685.94/686.27	c   679s|310000 |    96 |  9360 |  63M| 432 |   - |1473 |  61k|5838 |   0 |   0 |  36 | 290k|  19 | 1.330000e+02 |      --      |    Inf 
700.03/700.39	c   693s|320000 |   113 |  9360 |  63M| 432 |   - |1473 |  64k|5895 |   0 |   0 |  36 | 302k|  19 | 1.330000e+02 |      --      |    Inf 
713.24/713.55	c   706s|330000 |   102 |  9360 |  62M| 432 |   - |1473 |  62k|8959 |   0 |   0 |  36 | 311k|  19 | 1.330000e+02 |      --      |    Inf 
726.53/726.87	c   719s|340000 |    98 |  9360 |  63M| 432 |   - |1473 |  64k|9955 |   0 |   0 |  36 | 321k|  19 | 1.330000e+02 |      --      |    Inf 
740.63/740.92	c   733s|350000 |   106 |  9360 |  63M| 432 |   - |1473 |  65k|8015 |   0 |   0 |  36 | 331k|  19 | 1.330000e+02 |      --      |    Inf 
753.42/753.75	c   745s|360000 |   102 |  9360 |  64M| 432 |   - |1473 |  67k|9478 |   0 |   0 |  36 | 340k|  19 | 1.330000e+02 |      --      |    Inf 
767.11/767.49	c   759s|370000 |   105 |  9360 |  64M| 432 |   - |1473 |  68k|8269 |   0 |   0 |  36 | 348k|  19 | 1.330000e+02 |      --      |    Inf 
781.11/781.49	c   773s|380000 |   120 |  9360 |  65M| 432 |   - |1473 |  70k|4949 |   0 |   0 |  36 | 358k|  19 | 1.330000e+02 |      --      |    Inf 
794.90/795.21	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
794.90/795.21	c   786s|390000 |   114 |  9360 |  65M| 432 |   - |1473 |  71k|  10k|   0 |   0 |  36 | 369k|  19 | 1.330000e+02 |      --      |    Inf 
809.20/809.53	c   800s|400000 |   111 |  9360 |  66M| 432 |   - |1473 |  74k|5721 |   0 |   0 |  36 | 380k|  19 | 1.330000e+02 |      --      |    Inf 
824.19/824.59	c   815s|410000 |   110 |  9360 |  67M| 432 |   - |1473 |  75k|9647 |   0 |   0 |  36 | 390k|  19 | 1.330000e+02 |      --      |    Inf 
839.28/839.69	c   830s|420000 |   114 |  9360 |  67M| 432 |   - |1473 |  76k|7992 |   0 |   0 |  36 | 400k|  19 | 1.330000e+02 |      --      |    Inf 
854.28/854.61	c   845s|430000 |   113 |  9360 |  67M| 432 |   - |1473 |  78k|8255 |   0 |   0 |  36 | 410k|  19 | 1.330000e+02 |      --      |    Inf 
868.97/869.30	c   859s|440000 |   112 |  9360 |  68M| 432 |   - |1473 |  80k|6108 |   0 |   0 |  36 | 420k|  19 | 1.330000e+02 |      --      |    Inf 
883.47/883.90	c   874s|450000 |   114 |  9360 |  69M| 432 |   - |1473 |  83k|6354 |   0 |   0 |  36 | 431k|  19 | 1.330000e+02 |      --      |    Inf 
898.37/898.76	c   888s|460000 |   110 |  9360 |  70M| 432 |   - |1473 |  85k|  10k|   0 |   0 |  36 | 442k|  19 | 1.330000e+02 |      --      |    Inf 
911.86/912.22	c   901s|470000 |   112 |  9360 |  71M| 432 |   - |1473 |  88k|  12k|   0 |   0 |  36 | 451k|  19 | 1.330000e+02 |      --      |    Inf 
925.95/926.38	c   915s|480000 |   102 |  9360 |  71M| 432 |   - |1473 |  89k|4389 |   0 |   0 |  36 | 460k|  19 | 1.330000e+02 |      --      |    Inf 
940.75/941.10	c   930s|490000 |   120 |  9360 |  72M| 432 |   - |1473 |  91k|6979 |   0 |   0 |  36 | 470k|  19 | 1.330000e+02 |      --      |    Inf 
954.54/954.95	c   944s|500000 |   104 |  9360 |  72M| 432 |   - |1473 |  93k|6596 |   0 |   0 |  36 | 479k|  19 | 1.330000e+02 |      --      |    Inf 
969.24/969.69	c   958s|510000 |   111 |  9360 |  73M| 432 |   - |1473 |  95k|7154 |   0 |   0 |  36 | 489k|  19 | 1.330000e+02 |      --      |    Inf 
982.54/982.96	c   971s|520000 |   112 |  9360 |  74M| 432 |   - |1473 |  97k|7941 |   0 |   0 |  36 | 500k|  19 | 1.330000e+02 |      --      |    Inf 
997.43/997.88	c   986s|530000 |   106 |  9360 |  74M| 432 |   - |1473 |  99k|8526 |   0 |   0 |  36 | 511k|  19 | 1.330000e+02 |      --      |    Inf 
1012.02/1012.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1012.02/1012.41	c  1000s|540000 |   103 |  9360 |  75M| 432 |   - |1473 | 102k|7996 |   0 |   0 |  36 | 521k|  19 | 1.330000e+02 |      --      |    Inf 
1025.93/1026.39	c  1014s|550000 |   101 |  9360 |  76M| 432 |   - |1473 | 104k|9305 |   0 |   0 |  36 | 530k|  19 | 1.330000e+02 |      --      |    Inf 
1039.92/1040.31	c  1028s|560000 |   101 |  9360 |  76M| 432 |   - |1473 | 106k|8815 |   0 |   0 |  36 | 540k|  19 | 1.330000e+02 |      --      |    Inf 
1054.41/1054.83	c  1042s|570000 |   102 |  9360 |  77M| 432 |   - |1473 | 108k|  10k|   0 |   0 |  36 | 551k|  19 | 1.330000e+02 |      --      |    Inf 
1068.71/1069.15	c  1056s|580000 |   109 |  9360 |  77M| 432 |   - |1473 | 110k|8558 |   0 |   0 |  36 | 561k|  19 | 1.330000e+02 |      --      |    Inf 
1083.10/1083.56	c  1070s|590000 |   109 |  9360 |  78M| 432 |   - |1473 | 112k|6155 |   0 |   0 |  36 | 571k|  19 | 1.330000e+02 |      --      |    Inf 
1097.69/1098.18	c  1085s|600000 |   101 |  9360 |  79M| 432 |   - |1473 | 114k|5585 |   0 |   0 |  36 | 580k|  19 | 1.330000e+02 |      --      |    Inf 
1113.79/1114.23	c  1101s|610000 |   103 |  9360 |  80M| 432 |   - |1473 | 116k|6537 |   0 |   0 |  36 | 589k|  19 | 1.330000e+02 |      --      |    Inf 
1128.09/1128.59	c  1115s|620000 |   112 |  9360 |  80M| 432 |   - |1473 | 118k|6306 |   0 |   0 |  36 | 599k|  19 | 1.330000e+02 |      --      |    Inf 
1142.88/1143.30	c  1129s|630000 |   107 |  9360 |  81M| 432 |   - |1473 | 120k|7728 |   0 |   0 |  36 | 609k|  19 | 1.330000e+02 |      --      |    Inf 
1158.27/1158.74	c  1144s|640000 |   106 |  9360 |  82M| 432 |   - |1473 | 123k|7272 |   0 |   0 |  36 | 619k|  19 | 1.330000e+02 |      --      |    Inf 
1172.96/1173.49	c  1159s|650000 |    98 |  9360 |  82M| 432 |   - |1473 | 125k|6793 |   0 |   0 |  36 | 629k|  19 | 1.330000e+02 |      --      |    Inf 
1187.57/1188.07	c  1173s|660000 |   118 |  9360 |  83M| 432 |   - |1473 | 127k|7765 |   0 |   0 |  36 | 639k|  19 | 1.330000e+02 |      --      |    Inf 
1202.25/1202.71	c  1188s|670000 |   111 |  9360 |  84M| 432 |   - |1473 | 129k|9947 |   0 |   0 |  36 | 650k|  19 | 1.330000e+02 |      --      |    Inf 
1217.15/1217.66	c  1202s|680000 |   110 |  9360 |  85M| 432 |   - |1473 | 131k|7007 |   0 |   0 |  36 | 660k|  19 | 1.330000e+02 |      --      |    Inf 
1232.14/1232.65	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1232.14/1232.65	c  1217s|690000 |   109 |  9360 |  85M| 432 |   - |1473 | 133k|9874 |   0 |   0 |  36 | 670k|  19 | 1.330000e+02 |      --      |    Inf 
1247.33/1247.89	c  1232s|700000 |   129 |  9360 |  82M| 432 |   - |1473 | 128k|8989 |   0 |   0 |  36 | 679k|  19 | 1.330000e+02 |      --      |    Inf 
1262.33/1262.88	c  1247s|710000 |   109 |  9360 |  82M| 432 |   - |1473 | 130k|6571 |   0 |   0 |  36 | 690k|  19 | 1.330000e+02 |      --      |    Inf 
1276.83/1277.35	c  1261s|720000 |    99 |  9360 |  83M| 432 |   - |1473 | 132k|9162 |   0 |   0 |  36 | 699k|  19 | 1.330000e+02 |      --      |    Inf 
1291.93/1292.40	c  1276s|730000 |   103 |  9360 |  83M| 432 |   - |1473 | 134k|9471 |   0 |   0 |  36 | 709k|  19 | 1.330000e+02 |      --      |    Inf 
1308.22/1308.71	c  1292s|740000 |   113 |  9360 |  84M| 432 |   - |1473 | 136k|7540 |   0 |   0 |  36 | 719k|  19 | 1.330000e+02 |      --      |    Inf 
1323.11/1323.68	c  1307s|750000 |   105 |  9360 |  85M| 432 |   - |1473 | 138k|7671 |   0 |   0 |  36 | 729k|  19 | 1.330000e+02 |      --      |    Inf 
1338.21/1338.77	c  1322s|760000 |   100 |  9360 |  85M| 432 |   - |1473 | 141k|7892 |   0 |   0 |  36 | 739k|  19 | 1.330000e+02 |      --      |    Inf 
1353.30/1353.80	c  1337s|770000 |   107 |  9360 |  86M| 432 |   - |1473 | 142k|9385 |   0 |   0 |  36 | 749k|  19 | 1.330000e+02 |      --      |    Inf 
1369.39/1369.91	c  1352s|780000 |    97 |  9360 |  87M| 432 |   - |1473 | 143k|9455 |   0 |   0 |  36 | 758k|  19 | 1.330000e+02 |      --      |    Inf 
1386.39/1386.92	c  1369s|790000 |   118 |  9360 |  87M| 432 |   - |1473 | 146k|7584 |   0 |   0 |  36 | 768k|  19 | 1.330000e+02 |      --      |    Inf 
1400.89/1401.40	c  1383s|800000 |   105 |  9360 |  88M| 432 |   - |1473 | 148k|8318 |   0 |   0 |  36 | 779k|  19 | 1.330000e+02 |      --      |    Inf 
1416.48/1417.03	c  1399s|810000 |   124 |  9360 |  89M| 432 |   - |1473 | 150k|8429 |   0 |   0 |  36 | 789k|  19 | 1.330000e+02 |      --      |    Inf 
1430.97/1431.50	c  1413s|820000 |    98 |  9360 |  89M| 432 |   - |1473 | 152k|8017 |   0 |   0 |  36 | 800k|  19 | 1.330000e+02 |      --      |    Inf 
1446.66/1447.26	c  1429s|830000 |   104 |  9360 |  90M| 432 |   - |1473 | 153k|5944 |   0 |   0 |  36 | 809k|  19 | 1.330000e+02 |      --      |    Inf 
1462.16/1462.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1462.16/1462.79	c  1444s|840000 |   102 |  9360 |  90M| 432 |   - |1473 | 154k|7732 |   0 |   0 |  36 | 819k|  19 | 1.330000e+02 |      --      |    Inf 
1477.16/1477.71	c  1459s|850000 |   105 |  9360 |  91M| 432 |   - |1473 | 156k|8539 |   0 |   0 |  36 | 829k|  19 | 1.330000e+02 |      --      |    Inf 
1493.35/1493.97	c  1475s|860000 |   104 |  9360 |  92M| 432 |   - |1473 | 159k|7751 |   0 |   0 |  36 | 841k|  19 | 1.330000e+02 |      --      |    Inf 
1509.04/1509.64	c  1490s|870000 |    96 |  9360 |  92M| 432 |   - |1473 | 160k|8692 |   0 |   0 |  36 | 850k|  19 | 1.330000e+02 |      --      |    Inf 
1523.54/1524.13	c  1504s|880000 |    97 |  9360 |  92M| 432 |   - |1473 | 161k|6968 |   0 |   0 |  36 | 859k|  19 | 1.330000e+02 |      --      |    Inf 
1536.24/1536.80	c  1517s|890000 |   105 |  9360 |  93M| 432 |   - |1473 | 163k|7930 |   0 |   0 |  36 | 871k|  19 | 1.330000e+02 |      --      |    Inf 
1550.43/1551.04	c  1531s|900000 |   105 |  9360 |  94M| 432 |   - |1473 | 167k|9087 |   0 |   0 |  36 | 883k|  19 | 1.330000e+02 |      --      |    Inf 
1564.23/1564.81	c  1545s|910000 |   105 |  9360 |  94M| 432 |   - |1473 | 167k|9844 |   0 |   0 |  36 | 894k|  19 | 1.330000e+02 |      --      |    Inf 
1577.93/1578.59	c  1558s|920000 |   103 |  9360 |  95M| 432 |   - |1473 | 170k|8113 |   0 |   0 |  36 | 906k|  19 | 1.330000e+02 |      --      |    Inf 
1592.21/1592.81	c  1572s|930000 |   110 |  9360 |  96M| 432 |   - |1473 | 172k|6734 |   0 |   0 |  36 | 917k|  19 | 1.330000e+02 |      --      |    Inf 
1606.20/1606.87	c  1586s|940000 |   101 |  9360 |  97M| 432 |   - |1473 | 175k|7948 |   0 |   0 |  36 | 928k|  19 | 1.330000e+02 |      --      |    Inf 
1620.71/1621.33	c  1600s|950000 |    98 |  9360 |  98M| 432 |   - |1473 | 178k|  10k|   0 |   0 |  36 | 939k|  19 | 1.330000e+02 |      --      |    Inf 
1635.70/1636.35	c  1615s|960000 |   101 |  9360 |  99M| 432 |   - |1473 | 180k|8814 |   0 |   0 |  36 | 951k|  19 | 1.330000e+02 |      --      |    Inf 
1650.59/1651.22	c  1630s|970000 |    97 |  9360 |  99M| 432 |   - |1473 | 183k|9392 |   0 |   0 |  36 | 962k|  19 | 1.330000e+02 |      --      |    Inf 
1665.89/1666.52	c  1645s|980000 |   102 |  9360 | 100M| 432 |   - |1473 | 186k|7878 |   0 |   0 |  36 | 973k|  19 | 1.330000e+02 |      --      |    Inf 
1682.47/1683.18	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1682.47/1683.18	c  1661s|990000 |   109 |  9360 | 101M| 432 |   - |1473 | 189k|7291 |   0 |   0 |  36 | 985k|  19 | 1.330000e+02 |      --      |    Inf 
1697.78/1698.41	c  1676s|  1000k|   100 |  9360 | 102M| 432 |   - |1473 | 191k|9254 |   0 |   0 |  36 | 996k|  19 | 1.330000e+02 |      --      |    Inf 
1713.07/1713.80	c  1691s|  1010k|   100 |  9360 | 103M| 432 |   - |1473 | 194k|7516 |   0 |   0 |  36 |1006k|  19 | 1.330000e+02 |      --      |    Inf 
1727.27/1727.95	c  1705s|  1020k|   138 |  9360 | 103M| 432 |   - |1473 | 197k|  11k|   0 |   0 |  36 |1017k|  19 | 1.330000e+02 |      --      |    Inf 
1741.15/1741.88	c  1719s|  1030k|   115 |  9360 | 104M| 432 |   - |1473 | 199k|7854 |   0 |   0 |  36 |1026k|  19 | 1.330000e+02 |      --      |    Inf 
1755.35/1756.08	c  1733s|  1040k|   108 |  9360 | 106M| 432 |   - |1473 | 202k|7022 |   0 |   0 |  36 |1037k|  19 | 1.330000e+02 |      --      |    Inf 
1769.25/1769.98	c  1747s|  1050k|   102 |  9360 | 106M| 432 |   - |1473 | 205k|8635 |   0 |   0 |  36 |1049k|  19 | 1.330000e+02 |      --      |    Inf 
1782.84/1783.53	c  1760s|  1060k|    96 |  9360 | 107M| 432 |   - |1473 | 207k|7340 |   0 |   0 |  36 |1059k|  19 | 1.330000e+02 |      --      |    Inf 
1798.03/1798.70	c  1775s|  1070k|   105 |  9360 | 108M| 432 |   - |1473 | 209k|5414 |   0 |   0 |  36 |1069k|  19 | 1.330000e+02 |      --      |    Inf 
1800.04/1800.71	c 
1800.04/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.71	c Solving Time (sec) : 1776.98
1800.04/1800.71	c Solving Nodes      : 1071410
1800.04/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.71	c Dual Bound         : +1.33000000000000e+02
1800.04/1800.71	c Gap                : infinite
1800.04/1800.71	c NODE         1071410
1800.04/1800.71	c DUAL BOUND   133
1800.04/1800.71	c PRIMAL BOUND 1e+20
1800.04/1800.71	c GAP          1e+20
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.71	c Solving Time       :    1776.98
1800.04/1800.71	c Original Problem   :
1800.04/1800.71	c   Problem name     : HOME/instance-1885097-1245263028.opb
1800.04/1800.71	c   Variables        : 1473 (1473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71	c   Constraints      : 22887 initial, 22887 maximal
1800.04/1800.71	c Presolved Problem  :
1800.04/1800.71	c   Problem name     : t_HOME/instance-1885097-1245263028.opb
1800.04/1800.71	c   Variables        : 1473 (1473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71	c   Constraints      : 22537 initial, 210249 maximal
1800.04/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   linear           :       0.16          0          0          0          0          0        350          0          0
1800.04/1800.71	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1800.04/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.71	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.04/1800.71	c   logicor          :      22537+         5    4766685          0          0     498141   23954554          0          0          0
1800.04/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.71	c   integral         :      90.37       0.00       0.00      90.37       0.00
1800.04/1800.71	c   logicor          :     619.41       0.01     619.40       0.00       0.00
1800.04/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.71	c   rootredcost      :       1.98          0          0          0
1800.04/1800.71	c   pseudoobj        :     396.77    5911719          0          0
1800.04/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.71	c   propagation      :     198.18     498141     498141     498141       34.3     576595       29.4          -
1800.04/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.71	c   applied globally :          -          -          -    1071065       31.2          -          -          -
1800.04/1800.71	c   applied locally  :          -          -          -          1      149.0          -          -          -
1800.04/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.71	c   cut pool         :       0.01          4          -          -         10          -    (maximal pool size: 742)
1800.04/1800.71	c   redcost          :       0.00          5          0          0          0          0
1800.04/1800.71	c   impliedbounds    :       0.01          5          0          0          0          0
1800.04/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.71	c   gomory           :     118.52          5          0          0        959          0
1800.04/1800.71	c   strongcg         :       5.60          5          0          0       2500          0
1800.04/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.71	c   clique           :       0.09          5          0          0         37          0
1800.04/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.71	c   mcf              :       0.03          1          0          0          0          0
1800.04/1800.71	c Pricers            :       Time      Calls       Vars
1800.04/1800.71	c   problem variables:       0.00          0          0
1800.04/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.71	c   relpscost        :      90.37          1          0          0          0          0          2
1800.04/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   inference        :      78.48     818734          0          0          0          0    1637468
1800.04/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.71	c   LP solutions     :       0.00          -          0
1800.04/1800.71	c   pseudo solutions :       0.00          -          0
1800.04/1800.71	c   simplerounding   :       0.00          0          0
1800.04/1800.71	c   rounding         :       0.00          0          0
1800.04/1800.71	c   shifting         :       0.00          0          0
1800.04/1800.71	c   intshifting      :       0.00          0          0
1800.04/1800.71	c   oneopt           :       0.00          0          0
1800.04/1800.71	c   fixandinfer      :       0.00          0          0
1800.04/1800.71	c   feaspump         :       0.00          0          0
1800.04/1800.71	c   coefdiving       :       0.00          0          0
1800.04/1800.71	c   pscostdiving     :       0.00          0          0
1800.04/1800.71	c   fracdiving       :       0.00          0          0
1800.04/1800.71	c   veclendiving     :       0.00          0          0
1800.04/1800.71	c   intdiving        :       0.00          0          0
1800.04/1800.71	c   actconsdiving    :       0.00          0          0
1800.04/1800.71	c   objpscostdiving  :       0.00          0          0
1800.04/1800.71	c   rootsoldiving    :       0.00          0          0
1800.04/1800.71	c   linesearchdiving :       0.00          0          0
1800.04/1800.71	c   guideddiving     :       0.00          0          0
1800.04/1800.71	c   octane           :       0.00          0          0
1800.04/1800.71	c   rens             :       0.00          0          0
1800.04/1800.71	c   rins             :       0.00          0          0
1800.04/1800.71	c   localbranching   :       0.00          0          0
1800.04/1800.71	c   mutation         :       0.00          0          0
1800.04/1800.71	c   crossover        :       0.00          0          0
1800.04/1800.71	c   dins             :       0.00          0          0
1800.04/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.71	c   primal LP        :       0.03          0          0       0.00       0.00
1800.04/1800.71	c   dual LP          :      37.41          6       9360    1560.00     250.20
1800.04/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.71	c   strong branching :      90.37         19      19000    1000.00     210.25
1800.04/1800.71	c     (at root node) :          -         19      19000    1000.00          -
1800.04/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.71	c B&B Tree           :
1800.04/1800.71	c   number of runs   :          1
1800.04/1800.71	c   nodes            :    1071410
1800.04/1800.71	c   nodes (total)    :    1071410
1800.04/1800.71	c   nodes left       :        110
1800.04/1800.71	c   max depth        :        432
1800.04/1800.71	c   max depth (total):        432
1800.04/1800.71	c   backtracks       :     305889 (28.6%)
1800.04/1800.71	c   delayed cutoffs  :     565951
1800.04/1800.71	c   repropagations   :    1668829 (11459460 domain reductions, 245466 cutoffs)
1800.04/1800.71	c   avg switch length:       4.28
1800.04/1800.71	c   switching time   :     283.59
1800.04/1800.71	c Solution           :
1800.04/1800.71	c   Solutions found  :          0 (0 improvements)
1800.04/1800.71	c   Primal Bound     :          -
1800.04/1800.71	c   Dual Bound       : +1.33000000000000e+02
1800.04/1800.71	c   Gap              :   infinite
1800.04/1800.71	c   Root Dual Bound  : +1.33000000000000e+02
1800.33/1801.09	c Time complete: 1800.43.

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885097-1245263028/watcher-1885097-1245263028 -o /tmp/evaluation-result-1885097-1245263028/solver-1885097-1245263028 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885097-1245263028.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.00 0.97 3/64 8807
/proc/meminfo: memFree=1841128/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=4648 CPUtime=0
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 489 0 0 0 0 0 0 0 18 0 1 0 193903371 4759552 473 1992294400 4194304 7823515 548682068736 18446744073709551615 6962474 0 0 4096 0 0 0 0 17 1 0 0
/proc/8807/statm: 1162 485 318 886 0 272 0

[startup+0.0998911 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 8807
/proc/meminfo: memFree=1841128/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=13084 CPUtime=0.08
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 2580 0 0 0 8 0 0 0 18 0 1 0 193903371 13398016 2562 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/8807/statm: 3271 2562 351 886 0 2381 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13084

[startup+0.101928 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 8807
/proc/meminfo: memFree=1841128/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=13084 CPUtime=0.09
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 2580 0 0 0 9 0 0 0 18 0 1 0 193903371 13398016 2562 1992294400 4194304 7823515 548682068736 18446744073709551615 6896413 0 0 4096 0 0 0 0 17 1 0 0
/proc/8807/statm: 3271 2562 351 886 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13084

[startup+0.301971 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 8807
/proc/meminfo: memFree=1841128/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=17944 CPUtime=0.29
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 3794 0 0 0 28 1 0 0 19 0 1 0 193903371 18374656 3776 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/8807/statm: 4486 3776 351 886 0 3596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17944

[startup+0.703017 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 8807
/proc/meminfo: memFree=1841128/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=51108 CPUtime=0.69
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 12900 0 0 0 60 9 0 0 22 0 1 0 193903371 52334592 11774 1992294400 4194304 7823515 548682068736 18446744073709551615 5879390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 12777 11774 425 886 0 11887 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51108

[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1774880/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=77080 CPUtime=1.49
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 19334 0 0 0 137 12 0 0 22 0 1 0 193903371 78929920 17918 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 19270 17918 504 886 0 18380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77080

[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1769056/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=80216 CPUtime=3.09
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 20099 0 0 0 297 12 0 0 25 0 1 0 193903371 82141184 18676 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 20054 18676 504 886 0 19164 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80216

[startup+6.3012 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1766560/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=81060 CPUtime=6.29
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 20605 0 0 0 616 13 0 0 25 0 1 0 193903371 83005440 19182 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 20265 19182 504 886 0 19375 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81060

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1765864/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=81060 CPUtime=12.69
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 20644 0 0 0 1255 14 0 0 25 0 1 0 193903371 83005440 19221 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 20265 19221 521 886 0 19375 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81060

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1756392/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=97808 CPUtime=25.48
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 24073 0 0 0 2530 18 0 0 25 0 1 0 193903371 100155392 22650 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 24452 22651 534 886 0 23562 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 97808

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1747944/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=101368 CPUtime=51.07
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 25251 0 0 0 5084 23 0 0 25 0 1 0 193903371 103800832 23733 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 25342 23733 534 886 0 24452 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 101368

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1732712/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=114596 CPUtime=102.26
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 29361 0 0 0 10192 34 0 0 25 0 1 0 193903371 117346304 27514 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 28649 27514 534 886 0 27759 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 114596

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1721000/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=126168 CPUtime=162.23
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 32282 0 0 0 16178 45 0 0 25 0 1 0 193903371 129196032 30435 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 31542 30435 534 886 0 30652 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 126168

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1720232/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=127788 CPUtime=222.21
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 46686 0 0 0 22160 61 0 0 25 0 1 0 193903371 130854912 30626 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 31947 30626 537 886 0 31057 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 127788

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1722600/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=125096 CPUtime=282.18
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 55218 0 0 0 28106 112 0 0 25 0 1 0 193903371 128098304 30031 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 31274 30031 546 886 0 30384 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 125096

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1721960/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=125096 CPUtime=342.17
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 55373 0 0 0 34023 194 0 0 25 0 1 0 193903371 128098304 30186 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 31274 30186 546 886 0 30384 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 125096

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1720040/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=126284 CPUtime=402.15
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 55834 0 0 0 39936 279 0 0 25 0 1 0 193903371 129314816 30647 1992294400 4194304 7823515 548682068736 18446744073709551615 4209593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 31571 30647 546 886 0 30681 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 126284

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1717928/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=128640 CPUtime=462.13
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 56357 0 0 0 45848 365 0 0 25 0 1 0 193903371 131727360 31170 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 32160 31170 546 886 0 31270 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 128640

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1714664/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=132212 CPUtime=522.1
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 57144 0 0 0 51760 450 0 0 25 0 1 0 193903371 135385088 31957 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 33053 31957 546 886 0 32163 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 132212

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1713512/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=133616 CPUtime=582.08
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 57459 0 0 0 57668 540 0 0 25 0 1 0 193903371 136822784 32272 1992294400 4194304 7823515 548682068736 18446744073709551615 4831893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 33404 32272 546 886 0 32514 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 133616

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1707176/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=140752 CPUtime=642.06
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 58990 0 0 0 63580 626 0 0 25 0 1 0 193903371 144130048 33803 1992294400 4194304 7823515 548682068736 18446744073709551615 5879390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 35188 33803 546 886 0 34298 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 140752

[startup+702.302 s]

################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1692136/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=157348 CPUtime=881.97
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 62704 0 0 0 87227 970 0 0 25 0 1 0 193903371 161124352 37517 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 39337 37517 546 886 0 38447 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 157348

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1688424/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=161536 CPUtime=941.95
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 63611 0 0 0 93138 1057 0 0 25 0 1 0 193903371 165412864 38424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 40384 38424 546 886 0 39494 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 161536

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1683816/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=166812 CPUtime=1001.92
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 64758 0 0 0 99050 1142 0 0 25 0 1 0 193903371 170815488 39571 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 41703 39571 546 886 0 40813 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 166812

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1680936/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=169360 CPUtime=1061.9
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 65466 0 0 0 104966 1224 0 0 25 0 1 0 193903371 173424640 40279 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 42340 40279 546 886 0 41450 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 169360

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1674344/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=176572 CPUtime=1121.88
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 67085 0 0 0 110878 1310 0 0 25 0 1 0 193903371 180809728 41898 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 44143 41898 546 886 0 43253 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 176572

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1671720/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=178860 CPUtime=1181.86
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 67732 0 0 0 116788 1398 0 0 25 0 1 0 193903371 183152640 42545 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 44715 42545 546 886 0 43825 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 178860

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1666792/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=184144 CPUtime=1241.84
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 68903 0 0 0 122700 1484 0 0 25 0 1 0 193903371 188563456 43716 1992294400 4194304 7823515 548682068736 18446744073709551615 5100212 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 46036 43716 546 886 0 45146 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 184144

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1664360/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=186676 CPUtime=1301.82
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 69496 0 0 0 128613 1569 0 0 25 0 1 0 193903371 191156224 44309 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 46669 44309 546 886 0 45779 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 186676

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1663400/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=187316 CPUtime=1361.79
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 69724 0 0 0 134525 1654 0 0 25 0 1 0 193903371 191811584 44537 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 46829 44537 546 886 0 45939 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 187316

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1659048/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=191812 CPUtime=1421.78
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 70809 0 0 0 140440 1738 0 0 25 0 1 0 193903371 196415488 45622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 47953 45622 546 886 0 47063 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 191812

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1657640/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=192868 CPUtime=1481.75
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 71148 0 0 0 146352 1823 0 0 25 0 1 0 193903371 197496832 45961 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 48217 45961 546 886 0 47327 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 192868

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1652584/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=198256 CPUtime=1541.73
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 72390 0 0 0 152267 1906 0 0 25 0 1 0 193903371 203014144 47203 1992294400 4194304 7823515 548682068736 18446744073709551615 4562398 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 49564 47203 546 886 0 48674 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 198256

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1647144/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=203912 CPUtime=1601.71
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 73733 0 0 0 158176 1995 0 0 25 0 1 0 193903371 208805888 48546 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 50978 48546 546 886 0 50088 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 203912

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1643880/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=206728 CPUtime=1661.68
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 74539 0 0 0 164089 2079 0 0 25 0 1 0 193903371 211689472 49352 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 51682 49352 546 886 0 50792 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 206728

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8808
/proc/meminfo: memFree=1638184/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=212552 CPUtime=1721.67
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 75942 0 0 0 170004 2163 0 0 25 0 1 0 193903371 217653248 50755 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 53138 50755 546 886 0 52248 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 212552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8810
/proc/meminfo: memFree=1632680/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=218068 CPUtime=1781.64
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 77302 0 0 0 175917 2247 0 0 25 0 1 0 193903371 223301632 52115 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 54517 52115 546 886 0 53627 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 218068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8810
/proc/meminfo: memFree=1631592/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=219112 CPUtime=1800.04
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 77564 0 0 0 177729 2275 0 0 25 0 1 0 193903371 224370688 52377 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8807/statm: 54778 52377 546 886 0 53888 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 219112

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 8810
/proc/meminfo: memFree=1631592/2055920 swapFree=4181924/4192956
[pid=8807] ppid=8805 vsize=224248 CPUtime=1800.33
/proc/8807/stat : 8807 (pbscip.linux.x8) R 8805 8807 8094 0 -1 4194304 78855 0 0 0 177758 2275 0 0 25 0 1 0 193903371 229629952 53668 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/8807/statm: 56062 53668 552 886 0 55172 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 224248

Child status: 0
Real time (s): 1801.1
CPU time (s): 1800.44
CPU user time (s): 1777.65
CPU system time (s): 22.7945
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 224248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.65
system time used= 22.7945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78859
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= 5
involuntary context switches= 2801

runsolver used 1.36479 second user time and 3.88441 second system time

The end

Begin job on node13 at 2009-06-17 20:23:48
IDJOB=1885097
IDBENCH=72023
IDSOLVER=683
FILE ID=node13/1885097-1245263028
PBS_JOBID= 9372440
Free space on /tmp= 66232 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/explicit/em_7_3_6_exp.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-1885097-1245263028/watcher-1885097-1245263028 -o /tmp/evaluation-result-1885097-1245263028/solver-1885097-1245263028 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885097-1245263028.opb

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

MD5SUM BENCH= 088240707288065cf67314551900c808
RANDOM SEED=61195039

node13.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.259
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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1841544 kB
Buffers:         25080 kB
Cached:         122520 kB
SwapCached:       5196 kB
Active:          71520 kB
Inactive:        84336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841544 kB
SwapTotal:     4192956 kB
SwapFree:      4181924 kB
Dirty:           10496 kB
Writeback:           0 kB
Mapped:          14356 kB
Slab:            44440 kB
Committed_AS:   186036 kB
PageTables:       1460 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= 66224 MiB
End job on node13 at 2009-06-17 20:53:51