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: a3bf3a4-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-3690522-1338016952.opb>
0.05/0.08 c original problem has 4626 variables (4626 bin, 0 int, 0 impl, 0 cont) and 30747 constraints
0.05/0.08 c problem read in 0.08
0.05/0.08 c No objective function, only one solution is needed.
0.05/0.08 c presolving settings loaded
0.09/0.18 c presolving:
0.49/0.51 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.59/0.61 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.68 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.79 c presolving (4 rounds):
0.69/0.79 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.79 c 11398 implications, 1380 cliques
0.69/0.79 c presolved problem has 4608 variables (4608 bin, 0 int, 0 impl, 0 cont) and 30744 constraints
0.69/0.79 c 78 constraints of type <knapsack>
0.69/0.79 c 6642 constraints of type <setppc>
0.69/0.79 c 24024 constraints of type <logicor>
0.69/0.79 c transformed objective value is always integral (scale: 1)
0.69/0.79 c Presolving Time: 0.68
0.69/0.79 c - non default parameters ----------------------------------------------------------------------
0.69/0.79 c # SCIP version 2.1.1.4
0.69/0.79 c
0.69/0.79 c # maximal time in seconds to run
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.79 c limits/time = 1797
0.69/0.79 c
0.69/0.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.79 c limits/memory = 13950
0.69/0.79 c
0.69/0.79 c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.79 c limits/solutions = 1
0.69/0.79 c
0.69/0.79 c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.79 c separating/maxrounds = 1
0.69/0.79 c
0.69/0.79 c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.79 c separating/maxroundsroot = 5
0.69/0.79 c
0.69/0.79 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.79 c # [type: int, range: [1,2], default: 1]
0.69/0.79 c timing/clocktype = 2
0.89/0.95 c
0.89/0.95 c # belongs reading time to solving time?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c timing/reading = TRUE
0.89/0.95 c
0.89/0.95 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.89/0.95 c constraints/knapsack/disaggregation = FALSE
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.95 c heuristics/coefdiving/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.95 c heuristics/coefdiving/maxlpiterquot = 0.075
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/coefdiving/maxlpiterofs = 1500
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 30]
0.89/0.95 c heuristics/crossover/freq = -1
0.89/0.95 c
0.89/0.95 c # number of nodes added to the contingent of the total nodes
0.89/0.95 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/0.95 c heuristics/crossover/nodesofs = 750
0.89/0.95 c
0.89/0.95 c # number of nodes without incumbent change that heuristic should wait
0.89/0.95 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.89/0.95 c heuristics/crossover/nwaitingnodes = 100
0.89/0.95 c
0.89/0.95 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.89/0.95 c # [type: real, range: [0,1], default: 0.1]
0.89/0.95 c heuristics/crossover/nodesquot = 0.15
0.89/0.95 c
0.89/0.95 c # minimum percentage of integer variables that have to be fixed
0.89/0.95 c # [type: real, range: [0,1], default: 0.666]
0.89/0.95 c heuristics/crossover/minfixingrate = 0.5
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.95 c heuristics/feaspump/freq = -1
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/feaspump/maxlpiterofs = 2000
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.95 c heuristics/fracdiving/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.95 c heuristics/fracdiving/maxlpiterquot = 0.075
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/fracdiving/maxlpiterofs = 1500
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.95 c heuristics/guideddiving/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.95 c heuristics/guideddiving/maxlpiterquot = 0.075
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/guideddiving/maxlpiterofs = 1500
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.95 c heuristics/intdiving/maxlpiterquot = 0.075
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.95 c heuristics/intshifting/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.95 c heuristics/linesearchdiving/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.95 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.95 c heuristics/objpscostdiving/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to total iteration number
0.89/0.95 c # [type: real, range: [0,1], default: 0.01]
0.89/0.95 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c heuristics/oneopt/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.95 c heuristics/pscostdiving/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.95 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/pscostdiving/maxlpiterofs = 1500
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c heuristics/rens/freq = -1
0.89/0.95 c
0.89/0.95 c # minimum percentage of integer variables that have to be fixable
0.89/0.95 c # [type: real, range: [0,1], default: 0.5]
0.89/0.95 c heuristics/rens/minfixingrate = 0.3
0.89/0.95 c
0.89/0.95 c # number of nodes added to the contingent of the total nodes
0.89/0.95 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.89/0.95 c heuristics/rens/nodesofs = 2000
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 20]
0.89/0.95 c heuristics/rootsoldiving/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.89/0.95 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c heuristics/rounding/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c heuristics/shiftandpropagate/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.95 c heuristics/shifting/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c heuristics/simplerounding/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c heuristics/subnlp/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c heuristics/trivial/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c heuristics/trysol/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c heuristics/undercover/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 10]
0.89/0.95 c heuristics/veclendiving/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal fraction of diving LP iterations compared to node LP iterations
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.89/0.95 c heuristics/veclendiving/maxlpiterquot = 0.075
0.89/0.95 c
0.89/0.95 c # additional number of allowed LP iterations
0.89/0.95 c # [type: int, range: [0,2147483647], default: 1000]
0.89/0.95 c heuristics/veclendiving/maxlpiterofs = 1500
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c heuristics/zirounding/freq = -1
0.89/0.95 c
0.89/0.95 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95 c propagating/probing/maxprerounds = 0
0.89/0.95 c
0.89/0.95 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c separating/cmir/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c separating/flowcover/freq = -1
0.89/0.95 c
0.89/0.95 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95 c separating/rapidlearning/freq = 0
0.89/0.95 c
0.89/0.95 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c heuristics/indoneopt/freq = -1
0.89/0.95 c
0.89/0.95 c -----------------------------------------------------------------------------------------------
0.89/0.95 c start solving
0.89/0.95 c
5.09/5.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.09/5.14 c 5.1s| 1 | 0 | 8797 | - | 50M| 0 | 640 |4608 | 30k|4608 | 30k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.08/10.14 c 10.1s| 1 | 0 | 14612 | - | 58M| 0 | 726 |4608 | 30k|4608 | 30k| 54 | 0 | 0 | 0.000000e+00 | -- | Inf
13.29/13.33 c 13.3s| 1 | 0 | 17117 | - | 68M| 0 | 801 |4608 | 30k|4608 | 30k| 95 | 0 | 0 | 0.000000e+00 | -- | Inf
19.28/19.32 c 19.3s| 1 | 0 | 18797 | - | 77M| 0 | 766 |4608 | 30k|4608 | 30k| 124 | 0 | 0 | 0.000000e+00 | -- | Inf
20.98/21.07 c 21.1s| 1 | 0 | 19744 | - | 85M| 0 | 763 |4608 | 30k|4608 | 30k| 139 | 0 | 0 | 0.000000e+00 | -- | Inf
26.19/26.26 c 26.3s| 1 | 0 | 20156 | - | 94M| 0 | 837 |4608 | 30k|4608 | 30k| 149 | 0 | 0 | 0.000000e+00 | -- | Inf
55.38/55.41 c 55.4s| 1 | 2 | 20156 | - | 94M| 0 | 837 |4608 | 30k|4608 | 30k| 149 | 0 | 33 | 0.000000e+00 | -- | Inf
212.16/212.23 c 212s| 100 | 101 | 62249 | 425.2 | 96M| 55 | 796 |4608 | 30k|4608 | 30k| 149 | 0 | 183 | 0.000000e+00 | -- | Inf
242.46/242.53 c 243s| 200 | 195 | 85156 | 326.6 | 97M| 97 | 651 |4608 | 30k|4608 | 30k| 149 | 22 | 199 | 0.000000e+00 | -- | Inf
259.85/259.99 c 260s| 300 | 258 | 99228 | 264.5 | 98M| 119 | 629 |4608 | 30k|4608 | 30k| 149 | 79 | 215 | 0.000000e+00 | -- | Inf
299.35/299.44 c 299s| 400 | 180 |127677 | 269.5 | 98M| 129 | 690 |4608 | 30k|4608 | 30k| 149 | 241 | 247 | 0.000000e+00 | -- | Inf
347.54/347.62 c 348s| 500 | 264 |168785 | 297.9 | 99M| 129 | 739 |4608 | 30k|4608 | 30k| 149 | 273 | 279 | 0.000000e+00 | -- | Inf
406.12/406.20 c 406s| 600 | 356 |212142 | 320.5 | 99M| 129 | 693 |4608 | 30k|4608 | 30k| 149 | 290 | 327 | 0.000000e+00 | -- | Inf
432.92/433.07 c 433s| 700 | 432 |236028 | 308.8 | 100M| 129 | - |4608 | 31k|4608 | 30k| 149 | 358 | 343 | 0.000000e+00 | -- | Inf
454.13/454.27 c 454s| 800 | 475 |253810 | 292.4 | 101M| 133 | 530 |4608 | 31k|4608 | 30k| 149 | 444 | 359 | 0.000000e+00 | -- | Inf
516.71/516.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.71/516.81 c 517s| 900 | 470 |300294 | 311.6 | 101M| 139 | 640 |4608 | 31k|4608 | 30k| 149 | 584 | 405 | 0.000000e+00 | -- | Inf
556.81/556.93 c 557s| 1000 | 448 |332912 | 313.1 | 101M| 139 | - |4608 | 31k| 0 | 0 | 149 | 742 | 435 | 0.000000e+00 | -- | Inf
587.79/587.92 c 588s| 1100 | 478 |359541 | 308.8 | 101M| 139 | 720 |4608 | 31k|4608 | 30k| 149 | 913 | 450 | 0.000000e+00 | -- | Inf
637.47/637.68 c 638s| 1200 | 499 |400124 | 316.9 | 101M| 139 | 711 |4608 | 31k|4608 | 30k| 149 |1018 | 481 | 0.000000e+00 | -- | Inf
669.68/669.88 c 670s| 1300 | 486 |425008 | 311.7 | 101M| 139 | 728 |4608 | 31k|4608 | 30k| 149 |1165 | 511 | 0.000000e+00 | -- | Inf
712.16/712.36 c 712s| 1400 | 468 |458136 | 313.1 | 101M| 139 | 666 |4608 | 31k|4608 | 30k| 149 |1310 | 541 | 0.000000e+00 | -- | Inf
738.66/738.89 c 739s| 1500 | 471 |481776 | 308.0 | 101M| 139 | 728 |4608 | 31k|4608 | 30k| 149 |1450 | 556 | 0.000000e+00 | -- | Inf
774.85/775.05 c 775s| 1600 | 490 |509770 | 306.2 | 102M| 139 | - |4608 | 31k| 0 | 0 | 149 |1659 | 586 | 0.000000e+00 | -- | Inf
812.66/812.89 c 813s| 1700 | 507 |538236 | 304.9 | 102M| 139 | 663 |4608 | 31k|4608 | 30k| 149 |1825 | 616 | 0.000000e+00 | -- | Inf
850.44/850.68 c 851s| 1800 | 546 |570318 | 305.8 | 102M| 139 | 669 |4608 | 31k|4608 | 30k| 149 |1924 | 646 | 0.000000e+00 | -- | Inf
874.73/874.90 c 875s| 1900 | 562 |590549 | 300.4 | 102M| 139 | 638 |4608 | 31k|4608 | 30k| 149 |2092 | 661 | 0.000000e+00 | -- | Inf
916.43/916.67 c 917s| 2000 | 599 |626466 | 303.3 | 103M| 139 | 679 |4608 | 31k|4608 | 30k| 149 |2194 | 691 | 0.000000e+00 | -- | Inf
956.33/956.55 c 957s| 2100 | 647 |660220 | 304.9 | 103M| 139 | 631 |4608 | 31k|4608 | 30k| 149 |2288 | 721 | 0.000000e+00 | -- | Inf
976.32/976.55 c 977s| 2200 | 697 |677947 | 299.1 | 104M| 146 | - |4608 | 31k| 0 | 0 | 149 |2408 | 736 | 0.000000e+00 | -- | Inf
995.22/995.45 c 995s| 2300 | 730 |693114 | 292.7 | 104M| 152 | 263 |4608 | 31k|4608 | 30k| 149 |2604 | 767 | 0.000000e+00 | -- | Inf
999.63/999.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.63/999.87 c 1000s| 2400 | 737 |697453 | 282.3 | 105M| 168 | 240 |4608 | 31k|4608 | 30k| 149 |2973 | 767 | 0.000000e+00 | -- | Inf
1012.83/1013.08 c 1013s| 2500 | 756 |706192 | 274.5 | 105M| 168 | 265 |4608 | 31k|4608 | 30k| 149 |3273 | 798 | 0.000000e+00 | -- | Inf
1023.82/1024.07 c 1024s| 2600 | 753 |715044 | 267.4 | 105M| 168 | - |4608 | 31k|4608 | 30k| 149 |3502 | 813 | 0.000000e+00 | -- | Inf
1033.72/1033.90 c 1034s| 2700 | 748 |724394 | 260.9 | 105M| 168 | 296 |4608 | 31k|4608 | 30k| 149 |3828 | 828 | 0.000000e+00 | -- | Inf
1049.81/1050.04 c 1050s| 2800 | 735 |737612 | 256.3 | 105M| 168 | 580 |4608 | 31k|4608 | 30k| 149 |4040 | 854 | 0.000000e+00 | -- | Inf
1073.42/1073.66 c 1074s| 2900 | 767 |754710 | 253.4 | 105M| 168 | 475 |4608 | 31k|4608 | 30k| 149 |4226 | 884 | 0.000000e+00 | -- | Inf
1078.40/1078.67 c 1079s| 3000 | 763 |759510 | 246.5 | 105M| 168 | - |4608 | 31k|4608 | 30k| 149 |4576 | 884 | 0.000000e+00 | -- | Inf
1086.01/1086.26 c 1086s| 3100 | 757 |768290 | 241.4 | 105M| 168 | - |4608 | 32k|4608 | 30k| 149 |4870 | 884 | 0.000000e+00 | -- | Inf
1101.41/1101.64 c 1102s| 3200 | 773 |780728 | 237.8 | 105M| 168 | 412 |4608 | 32k|4608 | 30k| 149 |5115 | 913 | 0.000000e+00 | -- | Inf
1113.21/1113.40 c 1113s| 3300 | 775 |787928 | 232.7 | 106M| 168 | - |4608 | 32k|4608 | 30k| 149 |5434 | 943 | 0.000000e+00 | -- | Inf
1127.50/1127.73 c 1128s| 3400 | 758 |799862 | 229.4 | 105M| 168 | 548 |4608 | 32k|4608 | 30k| 149 |5639 | 957 | 0.000000e+00 | -- | Inf
1140.00/1140.20 c 1140s| 3500 | 779 |810664 | 225.9 | 106M| 168 | 449 |4608 | 32k|4608 | 30k| 149 |5857 | 972 | 0.000000e+00 | -- | Inf
1147.59/1147.82 c 1148s| 3600 | 772 |817584 | 221.6 | 106M| 168 | 471 |4608 | 32k|4608 | 30k| 149 |6093 | 980 | 0.000000e+00 | -- | Inf
1165.39/1165.62 c 1166s| 3700 | 780 |829258 | 218.7 | 106M| 168 | 484 |4608 | 32k|4608 | 30k| 149 |6391 |1009 | 0.000000e+00 | -- | Inf
1177.19/1177.49 c 1177s| 3800 | 806 |839696 | 215.7 | 106M| 168 | 473 |4608 | 32k|4608 | 30k| 149 |6542 |1023 | 0.000000e+00 | -- | Inf
1192.79/1193.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.79/1193.06 c 1193s| 3900 | 773 |853077 | 213.6 | 106M| 168 | - |4608 | 32k| 0 | 0 | 149 |6818 |1037 | 0.000000e+00 | -- | Inf
1206.88/1207.10 c 1207s| 4000 | 765 |865281 | 211.3 | 106M| 168 | - |4608 | 32k|4608 | 30k| 149 |7085 |1052 | 0.000000e+00 | -- | Inf
1225.39/1225.61 c 1226s| 4100 | 781 |879915 | 209.7 | 106M| 168 | - |4608 | 32k|4608 | 30k| 149 |7396 |1080 | 0.000000e+00 | -- | Inf
1235.18/1235.42 c 1235s| 4200 | 781 |887821 | 206.6 | 107M| 168 | - |4608 | 32k|4608 | 30k| 149 |7802 |1094 | 0.000000e+00 | -- | Inf
1252.69/1252.91 c 1253s| 4300 | 791 |902607 | 205.3 | 106M| 168 | 502 |4608 | 32k|4608 | 30k| 149 |8005 |1122 | 0.000000e+00 | -- | Inf
1262.88/1263.13 c 1263s| 4400 | 842 |910321 | 202.4 | 107M| 168 | 173 |4608 | 32k|4608 | 30k| 149 |8204 |1136 | 0.000000e+00 | -- | Inf
1271.29/1271.54 c 1272s| 4500 | 829 |916641 | 199.3 | 107M| 168 | - |4608 | 32k|4608 | 30k| 149 |8530 |1163 | 0.000000e+00 | -- | Inf
1282.28/1282.58 c 1283s| 4600 | 821 |923823 | 196.5 | 107M| 168 | - |4608 | 32k|4608 | 30k| 149 |8821 |1197 | 0.000000e+00 | -- | Inf
1291.98/1292.22 c 1292s| 4700 | 833 |931613 | 194.0 | 107M| 168 | 239 |4608 | 32k|4608 | 30k| 149 |9105 |1211 | 0.000000e+00 | -- | Inf
1304.77/1305.08 c 1305s| 4800 | 840 |941433 | 192.0 | 107M| 168 | - |4608 | 32k| 0 | 0 | 149 |9361 |1239 | 0.000000e+00 | -- | Inf
1311.66/1311.90 c 1312s| 4900 | 843 |945383 | 188.9 | 107M| 168 | 227 |4608 | 32k|4608 | 30k| 149 |9616 |1266 | 0.000000e+00 | -- | Inf
1315.57/1315.82 c 1316s| 5000 | 840 |948433 | 185.7 | 108M| 168 | - |4608 | 32k|4608 | 30k| 149 |9987 |1272 | 0.000000e+00 | -- | Inf
1322.06/1322.30 c 1322s| 5100 | 838 |952489 | 182.8 | 108M| 168 | - |4608 | 32k|4608 | 30k| 149 | 10k|1298 | 0.000000e+00 | -- | Inf
1330.86/1331.11 c 1331s| 5200 | 840 |957416 | 180.3 | 108M| 168 | 203 |4608 | 32k|4608 | 30k| 149 | 10k|1326 | 0.000000e+00 | -- | Inf
1338.16/1338.48 c 1338s| 5300 | 855 |962384 | 177.8 | 108M| 168 | 258 |4608 | 32k|4608 | 30k| 149 | 10k|1352 | 0.000000e+00 | -- | Inf
1347.06/1347.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.06/1347.35 c 1347s| 5400 | 847 |968292 | 175.6 | 108M| 168 | 270 |4608 | 32k|4608 | 30k| 149 | 11k|1378 | 0.000000e+00 | -- | Inf
1355.06/1355.32 c 1355s| 5500 | 852 |973538 | 173.4 | 108M| 168 | - |4608 | 33k| 0 | 0 | 149 | 11k|1404 | 0.000000e+00 | -- | Inf
1361.86/1362.17 c 1362s| 5600 | 844 |979063 | 171.3 | 108M| 168 | - |4608 | 33k|4608 | 30k| 149 | 11k|1417 | 0.000000e+00 | -- | Inf
1372.66/1372.90 c 1373s| 5700 | 848 |985673 | 169.4 | 108M| 168 | - |4608 | 33k|4608 | 30k| 149 | 11k|1456 | 0.000000e+00 | -- | Inf
1382.36/1382.60 c 1383s| 5800 | 860 |992657 | 167.7 | 108M| 168 | - |4608 | 33k|4608 | 30k| 149 | 12k|1494 | 0.000000e+00 | -- | Inf
1388.85/1389.16 c 1389s| 5900 | 849 |996546 | 165.5 | 108M| 168 | - |4608 | 33k|4608 | 30k| 149 | 12k|1514 | 0.000000e+00 | -- | Inf
1399.05/1399.31 c 1399s| 6000 | 858 | 1004k| 164.0 | 108M| 168 | 193 |4608 | 33k|4608 | 30k| 149 | 12k|1540 | 0.000000e+00 | -- | Inf
1406.95/1407.20 c 1407s| 6100 | 857 | 1009k| 162.1 | 108M| 173 | 241 |4608 | 33k|4608 | 30k| 149 | 12k|1589 | 0.000000e+00 | -- | Inf
1414.66/1414.94 c 1415s| 6200 | 856 | 1014k| 160.4 | 109M| 173 | - |4608 | 33k|4608 | 30k| 149 | 13k|1614 | 0.000000e+00 | -- | Inf
1423.15/1423.47 c 1423s| 6300 | 853 | 1019k| 158.7 | 108M| 173 | 319 |4608 | 32k|4608 | 30k| 149 | 13k|1650 | 0.000000e+00 | -- | Inf
1430.35/1430.61 c 1431s| 6400 | 847 | 1024k| 157.0 | 108M| 173 | 312 |4608 | 32k|4608 | 30k| 149 | 13k|1674 | 0.000000e+00 | -- | Inf
1437.75/1438.06 c 1438s| 6500 | 843 | 1029k| 155.2 | 108M| 173 | 284 |4608 | 33k|4608 | 30k| 149 | 13k|1721 | 0.000000e+00 | -- | Inf
1449.65/1449.97 c 1450s| 6600 | 840 | 1036k| 154.1 | 108M| 173 | - |4608 | 33k|4608 | 30k| 149 | 14k|1776 | 0.000000e+00 | -- | Inf
1459.74/1460.07 c 1460s| 6700 | 865 | 1043k| 152.8 | 108M| 173 | 349 |4608 | 32k|4608 | 30k| 149 | 14k|1807 | 0.000000e+00 | -- | Inf
1467.94/1468.29 c 1468s| 6800 | 866 | 1048k| 151.3 | 108M| 173 | - |4608 | 32k|4608 | 30k| 149 | 14k|1830 | 0.000000e+00 | -- | Inf
1472.55/1472.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.55/1472.83 c 1473s| 6900 | 861 | 1052k| 149.6 | 108M| 173 | 293 |4608 | 32k|4608 | 30k| 149 | 14k|1841 | 0.000000e+00 | -- | Inf
1475.95/1476.28 c 1476s| 7000 | 858 | 1054k| 147.7 | 108M| 173 | - |4608 | 32k| 0 | 0 | 149 | 15k|1862 | 0.000000e+00 | -- | Inf
1481.94/1482.27 c 1482s| 7100 | 864 | 1056k| 146.0 | 108M| 173 | - |4608 | 32k|4608 | 30k| 149 | 15k|1910 | 0.000000e+00 | -- | Inf
1487.95/1488.26 c 1488s| 7200 | 870 | 1059k| 144.4 | 108M| 173 | - |4608 | 32k| 0 | 0 | 149 | 15k|1950 | 0.000000e+00 | -- | Inf
1493.94/1494.23 c 1494s| 7300 | 868 | 1063k| 143.0 | 108M| 173 | 310 |4608 | 33k|4608 | 30k| 149 | 16k|1981 | 0.000000e+00 | -- | Inf
1501.44/1501.75 c 1502s| 7400 | 866 | 1068k| 141.7 | 109M| 173 | - |4608 | 33k| 0 | 0 | 149 | 16k|2014 | 0.000000e+00 | -- | Inf
1507.85/1508.13 c 1508s| 7500 | 868 | 1072k| 140.3 | 109M| 173 | 332 |4608 | 33k|4608 | 30k| 149 | 16k|2044 | 0.000000e+00 | -- | Inf
1513.84/1514.15 c 1514s| 7600 | 877 | 1075k| 138.8 | 109M| 173 | 275 |4608 | 33k|4608 | 30k| 149 | 17k|2084 | 0.000000e+00 | -- | Inf
1518.04/1518.37 c 1518s| 7700 | 872 | 1077k| 137.3 | 109M| 173 | - |4608 | 33k| 0 | 0 | 149 | 17k|2114 | 0.000000e+00 | -- | Inf
1523.44/1523.79 c 1524s| 7800 | 872 | 1080k| 135.9 | 110M| 173 | 237 |4608 | 33k|4608 | 30k| 149 | 17k|2153 | 0.000000e+00 | -- | Inf
1530.73/1531.00 c 1531s| 7900 | 868 | 1084k| 134.8 | 110M| 173 | 327 |4608 | 34k|4608 | 30k| 149 | 18k|2183 | 0.000000e+00 | -- | Inf
1535.73/1536.01 c 1536s| 8000 | 874 | 1087k| 133.4 | 110M| 173 | - |4608 | 34k|4608 | 30k| 149 | 18k|2222 | 0.000000e+00 | -- | Inf
1540.23/1540.57 c 1541s| 8100 | 872 | 1089k| 132.0 | 110M| 173 | - |4608 | 34k| 0 | 0 | 149 | 18k|2250 | 0.000000e+00 | -- | Inf
1545.43/1545.74 c 1546s| 8200 | 870 | 1091k| 130.7 | 110M| 173 | 193 |4608 | 34k|4608 | 30k| 149 | 19k|2288 | 0.000000e+00 | -- | Inf
1550.83/1551.13 c 1551s| 8300 | 869 | 1094k| 129.4 | 110M| 173 | 286 |4608 | 34k|4608 | 30k| 149 | 19k|2338 | 0.000000e+00 | -- | Inf
1555.14/1555.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1555.14/1555.49 c 1555s| 8400 | 873 | 1096k| 128.2 | 110M| 173 | - |4608 | 34k| 0 | 0 | 149 | 19k|2373 | 0.000000e+00 | -- | Inf
1560.23/1560.52 c 1561s| 8500 | 870 | 1099k| 127.0 | 110M| 173 | 283 |4608 | 34k|4608 | 30k| 149 | 19k|2411 | 0.000000e+00 | -- | Inf
1565.73/1566.00 c 1566s| 8600 | 870 | 1101k| 125.8 | 110M| 173 | 247 |4608 | 34k|4608 | 30k| 149 | 20k|2457 | 0.000000e+00 | -- | Inf
1570.92/1571.26 c 1571s| 8700 | 867 | 1104k| 124.7 | 110M| 173 | - |4608 | 34k|4608 | 30k| 149 | 20k|2486 | 0.000000e+00 | -- | Inf
1577.33/1577.65 c 1578s| 8800 | 862 | 1108k| 123.7 | 109M| 173 | 301 |4608 | 33k|4608 | 30k| 149 | 20k|2533 | 0.000000e+00 | -- | Inf
1583.93/1584.27 c 1584s| 8900 | 869 | 1111k| 122.7 | 109M| 173 | - |4608 | 33k|4608 | 30k| 149 | 20k|2588 | 0.000000e+00 | -- | Inf
1589.13/1589.45 c 1589s| 9000 | 871 | 1114k| 121.6 | 109M| 173 | 287 |4608 | 33k|4608 | 30k| 149 | 21k|2615 | 0.000000e+00 | -- | Inf
1595.13/1595.48 c 1595s| 9100 | 872 | 1118k| 120.7 | 109M| 173 | 321 |4608 | 33k|4608 | 30k| 149 | 21k|2652 | 0.000000e+00 | -- | Inf
1600.82/1601.14 c 1601s| 9200 | 875 | 1121k| 119.7 | 110M| 173 | - |4608 | 33k| 0 | 0 | 149 | 21k|2670 | 0.000000e+00 | -- | Inf
1606.22/1606.58 c 1607s| 9300 | 875 | 1124k| 118.8 | 110M| 173 | - |4608 | 33k| 0 | 0 | 149 | 22k|2697 | 0.000000e+00 | -- | Inf
1612.22/1612.50 c 1613s| 9400 | 870 | 1128k| 117.9 | 109M| 173 | 284 |4608 | 33k|4608 | 30k| 149 | 22k|2724 | 0.000000e+00 | -- | Inf
1616.92/1617.23 c 1617s| 9500 | 876 | 1130k| 116.9 | 110M| 173 | 277 |4608 | 33k|4608 | 30k| 149 | 22k|2742 | 0.000000e+00 | -- | Inf
1621.62/1621.93 c 1622s| 9600 | 874 | 1133k| 116.0 | 110M| 173 | 261 |4608 | 34k|4608 | 30k| 149 | 22k|2760 | 0.000000e+00 | -- | Inf
1627.12/1627.43 c 1627s| 9700 | 880 | 1136k| 115.1 | 110M| 173 | 259 |4608 | 34k|4608 | 30k| 149 | 23k|2796 | 0.000000e+00 | -- | Inf
1632.22/1632.51 c 1633s| 9800 | 876 | 1139k| 114.2 | 110M| 173 | - |4608 | 34k| 0 | 0 | 149 | 23k|2821 | 0.000000e+00 | -- | Inf
1636.42/1636.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.42/1636.77 c 1637s| 9900 | 878 | 1141k| 113.3 | 110M| 173 | 224 |4608 | 34k|4608 | 30k| 149 | 23k|2838 | 0.000000e+00 | -- | Inf
1641.72/1642.09 c 1642s| 10000 | 874 | 1144k| 112.5 | 110M| 173 | 265 |4608 | 33k|4608 | 30k| 149 | 24k|2869 | 0.000000e+00 | -- | Inf
1647.21/1647.50 c 1648s| 10100 | 880 | 1147k| 111.6 | 109M| 173 | 247 |4608 | 33k|4608 | 30k| 149 | 24k|2899 | 0.000000e+00 | -- | Inf
1652.71/1653.06 c 1653s| 10200 | 867 | 1150k| 110.8 | 109M| 173 | 306 |4608 | 33k|4608 | 30k| 149 | 24k|2938 | 0.000000e+00 | -- | Inf
1659.52/1659.90 c 1660s| 10300 | 866 | 1154k| 110.1 | 109M| 173 | 298 |4608 | 33k|4608 | 30k| 149 | 24k|2977 | 0.000000e+00 | -- | Inf
1666.22/1666.57 c 1667s| 10400 | 860 | 1158k| 109.5 | 109M| 173 | 316 |4608 | 33k|4608 | 30k| 149 | 25k|3008 | 0.000000e+00 | -- | Inf
1670.81/1671.16 c 1671s| 10500 | 863 | 1160k| 108.7 | 109M| 173 | 314 |4608 | 33k|4608 | 30k| 149 | 25k|3025 | 0.000000e+00 | -- | Inf
1674.41/1674.72 c 1675s| 10600 | 865 | 1163k| 107.8 | 109M| 173 | 306 |4608 | 33k|4608 | 30k| 149 | 26k|3041 | 0.000000e+00 | -- | Inf
1677.91/1678.22 c 1678s| 10700 | 867 | 1165k| 107.1 | 109M| 173 | 325 |4608 | 33k|4608 | 30k| 149 | 26k|3047 | 0.000000e+00 | -- | Inf
1681.52/1681.85 c 1682s| 10800 | 874 | 1167k| 106.3 | 110M| 173 | - |4608 | 33k| 0 | 0 | 149 | 26k|3062 | 0.000000e+00 | -- | Inf
1685.31/1685.69 c 1686s| 10900 | 872 | 1170k| 105.5 | 110M| 173 | - |4608 | 33k| 0 | 0 | 149 | 27k|3075 | 0.000000e+00 | -- | Inf
1688.81/1689.14 c 1689s| 11000 | 877 | 1172k| 104.7 | 110M| 173 | - |4608 | 33k| 0 | 0 | 149 | 27k|3088 | 0.000000e+00 | -- | Inf
1692.21/1692.55 c 1693s| 11100 | 879 | 1174k| 104.0 | 110M| 173 | 270 |4608 | 34k|4608 | 30k| 149 | 27k|3092 | 0.000000e+00 | -- | Inf
1696.31/1696.68 c 1697s| 11200 | 869 | 1177k| 103.3 | 110M| 173 | - |4608 | 34k| 0 | 0 | 149 | 27k|3106 | 0.000000e+00 | -- | Inf
1699.90/1700.24 c 1700s| 11300 | 871 | 1179k| 102.6 | 110M| 173 | - |4608 | 33k|4608 | 30k| 149 | 27k|3115 | 0.000000e+00 | -- | Inf
1702.90/1703.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.90/1703.29 c 1703s| 11400 | 874 | 1182k| 101.9 | 110M| 173 | - |4608 | 34k|4608 | 30k| 149 | 28k|3117 | 0.000000e+00 | -- | Inf
1706.00/1706.38 c 1706s| 11500 | 873 | 1184k| 101.2 | 109M| 173 | 309 |4608 | 33k|4608 | 30k| 149 | 28k|3119 | 0.000000e+00 | -- | Inf
1709.90/1710.20 c 1710s| 11600 | 881 | 1186k| 100.6 | 109M| 173 | 293 |4608 | 33k|4608 | 30k| 149 | 28k|3129 | 0.000000e+00 | -- | Inf
1713.90/1714.23 c 1714s| 11700 | 886 | 1189k| 100.0 | 110M| 173 | - |4608 | 33k|4608 | 30k| 149 | 29k|3137 | 0.000000e+00 | -- | Inf
1717.40/1717.74 c 1718s| 11800 | 881 | 1192k| 99.4 | 109M| 173 | 330 |4608 | 33k|4608 | 30k| 149 | 29k|3141 | 0.000000e+00 | -- | Inf
1721.00/1721.32 c 1721s| 11900 | 882 | 1195k| 98.7 | 110M| 173 | 227 |4608 | 33k|4608 | 30k| 149 | 29k|3145 | 0.000000e+00 | -- | Inf
1724.51/1724.88 c 1725s| 12000 | 878 | 1197k| 98.1 | 110M| 173 | 276 |4608 | 33k|4608 | 30k| 149 | 30k|3151 | 0.000000e+00 | -- | Inf
1728.20/1728.58 c 1729s| 12100 | 872 | 1200k| 97.5 | 110M| 173 | - |4608 | 33k|4608 | 30k| 149 | 30k|3158 | 0.000000e+00 | -- | Inf
1733.21/1733.58 c 1734s| 12200 | 875 | 1204k| 97.0 | 110M| 173 | 256 |4608 | 33k|4608 | 30k| 149 | 30k|3174 | 0.000000e+00 | -- | Inf
1739.20/1739.52 c 1740s| 12300 | 860 | 1207k| 96.6 | 109M| 173 | 319 |4608 | 33k|4608 | 30k| 149 | 30k|3206 | 0.000000e+00 | -- | Inf
1748.90/1749.22 c 1749s| 12400 | 866 | 1212k| 96.1 | 109M| 173 | - |4608 | 33k| 0 | 0 | 149 | 31k|3262 | 0.000000e+00 | -- | Inf
1755.00/1755.39 c 1755s| 12500 | 870 | 1216k| 95.7 | 109M| 173 | - |4608 | 33k|4608 | 30k| 149 | 31k|3294 | 0.000000e+00 | -- | Inf
1759.90/1760.24 c 1760s| 12600 | 875 | 1219k| 95.2 | 110M| 173 | 316 |4608 | 33k|4608 | 30k| 149 | 31k|3310 | 0.000000e+00 | -- | Inf
1766.21/1766.53 c 1767s| 12700 | 874 | 1224k| 94.8 | 109M| 173 | 328 |4608 | 33k|4608 | 30k| 149 | 32k|3329 | 0.000000e+00 | -- | Inf
1771.89/1772.28 c 1772s| 12800 | 876 | 1228k| 94.4 | 110M| 173 | 310 |4608 | 33k|4608 | 30k| 149 | 32k|3343 | 0.000000e+00 | -- | Inf
1776.90/1777.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.90/1777.26 c 1777s| 12900 | 871 | 1232k| 93.9 | 109M| 173 | - |4608 | 33k|4608 | 30k| 149 | 32k|3350 | 0.000000e+00 | -- | Inf
1782.09/1782.40 c 1782s| 13000 | 867 | 1235k| 93.5 | 110M| 173 | - |4608 | 33k|4608 | 30k| 149 | 33k|3360 | 0.000000e+00 | -- | Inf
1786.69/1787.07 c 1787s| 13100 | 868 | 1239k| 93.1 | 109M| 173 | - |4608 | 33k|4608 | 30k| 149 | 33k|3368 | 0.000000e+00 | -- | Inf
1790.20/1790.53 c 1791s| 13200 | 869 | 1242k| 92.6 | 110M| 173 | 321 |4608 | 33k|4608 | 30k| 149 | 33k|3372 | 0.000000e+00 | -- | Inf
1794.19/1794.59 c 1795s| 13300 | 865 | 1245k| 92.1 | 109M| 173 | 276 |4608 | 33k|4608 | 30k| 149 | 33k|3382 | 0.000000e+00 | -- | Inf
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 13352
1796.69/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01 c Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 s UNKNOWN
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.68 (included in solving)
1796.69/1797.01 c reading : 0.08 (included in solving)
1796.69/1797.01 c copying : 0.00 (0 times copied the problem)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3690522-1338016952.opb
1796.69/1797.01 c Variables : 4626 (4626 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 30747 initial, 30747 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3690522-1338016952.opb
1796.69/1797.01 c Variables : 4608 (4608 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 30744 initial, 34489 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 18 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 12 432
1796.69/1797.01 c setppc : 0.03 0.00 0 0 0 0 0 3 0 0 0
1796.69/1797.01 c linear : 0.23 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c logicor : 0.27 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 8570 0 1 0 7 242 0 0 16864
1796.69/1797.01 c knapsack : 78 78 5 62467 0 1 0 964756 1261 70393 229 0 0
1796.69/1797.01 c setppc : 6642 6642 5 61206 0 1 0 1211369 975 231447 0 0 0
1796.69/1797.01 c logicor : 24024+ 27769 5 36176 0 1 0 455526 1347 70666 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 660.23 0.00 0.00 0.00 660.23 0.00 0.00 0.00
1796.69/1797.01 c knapsack : 8.24 0.00 0.00 7.17 0.00 0.00 0.00 1.07
1796.69/1797.01 c setppc : 9.50 0.00 0.00 7.89 0.00 0.00 0.00 1.61
1796.69/1797.01 c logicor : 9.57 0.01 0.01 8.05 0.00 0.00 0.00 1.51
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 0 0 0 0
1796.69/1797.01 c pseudoobj : 0 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 8575 0 0 0
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.01 c pseudoobj : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.01 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.01 c redcost : 0.70 0.00 0.00 0.70 0.00
1796.69/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 18.41 3583 3583 288071 261.3 353 72.7 -
1796.69/1797.01 c infeasible LP : 18.56 2682 2682 189833 268.1 445 72.9 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 33845 158.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.02 4 - - 7 - (maximal pool size: 1081)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 8.94 0.00 5 0 0 198 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 3.03 0.00 5 0 0 2500 0
1796.69/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c clique : 0.10 0.00 5 0 0 24 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.02 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 660.18 0.00 8570 7 242 0 0 16864
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 1 0
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 0.00 0.00 0 0
1796.69/1797.01 c zirounding : 0.00 0.00 0 0
1796.69/1797.01 c rounding : 0.00 0.00 0 0
1796.69/1797.01 c shifting : 0.00 0.00 0 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c oneopt : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c coefdiving : 0.00 0.00 0 0
1796.69/1797.01 c pscostdiving : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c fracdiving : 0.00 0.00 0 0
1796.69/1797.01 c veclendiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.69/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.69/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.69/1797.01 c guideddiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.00 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c crossover : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.00 0.00 0 0
1796.69/1797.01 c trysol : 0.00 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.69/1797.01 c dual LP : 1032.36 11258 1247319 111.50 1208.22 0.43 71
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.69/1797.01 c strong branching : 658.25 3385 729554 215.53 1108.33
1796.69/1797.01 c (at root node) : - 33 31914 967.09 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 13352
1796.69/1797.01 c nodes (total) : 13352
1796.69/1797.01 c nodes left : 866
1796.69/1797.01 c max depth : 173
1796.69/1797.01 c max depth (total): 173
1796.69/1797.01 c backtracks : 2767 (20.7%)
1796.69/1797.01 c delayed cutoffs : 2649
1796.69/1797.01 c repropagations : 16904 (117099 domain reductions, 1582 cutoffs)
1796.69/1797.01 c avg switch length: 4.33
1796.69/1797.01 c switching time : 5.22
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 0 (0 improvements)
1796.69/1797.01 c Primal Bound : -
1796.69/1797.01 c Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Root Iterations : 20156
1796.79/1797.12 c Time complete: 1796.82.
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-3690522-1338016952/watcher-3690522-1338016952 -o /tmp/evaluation-result-3690522-1338016952/solver-3690522-1338016952 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690522-1338016952.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: 0.16 0.05 0.01 3/176 30459
/proc/meminfo: memFree=28128304/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=11172 CPUtime=0 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 1545 0 0 0 0 0 0 0 20 0 1 0 267823736 11440128 1499 33554432000 4194304 10173063 140733206832384 140736820279592 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 2793 1499 413 1460 0 1324 0
[startup+0.0582941 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 30459
/proc/meminfo: memFree=28128304/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=22164 CPUtime=0.05 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 4299 0 0 0 5 0 0 0 20 0 1 0 267823736 22695936 4253 33554432000 4194304 10173063 140733206832384 140736820279592 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 5541 4253 413 1460 0 4072 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22164
[startup+0.100369 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 30459
/proc/meminfo: memFree=28128304/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=36608 CPUtime=0.09 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 7898 0 0 0 8 1 0 0 20 0 1 0 267823736 37486592 7841 33554432000 4194304 10173063 140733206832384 140736820279592 4900576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 9152 7842 466 1460 0 7683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36608
[startup+0.300312 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 30459
/proc/meminfo: memFree=28128304/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=67476 CPUtime=0.29 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 15762 0 0 0 20 9 0 0 20 0 1 0 267823736 69095424 15343 33554432000 4194304 10173063 140733206832384 140736820279592 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 16869 15343 546 1460 0 15400 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67476
[startup+0.700314 s]
/proc/loadavg: 0.16 0.05 0.01 3/176 30459
/proc/meminfo: memFree=28128304/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=74108 CPUtime=0.69 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 19368 0 0 0 43 26 0 0 20 0 1 0 267823736 75886592 17052 33554432000 4194304 10173063 140733206832384 140733206829384 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 18527 17052 592 1460 0 17058 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74108
[startup+1.50031 s]
/proc/loadavg: 0.16 0.05 0.01 3/177 30460
/proc/meminfo: memFree=28013676/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=127524 CPUtime=1.49 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 31676 0 0 0 117 32 0 0 20 0 1 0 267823736 130584576 29291 33554432000 4194304 10173063 140733206832384 140733206826024 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 31881 29291 747 1460 0 30412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127524
[startup+3.10032 s]
/proc/loadavg: 0.16 0.05 0.01 3/177 30460
/proc/meminfo: memFree=28011312/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=128284 CPUtime=3.09 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 32093 0 0 0 276 33 0 0 20 0 1 0 267823736 131362816 29689 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 32071 29689 747 1460 0 30602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128284
[startup+6.30032 s]
/proc/loadavg: 0.31 0.08 0.02 3/177 30460
/proc/meminfo: memFree=28009600/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=144656 CPUtime=6.29 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 36091 0 0 0 594 35 0 0 20 0 1 0 267823736 148127744 34195 33554432000 4194304 10173063 140733206832384 140733206827272 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 36164 34195 790 1460 0 34695 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144656
[startup+12.7002 s]
/proc/loadavg: 0.44 0.11 0.03 3/177 30460
/proc/meminfo: memFree=27849976/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=162460 CPUtime=12.69 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 40440 0 0 0 1231 38 0 0 20 0 1 0 267823736 166359040 38542 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 40615 38542 790 1460 0 39146 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 162460
[startup+25.5003 s]
/proc/loadavg: 0.79 0.21 0.06 3/177 30460
/proc/meminfo: memFree=27824664/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=184588 CPUtime=25.48 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 44032 0 0 0 2505 43 0 0 20 0 1 0 267823736 189018112 44178 33554432000 4194304 10173063 140733206832384 140733206827272 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 46147 44178 790 1460 0 44678 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 184588
[startup+51.1003 s]
/proc/loadavg: 1.20 0.35 0.11 3/177 30460
/proc/meminfo: memFree=27427492/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=199288 CPUtime=51.08 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 47771 0 0 0 5058 50 0 0 20 0 1 0 267823736 204070912 47886 33554432000 4194304 10173063 140733206832384 140733206825832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 49822 47886 794 1460 0 48353 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 199288
[startup+102.307 s]
/proc/loadavg: 1.69 0.62 0.21 3/177 30460
/proc/meminfo: memFree=27424872/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=199288 CPUtime=102.28 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 47782 0 0 0 10166 62 0 0 20 0 1 0 267823736 204070912 47897 33554432000 4194304 10173063 140733206832384 140733206825096 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 49822 47897 801 1460 0 48353 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 199288
[startup+162.3 s]
/proc/loadavg: 1.89 0.87 0.32 3/177 30460
/proc/meminfo: memFree=27402836/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=199288 CPUtime=162.27 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 47782 0 0 0 16151 76 0 0 20 0 1 0 267823736 204070912 47897 33554432000 4194304 10173063 140733206832384 140733206825832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 49822 47897 801 1460 0 48353 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 199288
[startup+222.3 s]
/proc/loadavg: 2.04 1.09 0.43 3/177 30460
/proc/meminfo: memFree=27389464/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=200120 CPUtime=222.26 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 47784 0 0 0 22137 89 0 0 20 0 1 0 267823736 204922880 47899 33554432000 4194304 10173063 140733206832384 140733206825832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 50030 47899 801 1460 0 48561 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 200120
[startup+282.3 s]
/proc/loadavg: 2.01 1.25 0.52 3/177 30461
/proc/meminfo: memFree=27385720/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=203584 CPUtime=282.25 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 48631 0 0 0 28120 105 0 0 20 0 1 0 267823736 208470016 48746 33554432000 4194304 10173063 140733206832384 140733206825832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 50896 48746 806 1460 0 49427 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 203584
[startup+342.3 s]
/proc/loadavg: 2.00 1.38 0.61 3/177 30461
/proc/meminfo: memFree=27381616/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=203584 CPUtime=342.24 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 48704 0 0 0 34101 123 0 0 20 0 1 0 267823736 208470016 48819 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 50896 48819 806 1460 0 49427 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 203584
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.70 3/177 30461
/proc/meminfo: memFree=27380764/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=203584 CPUtime=402.23 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 48737 0 0 0 40087 136 0 0 20 0 1 0 267823736 208470016 48852 33554432000 4194304 10173063 140733206832384 140733206825832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 50896 48852 806 1460 0 49427 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 203584
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.78 3/178 30464
/proc/meminfo: memFree=27374920/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=205184 CPUtime=462.22 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 49094 0 0 0 46073 149 0 0 20 0 1 0 267823736 210108416 49209 33554432000 4194304 10173063 140733206832384 140733206825688 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 51296 49209 806 1460 0 49827 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 205184
[startup+522.3 s]
/proc/loadavg: 2.03 1.67 0.86 3/177 30464
/proc/meminfo: memFree=27373716/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=205632 CPUtime=522.21 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 49388 0 0 0 52061 160 0 0 20 0 1 0 267823736 210567168 49503 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 51408 49503 806 1460 0 49939 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 205632
[startup+582.3 s]
/proc/loadavg: 2.07 1.74 0.93 3/177 30465
/proc/meminfo: memFree=27372136/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=206900 CPUtime=582.19 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 49690 0 0 0 58044 175 0 0 20 0 1 0 267823736 211865600 49893 33554432000 4194304 10173063 140733206832384 140733206825736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 51725 49893 806 1460 0 50256 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 206900
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27351480/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=221028 CPUtime=1062.1 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 53016 0 0 0 105889 321 0 0 20 0 1 0 267823736 226332672 54171 33554432000 4194304 10173063 140733206832384 140733206826024 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 55257 54171 806 1460 0 53788 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 221028
[startup+1122.3 s]
/proc/loadavg: 2.10 1.99 1.40 3/177 30470
/proc/meminfo: memFree=27349268/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=223140 CPUtime=1122.1 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 53569 0 0 0 111858 352 0 0 20 0 1 0 267823736 228495360 54724 33554432000 4194304 10173063 140733206832384 140733206825928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 55785 54724 806 1460 0 54316 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 223140
[startup+1182.3 s]
/proc/loadavg: 2.03 1.99 1.44 3/177 30471
/proc/meminfo: memFree=27336424/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=225068 CPUtime=1182.09 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 53908 0 0 0 117835 374 0 0 20 0 1 0 267823736 230469632 55063 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 56267 55063 806 1460 0 54798 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 225068
[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 1.48 3/177 30471
/proc/meminfo: memFree=27323148/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=225984 CPUtime=1242.08 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 54280 0 0 0 123807 401 0 0 20 0 1 0 267823736 231407616 55435 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 56496 55435 806 1460 0 55027 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 225984
[startup+1302.3 s]
/proc/loadavg: 2.19 2.06 1.52 3/177 30471
/proc/meminfo: memFree=27321412/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=227888 CPUtime=1302.08 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 54572 0 0 0 129779 429 0 0 20 0 1 0 267823736 233357312 55727 33554432000 4194304 10173063 140733206832384 140733206825144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 56972 55727 806 1460 0 55503 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 227888
[startup+1362.3 s]
/proc/loadavg: 2.14 2.06 1.56 3/177 30471
/proc/meminfo: memFree=27320648/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=228752 CPUtime=1362.06 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 54814 0 0 0 135729 477 0 0 20 0 1 0 267823736 234242048 55965 33554432000 4194304 10173063 140733206832384 140733206825736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 57188 55965 806 1460 0 55719 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 228752
[startup+1422.31 s]
/proc/loadavg: 2.10 2.06 1.59 3/177 30471
/proc/meminfo: memFree=27318724/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=230068 CPUtime=1422.06 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 55307 0 0 0 141692 514 0 0 20 0 1 0 267823736 235589632 56458 33554432000 4194304 10173063 140733206832384 140733206826200 8047432 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 57517 56458 806 1460 0 56048 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 230068
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 1.61 3/177 30472
/proc/meminfo: memFree=27318228/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=230068 CPUtime=1482.04 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 55375 0 0 0 147648 556 0 0 20 0 1 0 267823736 235589632 56526 33554432000 4194304 10173063 140733206832384 140733206826024 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 57517 56526 806 1460 0 56048 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 230068
[startup+1542.3 s]
/proc/loadavg: 2.10 2.07 1.64 3/177 30472
/proc/meminfo: memFree=27317236/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=231708 CPUtime=1542.03 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 55675 0 0 0 153587 616 0 0 20 0 1 0 267823736 237268992 56826 33554432000 4194304 10173063 140733206832384 140733206825736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 57927 56826 806 1460 0 56458 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 231708
[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 1.66 3/177 30472
/proc/meminfo: memFree=27316120/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=232580 CPUtime=1602.02 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 55907 0 0 0 159522 680 0 0 20 0 1 0 267823736 238161920 57058 33554432000 4194304 10173063 140733206832384 140733206829288 8046662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58145 57058 806 1460 0 56676 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 232580
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 1.68 3/178 30475
/proc/meminfo: memFree=27315360/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=233012 CPUtime=1662.01 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56055 0 0 0 165459 742 0 0 20 0 1 0 267823736 238604288 57206 33554432000 4194304 10173063 140733206832384 140733206825320 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58253 57206 806 1460 0 56784 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 233012
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.70 3/177 30475
/proc/meminfo: memFree=27314136/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=234428 CPUtime=1722 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56377 0 0 0 171370 830 0 0 20 0 1 0 267823736 240054272 57528 33554432000 4194304 10173063 140733206832384 140733206827800 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58607 57528 806 1460 0 57138 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 234428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.72 3/176 30475
/proc/meminfo: memFree=27311100/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=234880 CPUtime=1781.99 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56507 0 0 0 177306 893 0 0 20 0 1 0 267823736 240517120 57658 33554432000 4194304 10173063 140733206832384 140733206826024 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58720 57658 806 1460 0 57251 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 234880
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 1.72 3/177 30476
/proc/meminfo: memFree=27311100/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=234880 CPUtime=1785.2 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56514 0 0 0 177623 897 0 0 20 0 1 0 267823736 240517120 57665 33554432000 4194304 10173063 140733206832384 140733206825736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58720 57665 806 1460 0 57251 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 234880
[startup+1791.91 s]
/proc/loadavg: 2.08 2.04 1.73 3/177 30476
/proc/meminfo: memFree=27310968/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=234880 CPUtime=1791.6 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56518 0 0 0 178253 907 0 0 20 0 1 0 267823736 240517120 57669 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58720 57669 806 1460 0 57251 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 234880
[startup+1795.1 s]
/proc/loadavg: 2.07 2.04 1.73 3/177 30514
/proc/meminfo: memFree=28425328/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=234880 CPUtime=1794.8 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56522 0 0 0 178569 911 0 0 20 0 1 0 267823736 240517120 57673 33554432000 4194304 10173063 140733206832384 140733206825736 7706032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58720 57673 806 1460 0 57251 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 234880
[startup+1795.9 s]
/proc/loadavg: 2.07 2.04 1.73 3/177 30514
/proc/meminfo: memFree=28425328/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=234880 CPUtime=1795.6 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56525 0 0 0 178648 912 0 0 20 0 1 0 267823736 240517120 57676 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58720 57676 806 1460 0 57251 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 234880
[startup+1796.7 s]
/proc/loadavg: 2.07 2.04 1.73 3/177 30514
/proc/meminfo: memFree=28401180/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=234880 CPUtime=1796.39 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56525 0 0 0 178727 912 0 0 20 0 1 0 267823736 240517120 57676 33554432000 4194304 10173063 140733206832384 140733206825640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 58720 57676 806 1460 0 57251 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 234880
[startup+1797.1 s]
/proc/loadavg: 2.07 2.04 1.73 3/177 30514
/proc/meminfo: memFree=28401180/32873844 swapFree=7620/7620
[pid=30459] ppid=30457 vsize=231104 CPUtime=1796.79 cores=1,3,5,7
/proc/30459/stat : 30459 (scip-2.1.1.4fix) R 30457 30459 30301 0 -1 4202496 56539 0 0 0 178767 912 0 0 20 0 1 0 267823736 236650496 56752 33554432000 4194304 10173063 140733206832384 140733206825640 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30459/statm: 57776 56752 820 1460 0 56307 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 231104
Child status: 0
Real time (s): 1797.13
CPU time (s): 1796.83
CPU user time (s): 1787.69
CPU system time (s): 9.13561
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 234880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.69
system time used= 9.13561
maximum resident set size= 230748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56552
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= 32
involuntary context switches= 1848
runsolver used 2.97155 second user time and 9.04762 second system time
The end