0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691688-1338029515.opb>
0.00/0.09 c original problem has 4626 variables (4626 bin, 0 int, 0 impl, 0 cont) and 30747 constraints
0.00/0.09 c problem read in 0.09
0.00/0.09 c No objective function, only one solution is needed.
0.00/0.09 c presolving settings loaded
0.09/0.14 c presolving:
0.39/0.45 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30747 upgd conss, 0 impls, 945 clqs
0.49/0.54 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 132 chg coeffs, 36447 upgd conss, 264 impls, 1383 clqs
0.59/0.61 c (round 3) 18 del vars, 3 del conss, 0 add conss, 0 chg bounds, 12 chg sides, 432 chg coeffs, 36447 upgd conss, 11398 impls, 1380 clqs
0.69/0.72 c presolving (4 rounds):
0.69/0.72 c 18 deleted vars, 3 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 12 changed sides, 432 changed coefficients
0.69/0.72 c 11398 implications, 1380 cliques
0.69/0.72 c presolved problem has 4608 variables (4608 bin, 0 int, 0 impl, 0 cont) and 30744 constraints
0.69/0.72 c 78 constraints of type <knapsack>
0.69/0.72 c 6642 constraints of type <setppc>
0.69/0.72 c 24024 constraints of type <logicor>
0.69/0.72 c transformed objective value is always integral (scale: 1)
0.69/0.72 c Presolving Time: 0.58
0.69/0.72 c - non default parameters ----------------------------------------------------------------------
0.69/0.72 c # SCIP version 2.1.1.4
0.69/0.72 c
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 = 1797
0.69/0.72 c
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 = 13950
0.69/0.72 c
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 = 1
0.69/0.72 c
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 = 1
0.69/0.72 c
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 = 5
0.69/0.72 c
0.69/0.72 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.72 c # [type: int, range: [1,2], default: 1]
0.69/0.72 c timing/clocktype = 2
0.69/0.72 c
0.69/0.72 c # belongs reading time to solving time?
0.69/0.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.72 c timing/reading = TRUE
0.69/0.72 c
0.69/0.72 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.72 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.72 c constraints/knapsack/disaggregation = FALSE
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/coefdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/coefdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/coefdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.72 c heuristics/crossover/freq = -1
0.69/0.72 c
0.69/0.72 c # number of nodes added to the contingent of the total nodes
0.69/0.72 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.72 c heuristics/crossover/nodesofs = 750
0.69/0.72 c
0.69/0.72 c # number of nodes without incumbent change that heuristic should wait
0.69/0.72 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.72 c heuristics/crossover/nwaitingnodes = 100
0.69/0.72 c
0.69/0.72 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.72 c # [type: real, range: [0,1], default: 0.1]
0.69/0.72 c heuristics/crossover/nodesquot = 0.15
0.69/0.72 c
0.69/0.72 c # minimum percentage of integer variables that have to be fixed
0.69/0.72 c # [type: real, range: [0,1], default: 0.666]
0.69/0.72 c heuristics/crossover/minfixingrate = 0.5
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.72 c heuristics/feaspump/freq = -1
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/feaspump/maxlpiterofs = 2000
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/fracdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/fracdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/fracdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/guideddiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/guideddiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/guideddiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/intdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/intshifting/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/linesearchdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.72 c heuristics/objpscostdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.72 c # [type: real, range: [0,1], default: 0.01]
0.69/0.72 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72 c heuristics/oneopt/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/pscostdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/pscostdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.72 c heuristics/rens/freq = -1
0.69/0.72 c
0.69/0.72 c # minimum percentage of integer variables that have to be fixable
0.69/0.72 c # [type: real, range: [0,1], default: 0.5]
0.69/0.72 c heuristics/rens/minfixingrate = 0.3
0.69/0.72 c
0.69/0.72 c # number of nodes added to the contingent of the total nodes
0.69/0.72 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.72 c heuristics/rens/nodesofs = 2000
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.72 c heuristics/rootsoldiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.72 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72 c heuristics/rounding/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.72 c heuristics/shiftandpropagate/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/shifting/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72 c heuristics/simplerounding/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72 c heuristics/subnlp/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.72 c heuristics/trivial/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72 c heuristics/trysol/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.72 c heuristics/undercover/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/veclendiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/veclendiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/veclendiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72 c heuristics/zirounding/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72 c propagating/probing/maxprerounds = 0
0.69/0.72 c
0.69/0.72 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.72 c separating/cmir/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.72 c separating/flowcover/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72 c separating/rapidlearning/freq = 0
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72 c heuristics/indoneopt/freq = -1
0.69/0.72 c
0.69/0.72 c -----------------------------------------------------------------------------------------------
0.69/0.72 c start solving
0.69/0.72 c
4.98/5.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.98/5.04 c 5.0s| 1 | 0 | 8797 | - | 54M| 0 | 640 |4608 | 30k|4608 | 30k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.98/10.03 c 10.0s| 1 | 0 | 14612 | - | 62M| 0 | 726 |4608 | 30k|4608 | 30k| 54 | 0 | 0 | 0.000000e+00 | -- | Inf
13.20/13.23 c 13.2s| 1 | 0 | 17117 | - | 72M| 0 | 801 |4608 | 30k|4608 | 30k| 95 | 0 | 0 | 0.000000e+00 | -- | Inf
19.27/19.30 c 19.3s| 1 | 0 | 18797 | - | 81M| 0 | 766 |4608 | 30k|4608 | 30k| 124 | 0 | 0 | 0.000000e+00 | -- | Inf
20.97/21.05 c 21.0s| 1 | 0 | 19744 | - | 89M| 0 | 763 |4608 | 30k|4608 | 30k| 139 | 0 | 0 | 0.000000e+00 | -- | Inf
25.97/26.09 c 26.1s| 1 | 0 | 20156 | - | 98M| 0 | 837 |4608 | 30k|4608 | 30k| 149 | 0 | 0 | 0.000000e+00 | -- | Inf
54.55/54.61 c 54.6s| 1 | 2 | 20156 | - | 98M| 0 | 837 |4608 | 30k|4608 | 30k| 149 | 0 | 33 | 0.000000e+00 | -- | Inf
206.13/206.22 c 206s| 100 | 101 | 62249 | 425.2 | 100M| 55 | 796 |4608 | 30k|4608 | 30k| 149 | 0 | 183 | 0.000000e+00 | -- | Inf
235.23/235.39 c 235s| 200 | 195 | 85156 | 326.6 | 101M| 97 | 651 |4608 | 30k|4608 | 30k| 149 | 22 | 199 | 0.000000e+00 | -- | Inf
252.02/252.18 c 252s| 300 | 258 | 99228 | 264.5 | 102M| 119 | 629 |4608 | 30k|4608 | 30k| 149 | 79 | 215 | 0.000000e+00 | -- | Inf
290.11/290.22 c 290s| 400 | 180 |127677 | 269.5 | 102M| 129 | 690 |4608 | 30k|4608 | 30k| 149 | 241 | 247 | 0.000000e+00 | -- | Inf
336.52/336.63 c 337s| 500 | 264 |168785 | 297.9 | 102M| 129 | 739 |4608 | 30k|4608 | 30k| 149 | 273 | 279 | 0.000000e+00 | -- | Inf
392.80/392.98 c 393s| 600 | 356 |212142 | 320.5 | 103M| 129 | 693 |4608 | 30k|4608 | 30k| 149 | 290 | 327 | 0.000000e+00 | -- | Inf
418.69/418.83 c 419s| 700 | 432 |236028 | 308.8 | 104M| 129 | - |4608 | 31k|4608 | 30k| 149 | 358 | 343 | 0.000000e+00 | -- | Inf
439.09/439.20 c 439s| 800 | 475 |253810 | 292.4 | 105M| 133 | 530 |4608 | 31k|4608 | 30k| 149 | 444 | 359 | 0.000000e+00 | -- | Inf
499.19/499.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.19/499.34 c 499s| 900 | 470 |300294 | 311.6 | 105M| 139 | 640 |4608 | 31k|4608 | 30k| 149 | 584 | 405 | 0.000000e+00 | -- | Inf
537.79/537.96 c 538s| 1000 | 448 |332912 | 313.1 | 105M| 139 | - |4608 | 31k| 0 | 0 | 149 | 742 | 435 | 0.000000e+00 | -- | Inf
567.67/567.86 c 568s| 1100 | 478 |359541 | 308.8 | 105M| 139 | 720 |4608 | 31k|4608 | 30k| 149 | 913 | 450 | 0.000000e+00 | -- | Inf
616.87/617.06 c 617s| 1200 | 499 |400124 | 316.9 | 105M| 139 | 711 |4608 | 31k|4608 | 30k| 149 |1018 | 481 | 0.000000e+00 | -- | Inf
648.87/649.06 c 649s| 1300 | 486 |425008 | 311.7 | 105M| 139 | 728 |4608 | 31k|4608 | 30k| 149 |1165 | 511 | 0.000000e+00 | -- | Inf
690.95/691.18 c 691s| 1400 | 468 |458136 | 313.1 | 105M| 139 | 666 |4608 | 31k|4608 | 30k| 149 |1310 | 541 | 0.000000e+00 | -- | Inf
717.35/717.50 c 717s| 1500 | 471 |481776 | 308.0 | 105M| 139 | 728 |4608 | 31k|4608 | 30k| 149 |1450 | 556 | 0.000000e+00 | -- | Inf
753.25/753.44 c 753s| 1600 | 490 |509770 | 306.2 | 105M| 139 | - |4608 | 31k| 0 | 0 | 149 |1659 | 586 | 0.000000e+00 | -- | Inf
790.65/790.90 c 791s| 1700 | 507 |538236 | 304.9 | 106M| 139 | 663 |4608 | 31k|4608 | 30k| 149 |1825 | 616 | 0.000000e+00 | -- | Inf
828.14/828.38 c 828s| 1800 | 546 |570318 | 305.8 | 106M| 139 | 669 |4608 | 31k|4608 | 30k| 149 |1924 | 646 | 0.000000e+00 | -- | Inf
852.13/852.36 c 852s| 1900 | 562 |590549 | 300.4 | 106M| 139 | 638 |4608 | 31k|4608 | 30k| 149 |2092 | 661 | 0.000000e+00 | -- | Inf
893.52/893.77 c 894s| 2000 | 599 |626466 | 303.3 | 107M| 139 | 679 |4608 | 31k|4608 | 30k| 149 |2194 | 691 | 0.000000e+00 | -- | Inf
933.01/933.28 c 933s| 2100 | 647 |660220 | 304.9 | 107M| 139 | 631 |4608 | 31k|4608 | 30k| 149 |2288 | 721 | 0.000000e+00 | -- | Inf
952.91/953.10 c 953s| 2200 | 697 |677947 | 299.1 | 108M| 146 | - |4608 | 31k| 0 | 0 | 149 |2408 | 736 | 0.000000e+00 | -- | Inf
971.51/971.79 c 972s| 2300 | 730 |693114 | 292.7 | 108M| 152 | 263 |4608 | 31k|4608 | 30k| 149 |2604 | 767 | 0.000000e+00 | -- | Inf
975.81/976.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.81/976.08 c 976s| 2400 | 737 |697453 | 282.3 | 109M| 168 | 240 |4608 | 31k|4608 | 30k| 149 |2973 | 767 | 0.000000e+00 | -- | Inf
988.91/989.12 c 989s| 2500 | 756 |706192 | 274.5 | 109M| 168 | 265 |4608 | 31k|4608 | 30k| 149 |3273 | 798 | 0.000000e+00 | -- | Inf
999.71/999.96 c 1000s| 2600 | 753 |715044 | 267.4 | 109M| 168 | - |4608 | 31k|4608 | 30k| 149 |3502 | 813 | 0.000000e+00 | -- | Inf
1009.41/1009.62 c 1010s| 2700 | 748 |724394 | 260.9 | 109M| 168 | 296 |4608 | 31k|4608 | 30k| 149 |3828 | 828 | 0.000000e+00 | -- | Inf
1025.41/1025.61 c 1026s| 2800 | 735 |737612 | 256.3 | 109M| 168 | 580 |4608 | 31k|4608 | 30k| 149 |4040 | 854 | 0.000000e+00 | -- | Inf
1048.80/1049.02 c 1049s| 2900 | 767 |754710 | 253.4 | 109M| 168 | 475 |4608 | 31k|4608 | 30k| 149 |4226 | 884 | 0.000000e+00 | -- | Inf
1053.70/1053.96 c 1054s| 3000 | 763 |759510 | 246.5 | 109M| 168 | - |4608 | 31k|4608 | 30k| 149 |4576 | 884 | 0.000000e+00 | -- | Inf
1061.20/1061.47 c 1061s| 3100 | 757 |768290 | 241.4 | 109M| 168 | - |4608 | 32k|4608 | 30k| 149 |4870 | 884 | 0.000000e+00 | -- | Inf
1076.39/1076.66 c 1077s| 3200 | 773 |780728 | 237.8 | 109M| 168 | 412 |4608 | 32k|4608 | 30k| 149 |5115 | 913 | 0.000000e+00 | -- | Inf
1088.00/1088.29 c 1088s| 3300 | 775 |787928 | 232.7 | 110M| 168 | - |4608 | 32k|4608 | 30k| 149 |5434 | 943 | 0.000000e+00 | -- | Inf
1102.29/1102.52 c 1103s| 3400 | 758 |799862 | 229.4 | 109M| 168 | 548 |4608 | 32k|4608 | 30k| 149 |5639 | 957 | 0.000000e+00 | -- | Inf
1114.59/1114.89 c 1115s| 3500 | 779 |810664 | 225.9 | 110M| 168 | 449 |4608 | 32k|4608 | 30k| 149 |5857 | 972 | 0.000000e+00 | -- | Inf
1122.19/1122.46 c 1122s| 3600 | 772 |817584 | 221.6 | 110M| 168 | 471 |4608 | 32k|4608 | 30k| 149 |6093 | 980 | 0.000000e+00 | -- | Inf
1139.88/1140.12 c 1140s| 3700 | 780 |829258 | 218.7 | 110M| 168 | 484 |4608 | 32k|4608 | 30k| 149 |6391 |1009 | 0.000000e+00 | -- | Inf
1151.58/1151.85 c 1152s| 3800 | 806 |839696 | 215.7 | 110M| 168 | 473 |4608 | 32k|4608 | 30k| 149 |6542 |1023 | 0.000000e+00 | -- | Inf
1166.98/1167.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.98/1167.27 c 1167s| 3900 | 773 |853077 | 213.6 | 110M| 168 | - |4608 | 32k| 0 | 0 | 149 |6818 |1037 | 0.000000e+00 | -- | Inf
1180.97/1181.24 c 1181s| 4000 | 765 |865281 | 211.3 | 110M| 168 | - |4608 | 32k|4608 | 30k| 149 |7085 |1052 | 0.000000e+00 | -- | Inf
1199.28/1199.57 c 1200s| 4100 | 781 |879915 | 209.7 | 110M| 168 | - |4608 | 32k|4608 | 30k| 149 |7396 |1080 | 0.000000e+00 | -- | Inf
1208.97/1209.27 c 1209s| 4200 | 781 |887821 | 206.6 | 110M| 168 | - |4608 | 32k|4608 | 30k| 149 |7802 |1094 | 0.000000e+00 | -- | Inf
1226.37/1226.66 c 1227s| 4300 | 791 |902607 | 205.3 | 110M| 168 | 502 |4608 | 32k|4608 | 30k| 149 |8005 |1122 | 0.000000e+00 | -- | Inf
1236.47/1236.75 c 1237s| 4400 | 842 |910321 | 202.4 | 111M| 168 | 173 |4608 | 32k|4608 | 30k| 149 |8204 |1136 | 0.000000e+00 | -- | Inf
1244.77/1245.04 c 1245s| 4500 | 829 |916641 | 199.3 | 111M| 168 | - |4608 | 32k|4608 | 30k| 149 |8530 |1163 | 0.000000e+00 | -- | Inf
1255.67/1255.92 c 1256s| 4600 | 821 |923823 | 196.5 | 111M| 168 | - |4608 | 32k|4608 | 30k| 149 |8821 |1197 | 0.000000e+00 | -- | Inf
1265.17/1265.42 c 1265s| 4700 | 833 |931613 | 194.0 | 111M| 168 | 239 |4608 | 32k|4608 | 30k| 149 |9105 |1211 | 0.000000e+00 | -- | Inf
1277.76/1278.08 c 1278s| 4800 | 840 |941433 | 192.0 | 111M| 168 | - |4608 | 32k| 0 | 0 | 149 |9361 |1239 | 0.000000e+00 | -- | Inf
1284.57/1284.80 c 1285s| 4900 | 843 |945383 | 188.9 | 111M| 168 | 227 |4608 | 32k|4608 | 30k| 149 |9616 |1266 | 0.000000e+00 | -- | Inf
1288.36/1288.66 c 1289s| 5000 | 840 |948433 | 185.7 | 112M| 168 | - |4608 | 32k|4608 | 30k| 149 |9987 |1272 | 0.000000e+00 | -- | Inf
1294.76/1295.02 c 1295s| 5100 | 838 |952489 | 182.8 | 112M| 168 | - |4608 | 32k|4608 | 30k| 149 | 10k|1298 | 0.000000e+00 | -- | Inf
1303.35/1303.68 c 1304s| 5200 | 840 |957416 | 180.3 | 112M| 168 | 203 |4608 | 32k|4608 | 30k| 149 | 10k|1326 | 0.000000e+00 | -- | Inf
1310.56/1310.89 c 1311s| 5300 | 855 |962384 | 177.8 | 112M| 168 | 258 |4608 | 32k|4608 | 30k| 149 | 10k|1352 | 0.000000e+00 | -- | Inf
1319.26/1319.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1319.26/1319.58 c 1320s| 5400 | 847 |968292 | 175.6 | 112M| 168 | 270 |4608 | 32k|4608 | 30k| 149 | 11k|1378 | 0.000000e+00 | -- | Inf
1327.15/1327.42 c 1327s| 5500 | 852 |973538 | 173.4 | 112M| 168 | - |4608 | 33k| 0 | 0 | 149 | 11k|1404 | 0.000000e+00 | -- | Inf
1333.85/1334.18 c 1334s| 5600 | 844 |979063 | 171.3 | 112M| 168 | - |4608 | 33k|4608 | 30k| 149 | 11k|1417 | 0.000000e+00 | -- | Inf
1344.45/1344.73 c 1345s| 5700 | 848 |985673 | 169.4 | 112M| 168 | - |4608 | 33k|4608 | 30k| 149 | 11k|1456 | 0.000000e+00 | -- | Inf
1353.95/1354.23 c 1354s| 5800 | 860 |992657 | 167.7 | 112M| 168 | - |4608 | 33k|4608 | 30k| 149 | 12k|1494 | 0.000000e+00 | -- | Inf
1360.36/1360.66 c 1361s| 5900 | 849 |996546 | 165.5 | 112M| 168 | - |4608 | 33k|4608 | 30k| 149 | 12k|1514 | 0.000000e+00 | -- | Inf
1370.44/1370.70 c 1371s| 6000 | 858 | 1004k| 164.0 | 112M| 168 | 193 |4608 | 33k|4608 | 30k| 149 | 12k|1540 | 0.000000e+00 | -- | Inf
1378.14/1378.45 c 1378s| 6100 | 857 | 1009k| 162.1 | 112M| 173 | 241 |4608 | 33k|4608 | 30k| 149 | 12k|1589 | 0.000000e+00 | -- | Inf
1385.75/1386.07 c 1386s| 6200 | 856 | 1014k| 160.4 | 112M| 173 | - |4608 | 33k|4608 | 30k| 149 | 13k|1614 | 0.000000e+00 | -- | Inf
1394.15/1394.40 c 1394s| 6300 | 853 | 1019k| 158.7 | 112M| 173 | 319 |4608 | 32k|4608 | 30k| 149 | 13k|1650 | 0.000000e+00 | -- | Inf
1401.05/1401.39 c 1401s| 6400 | 847 | 1024k| 157.0 | 112M| 173 | 312 |4608 | 32k|4608 | 30k| 149 | 13k|1674 | 0.000000e+00 | -- | Inf
1408.34/1408.63 c 1409s| 6500 | 843 | 1029k| 155.2 | 112M| 173 | 284 |4608 | 33k|4608 | 30k| 149 | 13k|1721 | 0.000000e+00 | -- | Inf
1420.04/1420.34 c 1420s| 6600 | 840 | 1036k| 154.1 | 112M| 173 | - |4608 | 33k|4608 | 30k| 149 | 14k|1776 | 0.000000e+00 | -- | Inf
1430.04/1430.34 c 1430s| 6700 | 865 | 1043k| 152.8 | 112M| 173 | 349 |4608 | 32k|4608 | 30k| 149 | 14k|1807 | 0.000000e+00 | -- | Inf
1438.14/1438.45 c 1438s| 6800 | 866 | 1048k| 151.3 | 112M| 173 | - |4608 | 32k|4608 | 30k| 149 | 14k|1830 | 0.000000e+00 | -- | Inf
1442.63/1442.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.63/1442.90 c 1443s| 6900 | 861 | 1052k| 149.6 | 112M| 173 | 293 |4608 | 32k|4608 | 30k| 149 | 14k|1841 | 0.000000e+00 | -- | Inf
1445.93/1446.26 c 1446s| 7000 | 858 | 1054k| 147.7 | 112M| 173 | - |4608 | 32k| 0 | 0 | 149 | 15k|1862 | 0.000000e+00 | -- | Inf
1451.74/1452.06 c 1452s| 7100 | 864 | 1056k| 146.0 | 112M| 173 | - |4608 | 32k|4608 | 30k| 149 | 15k|1910 | 0.000000e+00 | -- | Inf
1457.53/1457.87 c 1458s| 7200 | 870 | 1059k| 144.4 | 112M| 173 | - |4608 | 32k| 0 | 0 | 149 | 15k|1950 | 0.000000e+00 | -- | Inf
1463.43/1463.72 c 1464s| 7300 | 868 | 1063k| 143.0 | 112M| 173 | 310 |4608 | 33k|4608 | 30k| 149 | 16k|1981 | 0.000000e+00 | -- | Inf
1470.83/1471.13 c 1471s| 7400 | 866 | 1068k| 141.7 | 113M| 173 | - |4608 | 33k| 0 | 0 | 149 | 16k|2014 | 0.000000e+00 | -- | Inf
1477.13/1477.40 c 1477s| 7500 | 868 | 1072k| 140.3 | 113M| 173 | 332 |4608 | 33k|4608 | 30k| 149 | 16k|2044 | 0.000000e+00 | -- | Inf
1483.03/1483.30 c 1483s| 7600 | 877 | 1075k| 138.8 | 113M| 173 | 275 |4608 | 33k|4608 | 30k| 149 | 17k|2084 | 0.000000e+00 | -- | Inf
1487.13/1487.40 c 1487s| 7700 | 872 | 1077k| 137.3 | 113M| 173 | - |4608 | 33k| 0 | 0 | 149 | 17k|2114 | 0.000000e+00 | -- | Inf
1492.33/1492.68 c 1493s| 7800 | 872 | 1080k| 135.9 | 113M| 173 | 237 |4608 | 33k|4608 | 30k| 149 | 17k|2153 | 0.000000e+00 | -- | Inf
1499.42/1499.75 c 1500s| 7900 | 868 | 1084k| 134.8 | 114M| 173 | 327 |4608 | 34k|4608 | 30k| 149 | 18k|2183 | 0.000000e+00 | -- | Inf
1504.32/1504.61 c 1505s| 8000 | 874 | 1087k| 133.4 | 114M| 173 | - |4608 | 34k|4608 | 30k| 149 | 18k|2222 | 0.000000e+00 | -- | Inf
1508.72/1509.03 c 1509s| 8100 | 872 | 1089k| 132.0 | 114M| 173 | - |4608 | 34k| 0 | 0 | 149 | 18k|2250 | 0.000000e+00 | -- | Inf
1513.82/1514.10 c 1514s| 8200 | 870 | 1091k| 130.7 | 114M| 173 | 193 |4608 | 34k|4608 | 30k| 149 | 19k|2288 | 0.000000e+00 | -- | Inf
1519.02/1519.36 c 1519s| 8300 | 869 | 1094k| 129.4 | 114M| 173 | 286 |4608 | 34k|4608 | 30k| 149 | 19k|2338 | 0.000000e+00 | -- | Inf
1523.32/1523.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.32/1523.64 c 1524s| 8400 | 873 | 1096k| 128.2 | 114M| 173 | - |4608 | 34k| 0 | 0 | 149 | 19k|2373 | 0.000000e+00 | -- | Inf
1528.22/1528.57 c 1529s| 8500 | 870 | 1099k| 127.0 | 114M| 173 | 283 |4608 | 34k|4608 | 30k| 149 | 19k|2411 | 0.000000e+00 | -- | Inf
1533.62/1533.95 c 1534s| 8600 | 870 | 1101k| 125.8 | 114M| 173 | 247 |4608 | 34k|4608 | 30k| 149 | 20k|2457 | 0.000000e+00 | -- | Inf
1538.72/1539.08 c 1539s| 8700 | 867 | 1104k| 124.7 | 114M| 173 | - |4608 | 34k|4608 | 30k| 149 | 20k|2486 | 0.000000e+00 | -- | Inf
1545.01/1545.30 c 1545s| 8800 | 862 | 1108k| 123.7 | 113M| 173 | 301 |4608 | 33k|4608 | 30k| 149 | 20k|2533 | 0.000000e+00 | -- | Inf
1551.41/1551.74 c 1552s| 8900 | 869 | 1111k| 122.7 | 113M| 173 | - |4608 | 33k|4608 | 30k| 149 | 20k|2588 | 0.000000e+00 | -- | Inf
1556.52/1556.80 c 1557s| 9000 | 871 | 1114k| 121.6 | 113M| 173 | 287 |4608 | 33k|4608 | 30k| 149 | 21k|2615 | 0.000000e+00 | -- | Inf
1562.41/1562.72 c 1563s| 9100 | 872 | 1118k| 120.7 | 113M| 173 | 321 |4608 | 33k|4608 | 30k| 149 | 21k|2652 | 0.000000e+00 | -- | Inf
1567.91/1568.28 c 1568s| 9200 | 875 | 1121k| 119.7 | 114M| 173 | - |4608 | 33k| 0 | 0 | 149 | 21k|2670 | 0.000000e+00 | -- | Inf
1573.31/1573.65 c 1574s| 9300 | 875 | 1124k| 118.8 | 114M| 173 | - |4608 | 33k| 0 | 0 | 149 | 22k|2697 | 0.000000e+00 | -- | Inf
1579.12/1579.45 c 1579s| 9400 | 870 | 1128k| 117.9 | 113M| 173 | 284 |4608 | 33k|4608 | 30k| 149 | 22k|2724 | 0.000000e+00 | -- | Inf
1583.71/1584.09 c 1584s| 9500 | 876 | 1130k| 116.9 | 113M| 173 | 277 |4608 | 33k|4608 | 30k| 149 | 22k|2742 | 0.000000e+00 | -- | Inf
1588.41/1588.71 c 1589s| 9600 | 874 | 1133k| 116.0 | 114M| 173 | 261 |4608 | 34k|4608 | 30k| 149 | 22k|2760 | 0.000000e+00 | -- | Inf
1593.81/1594.13 c 1594s| 9700 | 880 | 1136k| 115.1 | 114M| 173 | 259 |4608 | 34k|4608 | 30k| 149 | 23k|2796 | 0.000000e+00 | -- | Inf
1598.71/1599.07 c 1599s| 9800 | 876 | 1139k| 114.2 | 114M| 173 | - |4608 | 34k| 0 | 0 | 149 | 23k|2821 | 0.000000e+00 | -- | Inf
1602.91/1603.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.91/1603.21 c 1603s| 9900 | 878 | 1141k| 113.3 | 114M| 173 | 224 |4608 | 34k|4608 | 30k| 149 | 23k|2838 | 0.000000e+00 | -- | Inf
1608.01/1608.37 c 1608s| 10000 | 874 | 1144k| 112.5 | 114M| 173 | 265 |4608 | 33k|4608 | 30k| 149 | 24k|2869 | 0.000000e+00 | -- | Inf
1613.31/1613.64 c 1614s| 10100 | 880 | 1147k| 111.6 | 113M| 173 | 247 |4608 | 33k|4608 | 30k| 149 | 24k|2899 | 0.000000e+00 | -- | Inf
1618.71/1619.06 c 1619s| 10200 | 867 | 1150k| 110.8 | 113M| 173 | 306 |4608 | 33k|4608 | 30k| 149 | 24k|2938 | 0.000000e+00 | -- | Inf
1625.41/1625.79 c 1626s| 10300 | 866 | 1154k| 110.1 | 113M| 173 | 298 |4608 | 33k|4608 | 30k| 149 | 24k|2977 | 0.000000e+00 | -- | Inf
1632.01/1632.37 c 1632s| 10400 | 860 | 1158k| 109.5 | 113M| 173 | 316 |4608 | 33k|4608 | 30k| 149 | 25k|3008 | 0.000000e+00 | -- | Inf
1636.51/1636.85 c 1637s| 10500 | 863 | 1160k| 108.7 | 113M| 173 | 314 |4608 | 33k|4608 | 30k| 149 | 25k|3025 | 0.000000e+00 | -- | Inf
1640.01/1640.35 c 1640s| 10600 | 865 | 1163k| 107.8 | 113M| 173 | 306 |4608 | 33k|4608 | 30k| 149 | 26k|3041 | 0.000000e+00 | -- | Inf
1643.40/1643.74 c 1644s| 10700 | 867 | 1165k| 107.1 | 113M| 173 | 325 |4608 | 33k|4608 | 30k| 149 | 26k|3047 | 0.000000e+00 | -- | Inf
1647.00/1647.30 c 1647s| 10800 | 874 | 1167k| 106.3 | 114M| 173 | - |4608 | 33k| 0 | 0 | 149 | 26k|3062 | 0.000000e+00 | -- | Inf
1650.70/1651.04 c 1651s| 10900 | 872 | 1170k| 105.5 | 114M| 173 | - |4608 | 33k| 0 | 0 | 149 | 27k|3075 | 0.000000e+00 | -- | Inf
1654.00/1654.38 c 1654s| 11000 | 877 | 1172k| 104.7 | 114M| 173 | - |4608 | 33k| 0 | 0 | 149 | 27k|3088 | 0.000000e+00 | -- | Inf
1657.30/1657.70 c 1658s| 11100 | 879 | 1174k| 104.0 | 114M| 173 | 270 |4608 | 34k|4608 | 30k| 149 | 27k|3092 | 0.000000e+00 | -- | Inf
1661.39/1661.72 c 1662s| 11200 | 869 | 1177k| 103.3 | 114M| 173 | - |4608 | 34k| 0 | 0 | 149 | 27k|3106 | 0.000000e+00 | -- | Inf
1664.80/1665.19 c 1665s| 11300 | 871 | 1179k| 102.6 | 114M| 173 | - |4608 | 33k|4608 | 30k| 149 | 27k|3115 | 0.000000e+00 | -- | Inf
1667.80/1668.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.80/1668.16 c 1668s| 11400 | 874 | 1182k| 101.9 | 114M| 173 | - |4608 | 34k|4608 | 30k| 149 | 28k|3117 | 0.000000e+00 | -- | Inf
1670.89/1671.21 c 1671s| 11500 | 873 | 1184k| 101.2 | 113M| 173 | 309 |4608 | 33k|4608 | 30k| 149 | 28k|3119 | 0.000000e+00 | -- | Inf
1674.60/1674.97 c 1675s| 11600 | 881 | 1186k| 100.6 | 113M| 173 | 293 |4608 | 33k|4608 | 30k| 149 | 28k|3129 | 0.000000e+00 | -- | Inf
1678.60/1678.93 c 1679s| 11700 | 886 | 1189k| 100.0 | 114M| 173 | - |4608 | 33k|4608 | 30k| 149 | 29k|3137 | 0.000000e+00 | -- | Inf
1681.99/1682.36 c 1682s| 11800 | 881 | 1192k| 99.4 | 113M| 173 | 330 |4608 | 33k|4608 | 30k| 149 | 29k|3141 | 0.000000e+00 | -- | Inf
1685.50/1685.87 c 1686s| 11900 | 882 | 1195k| 98.7 | 113M| 173 | 227 |4608 | 33k|4608 | 30k| 149 | 29k|3145 | 0.000000e+00 | -- | Inf
1688.99/1689.36 c 1689s| 12000 | 878 | 1197k| 98.1 | 114M| 173 | 276 |4608 | 33k|4608 | 30k| 149 | 30k|3151 | 0.000000e+00 | -- | Inf
1692.60/1692.98 c 1693s| 12100 | 872 | 1200k| 97.5 | 114M| 173 | - |4608 | 33k|4608 | 30k| 149 | 30k|3158 | 0.000000e+00 | -- | Inf
1697.49/1697.84 c 1698s| 12200 | 875 | 1204k| 97.0 | 114M| 173 | 256 |4608 | 33k|4608 | 30k| 149 | 30k|3174 | 0.000000e+00 | -- | Inf
1703.29/1703.61 c 1704s| 12300 | 860 | 1207k| 96.6 | 113M| 173 | 319 |4608 | 33k|4608 | 30k| 149 | 30k|3206 | 0.000000e+00 | -- | Inf
1712.69/1713.09 c 1713s| 12400 | 866 | 1212k| 96.1 | 113M| 173 | - |4608 | 33k| 0 | 0 | 149 | 31k|3262 | 0.000000e+00 | -- | Inf
1718.79/1719.16 c 1719s| 12500 | 870 | 1216k| 95.7 | 113M| 173 | - |4608 | 33k|4608 | 30k| 149 | 31k|3294 | 0.000000e+00 | -- | Inf
1723.59/1723.94 c 1724s| 12600 | 875 | 1219k| 95.2 | 113M| 173 | 316 |4608 | 33k|4608 | 30k| 149 | 31k|3310 | 0.000000e+00 | -- | Inf
1729.78/1730.13 c 1730s| 12700 | 874 | 1224k| 94.8 | 113M| 173 | 328 |4608 | 33k|4608 | 30k| 149 | 32k|3329 | 0.000000e+00 | -- | Inf
1735.39/1735.78 c 1736s| 12800 | 876 | 1228k| 94.4 | 114M| 173 | 310 |4608 | 33k|4608 | 30k| 149 | 32k|3343 | 0.000000e+00 | -- | Inf
1740.28/1740.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.28/1740.67 c 1741s| 12900 | 871 | 1232k| 93.9 | 113M| 173 | - |4608 | 33k|4608 | 30k| 149 | 32k|3350 | 0.000000e+00 | -- | Inf
1745.39/1745.72 c 1746s| 13000 | 867 | 1235k| 93.5 | 114M| 173 | - |4608 | 33k|4608 | 30k| 149 | 33k|3360 | 0.000000e+00 | -- | Inf
1749.98/1750.31 c 1750s| 13100 | 868 | 1239k| 93.1 | 113M| 173 | - |4608 | 33k|4608 | 30k| 149 | 33k|3368 | 0.000000e+00 | -- | Inf
1753.38/1753.71 c 1754s| 13200 | 869 | 1242k| 92.6 | 113M| 173 | 321 |4608 | 33k|4608 | 30k| 149 | 33k|3372 | 0.000000e+00 | -- | Inf
1757.29/1757.70 c 1758s| 13300 | 865 | 1245k| 92.1 | 113M| 173 | 276 |4608 | 33k|4608 | 30k| 149 | 33k|3382 | 0.000000e+00 | -- | Inf
1761.78/1762.19 c 1762s| 13400 | 871 | 1248k| 91.7 | 114M| 173 | 316 |4608 | 34k|4608 | 30k| 149 | 33k|3388 | 0.000000e+00 | -- | Inf
1765.78/1766.19 c 1766s| 13500 | 861 | 1252k| 91.3 | 113M| 173 | 335 |4608 | 33k|4608 | 30k| 149 | 34k|3390 | 0.000000e+00 | -- | Inf
1770.59/1770.97 c 1771s| 13600 | 866 | 1255k| 90.9 | 113M| 173 | 247 |4608 | 33k|4608 | 30k| 149 | 34k|3400 | 0.000000e+00 | -- | Inf
1775.88/1776.27 c 1776s| 13700 | 871 | 1259k| 90.5 | 113M| 173 | - |4608 | 33k| 0 | 0 | 149 | 34k|3422 | 0.000000e+00 | -- | Inf
1779.39/1779.75 c 1780s| 13800 | 871 | 1261k| 90.0 | 113M| 173 | - |4608 | 33k| 0 | 0 | 149 | 34k|3429 | 0.000000e+00 | -- | Inf
1782.58/1782.96 c 1783s| 13900 | 867 | 1264k| 89.5 | 113M| 173 | - |4608 | 33k| 0 | 0 | 149 | 35k|3431 | 0.000000e+00 | -- | Inf
1786.58/1786.93 c 1787s| 14000 | 877 | 1267k| 89.1 | 113M| 173 | 296 |4608 | 33k|4608 | 30k| 149 | 35k|3435 | 0.000000e+00 | -- | Inf
1790.08/1790.48 c 1790s| 14100 | 874 | 1270k| 88.7 | 113M| 173 | - |4608 | 33k|4608 | 30k| 149 | 35k|3439 | 0.000000e+00 | -- | Inf
1794.18/1794.54 c 1795s| 14200 | 876 | 1273k| 88.3 | 113M| 173 | - |4608 | 33k| 0 | 0 | 149 | 35k|3442 | 0.000000e+00 | -- | Inf
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 14255
1796.68/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 s UNKNOWN
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.01
1796.68/1797.01 c solving : 1797.01
1796.68/1797.01 c presolving : 0.58 (included in solving)
1796.68/1797.01 c reading : 0.09 (included in solving)
1796.68/1797.01 c copying : 0.00 (0 times copied the problem)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3691688-1338029515.opb
1796.68/1797.01 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 30747 initial, 30747 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3691688-1338029515.opb
1796.68/1797.01 c Variables : 4608 (4608 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 30744 initial, 34489 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 18 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 12 432
1796.68/1797.01 c setppc : 0.03 0.00 0 0 0 0 0 3 0 0 0
1796.68/1797.01 c linear : 0.21 0.02 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c logicor : 0.25 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 9116 0 1 0 7 255 0 0 17934
1796.68/1797.01 c knapsack : 78 78 5 66916 0 1 0 1049667 1386 74781 229 0 0
1796.68/1797.01 c setppc : 6642 6642 5 65530 0 1 0 1322834 1092 249684 0 0 0
1796.68/1797.01 c logicor : 24024+ 27769 5 38741 0 1 0 501228 1464 76656 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 650.06 0.00 0.00 0.00 650.06 0.00 0.00 0.00
1796.68/1797.01 c knapsack : 8.99 0.00 0.00 7.81 0.00 0.00 0.00 1.17
1796.68/1797.01 c setppc : 10.21 0.00 0.00 8.46 0.00 0.00 0.00 1.75
1796.68/1797.01 c logicor : 10.19 0.01 0.01 8.57 0.00 0.00 0.00 1.61
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 0 0 0 0
1796.68/1797.01 c pseudoobj : 0 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 9121 0 0 0
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.68/1797.01 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
1796.68/1797.01 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.68/1797.01 c redcost : 0.72 0.00 0.00 0.72 0.00
1796.68/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 20.20 3942 3942 320402 261.4 366 73.0 -
1796.68/1797.01 c infeasible LP : 18.98 2833 2833 204348 269.1 454 72.3 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 36076 157.9 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.02 4 - - 7 - (maximal pool size: 1081)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 8.90 0.00 5 0 0 198 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 3.03 0.00 5 0 0 2500 0
1796.68/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c clique : 0.10 0.00 5 0 0 24 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.02 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 650.02 0.00 9116 7 255 0 0 17934
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.00 0.00 1 0
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 0.00 0.00 0 0
1796.68/1797.01 c zirounding : 0.00 0.00 0 0
1796.68/1797.01 c rounding : 0.00 0.00 0 0
1796.68/1797.01 c shifting : 0.00 0.00 0 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.00 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c coefdiving : 0.00 0.00 0 0
1796.68/1797.01 c pscostdiving : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 0.00 0.00 0 0
1796.68/1797.01 c veclendiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.68/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.68/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.68/1797.01 c guideddiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.00 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c crossover : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.00 0.00 0 0
1796.68/1797.01 c trysol : 0.00 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.68/1797.01 c dual LP : 1040.42 11954 1276140 107.45 1226.56 0.44 77
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.68/1797.01 c strong branching : 648.02 3444 732916 212.81 1131.00
1796.68/1797.01 c (at root node) : - 33 31914 967.09 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 14255
1796.68/1797.01 c nodes (total) : 14255
1796.68/1797.01 c nodes left : 876
1796.68/1797.01 c max depth : 173
1796.68/1797.01 c max depth (total): 173
1796.68/1797.01 c backtracks : 2987 (21.0%)
1796.68/1797.01 c delayed cutoffs : 2806
1796.68/1797.01 c repropagations : 18023 (127856 domain reductions, 1729 cutoffs)
1796.68/1797.01 c avg switch length: 4.34
1796.68/1797.01 c switching time : 5.60
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 0 (0 improvements)
1796.68/1797.01 c Primal Bound : -
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Root Iterations : 20156
1796.78/1797.13 c Time complete: 1796.81.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691688-1338029515/watcher-3691688-1338029515 -o /tmp/evaluation-result-3691688-1338029515/solver-3691688-1338029515 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691688-1338029515.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.18 3/171 4309
/proc/meminfo: memFree=29436788/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=12996 CPUtime=0 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 1983 0 0 0 0 0 0 0 20 0 1 0 269076439 13307904 1938 33554432000 4194304 10219143 140735718482064 140735511635224 8844210 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 3249 1941 419 1471 0 1769 0
[startup+0.096057 s]
/proc/loadavg: 1.00 1.00 1.18 3/171 4309
/proc/meminfo: memFree=29436788/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=36912 CPUtime=0.08 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 7709 0 0 0 8 0 0 0 20 0 1 0 269076439 37797888 7665 33554432000 4194304 10219143 140735718482064 140735511635224 7589947 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 9228 7699 465 1471 0 7748 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36912
[startup+0.1003 s]
/proc/loadavg: 1.00 1.00 1.18 3/171 4309
/proc/meminfo: memFree=29436788/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=38824 CPUtime=0.09 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 8419 0 0 0 8 1 0 0 20 0 1 0 269076439 39755776 8374 33554432000 4194304 10219143 140735718482064 140735511635224 8930603 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 9706 8374 472 1471 0 8226 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38824
[startup+0.300313 s]
/proc/loadavg: 1.00 1.00 1.18 3/171 4309
/proc/meminfo: memFree=29436788/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=66292 CPUtime=0.29 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 15885 0 0 0 20 9 0 0 20 0 1 0 269076439 67883008 15066 33554432000 4194304 10219143 140735718482064 140735511635224 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 16573 15066 560 1471 0 15093 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66292
[startup+0.700318 s]
/proc/loadavg: 1.00 1.00 1.18 3/171 4309
/proc/meminfo: memFree=29436788/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=74256 CPUtime=0.69 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 19162 0 0 0 42 27 0 0 20 0 1 0 269076439 76038144 17075 33554432000 4194304 10219143 140735718482064 140735718478120 5995056 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 18564 17075 597 1471 0 17084 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74256
[startup+1.50025 s]
/proc/loadavg: 1.00 1.00 1.18 3/177 4315
/proc/meminfo: memFree=29208028/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=127492 CPUtime=1.49 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 31599 0 0 0 119 30 0 0 20 0 1 0 269076439 130551808 29809 33554432000 4194304 10219143 140735718482064 140735718475704 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 31873 29809 741 1471 0 30393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127492
[startup+3.10027 s]
/proc/loadavg: 1.00 1.00 1.18 3/177 4315
/proc/meminfo: memFree=29203036/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=128248 CPUtime=3.09 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 32007 0 0 0 279 30 0 0 20 0 1 0 269076439 131325952 30198 33554432000 4194304 10219143 140735718482064 140735718475320 8056536 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 32062 30198 741 1471 0 30582 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128248
[startup+6.30026 s]
/proc/loadavg: 1.08 1.02 1.18 3/177 4315
/proc/meminfo: memFree=29198572/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=145460 CPUtime=6.29 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 35510 0 0 0 596 33 0 0 20 0 1 0 269076439 148951040 34598 33554432000 4194304 10219143 140735718482064 140735718475368 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 36365 34598 784 1471 0 34885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 145460
[startup+12.7003 s]
/proc/loadavg: 1.15 1.03 1.19 3/177 4315
/proc/meminfo: memFree=29130212/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=160468 CPUtime=12.68 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 38406 0 0 0 1233 35 0 0 20 0 1 0 269076439 164319232 38009 33554432000 4194304 10219143 140735718482064 140735718475416 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 40117 38009 784 1471 0 38637 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 160468
[startup+25.5003 s]
/proc/loadavg: 1.34 1.08 1.20 3/177 4315
/proc/meminfo: memFree=29082704/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=185320 CPUtime=25.48 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 44113 0 0 0 2503 45 0 0 20 0 1 0 269076439 189767680 44737 33554432000 4194304 10219143 140735718482064 140735718476952 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4309/statm: 46330 44737 784 1471 0 44850 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 185320
[startup+51.1003 s]
/proc/loadavg: 1.56 1.15 1.22 3/177 4315
/proc/meminfo: memFree=29067036/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=198668 CPUtime=51.06 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 46972 0 0 0 5056 50 0 0 20 0 1 0 269076439 203436032 47636 33554432000 4194304 10219143 140735718482064 140735718475512 8056891 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 49667 47636 787 1471 0 48187 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 198668
[startup+102.307 s]
/proc/loadavg: 1.81 1.28 1.26 3/177 4315
/proc/meminfo: memFree=29064736/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=198668 CPUtime=102.26 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 46981 0 0 0 10165 61 0 0 20 0 1 0 269076439 203436032 48039 33554432000 4194304 10219143 140735718482064 140735718475512 8091398 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 49667 48039 791 1471 0 48187 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 198668
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.30 3/177 4315
/proc/meminfo: memFree=29063908/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=198668 CPUtime=162.24 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 46982 0 0 0 16152 72 0 0 20 0 1 0 269076439 203436032 48040 33554432000 4194304 10219143 140735718482064 140735718475896 7638773 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 49667 48040 791 1471 0 48187 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 198668
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.34 3/177 4315
/proc/meminfo: memFree=29059528/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=198972 CPUtime=222.23 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 47206 0 0 0 22140 83 0 0 20 0 1 0 269076439 203747328 48264 33554432000 4194304 10219143 140735718482064 140735718475320 8056881 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 49743 48264 791 1471 0 48263 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 198972
[startup+282.3 s]
/proc/loadavg: 2.06 1.63 1.39 3/177 4353
/proc/meminfo: memFree=29218372/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=203372 CPUtime=282.22 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 48176 0 0 0 28124 98 0 0 20 0 1 0 269076439 208252928 49234 33554432000 4194304 10219143 140735718482064 140735718475320 8056877 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 50843 49234 798 1471 0 49363 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 203372
[startup+342.3 s]
/proc/loadavg: 2.02 1.69 1.43 3/177 4354
/proc/meminfo: memFree=29216612/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=203372 CPUtime=342.21 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 48198 0 0 0 34107 114 0 0 20 0 1 0 269076439 208252928 49254 33554432000 4194304 10219143 140735718482064 140735718475560 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 50843 49254 798 1471 0 49363 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 203372
[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.46 3/177 4354
/proc/meminfo: memFree=29216736/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=203372 CPUtime=402.2 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 48206 0 0 0 40090 130 0 0 20 0 1 0 269076439 208252928 49262 33554432000 4194304 10219143 140735718482064 140735718474680 6029051 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 50843 49262 798 1471 0 49363 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 203372
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.49 3/177 4354
/proc/meminfo: memFree=29215248/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=205448 CPUtime=462.19 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 48687 0 0 0 46072 147 0 0 20 0 1 0 269076439 210378752 49743 33554432000 4194304 10219143 140735718482064 140735718475512 8051632 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 51362 49743 798 1471 0 49882 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 205448
[startup+522.3 s]
/proc/loadavg: 2.00 1.83 1.52 3/178 4357
/proc/meminfo: memFree=29214496/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=205448 CPUtime=522.18 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 48698 0 0 0 52054 164 0 0 20 0 1 0 269076439 210378752 49754 33554432000 4194304 10219143 140735718482064 140735718475048 8091880 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 51362 49754 798 1471 0 49882 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 205448
[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.55 3/178 4380
/proc/meminfo: memFree=29213680/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=205448 CPUtime=582.17 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 48734 0 0 0 58038 179 0 0 20 0 1 0 269076439 210378752 49790 33554432000 4194304 10219143 140735718482064 140735718475320 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 51362 49790 798 1471 0 49882 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 205448
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29193028/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=221588 CPUtime=1062.09 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 52623 0 0 0 105855 354 0 0 20 0 1 0 269076439 226906112 53676 33554432000 4194304 10219143 140735718482064 140735718475512 8090882 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 55397 53676 798 1471 0 53917 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 221588
[startup+1122.3 s]
/proc/loadavg: 2.05 2.00 1.75 3/178 4385
/proc/meminfo: memFree=29190356/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=223088 CPUtime=1122.08 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 53082 0 0 0 111827 381 0 0 20 0 1 0 269076439 228442112 54133 33554432000 4194304 10219143 140735718482064 140735718475704 8056484 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 55772 54133 798 1471 0 54292 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 223088
[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 1.76 3/177 4385
/proc/meminfo: memFree=29187572/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=223088 CPUtime=1182.08 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 53138 0 0 0 117800 408 0 0 20 0 1 0 269076439 228442112 54188 33554432000 4194304 10219143 140735718482064 140735718475512 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 55772 54188 798 1471 0 54292 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 223088
[startup+1242.3 s]
/proc/loadavg: 2.11 2.03 1.78 3/177 4386
/proc/meminfo: memFree=29185712/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=224992 CPUtime=1242.07 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 53402 0 0 0 123772 435 0 0 20 0 1 0 269076439 230391808 54452 33554432000 4194304 10219143 140735718482064 140735718477432 5184847 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 56248 54452 798 1471 0 54768 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 224992
[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 1.79 3/177 4386
/proc/meminfo: memFree=29184532/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=225676 CPUtime=1302.06 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 53728 0 0 0 129726 480 0 0 20 0 1 0 269076439 231092224 54778 33554432000 4194304 10219143 140735718482064 140735718475704 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 56419 54778 798 1471 0 54939 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 225676
[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 1.81 3/177 4386
/proc/meminfo: memFree=29183412/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=226552 CPUtime=1362.05 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 53967 0 0 0 135671 534 0 0 20 0 1 0 269076439 231989248 55017 33554432000 4194304 10219143 140735718482064 140735718474872 8010931 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 56638 55017 798 1471 0 55158 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 226552
[startup+1422.31 s]
/proc/loadavg: 2.07 2.04 1.83 3/177 4386
/proc/meminfo: memFree=29179692/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=229904 CPUtime=1422.05 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 54787 0 0 0 141626 579 0 0 20 0 1 0 269076439 235421696 55837 33554432000 4194304 10219143 140735718482064 140735718475704 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 57476 55837 798 1471 0 55996 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 229904
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 1.83 3/177 4386
/proc/meminfo: memFree=29177640/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=230456 CPUtime=1482.03 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 54951 0 0 0 147563 640 0 0 20 0 1 0 269076439 235986944 56002 33554432000 4194304 10219143 140735718482064 140735718475688 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 57614 56002 798 1471 0 56134 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 230456
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 1.84 3/177 4387
/proc/meminfo: memFree=29175532/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=232152 CPUtime=1542.02 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 55376 0 0 0 153491 711 0 0 20 0 1 0 269076439 237723648 56427 33554432000 4194304 10219143 140735718482064 140735718475368 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 58038 56427 798 1471 0 56558 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 232152
[startup+1602.3 s]
/proc/loadavg: 2.12 2.06 1.86 3/177 4387
/proc/meminfo: memFree=29172740/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=233104 CPUtime=1602 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 55601 0 0 0 159413 787 0 0 20 0 1 0 269076439 238698496 56652 33554432000 4194304 10219143 140735718482064 140735718475000 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 58276 56652 798 1471 0 56796 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 233104
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 1.86 3/177 4387
/proc/meminfo: memFree=29171560/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=234416 CPUtime=1662 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 55858 0 0 0 165320 880 0 0 20 0 1 0 269076439 240041984 56909 33554432000 4194304 10219143 140735718482064 140735718475704 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 58604 56909 798 1471 0 57124 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 234416
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.87 3/178 4390
/proc/meminfo: memFree=29170064/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=235372 CPUtime=1721.99 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 56148 0 0 0 171243 956 0 0 20 0 1 0 269076439 241020928 57199 33554432000 4194304 10219143 140735718482064 140735718475320 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 58843 57199 798 1471 0 57363 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 235372
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 1.88 3/177 4390
/proc/meminfo: memFree=29168148/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=236736 CPUtime=1781.98 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 56420 0 0 0 177164 1034 0 0 20 0 1 0 269076439 242417664 57471 33554432000 4194304 10219143 140735718482064 140735718477544 9008087 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 59184 57471 798 1471 0 57704 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 236736
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.04 1.88 3/177 4390
/proc/meminfo: memFree=29168148/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=236736 CPUtime=1785.17 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 56427 0 0 0 177479 1038 0 0 20 0 1 0 269076439 242417664 57478 33554432000 4194304 10219143 140735718482064 140735718475320 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 59184 57478 798 1471 0 57704 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 236736
[startup+1791.91 s]
/proc/loadavg: 2.04 2.04 1.88 3/177 4390
/proc/meminfo: memFree=29168084/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=236736 CPUtime=1791.59 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 56427 0 0 0 178112 1047 0 0 20 0 1 0 269076439 242417664 57478 33554432000 4194304 10219143 140735718482064 140735718475048 9008087 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 59184 57478 798 1471 0 57704 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 236736
[startup+1795.1 s]
/proc/loadavg: 2.03 2.03 1.88 3/177 4390
/proc/meminfo: memFree=29168084/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=236736 CPUtime=1794.79 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 56439 0 0 0 178429 1050 0 0 20 0 1 0 269076439 242417664 57490 33554432000 4194304 10219143 140735718482064 140735718477864 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 59184 57490 798 1471 0 57704 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 236736
[startup+1795.9 s]
/proc/loadavg: 2.03 2.03 1.88 3/177 4390
/proc/meminfo: memFree=29168084/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=236736 CPUtime=1795.58 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 56439 0 0 0 178507 1051 0 0 20 0 1 0 269076439 242417664 57490 33554432000 4194304 10219143 140735718482064 140735718475048 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 59184 57490 798 1471 0 57704 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 236736
[startup+1796.7 s]
/proc/loadavg: 2.03 2.03 1.88 3/177 4390
/proc/meminfo: memFree=29168084/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=236736 CPUtime=1796.38 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 56439 0 0 0 178586 1052 0 0 20 0 1 0 269076439 242417664 57490 33554432000 4194304 10219143 140735718482064 140735718475688 9008087 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 59184 57490 798 1471 0 57704 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 236736
[startup+1797.1 s]
/proc/loadavg: 2.03 2.03 1.88 3/177 4390
/proc/meminfo: memFree=29168084/32873844 swapFree=7116/7116
[pid=4309] ppid=4307 vsize=234180 CPUtime=1796.78 cores=1,3,5,7
/proc/4309/stat : 4309 (scip-2.1.1.4exp) R 4307 4309 3441 0 -1 4202496 56450 0 0 0 178626 1052 0 0 20 0 1 0 269076439 239800320 56868 33554432000 4194304 10219143 140735718482064 140735718478760 7414689 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4309/statm: 58545 56868 809 1471 0 57065 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 234180
Child status: 0
Real time (s): 1797.13
CPU time (s): 1796.82
CPU user time (s): 1786.29
CPU system time (s): 10.5304
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 236736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.29
system time used= 10.5304
maximum resident set size= 230004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56463
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= 42
involuntary context switches= 2103
runsolver used 10.4874 second user time and 15.3627 second system time
The end