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-3691583-1338022250.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.01/0.01 c presolving:
0.01/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.01/0.04 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.01/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.01/0.06 c presolving (4 rounds):
0.01/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.06 c 242 implications, 22 cliques
0.01/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.01/0.06 c 1 constraints of type <knapsack>
0.01/0.06 c 22 constraints of type <setppc>
0.01/0.06 c 2420 constraints of type <logicor>
0.01/0.06 c transformed objective value is always integral (scale: 1)
0.01/0.06 c Presolving Time: 0.04
0.01/0.06 c - non default parameters ----------------------------------------------------------------------
0.01/0.06 c # SCIP version 2.1.1.4
0.01/0.06 c
0.01/0.06 c # maximal time in seconds to run
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/time = 1797
0.01/0.06 c
0.01/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/memory = 13950
0.01/0.06 c
0.01/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c limits/solutions = 1
0.01/0.06 c
0.01/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.06 c separating/maxrounds = 1
0.01/0.06 c
0.01/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/maxroundsroot = 5
0.01/0.06 c
0.01/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.06 c # [type: int, range: [1,2], default: 1]
0.01/0.06 c timing/clocktype = 2
0.01/0.06 c
0.01/0.06 c # belongs reading time to solving time?
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c timing/reading = TRUE
0.01/0.06 c
0.01/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.06 c constraints/knapsack/disaggregation = FALSE
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/coefdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.06 c heuristics/crossover/freq = -1
0.01/0.06 c
0.01/0.06 c # number of nodes added to the contingent of the total nodes
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.06 c heuristics/crossover/nodesofs = 750
0.01/0.06 c
0.01/0.06 c # number of nodes without incumbent change that heuristic should wait
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.06 c heuristics/crossover/nwaitingnodes = 100
0.01/0.06 c
0.01/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.06 c # [type: real, range: [0,1], default: 0.1]
0.01/0.06 c heuristics/crossover/nodesquot = 0.15
0.01/0.06 c
0.01/0.06 c # minimum percentage of integer variables that have to be fixed
0.01/0.06 c # [type: real, range: [0,1], default: 0.666]
0.01/0.06 c heuristics/crossover/minfixingrate = 0.5
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/feaspump/freq = -1
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/fracdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/guideddiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/intshifting/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/linesearchdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/objpscostdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.06 c # [type: real, range: [0,1], default: 0.01]
0.01/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/oneopt/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/pscostdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/rens/freq = -1
0.01/0.06 c
0.01/0.06 c # minimum percentage of integer variables that have to be fixable
0.01/0.06 c # [type: real, range: [0,1], default: 0.5]
0.01/0.06 c heuristics/rens/minfixingrate = 0.3
0.01/0.06 c
0.01/0.06 c # number of nodes added to the contingent of the total nodes
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.06 c heuristics/rens/nodesofs = 2000
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/rootsoldiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/rounding/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/shiftandpropagate/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/shifting/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/simplerounding/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/subnlp/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/trivial/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/trysol/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/undercover/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/veclendiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/zirounding/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c propagating/probing/maxprerounds = 0
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c separating/cmir/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c separating/flowcover/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/rapidlearning/freq = 0
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/indoneopt/freq = -1
0.01/0.06 c
0.01/0.06 c -----------------------------------------------------------------------------------------------
0.01/0.06 c start solving
0.01/0.06 c
0.01/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.20 c 0.2s| 1 | 0 | 91 | - |4701k| 0 | 39 | 231 |2725 | 231 |2452 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.23 c 0.2s| 1 | 0 | 108 | - |5025k| 0 | 43 | 231 |2725 | 231 |2456 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.27 c 0.3s| 1 | 0 | 123 | - |5391k| 0 | 49 | 231 |2725 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.38 c 0.4s| 1 | 0 | 138 | - |5886k| 0 | 48 | 231 |2725 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.48/0.52 c 0.5s| 1 | 0 | 164 | - |6441k| 0 | 52 | 231 |2725 | 231 |2461 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.77 c 0.8s| 1 | 2 | 164 | - |6442k| 0 | 52 | 231 |2725 | 231 |2461 | 18 | 0 | 12 | 0.000000e+00 | -- | Inf
9.48/9.58 c 9.6s| 100 | 14 | 5659 | 55.5 |6593k| 12 | 27 | 231 |2762 | 231 |2452 | 18 | 38 |1521 | 0.000000e+00 | -- | Inf
10.48/10.54 c 10.5s| 200 | 19 | 8378 | 41.3 |6642k| 21 | - | 231 |2833 | 231 |2452 | 18 | 109 |1658 | 0.000000e+00 | -- | Inf
10.89/10.94 c 10.9s| 300 | 29 | 10382 | 34.2 |6701k| 21 | 22 | 231 |2913 | 231 |2452 | 18 | 189 |1695 | 0.000000e+00 | -- | Inf
11.27/11.32 c 11.3s| 400 | 33 | 12241 | 30.3 |6733k| 25 | 29 | 231 |2981 | 231 |2452 | 18 | 257 |1733 | 0.000000e+00 | -- | Inf
11.48/11.57 c 11.6s| 500 | 33 | 13851 | 27.4 |6754k| 25 | - | 231 |3039 | 231 |2452 | 18 | 315 |1746 | 0.000000e+00 | -- | Inf
11.87/11.95 c 11.9s| 600 | 39 | 15903 | 26.3 |6794k| 25 | 40 | 231 |3098 | 231 |2452 | 18 | 377 |1773 | 0.000000e+00 | -- | Inf
12.18/12.20 c 12.2s| 700 | 44 | 17695 | 25.1 |6831k| 25 | - | 231 |3157 | 231 |2452 | 18 | 437 |1779 | 0.000000e+00 | -- | Inf
12.37/12.47 c 12.5s| 800 | 44 | 19575 | 24.3 |6864k| 25 | - | 231 |3242 | 231 |2452 | 18 | 523 |1788 | 0.000000e+00 | -- | Inf
12.68/12.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.68/12.75 c 12.7s| 900 | 48 | 21507 | 23.7 |6895k| 27 | 33 | 231 |3309 | 231 |2452 | 18 | 591 |1797 | 0.000000e+00 | -- | Inf
12.87/12.97 c 13.0s| 1000 | 44 | 23190 | 23.0 |6915k| 31 | - | 231 |3368 | 231 |2452 | 18 | 650 |1801 | 0.000000e+00 | -- | Inf
13.19/13.24 c 13.2s| 1100 | 44 | 25133 | 22.7 |6943k| 31 | 32 | 231 |3428 | 231 |2452 | 18 | 710 |1807 | 0.000000e+00 | -- | Inf
13.37/13.49 c 13.5s| 1200 | 42 | 27004 | 22.4 |6971k| 31 | - | 231 |3506 | 231 |2452 | 18 | 789 |1810 | 0.000000e+00 | -- | Inf
13.68/13.74 c 13.7s| 1300 | 43 | 28893 | 22.1 |7011k| 31 | - | 231 |3574 | 231 |2452 | 18 | 861 |1815 | 0.000000e+00 | -- | Inf
13.88/13.99 c 14.0s| 1400 | 43 | 30749 | 21.9 |7031k| 32 | 35 | 231 |3634 | 231 |2452 | 18 | 921 |1818 | 0.000000e+00 | -- | Inf
14.18/14.23 c 14.2s| 1500 | 45 | 32557 | 21.6 |7061k| 32 | 33 | 231 |3696 | 231 |2452 | 18 | 986 |1821 | 0.000000e+00 | -- | Inf
14.38/14.45 c 14.5s| 1600 | 44 | 34329 | 21.4 |7086k| 35 | 40 | 231 |3763 | 231 |2452 | 18 |1056 |1822 | 0.000000e+00 | -- | Inf
14.57/14.67 c 14.7s| 1700 | 44 | 36064 | 21.1 |7117k| 36 | 22 | 231 |3836 | 231 |2452 | 18 |1129 |1822 | 0.000000e+00 | -- | Inf
14.88/14.92 c 14.9s| 1800 | 44 | 38093 | 21.1 |7141k| 36 | 39 | 231 |3888 | 231 |2452 | 18 |1184 |1822 | 0.000000e+00 | -- | Inf
15.08/15.17 c 15.2s| 1900 | 45 | 40051 | 21.0 |7168k| 36 | 37 | 231 |3951 | 231 |2452 | 18 |1254 |1823 | 0.000000e+00 | -- | Inf
15.38/15.46 c 15.5s| 2000 | 45 | 41925 | 20.9 |7214k| 36 | - | 231 |4019 | 0 | 0 | 18 |1329 |1833 | 0.000000e+00 | -- | Inf
15.68/15.79 c 15.8s| 2100 | 44 | 43793 | 20.8 |7232k| 36 | 26 | 231 |4093 | 231 |2452 | 18 |1407 |1856 | 0.000000e+00 | -- | Inf
16.08/16.13 c 16.1s| 2200 | 43 | 46002 | 20.8 |7250k| 36 | 37 | 231 |4138 | 231 |2452 | 18 |1479 |1870 | 0.000000e+00 | -- | Inf
16.38/16.43 c 16.4s| 2300 | 45 | 47925 | 20.8 |7270k| 36 | - | 231 |4147 | 231 |2452 | 18 |1537 |1883 | 0.000000e+00 | -- | Inf
16.68/16.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.68/16.72 c 16.7s| 2400 | 44 | 49775 | 20.7 |7291k| 36 | - | 231 |4182 | 231 |2452 | 18 |1615 |1897 | 0.000000e+00 | -- | Inf
16.97/17.00 c 17.0s| 2500 | 49 | 51767 | 20.6 |7309k| 36 | 27 | 231 |4218 | 231 |2452 | 18 |1675 |1906 | 0.000000e+00 | -- | Inf
17.18/17.25 c 17.3s| 2600 | 46 | 53738 | 20.6 |7316k| 36 | 28 | 231 |4265 | 231 |2452 | 18 |1753 |1910 | 0.000000e+00 | -- | Inf
17.48/17.51 c 17.5s| 2700 | 46 | 55495 | 20.5 |7326k| 36 | 35 | 231 |4300 | 231 |2452 | 18 |1815 |1917 | 0.000000e+00 | -- | Inf
17.67/17.74 c 17.7s| 2800 | 47 | 57241 | 20.4 |7345k| 36 | 35 | 231 |4330 | 231 |2452 | 18 |1893 |1919 | 0.000000e+00 | -- | Inf
18.08/18.10 c 18.1s| 2900 | 59 | 60180 | 20.7 |7387k| 36 | 36 | 231 |4353 | 231 |2452 | 18 |1961 |1924 | 0.000000e+00 | -- | Inf
18.28/18.33 c 18.3s| 3000 | 62 | 61984 | 20.6 |7430k| 36 | - | 231 |4433 | 231 |2452 | 18 |2049 |1926 | 0.000000e+00 | -- | Inf
18.47/18.55 c 18.6s| 3100 | 61 | 63762 | 20.5 |7454k| 36 | 22 | 231 |4523 | 231 |2452 | 18 |2144 |1926 | 0.000000e+00 | -- | Inf
18.68/18.76 c 18.8s| 3200 | 62 | 65452 | 20.4 |7487k| 36 | 26 | 231 |4588 | 231 |2452 | 18 |2212 |1926 | 0.000000e+00 | -- | Inf
18.87/18.96 c 19.0s| 3300 | 60 | 66899 | 20.2 |7523k| 36 | - | 231 |4669 | 0 | 0 | 18 |2296 |1928 | 0.000000e+00 | -- | Inf
19.07/19.14 c 19.1s| 3400 | 61 | 68282 | 20.0 |7543k| 38 | 34 | 231 |4725 | 231 |2452 | 18 |2361 |1928 | 0.000000e+00 | -- | Inf
19.28/19.37 c 19.4s| 3500 | 60 | 69920 | 19.9 |7565k| 38 | - | 231 |4781 | 231 |2452 | 18 |2434 |1930 | 0.000000e+00 | -- | Inf
19.58/19.60 c 19.6s| 3600 | 58 | 71804 | 19.9 |7591k| 38 | - | 231 |4848 | 231 |2452 | 18 |2526 |1931 | 0.000000e+00 | -- | Inf
19.78/19.85 c 19.8s| 3700 | 60 | 73690 | 19.9 |7614k| 38 | 25 | 231 |4858 | 231 |2452 | 18 |2601 |1931 | 0.000000e+00 | -- | Inf
19.98/20.07 c 20.1s| 3800 | 60 | 75519 | 19.8 |7639k| 38 | 29 | 231 |4921 | 231 |2452 | 18 |2671 |1931 | 0.000000e+00 | -- | Inf
20.27/20.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.27/20.30 c 20.3s| 3900 | 60 | 77492 | 19.8 |7664k| 38 | 36 | 231 |4975 | 231 |2452 | 18 |2738 |1931 | 0.000000e+00 | -- | Inf
20.47/20.59 c 20.6s| 4000 | 58 | 79478 | 19.8 |7674k| 38 | 35 | 231 |5025 | 231 |2452 | 18 |2811 |1941 | 0.000000e+00 | -- | Inf
20.78/20.89 c 20.9s| 4100 | 58 | 81259 | 19.8 |7687k| 38 | - | 231 |5023 | 231 |2452 | 18 |2870 |1954 | 0.000000e+00 | -- | Inf
21.08/21.17 c 21.2s| 4200 | 60 | 82931 | 19.7 |7700k| 38 | 34 | 231 |5039 | 231 |2452 | 18 |2937 |1968 | 0.000000e+00 | -- | Inf
21.38/21.42 c 21.4s| 4300 | 64 | 84459 | 19.6 |7720k| 38 | 37 | 231 |5035 | 231 |2452 | 18 |3016 |1978 | 0.000000e+00 | -- | Inf
21.67/21.71 c 21.7s| 4400 | 63 | 86287 | 19.6 |7730k| 38 | - | 231 |5051 | 231 |2452 | 18 |3085 |1993 | 0.000000e+00 | -- | Inf
21.98/22.00 c 22.0s| 4500 | 64 | 88015 | 19.5 |7730k| 38 | 32 | 231 |5065 | 231 |2452 | 18 |3142 |2010 | 0.000000e+00 | -- | Inf
22.28/22.31 c 22.3s| 4600 | 66 | 89834 | 19.5 |7742k| 38 | 34 | 231 |5090 | 231 |2452 | 18 |3204 |2031 | 0.000000e+00 | -- | Inf
22.57/22.61 c 22.6s| 4700 | 64 | 91743 | 19.5 |7758k| 38 | - | 231 |5126 | 0 | 0 | 18 |3267 |2046 | 0.000000e+00 | -- | Inf
22.87/22.90 c 22.9s| 4800 | 62 | 93583 | 19.5 |7770k| 38 | - | 231 |5160 | 231 |2452 | 18 |3335 |2062 | 0.000000e+00 | -- | Inf
23.09/23.18 c 23.2s| 4900 | 64 | 95229 | 19.4 |7797k| 38 | 36 | 231 |5201 | 231 |2452 | 18 |3409 |2078 | 0.000000e+00 | -- | Inf
23.38/23.44 c 23.4s| 5000 | 64 | 96972 | 19.4 |7822k| 38 | - | 231 |5245 | 231 |2452 | 18 |3495 |2088 | 0.000000e+00 | -- | Inf
23.67/23.70 c 23.7s| 5100 | 65 | 98536 | 19.3 |7844k| 38 | 27 | 231 |5288 | 231 |2452 | 18 |3565 |2100 | 0.000000e+00 | -- | Inf
23.87/23.92 c 23.9s| 5200 | 60 |100190 | 19.2 |7843k| 38 | - | 231 |5323 | 231 |2452 | 18 |3635 |2103 | 0.000000e+00 | -- | Inf
24.08/24.18 c 24.2s| 5300 | 60 |101959 | 19.2 |7868k| 38 | - | 231 |5365 | 231 |2452 | 18 |3707 |2110 | 0.000000e+00 | -- | Inf
24.38/24.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.38/24.41 c 24.4s| 5400 | 58 |103648 | 19.2 |7869k| 38 | 41 | 231 |5386 | 231 |2452 | 18 |3778 |2113 | 0.000000e+00 | -- | Inf
24.57/24.65 c 24.6s| 5500 | 58 |105292 | 19.1 |7872k| 38 | - | 231 |5351 | 231 |2452 | 18 |3848 |2118 | 0.000000e+00 | -- | Inf
24.77/24.85 c 24.8s| 5600 | 58 |106726 | 19.0 |7870k| 38 | 38 | 231 |5355 | 231 |2452 | 18 |3903 |2120 | 0.000000e+00 | -- | Inf
24.97/25.08 c 25.1s| 5700 | 58 |108407 | 19.0 |7880k| 38 | 33 | 231 |5383 | 231 |2452 | 18 |3963 |2121 | 0.000000e+00 | -- | Inf
25.28/25.30 c 25.3s| 5800 | 59 |110162 | 19.0 |7899k| 38 | - | 231 |5406 | 231 |2452 | 18 |4030 |2122 | 0.000000e+00 | -- | Inf
25.47/25.50 c 25.5s| 5900 | 60 |111631 | 18.9 |7917k| 38 | - | 231 |5431 | 231 |2452 | 18 |4109 |2123 | 0.000000e+00 | -- | Inf
25.67/25.72 c 25.7s| 6000 | 58 |113338 | 18.9 |7925k| 38 | - | 231 |5477 | 231 |2452 | 18 |4181 |2123 | 0.000000e+00 | -- | Inf
25.88/25.94 c 25.9s| 6100 | 60 |115065 | 18.8 |7944k| 38 | 25 | 231 |5525 | 231 |2452 | 18 |4276 |2123 | 0.000000e+00 | -- | Inf
26.07/26.17 c 26.2s| 6200 | 59 |116857 | 18.8 |7955k| 38 | 25 | 231 |5559 | 231 |2452 | 18 |4369 |2123 | 0.000000e+00 | -- | Inf
26.28/26.39 c 26.4s| 6300 | 63 |118568 | 18.8 |7978k| 38 | - | 231 |5566 | 0 | 0 | 18 |4437 |2123 | 0.000000e+00 | -- | Inf
26.57/26.62 c 26.6s| 6400 | 64 |120469 | 18.8 |7992k| 38 | - | 231 |5614 | 231 |2452 | 18 |4524 |2123 | 0.000000e+00 | -- | Inf
26.78/26.84 c 26.8s| 6500 | 60 |122102 | 18.8 |8002k| 38 | - | 231 |5653 | 231 |2452 | 18 |4624 |2123 | 0.000000e+00 | -- | Inf
26.98/27.09 c 27.1s| 6600 | 64 |124097 | 18.8 |8023k| 38 | 34 | 231 |5672 | 231 |2452 | 18 |4701 |2123 | 0.000000e+00 | -- | Inf
27.27/27.34 c 27.3s| 6700 | 60 |126110 | 18.8 |8035k| 41 | - | 231 |5708 | 231 |2452 | 18 |4784 |2123 | 0.000000e+00 | -- | Inf
27.58/27.69 c 27.7s| 6800 | 60 |127993 | 18.8 |8046k| 41 | - | 231 |5704 | 231 |2452 | 18 |4858 |2146 | 0.000000e+00 | -- | Inf
27.87/27.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.87/27.95 c 28.0s| 6900 | 59 |129709 | 18.8 |8046k| 41 | - | 231 |5704 | 231 |2452 | 18 |4937 |2157 | 0.000000e+00 | -- | Inf
28.18/28.24 c 28.2s| 7000 | 58 |131563 | 18.8 |8044k| 41 | 31 | 231 |5708 | 231 |2452 | 18 |5000 |2166 | 0.000000e+00 | -- | Inf
28.48/28.52 c 28.5s| 7100 | 56 |133415 | 18.8 |8054k| 41 | - | 231 |5721 | 0 | 0 | 18 |5080 |2177 | 0.000000e+00 | -- | Inf
28.78/28.80 c 28.8s| 7200 | 57 |135213 | 18.8 |8062k| 41 | 32 | 231 |5741 | 231 |2452 | 18 |5146 |2191 | 0.000000e+00 | -- | Inf
28.98/29.06 c 29.1s| 7300 | 57 |136697 | 18.7 |8087k| 41 | 32 | 231 |5801 | 231 |2452 | 18 |5235 |2204 | 0.000000e+00 | -- | Inf
29.28/29.37 c 29.4s| 7400 | 57 |138399 | 18.7 |8089k| 41 | 34 | 231 |5805 | 231 |2452 | 18 |5311 |2224 | 0.000000e+00 | -- | Inf
29.58/29.62 c 29.6s| 7500 | 54 |140070 | 18.7 |8089k| 41 | 33 | 231 |5847 | 231 |2452 | 18 |5385 |2233 | 0.000000e+00 | -- | Inf
29.87/29.92 c 29.9s| 7600 | 54 |141926 | 18.7 |8083k| 41 | 29 | 231 |5855 | 231 |2452 | 18 |5463 |2248 | 0.000000e+00 | -- | Inf
30.08/30.18 c 30.2s| 7700 | 54 |143550 | 18.6 |8095k| 43 | 29 | 231 |5892 | 231 |2452 | 18 |5539 |2259 | 0.000000e+00 | -- | Inf
30.37/30.49 c 30.5s| 7800 | 54 |145574 | 18.6 |8108k| 43 | 30 | 231 |5929 | 231 |2452 | 18 |5604 |2276 | 0.000000e+00 | -- | Inf
30.68/30.76 c 30.8s| 7900 | 54 |147611 | 18.7 |8133k| 43 | - | 231 |6001 | 231 |2452 | 18 |5689 |2284 | 0.000000e+00 | -- | Inf
30.98/31.02 c 31.0s| 8000 | 50 |149472 | 18.7 |8129k| 43 | - | 231 |6045 | 231 |2452 | 18 |5746 |2289 | 0.000000e+00 | -- | Inf
31.27/31.30 c 31.3s| 8100 | 50 |151309 | 18.7 |8129k| 43 | - | 231 |6047 | 231 |2452 | 18 |5838 |2301 | 0.000000e+00 | -- | Inf
31.58/31.60 c 31.6s| 8200 | 49 |153521 | 18.7 |8133k| 43 | - | 231 |6079 | 231 |2452 | 18 |5910 |2309 | 0.000000e+00 | -- | Inf
31.78/31.87 c 31.9s| 8300 | 46 |155703 | 18.7 |8124k| 43 | - | 231 |6069 | 231 |2452 | 18 |5992 |2310 | 0.000000e+00 | -- | Inf
32.07/32.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.07/32.17 c 32.2s| 8400 | 45 |157922 | 18.8 |8119k| 43 | 28 | 231 |6074 | 231 |2452 | 18 |6065 |2315 | 0.000000e+00 | -- | Inf
32.37/32.44 c 32.4s| 8500 | 47 |159943 | 18.8 |8121k| 43 | 29 | 231 |6059 | 231 |2452 | 18 |6149 |2319 | 0.000000e+00 | -- | Inf
32.67/32.71 c 32.7s| 8600 | 47 |162135 | 18.8 |8132k| 43 | - | 231 |6047 | 231 |2452 | 18 |6228 |2320 | 0.000000e+00 | -- | Inf
32.88/32.97 c 33.0s| 8700 | 50 |164155 | 18.9 |8150k| 43 | - | 231 |6022 | 0 | 0 | 18 |6300 |2321 | 0.000000e+00 | -- | Inf
33.17/33.20 c 33.2s| 8800 | 49 |165904 | 18.8 |8132k| 43 | 33 | 231 |5984 | 231 |2452 | 18 |6378 |2321 | 0.000000e+00 | -- | Inf
33.37/33.47 c 33.5s| 8900 | 47 |168139 | 18.9 |8139k| 43 | 36 | 231 |6025 | 231 |2452 | 18 |6449 |2321 | 0.000000e+00 | -- | Inf
33.67/33.71 c 33.7s| 9000 | 46 |170024 | 18.9 |8154k| 43 | - | 231 |6069 | 0 | 0 | 18 |6530 |2321 | 0.000000e+00 | -- | Inf
33.87/33.94 c 33.9s| 9100 | 46 |171878 | 18.9 |8157k| 43 | - | 231 |6092 | 231 |2452 | 18 |6605 |2321 | 0.000000e+00 | -- | Inf
34.08/34.19 c 34.2s| 9200 | 42 |173867 | 18.9 |8137k| 43 | 21 | 231 |6103 | 231 |2452 | 18 |6691 |2321 | 0.000000e+00 | -- | Inf
34.37/34.43 c 34.4s| 9300 | 39 |175750 | 18.9 |8139k| 43 | 28 | 231 |6133 | 231 |2452 | 18 |6772 |2321 | 0.000000e+00 | -- | Inf
34.57/34.68 c 34.7s| 9400 | 41 |177701 | 18.9 |8145k| 43 | 31 | 231 |6117 | 231 |2452 | 18 |6843 |2321 | 0.000000e+00 | -- | Inf
34.88/34.91 c 34.9s| 9500 | 43 |179613 | 18.9 |8168k| 43 | - | 231 |6161 | 231 |2452 | 18 |6917 |2321 | 0.000000e+00 | -- | Inf
35.18/35.20 c 35.2s| 9600 | 42 |181436 | 18.9 |8179k| 43 | 38 | 231 |6204 | 231 |2452 | 18 |6999 |2333 | 0.000000e+00 | -- | Inf
35.48/35.51 c 35.5s| 9700 | 40 |183401 | 18.9 |8204k| 43 | 41 | 231 |6283 | 231 |2452 | 18 |7099 |2344 | 0.000000e+00 | -- | Inf
35.68/35.76 c 35.8s| 9800 | 44 |185158 | 18.9 |8243k| 43 | - | 231 |6352 | 231 |2452 | 18 |7172 |2353 | 0.000000e+00 | -- | Inf
35.97/36.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.97/36.07 c 36.1s| 9900 | 41 |187208 | 18.9 |8265k| 43 | - | 231 |6431 | 231 |2452 | 18 |7256 |2367 | 0.000000e+00 | -- | Inf
36.28/36.39 c 36.4s| 10000 | 37 |189273 | 18.9 |8274k| 43 | 37 | 231 |6474 | 231 |2452 | 18 |7349 |2382 | 0.000000e+00 | -- | Inf
36.67/36.71 c 36.7s| 10100 | 39 |191185 | 18.9 |8266k| 43 | 28 | 231 |6408 | 231 |2452 | 18 |7430 |2397 | 0.000000e+00 | -- | Inf
36.87/36.98 c 37.0s| 10200 | 37 |193048 | 18.9 |8262k| 43 | 30 | 231 |6405 | 231 |2452 | 18 |7482 |2409 | 0.000000e+00 | -- | Inf
37.17/37.25 c 37.3s| 10300 | 35 |194762 | 18.9 |8276k| 43 | - | 231 |6445 | 231 |2452 | 18 |7552 |2423 | 0.000000e+00 | -- | Inf
37.48/37.59 c 37.6s| 10400 | 35 |196983 | 18.9 |8292k| 43 | - | 231 |6500 | 231 |2452 | 18 |7617 |2439 | 0.000000e+00 | -- | Inf
37.88/37.90 c 37.9s| 10500 | 36 |198989 | 18.9 |8297k| 43 | 22 | 231 |6532 | 231 |2452 | 18 |7706 |2454 | 0.000000e+00 | -- | Inf
38.17/38.22 c 38.2s| 10600 | 44 |200934 | 18.9 |8314k| 43 | 26 | 231 |6535 | 231 |2452 | 18 |7778 |2470 | 0.000000e+00 | -- | Inf
38.48/38.50 c 38.5s| 10700 | 44 |202703 | 18.9 |8314k| 43 | - | 231 |6487 | 231 |2452 | 18 |7854 |2481 | 0.000000e+00 | -- | Inf
38.78/38.81 c 38.8s| 10800 | 50 |204697 | 18.9 |8334k| 43 | 29 | 231 |6503 | 231 |2452 | 18 |7924 |2494 | 0.000000e+00 | -- | Inf
38.97/39.08 c 39.1s| 10900 | 38 |206564 | 18.9 |8325k| 43 | 40 | 231 |6542 | 231 |2452 | 18 |8002 |2501 | 0.000000e+00 | -- | Inf
39.28/39.38 c 39.4s| 11000 | 38 |208573 | 18.9 |8337k| 43 | - | 231 |6561 | 231 |2452 | 18 |8066 |2512 | 0.000000e+00 | -- | Inf
39.58/39.64 c 39.6s| 11100 | 41 |210322 | 18.9 |8357k| 43 | 32 | 231 |6594 | 231 |2452 | 18 |8136 |2519 | 0.000000e+00 | -- | Inf
39.77/39.87 c 39.9s| 11200 | 42 |212051 | 18.9 |8380k| 43 | - | 231 |6639 | 231 |2452 | 18 |8196 |2522 | 0.000000e+00 | -- | Inf
40.08/40.13 c 40.1s| 11300 | 46 |213951 | 18.9 |8396k| 43 | 37 | 231 |6673 | 231 |2452 | 18 |8254 |2525 | 0.000000e+00 | -- | Inf
40.27/40.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.27/40.36 c 40.4s| 11400 | 49 |215699 | 18.9 |8421k| 43 | 42 | 231 |6721 | 231 |2452 | 18 |8313 |2527 | 0.000000e+00 | -- | Inf
40.47/40.60 c 40.6s| 11500 | 57 |217681 | 18.9 |8461k| 43 | 26 | 231 |6768 | 231 |2452 | 18 |8375 |2528 | 0.000000e+00 | -- | Inf
40.77/40.87 c 40.9s| 11600 | 59 |219829 | 18.9 |8487k| 43 | - | 231 |6811 | 231 |2452 | 18 |8429 |2530 | 0.000000e+00 | -- | Inf
41.07/41.13 c 41.1s| 11700 | 59 |221978 | 19.0 |8510k| 43 | - | 231 |6858 | 231 |2452 | 18 |8485 |2531 | 0.000000e+00 | -- | Inf
41.27/41.36 c 41.4s| 11800 | 59 |223744 | 18.9 |8538k| 43 | - | 231 |6922 | 0 | 0 | 18 |8553 |2531 | 0.000000e+00 | -- | Inf
41.58/41.60 c 41.6s| 11900 | 58 |225550 | 18.9 |8556k| 43 | 45 | 231 |6980 | 231 |2452 | 18 |8620 |2531 | 0.000000e+00 | -- | Inf
41.78/41.81 c 41.8s| 12000 | 59 |227147 | 18.9 |8583k| 43 | 21 | 231 |7038 | 231 |2452 | 18 |8683 |2531 | 0.000000e+00 | -- | Inf
41.97/42.06 c 42.1s| 12100 | 49 |229072 | 18.9 |8577k| 43 | 34 | 231 |7106 | 231 |2452 | 18 |8754 |2531 | 0.000000e+00 | -- | Inf
42.27/42.31 c 42.3s| 12200 | 49 |231097 | 18.9 |8594k| 43 | 36 | 231 |7139 | 231 |2452 | 18 |8807 |2531 | 0.000000e+00 | -- | Inf
42.47/42.57 c 42.6s| 12300 | 47 |233097 | 18.9 |8601k| 43 | 48 | 231 |7153 | 231 |2452 | 18 |8863 |2531 | 0.000000e+00 | -- | Inf
42.67/42.79 c 42.8s| 12400 | 48 |234873 | 18.9 |8609k| 43 | - | 231 |7147 | 231 |2452 | 18 |8950 |2531 | 0.000000e+00 | -- | Inf
42.97/43.01 c 43.0s| 12500 | 47 |236591 | 18.9 |8589k| 43 | 34 | 231 |7135 | 231 |2452 | 18 |9011 |2531 | 0.000000e+00 | -- | Inf
43.17/43.27 c 43.3s| 12600 | 45 |238741 | 18.9 |8604k| 43 | - | 231 |7175 | 231 |2452 | 18 |9105 |2531 | 0.000000e+00 | -- | Inf
43.48/43.50 c 43.5s| 12700 | 45 |240462 | 18.9 |8597k| 43 | 35 | 231 |7161 | 231 |2452 | 18 |9187 |2532 | 0.000000e+00 | -- | Inf
43.67/43.75 c 43.8s| 12800 | 43 |242377 | 18.9 |8591k| 43 | - | 231 |7132 | 231 |2452 | 18 |9266 |2533 | 0.000000e+00 | -- | Inf
43.88/43.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.88/43.99 c 44.0s| 12900 | 44 |244235 | 18.9 |8582k| 43 | 39 | 231 |7090 | 231 |2452 | 18 |9354 |2533 | 0.000000e+00 | -- | Inf
44.18/44.21 c 44.2s| 13000 | 45 |245972 | 18.9 |8592k| 43 | - | 231 |7073 | 231 |2452 | 18 |9426 |2533 | 0.000000e+00 | -- | Inf
44.37/44.46 c 44.5s| 13100 | 44 |248034 | 18.9 |8586k| 43 | - | 231 |7071 | 231 |2452 | 18 |9509 |2533 | 0.000000e+00 | -- | Inf
44.67/44.71 c 44.7s| 13200 | 45 |249899 | 18.9 |8581k| 43 | 33 | 231 |7056 | 231 |2452 | 18 |9575 |2533 | 0.000000e+00 | -- | Inf
44.88/44.94 c 44.9s| 13300 | 45 |251689 | 18.9 |8575k| 43 | 35 | 231 |7046 | 231 |2452 | 18 |9652 |2533 | 0.000000e+00 | -- | Inf
45.08/45.16 c 45.2s| 13400 | 44 |253434 | 18.9 |8592k| 43 | - | 231 |7091 | 231 |2452 | 18 |9736 |2533 | 0.000000e+00 | -- | Inf
45.37/45.40 c 45.4s| 13500 | 44 |255234 | 18.9 |8589k| 43 | 36 | 231 |7088 | 231 |2452 | 18 |9796 |2533 | 0.000000e+00 | -- | Inf
45.57/45.65 c 45.6s| 13600 | 42 |257213 | 18.9 |8592k| 43 | - | 231 |7101 | 231 |2452 | 18 |9850 |2533 | 0.000000e+00 | -- | Inf
45.77/45.87 c 45.9s| 13700 | 48 |259026 | 18.9 |8604k| 43 | - | 231 |7098 | 231 |2452 | 18 |9920 |2533 | 0.000000e+00 | -- | Inf
45.97/46.09 c 46.1s| 13800 | 45 |260685 | 18.9 |8613k| 43 | 32 | 231 |7141 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
46.27/46.34 c 46.3s| 13900 | 46 |262716 | 18.9 |8615k| 43 | 31 | 231 |7142 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
46.47/46.58 c 46.6s| 14000 | 46 |264724 | 18.9 |8631k| 43 | 37 | 231 |7181 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
46.78/46.82 c 46.8s| 14100 | 48 |266538 | 18.9 |8653k| 43 | 32 | 231 |7242 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
46.97/47.04 c 47.0s| 14200 | 49 |268306 | 18.9 |8687k| 43 | - | 231 |7311 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
47.17/47.27 c 47.3s| 14300 | 49 |270071 | 18.9 |8706k| 43 | 36 | 231 |7377 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
47.47/47.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.47/47.51 c 47.5s| 14400 | 49 |271994 | 18.9 |8732k| 43 | - | 231 |7424 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
47.67/47.74 c 47.7s| 14500 | 49 |273827 | 18.9 |8741k| 43 | 22 | 231 |7473 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
47.87/47.99 c 48.0s| 14600 | 49 |275726 | 18.9 |8775k| 43 | 38 | 231 |7552 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
48.18/48.23 c 48.2s| 14700 | 46 |277683 | 18.9 |8791k| 43 | 38 | 231 |7620 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
48.38/48.48 c 48.5s| 14800 | 47 |279683 | 18.9 |8781k| 43 | 31 | 231 |7559 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
48.67/48.71 c 48.7s| 14900 | 47 |281459 | 18.9 |8796k| 43 | 36 | 231 |7583 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
48.87/48.94 c 48.9s| 15000 | 45 |283204 | 18.9 |8806k| 43 | 38 | 231 |7632 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
49.07/49.17 c 49.2s| 15100 | 47 |285087 | 18.9 |8826k| 43 | 36 | 231 |7678 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
49.28/49.39 c 49.4s| 15200 | 46 |286849 | 18.9 |8838k| 43 | 30 | 231 |7716 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
49.57/49.64 c 49.6s| 15300 | 45 |288887 | 18.9 |8864k| 43 | - | 231 |7796 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
49.77/49.85 c 49.8s| 15400 | 45 |290502 | 18.9 |8886k| 43 | 35 | 231 |7862 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
49.97/50.09 c 50.1s| 15500 | 44 |292382 | 18.9 |8902k| 43 | - | 231 |7894 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.27/50.32 c 50.3s| 15600 | 44 |294155 | 18.8 |8898k| 43 | 24 | 231 |7866 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.48/50.56 c 50.6s| 15700 | 41 |296050 | 18.8 |8910k| 43 | - | 231 |7890 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.77/50.81 c 50.8s| 15800 | 41 |297975 | 18.8 |8918k| 43 | - | 231 |7915 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.98/51.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.98/51.04 c 51.0s| 15900 | 39 |299798 | 18.8 |8925k| 43 | - | 231 |7946 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
51.18/51.27 c 51.3s| 16000 | 39 |301561 | 18.8 |8939k| 43 | - | 231 |7986 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
51.47/51.51 c 51.5s| 16100 | 37 |303362 | 18.8 |8935k| 43 | - | 231 |7997 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
51.68/51.78 c 51.8s| 16200 | 37 |305612 | 18.9 |8941k| 43 | - | 231 |7995 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
51.97/52.05 c 52.0s| 16300 | 38 |307947 | 18.9 |8954k| 43 | 34 | 231 |8035 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
52.17/52.29 c 52.3s| 16400 | 38 |309841 | 18.9 |8973k| 43 | 36 | 231 |8089 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
52.48/52.56 c 52.6s| 16500 | 42 |311979 | 18.9 |8961k| 43 | 22 | 231 |7996 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
52.68/52.79 c 52.8s| 16600 | 42 |313823 | 18.9 |8969k| 43 | - | 231 |8009 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
52.97/53.03 c 53.0s| 16700 | 42 |315696 | 18.9 |8976k| 43 | - | 231 |8030 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
53.17/53.29 c 53.3s| 16800 | 44 |317728 | 18.9 |8990k| 43 | 29 | 231 |8056 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
53.47/53.51 c 53.5s| 16900 | 42 |319479 | 18.9 |9007k| 43 | - | 231 |8104 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
53.67/53.79 c 53.8s| 17000 | 44 |321730 | 18.9 |9022k| 43 | - | 231 |8132 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
53.97/54.02 c 54.0s| 17100 | 47 |323621 | 18.9 |9045k| 43 | 32 | 231 |8186 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
54.17/54.25 c 54.2s| 17200 | 49 |325465 | 18.9 |9072k| 43 | 29 | 231 |8242 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
54.37/54.48 c 54.5s| 17300 | 51 |327303 | 18.9 |9097k| 43 | 39 | 231 |8294 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
54.67/54.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.67/54.72 c 54.7s| 17400 | 53 |329162 | 18.9 |9123k| 43 | - | 231 |8345 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
54.88/54.96 c 55.0s| 17500 | 54 |331090 | 18.9 |9141k| 43 | - | 231 |8390 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
55.17/55.20 c 55.2s| 17600 | 56 |332961 | 18.9 |9167k| 43 | 22 | 231 |8447 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
55.37/55.44 c 55.4s| 17700 | 55 |334901 | 18.9 |9193k| 43 | - | 231 |8503 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
55.67/55.71 c 55.7s| 17800 | 54 |337071 | 18.9 |9212k| 43 | - | 231 |8560 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
55.87/55.93 c 55.9s| 17900 | 50 |338831 | 18.9 |9216k| 43 | 39 | 231 |8611 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
56.07/56.17 c 56.2s| 18000 | 51 |340672 | 18.9 |9239k| 43 | 31 | 231 |8670 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
56.37/56.44 c 56.4s| 18100 | 48 |342848 | 18.9 |9258k| 43 | - | 231 |8724 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
56.57/56.69 c 56.7s| 18200 | 52 |344915 | 18.9 |9289k| 43 | 36 | 231 |8781 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
56.87/56.94 c 56.9s| 18300 | 53 |346899 | 18.9 |9314k| 43 | 42 | 231 |8834 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
57.08/57.20 c 57.2s| 18400 | 53 |348978 | 19.0 |9336k| 43 | 31 | 231 |8880 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
57.38/57.42 c 57.4s| 18500 | 50 |350716 | 18.9 |9346k| 43 | 39 | 231 |8934 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
57.57/57.67 c 57.7s| 18600 | 52 |352665 | 19.0 |9355k| 43 | 35 | 231 |8915 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
57.88/57.95 c 57.9s| 18700 | 52 |354783 | 19.0 |9351k| 43 | 43 | 231 |8849 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
58.18/58.24 c 58.2s| 18800 | 50 |357099 | 19.0 |9321k| 43 | 42 | 231 |8740 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
58.37/58.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.37/58.48 c 58.5s| 18900 | 48 |358968 | 19.0 |9297k| 43 | 31 | 231 |8677 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
58.67/58.71 c 58.7s| 19000 | 48 |360699 | 19.0 |9290k| 43 | 28 | 231 |8658 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
58.87/58.97 c 59.0s| 19100 | 46 |362670 | 19.0 |9279k| 43 | 36 | 231 |8606 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
59.17/59.22 c 59.2s| 19200 | 43 |364623 | 19.0 |9250k| 43 | 28 | 231 |8564 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
59.38/59.46 c 59.5s| 19300 | 42 |366548 | 19.0 |9225k| 43 | - | 231 |8478 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
59.68/59.73 c 59.7s| 19400 | 44 |368780 | 19.0 |9213k| 43 | - | 231 |8411 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
59.97/60.01 c 60.0s| 19500 | 41 |371061 | 19.0 |9158k| 43 | - | 231 |8269 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
60.17/60.26 c 60.3s| 19600 | 40 |373218 | 19.0 |9139k| 43 | - | 231 |8231 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
60.48/60.52 c 60.5s| 19700 | 40 |375274 | 19.0 |9074k| 43 | 36 | 231 |8045 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
60.67/60.77 c 60.8s| 19800 | 40 |377357 | 19.1 |9072k| 43 | 43 | 231 |8035 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
61.07/61.11 c 61.1s| 19900 | 39 |380213 | 19.1 |9053k| 43 | 36 | 231 |7981 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
61.27/61.39 c 61.4s| 20000 | 40 |382587 | 19.1 |9041k| 43 | 25 | 231 |7921 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
61.57/61.66 c 61.7s| 20100 | 37 |384752 | 19.1 |9049k| 43 | - | 231 |7940 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
61.87/61.91 c 61.9s| 20200 | 39 |386812 | 19.1 |9052k| 43 | 24 | 231 |7950 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
62.07/62.16 c 62.2s| 20300 | 39 |388876 | 19.1 |9032k| 43 | 36 | 231 |7907 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
62.37/62.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.37/62.43 c 62.4s| 20400 | 39 |391180 | 19.2 |9054k| 43 | 32 | 231 |7970 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
62.67/62.70 c 62.7s| 20500 | 39 |393547 | 19.2 |9079k| 43 | - | 231 |8032 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
62.87/62.97 c 63.0s| 20600 | 41 |395792 | 19.2 |9107k| 43 | - | 231 |8099 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
63.17/63.25 c 63.3s| 20700 | 44 |398204 | 19.2 |9142k| 43 | 21 | 231 |8171 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
63.47/63.53 c 63.5s| 20800 | 37 |400593 | 19.3 |9151k| 43 | 41 | 231 |8264 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
63.67/63.80 c 63.8s| 20900 | 31 |402664 | 19.3 |9112k| 43 | 31 | 231 |8240 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
63.97/64.06 c 64.1s| 21000 | 31 |404823 | 19.3 |9097k| 43 | - | 231 |8154 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
64.27/64.33 c 64.3s| 21100 | 33 |407109 | 19.3 |9100k| 43 | 25 | 231 |8154 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
64.47/64.59 c 64.6s| 21200 | 35 |409189 | 19.3 |9104k| 43 | 44 | 231 |8144 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
64.78/64.87 c 64.9s| 21300 | 39 |411423 | 19.3 |9131k| 43 | 30 | 231 |8173 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
65.07/65.13 c 65.1s| 21400 | 37 |413506 | 19.3 |9145k| 43 | - | 231 |8227 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
65.37/65.40 c 65.4s| 21500 | 36 |415786 | 19.3 |9166k| 43 | - | 231 |8291 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
65.57/65.67 c 65.7s| 21600 | 36 |417911 | 19.3 |9195k| 43 | - | 231 |8359 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
65.88/65.94 c 65.9s| 21700 | 41 |420229 | 19.4 |9219k| 43 | 30 | 231 |8409 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
66.07/66.16 c 66.2s| 21800 | 41 |422022 | 19.4 |9243k| 43 | - | 231 |8465 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
66.37/66.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.37/66.42 c 66.4s| 21900 | 37 |424132 | 19.4 |9248k| 43 | - | 231 |8512 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
66.57/66.67 c 66.7s| 22000 | 45 |426130 | 19.4 |9284k| 43 | 29 | 231 |8557 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
66.77/66.88 c 66.9s| 22100 | 45 |427790 | 19.4 |9308k| 43 | - | 231 |8613 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
67.08/67.11 c 67.1s| 22200 | 40 |429573 | 19.3 |9318k| 43 | - | 231 |8668 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
67.27/67.36 c 67.4s| 22300 | 43 |431590 | 19.3 |9332k| 43 | 37 | 231 |8707 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
67.57/67.61 c 67.6s| 22400 | 44 |433580 | 19.3 |9358k| 43 | - | 231 |8752 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
67.76/67.87 c 67.9s| 22500 | 45 |435715 | 19.4 |9384k| 43 | - | 231 |8820 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
68.07/68.14 c 68.1s| 22600 | 46 |437959 | 19.4 |9411k| 43 | 37 | 231 |8899 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
68.37/68.41 c 68.4s| 22700 | 45 |440128 | 19.4 |9434k| 43 | 38 | 231 |8961 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
68.57/68.66 c 68.7s| 22800 | 41 |442131 | 19.4 |9450k| 43 | 18 | 231 |9035 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
68.87/68.92 c 68.9s| 22900 | 39 |444220 | 19.4 |9463k| 43 | 38 | 231 |9087 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
69.17/69.22 c 69.2s| 23000 | 37 |446334 | 19.4 |9479k| 43 | 41 | 231 |9142 | 231 |2452 | 18 | 16k|2542 | 0.000000e+00 | -- | Inf
69.47/69.51 c 69.5s| 23100 | 39 |448221 | 19.4 |9506k| 43 | - | 231 |9190 | 231 |2452 | 18 | 17k|2552 | 0.000000e+00 | -- | Inf
69.77/69.82 c 69.8s| 23200 | 41 |450194 | 19.4 |9525k| 43 | 38 | 231 |9240 | 231 |2452 | 18 | 17k|2569 | 0.000000e+00 | -- | Inf
69.97/70.08 c 70.1s| 23300 | 43 |452090 | 19.4 |9548k| 43 | 28 | 231 |9287 | 231 |2452 | 18 | 17k|2575 | 0.000000e+00 | -- | Inf
70.37/70.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.37/70.41 c 70.4s| 23400 | 43 |453960 | 19.4 |9570k| 43 | - | 231 |9335 | 231 |2452 | 18 | 17k|2596 | 0.000000e+00 | -- | Inf
70.67/70.70 c 70.7s| 23500 | 40 |455999 | 19.4 |9583k| 43 | - | 231 |9388 | 231 |2452 | 18 | 17k|2607 | 0.000000e+00 | -- | Inf
70.87/70.99 c 71.0s| 23600 | 37 |457942 | 19.4 |9592k| 43 | 39 | 231 |9446 | 231 |2452 | 18 | 17k|2619 | 0.000000e+00 | -- | Inf
71.16/71.28 c 71.3s| 23700 | 38 |459838 | 19.4 |9626k| 43 | 28 | 231 |9494 | 231 |2452 | 18 | 17k|2631 | 0.000000e+00 | -- | Inf
71.48/71.59 c 71.6s| 23800 | 35 |461795 | 19.4 |9634k| 43 | 37 | 231 |9544 | 231 |2452 | 18 | 17k|2646 | 0.000000e+00 | -- | Inf
71.77/71.88 c 71.9s| 23900 | 41 |463699 | 19.4 |9662k| 43 | 30 | 231 |9589 | 231 |2452 | 18 | 17k|2660 | 0.000000e+00 | -- | Inf
72.06/72.18 c 72.2s| 24000 | 41 |465683 | 19.4 |9682k| 43 | - | 231 |9619 | 231 |2452 | 18 | 17k|2675 | 0.000000e+00 | -- | Inf
72.37/72.48 c 72.5s| 24100 | 42 |467607 | 19.4 |9693k| 43 | 37 | 231 |9650 | 231 |2452 | 18 | 17k|2689 | 0.000000e+00 | -- | Inf
72.67/72.76 c 72.8s| 24200 | 36 |469383 | 19.4 |9702k| 43 | 31 | 231 |9702 | 231 |2452 | 18 | 17k|2705 | 0.000000e+00 | -- | Inf
72.97/73.07 c 73.1s| 24300 | 28 |471490 | 19.4 |9707k| 43 | - | 231 |9752 | 231 |2452 | 18 | 17k|2716 | 0.000000e+00 | -- | Inf
73.26/73.35 c 73.3s| 24400 | 32 |473307 | 19.4 |9729k| 43 | 38 | 231 |9761 | 231 |2452 | 18 | 17k|2726 | 0.000000e+00 | -- | Inf
73.47/73.60 c 73.6s| 24500 | 30 |475192 | 19.4 |9744k| 43 | - | 231 |9788 | 231 |2452 | 18 | 17k|2730 | 0.000000e+00 | -- | Inf
73.77/73.83 c 73.8s| 24600 | 30 |477039 | 19.4 |9762k| 43 | - | 231 |9829 | 231 |2452 | 18 | 17k|2732 | 0.000000e+00 | -- | Inf
73.96/74.06 c 74.1s| 24700 | 31 |478684 | 19.4 |9773k| 43 | - | 231 |9847 | 0 | 0 | 18 | 17k|2734 | 0.000000e+00 | -- | Inf
74.27/74.31 c 74.3s| 24800 | 33 |480513 | 19.4 |9790k| 43 | - | 231 |9892 | 231 |2452 | 18 | 18k|2736 | 0.000000e+00 | -- | Inf
74.47/74.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.47/74.56 c 74.6s| 24900 | 35 |482334 | 19.4 |9812k| 43 | - | 231 |9936 | 231 |2452 | 18 | 18k|2741 | 0.000000e+00 | -- | Inf
74.77/74.82 c 74.8s| 25000 | 35 |484479 | 19.4 |9829k| 43 | - | 231 |9993 | 231 |2452 | 18 | 18k|2742 | 0.000000e+00 | -- | Inf
74.97/75.09 c 75.1s| 25100 | 35 |486631 | 19.4 |9847k| 43 | 41 | 231 | 10k| 231 |2452 | 18 | 18k|2744 | 0.000000e+00 | -- | Inf
75.27/75.36 c 75.4s| 25200 | 45 |488752 | 19.4 |9902k| 43 | - | 231 | 10k| 231 |2452 | 18 | 18k|2746 | 0.000000e+00 | -- | Inf
75.57/75.62 c 75.6s| 25300 | 43 |490891 | 19.4 |9923k| 43 | 34 | 231 | 10k| 231 |2452 | 18 | 18k|2747 | 0.000000e+00 | -- | Inf
75.77/75.87 c 75.9s| 25400 | 38 |492878 | 19.4 |9942k| 43 | 30 | 231 | 10k| 231 |2452 | 18 | 18k|2747 | 0.000000e+00 | -- | Inf
76.07/76.12 c 76.1s| 25500 | 36 |494532 | 19.4 |9941k| 43 | - | 231 | 10k| 231 |2452 | 18 | 18k|2752 | 0.000000e+00 | -- | Inf
76.27/76.35 c 76.4s| 25600 | 37 |496238 | 19.4 |9923k| 43 | 28 | 231 | 10k| 231 |2452 | 18 | 18k|2754 | 0.000000e+00 | -- | Inf
76.46/76.58 c 76.6s| 25700 | 36 |498061 | 19.4 |9938k| 43 | 33 | 231 | 10k| 231 |2452 | 18 | 18k|2754 | 0.000000e+00 | -- | Inf
76.77/76.81 c 76.8s| 25800 | 33 |499727 | 19.4 |9924k| 43 | 41 | 231 | 10k| 231 |2452 | 18 | 18k|2754 | 0.000000e+00 | -- | Inf
76.98/77.04 c 77.0s| 25900 | 36 |501489 | 19.4 |9921k| 43 | 26 | 231 | 10k| 231 |2452 | 18 | 18k|2754 | 0.000000e+00 | -- | Inf
77.16/77.24 c 77.2s| 26000 | 38 |502914 | 19.3 |9932k| 43 | 30 | 231 | 10k| 231 |2452 | 18 | 18k|2754 | 0.000000e+00 | -- | Inf
77.37/77.44 c 77.4s| 26100 | 39 |504438 | 19.3 |9958k| 43 | 33 | 231 | 10k| 231 |2452 | 18 | 18k|2754 | 0.000000e+00 | -- | Inf
77.57/77.65 c 77.7s| 26200 | 39 |506022 | 19.3 |9974k| 43 | - | 231 | 10k| 231 |2452 | 18 | 19k|2754 | 0.000000e+00 | -- | Inf
77.77/77.87 c 77.9s| 26300 | 39 |507697 | 19.3 |9985k| 43 | 31 | 231 | 10k| 231 |2452 | 18 | 19k|2754 | 0.000000e+00 | -- | Inf
78.07/78.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.07/78.16 c 78.2s| 26400 | 39 |509640 | 19.3 | 10M| 43 | 34 | 231 | 10k| 231 |2452 | 18 | 19k|2764 | 0.000000e+00 | -- | Inf
78.27/78.38 c 78.4s| 26500 | 37 |511187 | 19.3 | 10M| 43 | - | 231 | 10k| 0 | 0 | 18 | 19k|2769 | 0.000000e+00 | -- | Inf
78.57/78.66 c 78.7s| 26600 | 37 |513012 | 19.3 | 10M| 43 | 28 | 231 | 10k| 231 |2452 | 18 | 19k|2781 | 0.000000e+00 | -- | Inf
78.87/78.97 c 79.0s| 26700 | 39 |514911 | 19.3 | 10M| 43 | 22 | 231 | 10k| 231 |2452 | 18 | 19k|2795 | 0.000000e+00 | -- | Inf
79.17/79.22 c 79.2s| 26800 | 36 |516649 | 19.3 | 10M| 43 | - | 231 | 10k| 231 |2452 | 18 | 19k|2800 | 0.000000e+00 | -- | Inf
79.47/79.51 c 79.5s| 26900 | 36 |518461 | 19.3 | 10M| 43 | - | 231 | 10k| 0 | 0 | 18 | 19k|2810 | 0.000000e+00 | -- | Inf
79.77/79.82 c 79.8s| 27000 | 40 |520394 | 19.3 | 10M| 43 | - | 231 | 10k| 231 |2452 | 18 | 19k|2826 | 0.000000e+00 | -- | Inf
80.06/80.11 c 80.1s| 27100 | 38 |522172 | 19.3 | 10M| 43 | - | 231 | 10k| 231 |2452 | 18 | 19k|2841 | 0.000000e+00 | -- | Inf
80.37/80.40 c 80.4s| 27200 | 40 |524010 | 19.3 | 10M| 43 | 38 | 231 | 10k| 231 |2452 | 18 | 19k|2854 | 0.000000e+00 | -- | Inf
80.56/80.67 c 80.7s| 27300 | 40 |525920 | 19.3 | 10M| 43 | - | 231 | 10k| 231 |2452 | 18 | 19k|2863 | 0.000000e+00 | -- | Inf
80.87/80.98 c 81.0s| 27400 | 42 |527775 | 19.3 | 10M| 43 | - | 231 | 10k| 231 |2452 | 18 | 19k|2880 | 0.000000e+00 | -- | Inf
81.16/81.27 c 81.3s| 27500 | 47 |529722 | 19.3 | 10M| 43 | - | 231 | 10k| 0 | 0 | 18 | 19k|2894 | 0.000000e+00 | -- | Inf
81.47/81.55 c 81.6s| 27600 | 47 |531420 | 19.2 | 10M| 43 | - | 231 | 10k| 231 |2452 | 18 | 19k|2908 | 0.000000e+00 | -- | Inf
81.76/81.82 c 81.8s| 27700 | 45 |533228 | 19.2 | 10M| 43 | 28 | 231 | 10k| 231 |2452 | 18 | 19k|2917 | 0.000000e+00 | -- | Inf
82.07/82.15 c 82.1s| 27800 | 43 |535295 | 19.3 | 10M| 43 | - | 231 | 10k| 231 |2452 | 18 | 20k|2931 | 0.000000e+00 | -- | Inf
82.37/82.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.37/82.49 c 82.5s| 27900 | 41 |537510 | 19.3 | 10M| 43 | 33 | 231 | 10k| 231 |2452 | 18 | 20k|2950 | 0.000000e+00 | -- | Inf
82.77/82.80 c 82.8s| 28000 | 39 |539554 | 19.3 |9986k| 43 | 26 | 231 | 10k| 231 |2452 | 18 | 20k|2960 | 0.000000e+00 | -- | Inf
82.97/83.08 c 83.1s| 28100 | 39 |541409 | 19.3 |9992k| 43 | - | 231 | 10k| 231 |2452 | 18 | 20k|2971 | 0.000000e+00 | -- | Inf
83.26/83.36 c 83.4s| 28200 | 37 |543501 | 19.3 |9979k| 43 | - | 231 | 10k| 231 |2452 | 18 | 20k|2976 | 0.000000e+00 | -- | Inf
83.57/83.61 c 83.6s| 28300 | 33 |545310 | 19.3 |9933k| 43 | - | 231 | 10k| 231 |2452 | 18 | 20k|2978 | 0.000000e+00 | -- | Inf
83.77/83.81 c 83.8s| 28400 | 34 |546743 | 19.2 |9928k| 43 | 23 | 231 | 10k| 231 |2452 | 18 | 20k|2978 | 0.000000e+00 | -- | Inf
83.96/84.07 c 84.1s| 28500 | 31 |548741 | 19.2 |9866k| 43 | - | 231 | 10k| 231 |2452 | 18 | 20k|2978 | 0.000000e+00 | -- | Inf
84.17/84.28 c 84.3s| 28600 | 31 |550315 | 19.2 |9849k| 43 | - | 231 | 10k| 231 |2452 | 18 | 20k|2978 | 0.000000e+00 | -- | Inf
84.47/84.53 c 84.5s| 28700 | 33 |552266 | 19.2 |9824k| 43 | 36 | 231 | 10k| 231 |2452 | 18 | 20k|2978 | 0.000000e+00 | -- | Inf
84.68/84.77 c 84.8s| 28800 | 29 |554100 | 19.2 |9805k| 43 | - | 231 | 10k| 231 |2452 | 18 | 20k|2978 | 0.000000e+00 | -- | Inf
84.97/85.07 c 85.1s| 28900 | 33 |556484 | 19.3 |9720k| 43 | - | 231 |9746 | 231 |2452 | 18 | 20k|2979 | 0.000000e+00 | -- | Inf
85.17/85.29 c 85.3s| 29000 | 35 |558205 | 19.2 |9704k| 43 | 31 | 231 |9685 | 231 |2452 | 18 | 20k|2979 | 0.000000e+00 | -- | Inf
85.47/85.52 c 85.5s| 29100 | 34 |559945 | 19.2 |9674k| 43 | 29 | 231 |9611 | 231 |2452 | 18 | 20k|2979 | 0.000000e+00 | -- | Inf
85.67/85.75 c 85.7s| 29200 | 32 |561764 | 19.2 |9672k| 43 | - | 231 |9611 | 231 |2452 | 18 | 20k|2979 | 0.000000e+00 | -- | Inf
85.86/85.98 c 86.0s| 29300 | 36 |563628 | 19.2 |9679k| 43 | 33 | 231 |9599 | 231 |2452 | 18 | 21k|2979 | 0.000000e+00 | -- | Inf
86.17/86.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.17/86.21 c 86.2s| 29400 | 34 |565479 | 19.2 |9691k| 43 | - | 231 |9632 | 231 |2452 | 18 | 21k|2979 | 0.000000e+00 | -- | Inf
86.37/86.44 c 86.4s| 29500 | 32 |567372 | 19.2 |9683k| 43 | - | 231 |9626 | 231 |2452 | 18 | 21k|2979 | 0.000000e+00 | -- | Inf
86.56/86.67 c 86.7s| 29600 | 34 |569227 | 19.2 |9703k| 43 | 43 | 231 |9676 | 231 |2452 | 18 | 21k|2979 | 0.000000e+00 | -- | Inf
86.77/86.90 c 86.9s| 29700 | 32 |571017 | 19.2 |9714k| 43 | - | 231 |9708 | 231 |2452 | 18 | 21k|2979 | 0.000000e+00 | -- | Inf
87.07/87.12 c 87.1s| 29800 | 34 |572749 | 19.2 |9729k| 43 | 34 | 231 |9752 | 231 |2452 | 18 | 21k|2979 | 0.000000e+00 | -- | Inf
87.26/87.37 c 87.4s| 29900 | 33 |574852 | 19.2 |9754k| 43 | - | 231 |9821 | 231 |2452 | 18 | 21k|2979 | 0.000000e+00 | -- | Inf
87.56/87.60 c 87.6s| 30000 | 37 |576621 | 19.2 |9776k| 43 | 21 | 231 |9869 | 231 |2452 | 18 | 21k|2979 | 0.000000e+00 | -- | Inf
87.87/87.94 c 87.9s| 30100 | 35 |578854 | 19.2 |9798k| 43 | 35 | 231 |9952 | 231 |2452 | 18 | 21k|2998 | 0.000000e+00 | -- | Inf
88.17/88.26 c 88.3s| 30200 | 33 |581039 | 19.2 |9822k| 43 | - | 231 | 10k| 231 |2452 | 18 | 21k|3009 | 0.000000e+00 | -- | Inf
88.46/88.59 c 88.6s| 30300 | 29 |583508 | 19.3 |9834k| 43 | - | 231 | 10k| 231 |2452 | 18 | 21k|3019 | 0.000000e+00 | -- | Inf
88.77/88.89 c 88.9s| 30400 | 27 |585567 | 19.3 |9805k| 43 | - | 231 |9986 | 231 |2452 | 18 | 21k|3028 | 0.000000e+00 | -- | Inf
89.16/89.22 c 89.2s| 30500 | 27 |587648 | 19.3 |9756k| 43 | - | 231 |9827 | 231 |2452 | 18 | 21k|3042 | 0.000000e+00 | -- | Inf
89.47/89.51 c 89.5s| 30600 | 26 |589505 | 19.3 |9661k| 49 | - | 231 |9541 | 231 |2452 | 18 | 22k|3054 | 0.000000e+00 | -- | Inf
89.77/89.83 c 89.8s| 30700 | 28 |591605 | 19.3 |9639k| 49 | 32 | 231 |9454 | 231 |2452 | 18 | 22k|3070 | 0.000000e+00 | -- | Inf
90.07/90.13 c 90.1s| 30800 | 30 |593787 | 19.3 |9644k| 49 | - | 231 |9436 | 231 |2452 | 18 | 22k|3081 | 0.000000e+00 | -- | Inf
90.37/90.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.37/90.46 c 90.5s| 30900 | 32 |596127 | 19.3 |9653k| 49 | - | 231 |9441 | 231 |2452 | 18 | 22k|3097 | 0.000000e+00 | -- | Inf
90.77/90.82 c 90.8s| 31000 | 32 |598625 | 19.3 |9668k| 49 | - | 231 |9469 | 231 |2452 | 18 | 22k|3112 | 0.000000e+00 | -- | Inf
91.06/91.16 c 91.2s| 31100 | 30 |601046 | 19.3 |9676k| 49 | - | 231 |9506 | 231 |2452 | 18 | 22k|3129 | 0.000000e+00 | -- | Inf
91.36/91.47 c 91.5s| 31200 | 34 |603184 | 19.3 |9703k| 49 | 38 | 231 |9562 | 231 |2452 | 18 | 22k|3141 | 0.000000e+00 | -- | Inf
91.67/91.77 c 91.8s| 31300 | 34 |605202 | 19.3 |9715k| 49 | 33 | 231 |9586 | 231 |2452 | 18 | 22k|3154 | 0.000000e+00 | -- | Inf
91.96/92.08 c 92.1s| 31400 | 36 |607342 | 19.3 |9735k| 49 | - | 231 |9601 | 231 |2452 | 18 | 22k|3164 | 0.000000e+00 | -- | Inf
92.28/92.35 c 92.3s| 31500 | 38 |609387 | 19.3 |9755k| 49 | - | 231 |9648 | 231 |2452 | 18 | 22k|3169 | 0.000000e+00 | -- | Inf
92.57/92.63 c 92.6s| 31600 | 35 |611578 | 19.3 |9774k| 49 | - | 231 |9705 | 231 |2452 | 18 | 22k|3171 | 0.000000e+00 | -- | Inf
92.76/92.86 c 92.9s| 31700 | 37 |613345 | 19.3 |9799k| 49 | - | 231 |9751 | 231 |2452 | 18 | 22k|3172 | 0.000000e+00 | -- | Inf
93.07/93.10 c 93.1s| 31800 | 41 |615300 | 19.3 |9831k| 49 | - | 231 |9818 | 231 |2452 | 18 | 22k|3172 | 0.000000e+00 | -- | Inf
93.27/93.35 c 93.4s| 31900 | 41 |617311 | 19.3 |9859k| 49 | - | 231 |9883 | 231 |2452 | 18 | 22k|3172 | 0.000000e+00 | -- | Inf
93.56/93.61 c 93.6s| 32000 | 41 |619379 | 19.4 |9888k| 49 | - | 231 |9956 | 231 |2452 | 18 | 22k|3172 | 0.000000e+00 | -- | Inf
93.76/93.88 c 93.9s| 32100 | 41 |621614 | 19.4 |9909k| 49 | 37 | 231 | 10k| 231 |2452 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
94.07/94.15 c 94.2s| 32200 | 33 |623876 | 19.4 |9914k| 49 | 35 | 231 | 10k| 231 |2452 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
94.36/94.40 c 94.4s| 32300 | 33 |625820 | 19.4 |9948k| 49 | - | 231 | 10k| 231 |2452 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
94.57/94.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.57/94.68 c 94.7s| 32400 | 31 |628124 | 19.4 |9960k| 49 | 30 | 231 | 10k| 231 |2452 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
94.87/94.95 c 95.0s| 32500 | 35 |630400 | 19.4 |9991k| 49 | 39 | 231 | 10k| 231 |2452 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
95.07/95.19 c 95.2s| 32600 | 39 |632347 | 19.4 | 10M| 49 | - | 231 | 10k| 231 |2452 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
95.36/95.44 c 95.4s| 32700 | 47 |634391 | 19.4 | 10M| 49 | - | 231 | 10k| 0 | 0 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
95.57/95.67 c 95.7s| 32800 | 45 |636208 | 19.4 | 10M| 49 | - | 231 | 10k| 231 |2452 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
95.87/95.94 c 95.9s| 32900 | 47 |638399 | 19.4 | 10M| 49 | 29 | 231 | 10k| 231 |2452 | 18 | 23k|3172 | 0.000000e+00 | -- | Inf
96.17/96.20 c 96.2s| 33000 | 43 |640489 | 19.4 | 10M| 49 | 33 | 231 | 10k| 231 |2452 | 18 | 23k|3173 | 0.000000e+00 | -- | Inf
96.37/96.41 c 96.4s| 33100 | 45 |642236 | 19.4 | 10M| 49 | 30 | 231 | 10k| 231 |2452 | 18 | 23k|3173 | 0.000000e+00 | -- | Inf
96.56/96.66 c 96.7s| 33200 | 50 |644316 | 19.4 | 10M| 49 | 24 | 231 | 10k| 231 |2452 | 18 | 23k|3173 | 0.000000e+00 | -- | Inf
96.86/96.94 c 96.9s| 33300 | 46 |646251 | 19.4 | 10M| 49 | - | 231 | 10k| 231 |2452 | 18 | 23k|3182 | 0.000000e+00 | -- | Inf
97.16/97.24 c 97.2s| 33400 | 49 |648408 | 19.4 | 10M| 49 | - | 231 | 10k| 231 |2452 | 18 | 23k|3192 | 0.000000e+00 | -- | Inf
97.46/97.50 c 97.5s| 33500 | 48 |650277 | 19.4 | 10M| 49 | - | 231 | 10k| 231 |2452 | 18 | 24k|3197 | 0.000000e+00 | -- | Inf
97.77/97.84 c 97.8s| 33600 | 50 |652218 | 19.4 | 10M| 49 | - | 231 | 10k| 231 |2452 | 18 | 24k|3217 | 0.000000e+00 | -- | Inf
98.07/98.12 c 98.1s| 33700 | 45 |654264 | 19.4 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 24k|3225 | 0.000000e+00 | -- | Inf
98.37/98.41 c 98.4s| 33800 | 42 |656503 | 19.4 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 24k|3234 | 0.000000e+00 | -- | Inf
98.66/98.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.66/98.74 c 98.7s| 33900 | 46 |658686 | 19.4 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 24k|3243 | 0.000000e+00 | -- | Inf
98.87/98.99 c 99.0s| 34000 | 48 |660364 | 19.4 | 10M| 49 | 34 | 231 | 11k| 231 |2452 | 18 | 24k|3249 | 0.000000e+00 | -- | Inf
99.16/99.25 c 99.3s| 34100 | 48 |662052 | 19.4 | 10M| 49 | 33 | 231 | 11k| 231 |2452 | 18 | 24k|3261 | 0.000000e+00 | -- | Inf
99.46/99.55 c 99.6s| 34200 | 46 |664142 | 19.4 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 24k|3274 | 0.000000e+00 | -- | Inf
99.76/99.88 c 99.9s| 34300 | 50 |666382 | 19.4 | 10M| 49 | 43 | 231 | 11k| 231 |2452 | 18 | 24k|3287 | 0.000000e+00 | -- | Inf
100.07/100.19 c 100s| 34400 | 52 |668569 | 19.4 | 10M| 49 | 37 | 231 | 11k| 231 |2452 | 18 | 24k|3299 | 0.000000e+00 | -- | Inf
100.36/100.48 c 100s| 34500 | 60 |670562 | 19.4 | 10M| 49 | 28 | 231 | 11k| 231 |2452 | 18 | 24k|3309 | 0.000000e+00 | -- | Inf
100.67/100.79 c 101s| 34600 | 68 |672770 | 19.4 | 10M| 49 | 35 | 231 | 11k| 231 |2452 | 18 | 24k|3321 | 0.000000e+00 | -- | Inf
100.96/101.07 c 101s| 34700 | 67 |674780 | 19.4 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 24k|3331 | 0.000000e+00 | -- | Inf
101.26/101.39 c 101s| 34800 | 72 |676825 | 19.4 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 24k|3346 | 0.000000e+00 | -- | Inf
101.66/101.72 c 102s| 34900 | 74 |679097 | 19.5 | 10M| 49 | 39 | 231 | 11k| 231 |2452 | 18 | 24k|3359 | 0.000000e+00 | -- | Inf
101.87/101.98 c 102s| 35000 | 78 |681165 | 19.5 | 10M| 49 | 24 | 231 | 11k| 231 |2452 | 18 | 24k|3362 | 0.000000e+00 | -- | Inf
102.17/102.24 c 102s| 35100 | 74 |683261 | 19.5 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 25k|3363 | 0.000000e+00 | -- | Inf
102.46/102.54 c 103s| 35200 | 78 |685642 | 19.5 | 10M| 49 | 26 | 231 | 11k| 231 |2452 | 18 | 25k|3368 | 0.000000e+00 | -- | Inf
102.76/102.82 c 103s| 35300 | 76 |687786 | 19.5 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 25k|3372 | 0.000000e+00 | -- | Inf
102.97/103.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.97/103.09 c 103s| 35400 | 78 |690011 | 19.5 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 25k|3373 | 0.000000e+00 | -- | Inf
103.16/103.29 c 103s| 35500 | 77 |691541 | 19.5 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 25k|3373 | 0.000000e+00 | -- | Inf
103.46/103.59 c 104s| 35600 | 80 |693836 | 19.5 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 25k|3376 | 0.000000e+00 | -- | Inf
103.77/103.83 c 104s| 35700 | 75 |695762 | 19.5 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 25k|3376 | 0.000000e+00 | -- | Inf
104.06/104.10 c 104s| 35800 | 73 |697893 | 19.5 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 25k|3377 | 0.000000e+00 | -- | Inf
104.26/104.32 c 104s| 35900 | 69 |699563 | 19.5 | 10M| 49 | - | 231 | 11k| 231 |2452 | 18 | 25k|3377 | 0.000000e+00 | -- | Inf
104.47/104.59 c 105s| 36000 | 69 |701852 | 19.5 | 10M| 49 | - | 231 | 12k| 231 |2452 | 18 | 25k|3377 | 0.000000e+00 | -- | Inf
104.76/104.86 c 105s| 36100 | 72 |704003 | 19.5 | 10M| 49 | 39 | 231 | 12k| 231 |2452 | 18 | 25k|3378 | 0.000000e+00 | -- | Inf
105.06/105.12 c 105s| 36200 | 70 |706086 | 19.5 | 10M| 49 | 37 | 231 | 12k| 231 |2452 | 18 | 25k|3378 | 0.000000e+00 | -- | Inf
105.27/105.38 c 105s| 36300 | 74 |708210 | 19.5 | 10M| 53 | 27 | 231 | 12k| 231 |2452 | 18 | 25k|3378 | 0.000000e+00 | -- | Inf
105.57/105.62 c 106s| 36400 | 72 |710186 | 19.5 | 10M| 57 | 36 | 231 | 12k| 231 |2452 | 18 | 25k|3378 | 0.000000e+00 | -- | Inf
105.76/105.89 c 106s| 36500 | 70 |712324 | 19.5 | 10M| 57 | - | 231 | 12k| 231 |2452 | 18 | 25k|3378 | 0.000000e+00 | -- | Inf
106.06/106.16 c 106s| 36600 | 68 |714509 | 19.5 | 10M| 57 | - | 231 | 12k| 231 |2452 | 18 | 26k|3378 | 0.000000e+00 | -- | Inf
106.37/106.40 c 106s| 36700 | 73 |716461 | 19.5 | 10M| 57 | - | 231 | 12k| 231 |2452 | 18 | 26k|3378 | 0.000000e+00 | -- | Inf
106.57/106.68 c 107s| 36800 | 71 |718763 | 19.5 | 10M| 57 | - | 231 | 12k| 231 |2452 | 18 | 26k|3378 | 0.000000e+00 | -- | Inf
106.87/106.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.87/106.97 c 107s| 36900 | 71 |721159 | 19.5 | 10M| 57 | 39 | 231 | 12k| 231 |2452 | 18 | 26k|3378 | 0.000000e+00 | -- | Inf
107.16/107.26 c 107s| 37000 | 74 |723033 | 19.5 | 11M| 57 | 33 | 231 | 12k| 231 |2452 | 18 | 26k|3390 | 0.000000e+00 | -- | Inf
107.46/107.55 c 108s| 37100 | 71 |724994 | 19.5 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 26k|3401 | 0.000000e+00 | -- | Inf
107.77/107.84 c 108s| 37200 | 73 |726958 | 19.5 | 11M| 57 | 36 | 231 | 12k| 231 |2452 | 18 | 26k|3410 | 0.000000e+00 | -- | Inf
108.06/108.13 c 108s| 37300 | 70 |728931 | 19.5 | 11M| 57 | 35 | 231 | 12k| 231 |2452 | 18 | 26k|3421 | 0.000000e+00 | -- | Inf
108.37/108.40 c 108s| 37400 | 70 |730777 | 19.5 | 11M| 57 | 25 | 231 | 12k| 231 |2452 | 18 | 26k|3429 | 0.000000e+00 | -- | Inf
108.66/108.74 c 109s| 37500 | 63 |732782 | 19.5 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 26k|3447 | 0.000000e+00 | -- | Inf
108.96/109.03 c 109s| 37600 | 61 |734791 | 19.5 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 26k|3456 | 0.000000e+00 | -- | Inf
109.26/109.32 c 109s| 37700 | 61 |736939 | 19.5 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 26k|3462 | 0.000000e+00 | -- | Inf
109.56/109.60 c 110s| 37800 | 58 |738849 | 19.5 | 11M| 57 | - | 231 | 12k| 0 | 0 | 18 | 26k|3471 | 0.000000e+00 | -- | Inf
109.86/109.90 c 110s| 37900 | 58 |740864 | 19.5 | 11M| 57 | 36 | 231 | 12k| 231 |2452 | 18 | 27k|3480 | 0.000000e+00 | -- | Inf
110.16/110.22 c 110s| 38000 | 52 |742872 | 19.5 | 11M| 57 | 39 | 231 | 12k| 231 |2452 | 18 | 27k|3493 | 0.000000e+00 | -- | Inf
110.37/110.49 c 110s| 38100 | 47 |744742 | 19.5 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 27k|3500 | 0.000000e+00 | -- | Inf
110.76/110.82 c 111s| 38200 | 47 |746978 | 19.6 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 27k|3514 | 0.000000e+00 | -- | Inf
111.07/111.13 c 111s| 38300 | 46 |749169 | 19.6 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 27k|3523 | 0.000000e+00 | -- | Inf
111.36/111.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.36/111.47 c 111s| 38400 | 44 |751607 | 19.6 | 11M| 57 | 37 | 231 | 12k| 231 |2452 | 18 | 27k|3536 | 0.000000e+00 | -- | Inf
111.66/111.77 c 112s| 38500 | 40 |753534 | 19.6 | 11M| 57 | 44 | 231 | 12k| 231 |2452 | 18 | 27k|3548 | 0.000000e+00 | -- | Inf
111.97/112.03 c 112s| 38600 | 38 |755152 | 19.6 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 27k|3554 | 0.000000e+00 | -- | Inf
112.17/112.29 c 112s| 38700 | 38 |757014 | 19.6 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 27k|3559 | 0.000000e+00 | -- | Inf
112.46/112.57 c 113s| 38800 | 36 |759064 | 19.6 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 27k|3562 | 0.000000e+00 | -- | Inf
112.76/112.82 c 113s| 38900 | 38 |760877 | 19.6 | 11M| 57 | 20 | 231 | 12k| 231 |2452 | 18 | 27k|3566 | 0.000000e+00 | -- | Inf
112.96/113.09 c 113s| 39000 | 34 |762945 | 19.6 | 11M| 57 | - | 231 | 12k| 231 |2452 | 18 | 27k|3569 | 0.000000e+00 | -- | Inf
113.27/113.35 c 113s| 39100 | 32 |764873 | 19.6 | 11M| 57 | 32 | 231 | 12k| 231 |2452 | 18 | 27k|3570 | 0.000000e+00 | -- | Inf
113.47/113.59 c 114s| 39200 | 33 |766476 | 19.5 | 10M| 57 | - | 231 | 12k| 231 |2452 | 18 | 27k|3572 | 0.000000e+00 | -- | Inf
113.76/113.86 c 114s| 39300 | 33 |768402 | 19.5 | 10M| 57 | 36 | 231 | 11k| 231 |2452 | 18 | 28k|3575 | 0.000000e+00 | -- | Inf
113.96/114.09 c 114s| 39400 | 35 |770056 | 19.5 | 10M| 57 | 39 | 231 | 11k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
114.27/114.33 c 114s| 39500 | 34 |771868 | 19.5 | 10M| 57 | - | 231 | 11k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
114.46/114.57 c 115s| 39600 | 32 |773646 | 19.5 | 10M| 57 | 37 | 231 | 11k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
114.76/114.84 c 115s| 39700 | 30 |775786 | 19.5 | 10M| 57 | 47 | 231 | 11k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
114.96/115.09 c 115s| 39800 | 30 |777740 | 19.5 | 10M| 57 | - | 231 | 11k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
115.27/115.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.27/115.35 c 115s| 39900 | 32 |779746 | 19.5 | 10M| 57 | 37 | 231 | 11k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
115.56/115.62 c 116s| 40000 | 33 |781835 | 19.5 | 10M| 57 | 43 | 231 | 10k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
115.77/115.87 c 116s| 40100 | 35 |783810 | 19.5 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
116.06/116.15 c 116s| 40200 | 36 |786115 | 19.6 | 10M| 57 | 33 | 231 | 11k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
116.36/116.44 c 116s| 40300 | 30 |788533 | 19.6 | 10M| 57 | - | 231 | 11k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
116.66/116.73 c 117s| 40400 | 30 |790779 | 19.6 | 10M| 57 | 36 | 231 | 10k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
116.86/116.97 c 117s| 40500 | 28 |792620 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
117.16/117.20 c 117s| 40600 | 30 |794267 | 19.6 | 10M| 57 | 39 | 231 | 10k| 231 |2452 | 18 | 28k|3577 | 0.000000e+00 | -- | Inf
117.36/117.44 c 117s| 40700 | 30 |796100 | 19.6 | 10M| 57 | 37 | 231 | 10k| 231 |2452 | 18 | 29k|3577 | 0.000000e+00 | -- | Inf
117.56/117.69 c 118s| 40800 | 29 |798120 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 29k|3577 | 0.000000e+00 | -- | Inf
117.86/117.95 c 118s| 40900 | 31 |800230 | 19.6 | 10M| 57 | 42 | 231 | 10k| 231 |2452 | 18 | 29k|3577 | 0.000000e+00 | -- | Inf
118.17/118.25 c 118s| 41000 | 27 |802315 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 29k|3589 | 0.000000e+00 | -- | Inf
118.46/118.56 c 119s| 41100 | 23 |804318 | 19.6 | 10M| 57 | 37 | 231 | 10k| 231 |2452 | 18 | 29k|3603 | 0.000000e+00 | -- | Inf
118.77/118.83 c 119s| 41200 | 24 |806158 | 19.6 | 10M| 57 | 32 | 231 | 10k| 231 |2452 | 18 | 29k|3608 | 0.000000e+00 | -- | Inf
119.06/119.18 c 119s| 41300 | 23 |808577 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 29k|3623 | 0.000000e+00 | -- | Inf
119.36/119.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.36/119.45 c 119s| 41400 | 23 |810383 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 29k|3632 | 0.000000e+00 | -- | Inf
119.67/119.79 c 120s| 41500 | 21 |812630 | 19.6 | 10M| 57 | 35 | 231 | 10k| 231 |2452 | 18 | 29k|3647 | 0.000000e+00 | -- | Inf
119.96/120.06 c 120s| 41600 | 19 |814579 | 19.6 | 10M| 57 | 33 | 231 |9963 | 231 |2452 | 18 | 29k|3653 | 0.000000e+00 | -- | Inf
120.26/120.37 c 120s| 41700 | 17 |816574 | 19.6 | 10M| 57 | - | 231 |9866 | 231 |2452 | 18 | 29k|3665 | 0.000000e+00 | -- | Inf
120.56/120.66 c 121s| 41800 | 16 |818597 | 19.6 | 10M| 57 | 28 | 231 |9827 | 231 |2452 | 18 | 29k|3671 | 0.000000e+00 | -- | Inf
120.87/120.93 c 121s| 41900 | 14 |820450 | 19.6 | 10M| 57 | 38 | 231 |9773 | 231 |2452 | 18 | 29k|3681 | 0.000000e+00 | -- | Inf
121.17/121.22 c 121s| 42000 | 15 |822166 | 19.6 |9952k| 57 | 31 | 231 |9598 | 231 |2452 | 18 | 29k|3695 | 0.000000e+00 | -- | Inf
121.46/121.53 c 122s| 42100 | 13 |824199 | 19.6 |9938k| 57 | 43 | 231 |9587 | 231 |2452 | 18 | 30k|3708 | 0.000000e+00 | -- | Inf
121.76/121.81 c 122s| 42200 | 11 |826225 | 19.6 |9942k| 57 | - | 231 |9592 | 231 |2452 | 18 | 30k|3715 | 0.000000e+00 | -- | Inf
122.06/122.12 c 122s| 42300 | 11 |828197 | 19.6 |9924k| 57 | - | 231 |9559 | 231 |2452 | 18 | 30k|3727 | 0.000000e+00 | -- | Inf
122.26/122.38 c 122s| 42400 | 10 |830004 | 19.6 |9922k| 57 | 35 | 231 |9599 | 231 |2452 | 18 | 30k|3734 | 0.000000e+00 | -- | Inf
122.56/122.68 c 123s| 42500 | 4 |831969 | 19.6 |9870k| 57 | - | 231 |9520 | 231 |2452 | 18 | 30k|3745 | 0.000000e+00 | -- | Inf
122.86/122.97 c 123s| 42600 | 4 |833949 | 19.6 |9833k| 57 | - | 231 |9474 | 231 |2452 | 18 | 30k|3757 | 0.000000e+00 | -- | Inf
123.17/123.26 c 123s| 42700 | 4 |835848 | 19.6 |9857k| 57 | - | 231 |9540 | 231 |2452 | 18 | 30k|3768 | 0.000000e+00 | -- | Inf
123.46/123.57 c 124s| 42800 | 6 |837978 | 19.6 |9858k| 57 | 39 | 231 |9538 | 231 |2452 | 18 | 30k|3778 | 0.000000e+00 | -- | Inf
123.77/123.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.77/123.86 c 124s| 42900 | 8 |839909 | 19.6 |9885k| 57 | 35 | 231 |9607 | 231 |2452 | 18 | 30k|3790 | 0.000000e+00 | -- | Inf
124.06/124.12 c 124s| 43000 | 5 |841772 | 19.6 |9911k| 57 | 43 | 231 |9696 | 231 |2452 | 18 | 30k|3797 | 0.000000e+00 | -- | Inf
124.36/124.41 c 124s| 43100 | 6 |843745 | 19.6 |9920k| 57 | - | 231 |9715 | 231 |2452 | 18 | 30k|3805 | 0.000000e+00 | -- | Inf
124.56/124.69 c 125s| 43200 | 8 |845762 | 19.6 |9944k| 57 | - | 231 |9774 | 231 |2452 | 18 | 30k|3810 | 0.000000e+00 | -- | Inf
124.86/124.93 c 125s| 43300 | 5 |847503 | 19.6 |9955k| 57 | 40 | 231 |9847 | 231 |2452 | 18 | 31k|3813 | 0.000000e+00 | -- | Inf
125.16/125.21 c 125s| 43400 | 6 |849621 | 19.6 |9989k| 57 | 43 | 231 |9940 | 231 |2452 | 18 | 31k|3816 | 0.000000e+00 | -- | Inf
125.37/125.48 c 125s| 43500 | 4 |851667 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 31k|3819 | 0.000000e+00 | -- | Inf
125.66/125.75 c 126s| 43600 | 5 |853922 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 31k|3819 | 0.000000e+00 | -- | Inf
125.96/126.02 c 126s| 43700 | 5 |856159 | 19.6 | 10M| 57 | 42 | 231 | 10k| 231 |2452 | 18 | 31k|3819 | 0.000000e+00 | -- | Inf
126.17/126.29 c 126s| 43800 | 7 |858313 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 31k|3819 | 0.000000e+00 | -- | Inf
126.47/126.58 c 127s| 43900 | 11 |860737 | 19.6 | 10M| 57 | 37 | 231 | 10k| 231 |2452 | 18 | 31k|3819 | 0.000000e+00 | -- | Inf
126.76/126.87 c 127s| 44000 | 6 |863120 | 19.6 | 10M| 57 | 35 | 231 | 10k| 231 |2452 | 18 | 31k|3820 | 0.000000e+00 | -- | Inf
127.06/127.15 c 127s| 44100 | 4 |865340 | 19.6 | 10M| 57 | - | 231 | 10k| 231 |2452 | 18 | 31k|3821 | 0.000000e+00 | -- | Inf
127.16/127.23 c
127.16/127.23 c SCIP Status : problem is solved [infeasible]
127.16/127.23 c Solving Time (sec) : 127.23
127.16/127.23 c Solving Nodes : 44128
127.16/127.23 c Primal Bound : +1.00000000000000e+20 (0 solutions)
127.16/127.23 c Dual Bound : +1.00000000000000e+20
127.16/127.23 c Gap : 0.00 %
127.16/127.23 s UNSATISFIABLE
127.16/127.23 c SCIP Status : problem is solved [infeasible]
127.16/127.23 c Total Time : 127.23
127.16/127.23 c solving : 127.23
127.16/127.23 c presolving : 0.04 (included in solving)
127.16/127.23 c reading : 0.01 (included in solving)
127.16/127.23 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
127.16/127.23 c Original Problem :
127.16/127.23 c Problem name : HOME/instance-3691583-1338022250.opb
127.16/127.23 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
127.16/127.23 c Constraints : 2707 initial, 2707 maximal
127.16/127.23 c Objective sense : minimize
127.16/127.23 c Presolved Problem :
127.16/127.23 c Problem name : t_HOME/instance-3691583-1338022250.opb
127.16/127.23 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
127.16/127.23 c Constraints : 2443 initial, 12748 maximal
127.16/127.23 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
127.16/127.23 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
127.16/127.23 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
127.16/127.23 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
127.16/127.23 c root node : - - 21 - - 21 - - - - -
127.16/127.23 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
127.16/127.23 c integral : 0 0 0 0 23023 0 1 0 87 1417 0 0 44388
127.16/127.23 c knapsack : 1 1 5 182571 0 0 0 12338 223 77896 0 0 0
127.16/127.23 c setppc : 22 22 5 182479 0 0 0 438785 929 254105 0 0 0
127.16/127.23 c linear : 0+ 282 5 156162 0 0 0 313 3 2501 2 0 0
127.16/127.23 c logicor : 2420+ 12705 5 81191 0 0 0 195404 221 263785 0 0 0
127.16/127.23 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
127.16/127.23 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
127.16/127.23 c integral : 17.92 0.00 0.00 0.00 17.92 0.00 0.00 0.00
127.16/127.23 c knapsack : 0.20 0.00 0.00 0.19 0.00 0.00 0.00 0.01
127.16/127.23 c setppc : 0.73 0.00 0.00 0.60 0.00 0.00 0.00 0.13
127.16/127.23 c linear : 0.21 0.00 0.00 0.21 0.00 0.00 0.00 0.00
127.16/127.23 c logicor : 2.93 0.00 0.00 2.79 0.00 0.00 0.00 0.14
127.16/127.23 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
127.16/127.23 c Propagators : #Propagate #ResProp Cutoffs DomReds
127.16/127.23 c rootredcost : 0 0 0 0
127.16/127.23 c pseudoobj : 0 0 0 0
127.16/127.23 c vbounds : 0 0 0 0
127.16/127.23 c redcost : 23028 0 0 0
127.16/127.23 c probing : 0 0 0 0
127.16/127.23 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
127.16/127.23 c rootredcost : 0.05 0.00 0.00 0.05 0.00
127.16/127.23 c pseudoobj : 0.05 0.00 0.00 0.05 0.00
127.16/127.23 c vbounds : 0.04 0.00 0.00 0.04 0.00
127.16/127.23 c redcost : 0.10 0.00 0.00 0.10 0.00
127.16/127.23 c probing : 0.00 0.00 0.00 0.00 0.00
127.16/127.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
127.16/127.23 c propagation : 0.05 1376 1371 6708 19.2 21 18.3 -
127.16/127.23 c infeasible LP : 1.73 20730 20608 120534 29.5 71 21.2 0
127.16/127.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
127.16/127.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
127.16/127.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
127.16/127.23 c applied globally : - - - 31200 18.4 - - -
127.16/127.23 c applied locally : - - - 634 33.6 - - -
127.16/127.23 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
127.16/127.23 c cut pool : 0.00 4 - - 151 - (maximal pool size: 569)
127.16/127.23 c closecuts : 0.00 0.00 0 0 0 0 0
127.16/127.23 c impliedbounds : 0.00 0.00 5 0 0 0 0
127.16/127.23 c intobj : 0.00 0.00 0 0 0 0 0
127.16/127.23 c gomory : 0.17 0.00 5 0 0 250 0
127.16/127.23 c cgmip : 0.00 0.00 0 0 0 0 0
127.16/127.23 c strongcg : 0.16 0.00 5 0 0 2500 0
127.16/127.23 c cmir : 0.00 0.00 0 0 0 0 0
127.16/127.23 c flowcover : 0.00 0.00 0 0 0 0 0
127.16/127.23 c clique : 0.00 0.00 5 0 0 0 0
127.16/127.23 c zerohalf : 0.00 0.00 0 0 0 0 0
127.16/127.23 c mcf : 0.00 0.00 1 0 0 0 0
127.16/127.23 c oddcycle : 0.00 0.00 0 0 0 0 0
127.16/127.23 c rapidlearning : 0.10 0.00 1 0 0 0 282
127.16/127.23 c Pricers : ExecTime SetupTime Calls Vars
127.16/127.23 c problem variables: 0.00 - 0 0
127.16/127.23 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
127.16/127.23 c relpscost : 17.90 0.00 23023 87 1417 0 0 44388
127.16/127.23 c pscost : 0.00 0.00 0 0 0 0 0 0
127.16/127.23 c inference : 0.00 0.00 0 0 0 0 0 0
127.16/127.23 c mostinf : 0.00 0.00 0 0 0 0 0 0
127.16/127.23 c leastinf : 0.00 0.00 0 0 0 0 0 0
127.16/127.23 c fullstrong : 0.00 0.00 0 0 0 0 0 0
127.16/127.23 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
127.16/127.23 c random : 0.00 0.00 0 0 0 0 0 0
127.16/127.23 c Primal Heuristics : ExecTime SetupTime Calls Found
127.16/127.23 c LP solutions : 0.00 - - 0
127.16/127.23 c pseudo solutions : 0.00 - - 0
127.16/127.23 c smallcard : 0.00 0.00 0 0
127.16/127.23 c trivial : 0.00 0.00 1 0
127.16/127.23 c shiftandpropagate: 0.00 0.00 0 0
127.16/127.23 c simplerounding : 0.00 0.00 0 0
127.16/127.23 c zirounding : 0.00 0.00 0 0
127.16/127.23 c rounding : 0.00 0.00 0 0
127.16/127.23 c shifting : 0.00 0.00 0 0
127.16/127.23 c intshifting : 0.00 0.00 0 0
127.16/127.23 c oneopt : 0.00 0.00 0 0
127.16/127.23 c twoopt : 0.00 0.00 0 0
127.16/127.23 c indtwoopt : 0.00 0.00 0 0
127.16/127.23 c indoneopt : 0.00 0.00 0 0
127.16/127.23 c fixandinfer : 0.00 0.00 0 0
127.16/127.23 c feaspump : 0.00 0.00 0 0
127.16/127.23 c clique : 0.00 0.00 0 0
127.16/127.23 c indrounding : 0.00 0.00 0 0
127.16/127.23 c indcoefdiving : 0.00 0.00 0 0
127.16/127.23 c coefdiving : 0.00 0.00 0 0
127.16/127.23 c pscostdiving : 0.00 0.00 0 0
127.16/127.23 c nlpdiving : 0.00 0.00 0 0
127.16/127.23 c fracdiving : 0.00 0.00 0 0
127.16/127.23 c veclendiving : 0.00 0.00 0 0
127.16/127.23 c intdiving : 0.00 0.00 0 0
127.16/127.23 c actconsdiving : 0.00 0.00 0 0
127.16/127.23 c objpscostdiving : 0.00 0.00 0 0
127.16/127.23 c rootsoldiving : 0.00 0.00 0 0
127.16/127.23 c linesearchdiving : 0.00 0.00 0 0
127.16/127.23 c guideddiving : 0.00 0.00 0 0
127.16/127.23 c octane : 0.00 0.00 0 0
127.16/127.23 c rens : 0.00 0.00 0 0
127.16/127.23 c rins : 0.00 0.00 0 0
127.16/127.23 c localbranching : 0.00 0.00 0 0
127.16/127.23 c mutation : 0.00 0.00 0 0
127.16/127.23 c crossover : 0.00 0.00 0 0
127.16/127.23 c dins : 0.00 0.00 0 0
127.16/127.23 c vbounds : 0.00 0.00 0 0
127.16/127.23 c undercover : 0.00 0.00 0 0
127.16/127.23 c subnlp : 0.00 0.00 0 0
127.16/127.23 c trysol : 0.00 0.00 0 0
127.16/127.23 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
127.16/127.23 c primal LP : 0.00 1 0 0.00 - 0.00 1
127.16/127.23 c dual LP : 92.33 43758 866009 19.83 9379.03 0.03 77
127.16/127.23 c lex dual LP : 0.00 0 0 0.00 -
127.16/127.23 c barrier LP : 0.00 0 0 0.00 - 0.00 0
127.16/127.23 c diving/probing LP: 0.00 0 0 0.00 -
127.16/127.23 c strong branching : 17.53 3821 155597 40.72 8875.48
127.16/127.23 c (at root node) : - 12 2469 205.75 -
127.16/127.23 c conflict analysis: 0.00 0 0 0.00 -
127.16/127.23 c B&B Tree :
127.16/127.23 c number of runs : 1
127.16/127.23 c nodes : 44128
127.16/127.23 c nodes (total) : 44128
127.16/127.23 c nodes left : 0
127.16/127.23 c max depth : 57
127.16/127.23 c max depth (total): 57
127.16/127.23 c backtracks : 4794 (10.9%)
127.16/127.23 c delayed cutoffs : 261
127.16/127.23 c repropagations : 82977 (85595 domain reductions, 261 cutoffs)
127.16/127.23 c avg switch length: 5.36
127.16/127.23 c switching time : 3.60
127.16/127.23 c Solution :
127.16/127.23 c Solutions found : 0 (0 improvements)
127.16/127.23 c Primal Bound : infeasible
127.16/127.23 c Dual Bound : -
127.16/127.23 c Gap : 0.00 %
127.16/127.23 c Root Dual Bound : +0.00000000000000e+00
127.16/127.23 c Root Iterations : 164
127.16/127.25 c Time complete: 127.21.
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-3691583-1338022250/watcher-3691583-1338022250 -o /tmp/evaluation-result-3691583-1338022250/solver-3691583-1338022250 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691583-1338022250.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 2.10 2.04 1.97 3/175 14965
/proc/meminfo: memFree=28280036/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=12688 CPUtime=0 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 1913 0 0 0 0 0 0 0 20 0 1 0 268350957 12992512 1867 33554432000 4194304 10219143 140737015140896 140733533855560 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 3172 1874 419 1471 0 1692 0
[startup+0.018552 s]
/proc/loadavg: 2.10 2.04 1.97 3/175 14965
/proc/meminfo: memFree=28280036/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=21104 CPUtime=0.01 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 3812 0 0 0 1 0 0 0 20 0 1 0 268350957 21610496 3766 33554432000 4194304 10219143 140737015140896 140733533855560 8844210 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 5276 3766 526 1471 0 3796 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21104
[startup+0.100234 s]
/proc/loadavg: 2.10 2.04 1.97 3/175 14965
/proc/meminfo: memFree=28280036/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=33964 CPUtime=0.09 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 7635 0 0 0 8 1 0 0 20 0 1 0 268350957 34779136 7287 33554432000 4194304 10219143 140737015140896 140733533855560 8844210 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 8491 7290 779 1471 0 7011 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33964
[startup+0.300254 s]
/proc/loadavg: 2.10 2.04 1.97 3/175 14965
/proc/meminfo: memFree=28280036/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48280 CPUtime=0.28 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11640 0 0 0 25 3 0 0 20 0 1 0 268350957 49438720 10640 33554432000 4194304 10219143 140737015140896 140737015135000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12070 10640 814 1471 0 10590 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48280
[startup+0.700234 s]
/proc/loadavg: 2.10 2.04 1.97 3/175 14965
/proc/meminfo: memFree=28280036/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=0.69 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11756 0 0 0 65 4 0 0 20 0 1 0 268350957 49610752 10756 33554432000 4194304 10219143 140737015140896 140737015135000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 10756 817 1471 0 10632 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48448
[startup+1.50023 s]
/proc/loadavg: 2.10 2.04 1.97 3/176 14966
/proc/meminfo: memFree=28240076/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=1.48 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11758 0 0 0 144 4 0 0 20 0 1 0 268350957 49610752 10758 33554432000 4194304 10219143 140737015140896 140737015134312 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 10758 819 1471 0 10632 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 48448
[startup+3.10022 s]
/proc/loadavg: 2.09 2.04 1.97 3/176 14966
/proc/meminfo: memFree=28239828/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=3.08 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11763 0 0 0 302 6 0 0 20 0 1 0 268350957 49610752 10763 33554432000 4194304 10219143 140737015140896 140737015134728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 10763 824 1471 0 10632 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48448
[startup+6.30021 s]
/proc/loadavg: 2.09 2.04 1.97 3/175 14966
/proc/meminfo: memFree=28239952/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=6.28 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11763 0 0 0 619 9 0 0 20 0 1 0 268350957 49610752 10763 33554432000 4194304 10219143 140737015140896 140737015134728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 10763 824 1471 0 10632 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48448
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 1.97 3/175 14967
/proc/meminfo: memFree=28238712/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=12.68 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11765 0 0 0 1250 18 0 0 20 0 1 0 268350957 49610752 11018 33554432000 4194304 10219143 140737015140896 140737015134152 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11018 824 1471 0 10632 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48448
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 1.97 3/175 14967
/proc/meminfo: memFree=28239020/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=25.47 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11765 0 0 0 2508 39 0 0 20 0 1 0 268350957 49610752 11018 33554432000 4194304 10219143 140737015140896 140737015134536 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11018 824 1471 0 10632 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48448
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 1.97 3/175 14967
/proc/meminfo: memFree=28239020/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=51.08 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11765 0 0 0 5029 79 0 0 20 0 1 0 268350957 49610752 11018 33554432000 4194304 10219143 140737015140896 140737015137368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11018 824 1471 0 10632 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48448
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 14967
/proc/meminfo: memFree=28238276/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=102.27 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11765 0 0 0 10071 156 0 0 20 0 1 0 268350957 49610752 11018 33554432000 4194304 10219143 140737015140896 140737015134152 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11018 824 1471 0 10632 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48448
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 14967
/proc/meminfo: memFree=28238400/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=115.06 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11765 0 0 0 11333 173 0 0 20 0 1 0 268350957 49610752 11018 33554432000 4194304 10219143 140737015140896 140737015134152 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11018 824 1471 0 10632 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 48448
[startup+121.5 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 14967
/proc/meminfo: memFree=28238400/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=121.46 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11765 0 0 0 11963 183 0 0 20 0 1 0 268350957 49610752 11018 33554432000 4194304 10219143 140737015140896 140737015137368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11018 824 1471 0 10632 0
Current children cumulated CPU time (s) 121.46
Current children cumulated vsize (KiB) 48448
[startup+124.7 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 14967
/proc/meminfo: memFree=28238400/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=124.66 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11766 0 0 0 12278 188 0 0 20 0 1 0 268350957 49610752 11019 33554432000 4194304 10219143 140737015140896 140737015134152 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11019 825 1471 0 10632 0
Current children cumulated CPU time (s) 124.66
Current children cumulated vsize (KiB) 48448
[startup+126.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 14967
/proc/meminfo: memFree=28238400/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=126.26 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11766 0 0 0 12436 190 0 0 20 0 1 0 268350957 49610752 11019 33554432000 4194304 10219143 140737015140896 140737015134536 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11019 825 1471 0 10632 0
Current children cumulated CPU time (s) 126.26
Current children cumulated vsize (KiB) 48448
[startup+126.7 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 14967
/proc/meminfo: memFree=28238400/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=126.66 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11766 0 0 0 12476 190 0 0 20 0 1 0 268350957 49610752 11019 33554432000 4194304 10219143 140737015140896 140737015134536 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11019 825 1471 0 10632 0
Current children cumulated CPU time (s) 126.66
Current children cumulated vsize (KiB) 48448
[startup+127.1 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 14967
/proc/meminfo: memFree=28238400/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=127.06 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11766 0 0 0 12515 191 0 0 20 0 1 0 268350957 49610752 11019 33554432000 4194304 10219143 140737015140896 140737015134536 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11019 825 1471 0 10632 0
Current children cumulated CPU time (s) 127.06
Current children cumulated vsize (KiB) 48448
[startup+127.2 s]
/proc/loadavg: 2.01 2.02 1.97 3/175 14967
/proc/meminfo: memFree=28238400/32873852 swapFree=6848/6848
[pid=14965] ppid=14963 vsize=48448 CPUtime=127.16 cores=0,2,4,6
/proc/14965/stat : 14965 (scip-2.1.1.4exp) R 14963 14965 14323 0 -1 4202496 11766 0 0 0 12525 191 0 0 20 0 1 0 268350957 49610752 11019 33554432000 4194304 10219143 140737015140896 140737015134616 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14965/statm: 12112 11019 825 1471 0 10632 0
Current children cumulated CPU time (s) 127.16
Current children cumulated vsize (KiB) 48448
Child status: 0
Real time (s): 127.254
CPU time (s): 127.225
CPU user time (s): 125.306
CPU system time (s): 1.91871
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 48448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 125.306
system time used= 1.91871
maximum resident set size= 45128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 134
runsolver used 0.607907 second user time and 0.817875 second system time
The end