0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690428-1338016933.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.02 c presolving:
0.01/0.05 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.06 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.07 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.08 c presolving (4 rounds):
0.01/0.08 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.08 c 242 implications, 22 cliques
0.01/0.08 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.01/0.08 c 1 constraints of type <knapsack>
0.01/0.08 c 22 constraints of type <setppc>
0.01/0.08 c 2420 constraints of type <logicor>
0.01/0.08 c transformed objective value is always integral (scale: 1)
0.01/0.08 c Presolving Time: 0.07
0.01/0.08 c - non default parameters ----------------------------------------------------------------------
0.01/0.08 c # SCIP version 2.1.1.4
0.01/0.08 c
0.01/0.08 c # maximal time in seconds to run
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/time = 1797
0.01/0.08 c
0.01/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/memory = 13950
0.01/0.08 c
0.01/0.08 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c limits/solutions = 1
0.01/0.08 c
0.01/0.08 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.08 c separating/maxrounds = 1
0.01/0.08 c
0.01/0.08 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c separating/maxroundsroot = 5
0.01/0.08 c
0.01/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.08 c # [type: int, range: [1,2], default: 1]
0.01/0.08 c timing/clocktype = 2
0.01/0.08 c
0.01/0.08 c # belongs reading time to solving time?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c timing/reading = TRUE
0.01/0.08 c
0.01/0.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.08 c constraints/knapsack/disaggregation = FALSE
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/coefdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.08 c heuristics/crossover/freq = -1
0.01/0.08 c
0.01/0.08 c # number of nodes added to the contingent of the total nodes
0.01/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.08 c heuristics/crossover/nodesofs = 750
0.01/0.08 c
0.01/0.08 c # number of nodes without incumbent change that heuristic should wait
0.01/0.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.08 c heuristics/crossover/nwaitingnodes = 100
0.01/0.08 c
0.01/0.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.08 c # [type: real, range: [0,1], default: 0.1]
0.01/0.08 c heuristics/crossover/nodesquot = 0.15
0.01/0.08 c
0.01/0.08 c # minimum percentage of integer variables that have to be fixed
0.01/0.08 c # [type: real, range: [0,1], default: 0.666]
0.01/0.08 c heuristics/crossover/minfixingrate = 0.5
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.08 c heuristics/feaspump/freq = -1
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/fracdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/guideddiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/intshifting/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/linesearchdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.08 c heuristics/objpscostdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.08 c # [type: real, range: [0,1], default: 0.01]
0.01/0.08 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/oneopt/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/pscostdiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c heuristics/rens/freq = -1
0.01/0.08 c
0.01/0.08 c # minimum percentage of integer variables that have to be fixable
0.01/0.08 c # [type: real, range: [0,1], default: 0.5]
0.01/0.08 c heuristics/rens/minfixingrate = 0.3
0.01/0.08 c
0.01/0.08 c # number of nodes added to the contingent of the total nodes
0.01/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.08 c heuristics/rens/nodesofs = 2000
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.08 c heuristics/rootsoldiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.08 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/rounding/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c heuristics/shiftandpropagate/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/shifting/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/simplerounding/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/subnlp/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c heuristics/trivial/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/trysol/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c heuristics/undercover/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.08 c heuristics/veclendiving/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.08 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.08 c
0.01/0.08 c # additional number of allowed LP iterations
0.01/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.08 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/zirounding/freq = -1
0.01/0.08 c
0.01/0.08 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c propagating/probing/maxprerounds = 0
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c separating/cmir/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c separating/flowcover/freq = -1
0.01/0.08 c
0.01/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c separating/rapidlearning/freq = 0
0.01/0.08 c
0.01/0.08 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.08 c heuristics/indoneopt/freq = -1
0.01/0.08 c
0.01/0.08 c -----------------------------------------------------------------------------------------------
0.01/0.08 c start solving
0.01/0.08 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 90 | - |4319k| 0 | 39 | 231 |2711 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.32 c 0.3s| 1 | 0 | 105 | - |4647k| 0 | 45 | 231 |2711 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.36 c 0.4s| 1 | 0 | 120 | - |5090k| 0 | 46 | 231 |2711 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.40 c 0.4s| 1 | 0 | 139 | - |5534k| 0 | 47 | 231 |2711 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.48/0.56 c 0.6s| 1 | 0 | 146 | - |5878k| 0 | 51 | 231 |2711 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.68/0.74 c 0.7s| 1 | 2 | 146 | - |5878k| 0 | 51 | 231 |2711 | 231 |2460 | 17 | 0 | 10 | 0.000000e+00 | -- | Inf
8.48/8.52 c 8.5s| 100 | 13 | 4882 | 47.8 |6017k| 13 | 33 | 231 |2726 | 231 |2453 | 17 | 15 |1536 | 0.000000e+00 | -- | Inf
9.89/9.98 c 10.0s| 200 | 17 | 6937 | 34.1 |6059k| 20 | - | 231 |2782 | 231 |2453 | 17 | 72 |1807 | 0.000000e+00 | -- | Inf
10.39/10.43 c 10.4s| 300 | 19 | 8720 | 28.7 |6083k| 21 | 34 | 231 |2839 | 231 |2453 | 17 | 129 |1859 | 0.000000e+00 | -- | Inf
10.68/10.79 c 10.8s| 400 | 26 | 10308 | 25.5 |6139k| 23 | 32 | 231 |2922 | 231 |2453 | 17 | 212 |1899 | 0.000000e+00 | -- | Inf
10.99/11.01 c 11.0s| 500 | 26 | 11589 | 22.9 |6168k| 33 | 31 | 231 |2992 | 231 |2453 | 17 | 284 |1907 | 0.000000e+00 | -- | Inf
11.19/11.29 c 11.3s| 600 | 26 | 13735 | 22.7 |6190k| 33 | 35 | 231 |3058 | 231 |2453 | 17 | 351 |1912 | 0.000000e+00 | -- | Inf
11.48/11.59 c 11.6s| 700 | 27 | 15729 | 22.3 |6223k| 33 | - | 231 |3126 | 231 |2453 | 17 | 419 |1923 | 0.000000e+00 | -- | Inf
11.78/11.83 c 11.8s| 800 | 29 | 17508 | 21.7 |6252k| 33 | - | 231 |3198 | 231 |2453 | 17 | 494 |1929 | 0.000000e+00 | -- | Inf
12.09/12.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.09/12.16 c 12.2s| 900 | 29 | 19375 | 21.4 |6281k| 33 | - | 231 |3265 | 231 |2453 | 17 | 567 |1951 | 0.000000e+00 | -- | Inf
12.38/12.41 c 12.4s| 1000 | 35 | 21146 | 21.0 |6321k| 33 | 36 | 231 |3336 | 231 |2453 | 17 | 640 |1955 | 0.000000e+00 | -- | Inf
12.59/12.64 c 12.6s| 1100 | 33 | 22853 | 20.7 |6348k| 33 | 40 | 231 |3406 | 231 |2453 | 17 | 712 |1956 | 0.000000e+00 | -- | Inf
12.89/12.96 c 13.0s| 1200 | 29 | 24651 | 20.4 |6366k| 33 | - | 231 |3471 | 231 |2453 | 17 | 781 |1975 | 0.000000e+00 | -- | Inf
13.19/13.26 c 13.3s| 1300 | 32 | 26355 | 20.2 |6391k| 33 | 29 | 231 |3521 | 231 |2453 | 17 | 838 |1993 | 0.000000e+00 | -- | Inf
13.48/13.57 c 13.6s| 1400 | 32 | 28159 | 20.0 |6408k| 33 | 33 | 231 |3572 | 231 |2453 | 17 | 898 |2010 | 0.000000e+00 | -- | Inf
13.78/13.87 c 13.9s| 1500 | 32 | 29852 | 19.8 |6434k| 33 | - | 231 |3631 | 231 |2453 | 17 | 960 |2032 | 0.000000e+00 | -- | Inf
14.08/14.19 c 14.2s| 1600 | 32 | 31741 | 19.8 |6464k| 33 | - | 231 |3699 | 231 |2453 | 17 |1037 |2051 | 0.000000e+00 | -- | Inf
14.38/14.46 c 14.5s| 1700 | 34 | 33603 | 19.7 |6492k| 33 | 38 | 231 |3751 | 231 |2453 | 17 |1098 |2058 | 0.000000e+00 | -- | Inf
14.69/14.72 c 14.7s| 1800 | 30 | 35381 | 19.6 |6499k| 33 | 46 | 231 |3812 | 231 |2453 | 17 |1169 |2065 | 0.000000e+00 | -- | Inf
14.89/14.97 c 15.0s| 1900 | 30 | 37265 | 19.5 |6525k| 33 | - | 231 |3881 | 231 |2453 | 17 |1244 |2066 | 0.000000e+00 | -- | Inf
15.18/15.21 c 15.2s| 2000 | 30 | 38834 | 19.4 |6541k| 33 | 38 | 231 |3939 | 231 |2453 | 17 |1306 |2072 | 0.000000e+00 | -- | Inf
15.39/15.47 c 15.5s| 2100 | 30 | 40823 | 19.4 |6576k| 33 | - | 231 |3995 | 231 |2453 | 17 |1368 |2076 | 0.000000e+00 | -- | Inf
15.68/15.74 c 15.7s| 2200 | 30 | 42879 | 19.4 |6603k| 33 | - | 231 |4067 | 231 |2453 | 17 |1446 |2077 | 0.000000e+00 | -- | Inf
15.99/16.00 c 16.0s| 2300 | 30 | 44802 | 19.4 |6621k| 33 | 35 | 231 |4135 | 231 |2453 | 17 |1519 |2078 | 0.000000e+00 | -- | Inf
16.18/16.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.18/16.21 c 16.2s| 2400 | 30 | 46445 | 19.3 |6652k| 33 | 35 | 231 |4193 | 231 |2453 | 17 |1585 |2078 | 0.000000e+00 | -- | Inf
16.39/16.45 c 16.4s| 2500 | 30 | 48227 | 19.2 |6671k| 33 | - | 231 |4237 | 231 |2453 | 17 |1639 |2078 | 0.000000e+00 | -- | Inf
16.58/16.67 c 16.7s| 2600 | 36 | 49960 | 19.2 |6704k| 33 | - | 231 |4278 | 231 |2453 | 17 |1694 |2078 | 0.000000e+00 | -- | Inf
16.89/16.91 c 16.9s| 2700 | 36 | 51710 | 19.1 |6717k| 33 | 37 | 231 |4334 | 231 |2453 | 17 |1751 |2082 | 0.000000e+00 | -- | Inf
17.08/17.16 c 17.2s| 2800 | 31 | 53502 | 19.1 |6735k| 33 | 24 | 231 |4386 | 231 |2453 | 17 |1813 |2083 | 0.000000e+00 | -- | Inf
17.38/17.41 c 17.4s| 2900 | 30 | 55326 | 19.0 |6756k| 33 | 38 | 231 |4444 | 231 |2453 | 17 |1886 |2085 | 0.000000e+00 | -- | Inf
17.59/17.63 c 17.6s| 3000 | 26 | 56920 | 18.9 |6762k| 33 | 34 | 231 |4507 | 231 |2453 | 17 |1956 |2085 | 0.000000e+00 | -- | Inf
17.88/17.92 c 17.9s| 3100 | 21 | 58764 | 18.9 |6772k| 33 | - | 231 |4548 | 231 |2453 | 17 |2021 |2096 | 0.000000e+00 | -- | Inf
18.08/18.19 c 18.2s| 3200 | 23 | 60336 | 18.8 |6798k| 33 | 29 | 231 |4610 | 231 |2453 | 17 |2087 |2109 | 0.000000e+00 | -- | Inf
18.38/18.48 c 18.5s| 3300 | 22 | 62183 | 18.8 |6819k| 33 | - | 231 |4663 | 231 |2453 | 17 |2143 |2122 | 0.000000e+00 | -- | Inf
18.78/18.81 c 18.8s| 3400 | 21 | 64191 | 18.8 |6831k| 33 | 33 | 231 |4721 | 231 |2453 | 17 |2207 |2138 | 0.000000e+00 | -- | Inf
19.08/19.19 c 19.2s| 3500 | 21 | 66535 | 19.0 |6852k| 33 | 41 | 231 |4771 | 231 |2453 | 17 |2267 |2159 | 0.000000e+00 | -- | Inf
19.48/19.51 c 19.5s| 3600 | 21 | 68381 | 19.0 |6879k| 33 | 34 | 231 |4807 | 231 |2453 | 17 |2327 |2179 | 0.000000e+00 | -- | Inf
19.79/19.87 c 19.9s| 3700 | 23 | 70712 | 19.1 |6896k| 33 | 27 | 231 |4828 | 231 |2453 | 17 |2402 |2197 | 0.000000e+00 | -- | Inf
20.08/20.16 c 20.2s| 3800 | 23 | 72646 | 19.1 |6918k| 33 | 16 | 231 |4886 | 231 |2453 | 17 |2475 |2210 | 0.000000e+00 | -- | Inf
20.38/20.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.38/20.44 c 20.4s| 3900 | 25 | 74623 | 19.1 |6941k| 33 | 24 | 231 |4926 | 231 |2453 | 17 |2536 |2217 | 0.000000e+00 | -- | Inf
20.68/20.70 c 20.7s| 4000 | 25 | 76557 | 19.1 |6964k| 33 | - | 231 |4979 | 231 |2453 | 17 |2604 |2221 | 0.000000e+00 | -- | Inf
20.89/20.96 c 21.0s| 4100 | 26 | 78449 | 19.1 |6976k| 33 | 36 | 231 |5024 | 231 |2453 | 17 |2667 |2224 | 0.000000e+00 | -- | Inf
21.18/21.20 c 21.2s| 4200 | 25 | 80245 | 19.1 |6996k| 34 | - | 231 |5078 | 231 |2453 | 17 |2730 |2225 | 0.000000e+00 | -- | Inf
21.38/21.47 c 21.5s| 4300 | 26 | 82227 | 19.1 |7023k| 34 | 29 | 231 |5124 | 231 |2453 | 17 |2792 |2229 | 0.000000e+00 | -- | Inf
21.68/21.75 c 21.7s| 4400 | 24 | 84333 | 19.1 |7035k| 34 | 37 | 231 |5169 | 231 |2453 | 17 |2862 |2232 | 0.000000e+00 | -- | Inf
21.98/22.02 c 22.0s| 4500 | 28 | 86446 | 19.2 |7067k| 34 | - | 231 |5207 | 231 |2453 | 17 |2939 |2235 | 0.000000e+00 | -- | Inf
22.17/22.27 c 22.3s| 4600 | 28 | 88489 | 19.2 |7085k| 34 | - | 231 |5260 | 231 |2453 | 17 |3018 |2235 | 0.000000e+00 | -- | Inf
22.48/22.56 c 22.6s| 4700 | 32 | 90872 | 19.3 |7128k| 34 | - | 231 |5321 | 231 |2453 | 17 |3093 |2235 | 0.000000e+00 | -- | Inf
22.68/22.77 c 22.8s| 4800 | 32 | 92544 | 19.3 |7144k| 39 | 32 | 231 |5383 | 231 |2453 | 17 |3163 |2235 | 0.000000e+00 | -- | Inf
22.98/23.04 c 23.0s| 4900 | 27 | 94659 | 19.3 |7162k| 39 | 33 | 231 |5463 | 231 |2453 | 17 |3248 |2235 | 0.000000e+00 | -- | Inf
23.28/23.33 c 23.3s| 5000 | 23 | 96978 | 19.4 |7169k| 39 | - | 231 |5524 | 231 |2453 | 17 |3335 |2235 | 0.000000e+00 | -- | Inf
23.58/23.60 c 23.6s| 5100 | 26 | 99089 | 19.4 |7189k| 39 | 27 | 231 |5548 | 231 |2453 | 17 |3405 |2235 | 0.000000e+00 | -- | Inf
23.88/23.97 c 24.0s| 5200 | 28 |101378 | 19.5 |7217k| 39 | - | 231 |5595 | 231 |2453 | 17 |3461 |2255 | 0.000000e+00 | -- | Inf
24.27/24.33 c 24.3s| 5300 | 29 |103677 | 19.5 |7238k| 39 | 38 | 231 |5659 | 231 |2453 | 17 |3532 |2270 | 0.000000e+00 | -- | Inf
24.68/24.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.68/24.73 c 24.7s| 5400 | 30 |106165 | 19.6 |7275k| 39 | - | 231 |5708 | 231 |2453 | 17 |3604 |2292 | 0.000000e+00 | -- | Inf
25.07/25.10 c 25.1s| 5500 | 36 |108610 | 19.7 |7306k| 39 | 26 | 231 |5758 | 231 |2453 | 17 |3674 |2306 | 0.000000e+00 | -- | Inf
25.38/25.47 c 25.5s| 5600 | 35 |110995 | 19.8 |7332k| 39 | 21 | 231 |5811 | 231 |2453 | 17 |3749 |2323 | 0.000000e+00 | -- | Inf
25.78/25.82 c 25.8s| 5700 | 33 |113469 | 19.9 |7359k| 39 | - | 231 |5881 | 231 |2453 | 17 |3834 |2333 | 0.000000e+00 | -- | Inf
26.08/26.16 c 26.2s| 5800 | 34 |116020 | 20.0 |7389k| 39 | - | 231 |5959 | 231 |2453 | 17 |3920 |2340 | 0.000000e+00 | -- | Inf
26.48/26.51 c 26.5s| 5900 | 37 |118242 | 20.0 |7437k| 39 | - | 231 |5997 | 231 |2453 | 17 |3979 |2355 | 0.000000e+00 | -- | Inf
26.78/26.80 c 26.8s| 6000 | 39 |120462 | 20.1 |7459k| 39 | - | 231 |6054 | 231 |2453 | 17 |4041 |2358 | 0.000000e+00 | -- | Inf
27.08/27.10 c 27.1s| 6100 | 38 |122846 | 20.1 |7474k| 39 | 31 | 231 |6123 | 231 |2453 | 17 |4111 |2362 | 0.000000e+00 | -- | Inf
27.28/27.40 c 27.4s| 6200 | 34 |124919 | 20.1 |7502k| 39 | - | 231 |6197 | 231 |2453 | 17 |4194 |2370 | 0.000000e+00 | -- | Inf
27.58/27.68 c 27.7s| 6300 | 34 |126923 | 20.1 |7514k| 39 | - | 231 |6257 | 231 |2453 | 17 |4269 |2375 | 0.000000e+00 | -- | Inf
27.98/28.00 c 28.0s| 6400 | 34 |129270 | 20.2 |7537k| 39 | - | 231 |6280 | 231 |2453 | 17 |4327 |2379 | 0.000000e+00 | -- | Inf
28.18/28.28 c 28.3s| 6500 | 36 |131351 | 20.2 |7529k| 39 | - | 231 |6239 | 231 |2453 | 17 |4378 |2379 | 0.000000e+00 | -- | Inf
28.48/28.56 c 28.6s| 6600 | 34 |133425 | 20.2 |7521k| 39 | - | 231 |6202 | 231 |2453 | 17 |4443 |2379 | 0.000000e+00 | -- | Inf
28.77/28.86 c 28.9s| 6700 | 36 |135888 | 20.3 |7540k| 39 | - | 231 |6241 | 231 |2453 | 17 |4514 |2379 | 0.000000e+00 | -- | Inf
29.08/29.12 c 29.1s| 6800 | 38 |137898 | 20.3 |7563k| 39 | - | 231 |6274 | 0 | 0 | 17 |4583 |2381 | 0.000000e+00 | -- | Inf
29.28/29.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.28/29.37 c 29.4s| 6900 | 38 |139810 | 20.2 |7574k| 39 | - | 231 |6322 | 231 |2453 | 17 |4636 |2384 | 0.000000e+00 | -- | Inf
29.58/29.61 c 29.6s| 7000 | 34 |141622 | 20.2 |7589k| 39 | - | 231 |6388 | 231 |2453 | 17 |4705 |2385 | 0.000000e+00 | -- | Inf
29.88/29.92 c 29.9s| 7100 | 35 |144159 | 20.3 |7602k| 39 | - | 231 |6426 | 231 |2453 | 17 |4770 |2385 | 0.000000e+00 | -- | Inf
30.17/30.27 c 30.3s| 7200 | 39 |146521 | 20.3 |7631k| 39 | - | 231 |6486 | 231 |2453 | 17 |4853 |2396 | 0.000000e+00 | -- | Inf
30.57/30.64 c 30.6s| 7300 | 43 |148844 | 20.4 |7656k| 39 | 34 | 231 |6529 | 231 |2453 | 17 |4926 |2415 | 0.000000e+00 | -- | Inf
30.88/30.96 c 31.0s| 7400 | 44 |151132 | 20.4 |7686k| 39 | - | 231 |6599 | 231 |2453 | 17 |5000 |2424 | 0.000000e+00 | -- | Inf
31.18/31.29 c 31.3s| 7500 | 46 |152954 | 20.4 |7711k| 39 | - | 231 |6650 | 231 |2453 | 17 |5068 |2443 | 0.000000e+00 | -- | Inf
31.58/31.60 c 31.6s| 7600 | 50 |155218 | 20.4 |7739k| 39 | - | 231 |6704 | 231 |2453 | 17 |5123 |2451 | 0.000000e+00 | -- | Inf
31.89/31.96 c 32.0s| 7700 | 49 |157625 | 20.5 |7762k| 39 | - | 231 |6773 | 231 |2453 | 17 |5194 |2470 | 0.000000e+00 | -- | Inf
32.28/32.36 c 32.4s| 7800 | 49 |160245 | 20.5 |7789k| 39 | 43 | 231 |6837 | 231 |2453 | 17 |5273 |2492 | 0.000000e+00 | -- | Inf
32.68/32.73 c 32.7s| 7900 | 47 |162539 | 20.6 |7807k| 39 | 38 | 231 |6852 | 231 |2453 | 17 |5349 |2509 | 0.000000e+00 | -- | Inf
32.98/33.05 c 33.0s| 8000 | 45 |164465 | 20.5 |7816k| 39 | - | 231 |6867 | 231 |2453 | 17 |5419 |2523 | 0.000000e+00 | -- | Inf
33.37/33.41 c 33.4s| 8100 | 45 |166617 | 20.6 |7832k| 39 | - | 231 |6886 | 231 |2453 | 17 |5499 |2543 | 0.000000e+00 | -- | Inf
33.58/33.69 c 33.7s| 8200 | 46 |168419 | 20.5 |7842k| 39 | - | 231 |6905 | 231 |2453 | 17 |5566 |2552 | 0.000000e+00 | -- | Inf
33.88/33.98 c 34.0s| 8300 | 50 |170362 | 20.5 |7857k| 39 | - | 231 |6905 | 231 |2453 | 17 |5626 |2559 | 0.000000e+00 | -- | Inf
34.18/34.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.18/34.25 c 34.3s| 8400 | 50 |172290 | 20.5 |7868k| 39 | - | 231 |6934 | 231 |2453 | 17 |5692 |2564 | 0.000000e+00 | -- | Inf
34.48/34.50 c 34.5s| 8500 | 52 |174153 | 20.5 |7883k| 39 | - | 231 |6957 | 231 |2453 | 17 |5748 |2565 | 0.000000e+00 | -- | Inf
34.68/34.74 c 34.7s| 8600 | 50 |175984 | 20.4 |7898k| 39 | - | 231 |7005 | 0 | 0 | 17 |5814 |2565 | 0.000000e+00 | -- | Inf
34.98/35.00 c 35.0s| 8700 | 50 |177988 | 20.4 |7910k| 39 | 38 | 231 |7062 | 231 |2453 | 17 |5887 |2565 | 0.000000e+00 | -- | Inf
35.18/35.28 c 35.3s| 8800 | 54 |180161 | 20.5 |7932k| 39 | 37 | 231 |7097 | 231 |2453 | 17 |5953 |2565 | 0.000000e+00 | -- | Inf
35.47/35.53 c 35.5s| 8900 | 52 |182060 | 20.4 |7954k| 39 | - | 231 |7159 | 0 | 0 | 17 |6037 |2567 | 0.000000e+00 | -- | Inf
35.77/35.84 c 35.8s| 9000 | 55 |184530 | 20.5 |7993k| 39 | - | 231 |7208 | 231 |2453 | 17 |6111 |2567 | 0.000000e+00 | -- | Inf
36.07/36.11 c 36.1s| 9100 | 53 |186646 | 20.5 |8008k| 39 | - | 231 |7273 | 231 |2453 | 17 |6189 |2568 | 0.000000e+00 | -- | Inf
36.38/36.40 c 36.4s| 9200 | 53 |188912 | 20.5 |8028k| 39 | - | 231 |7262 | 231 |2453 | 17 |6272 |2569 | 0.000000e+00 | -- | Inf
36.58/36.65 c 36.7s| 9300 | 54 |190735 | 20.5 |8018k| 39 | 40 | 231 |7224 | 231 |2453 | 17 |6336 |2569 | 0.000000e+00 | -- | Inf
36.77/36.88 c 36.9s| 9400 | 55 |192415 | 20.5 |8032k| 39 | - | 231 |7243 | 231 |2453 | 17 |6415 |2569 | 0.000000e+00 | -- | Inf
37.08/37.18 c 37.2s| 9500 | 54 |194789 | 20.5 |8040k| 39 | - | 231 |7266 | 231 |2453 | 17 |6493 |2569 | 0.000000e+00 | -- | Inf
37.38/37.45 c 37.5s| 9600 | 54 |196886 | 20.5 |8057k| 39 | - | 231 |7313 | 231 |2453 | 17 |6569 |2569 | 0.000000e+00 | -- | Inf
37.68/37.70 c 37.7s| 9700 | 55 |198727 | 20.5 |8073k| 39 | - | 231 |7345 | 231 |2453 | 17 |6634 |2569 | 0.000000e+00 | -- | Inf
37.88/37.91 c 37.9s| 9800 | 59 |200283 | 20.4 |8096k| 39 | - | 231 |7382 | 231 |2453 | 17 |6689 |2569 | 0.000000e+00 | -- | Inf
38.08/38.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.08/38.12 c 38.1s| 9900 | 57 |201674 | 20.4 |8104k| 39 | 35 | 231 |7433 | 231 |2453 | 17 |6750 |2569 | 0.000000e+00 | -- | Inf
38.28/38.37 c 38.4s| 10000 | 65 |203639 | 20.4 |8146k| 39 | 20 | 231 |7482 | 231 |2453 | 17 |6816 |2569 | 0.000000e+00 | -- | Inf
38.58/38.63 c 38.6s| 10100 | 60 |205664 | 20.4 |8163k| 39 | 35 | 231 |7543 | 231 |2453 | 17 |6882 |2569 | 0.000000e+00 | -- | Inf
38.78/38.85 c 38.8s| 10200 | 57 |207207 | 20.3 |8172k| 39 | 41 | 231 |7605 | 231 |2453 | 17 |6952 |2569 | 0.000000e+00 | -- | Inf
39.08/39.12 c 39.1s| 10300 | 59 |209302 | 20.3 |8202k| 39 | 19 | 231 |7670 | 231 |2453 | 17 |7029 |2569 | 0.000000e+00 | -- | Inf
39.27/39.38 c 39.4s| 10400 | 59 |211377 | 20.3 |8230k| 39 | 37 | 231 |7738 | 231 |2453 | 17 |7105 |2569 | 0.000000e+00 | -- | Inf
39.58/39.64 c 39.6s| 10500 | 56 |213242 | 20.3 |8243k| 39 | 38 | 231 |7796 | 231 |2453 | 17 |7172 |2569 | 0.000000e+00 | -- | Inf
39.78/39.89 c 39.9s| 10600 | 56 |215218 | 20.3 |8264k| 39 | - | 231 |7826 | 231 |2453 | 17 |7230 |2569 | 0.000000e+00 | -- | Inf
40.08/40.17 c 40.2s| 10700 | 62 |217419 | 20.3 |8283k| 39 | - | 231 |7847 | 231 |2453 | 17 |7292 |2569 | 0.000000e+00 | -- | Inf
40.37/40.41 c 40.4s| 10800 | 64 |219242 | 20.3 |8303k| 39 | 44 | 231 |7893 | 231 |2453 | 17 |7356 |2569 | 0.000000e+00 | -- | Inf
40.58/40.68 c 40.7s| 10900 | 70 |221322 | 20.3 |8338k| 39 | - | 231 |7939 | 231 |2453 | 17 |7410 |2569 | 0.000000e+00 | -- | Inf
40.88/40.95 c 41.0s| 11000 | 72 |223601 | 20.3 |8366k| 39 | - | 231 |8003 | 231 |2453 | 17 |7478 |2569 | 0.000000e+00 | -- | Inf
41.18/41.22 c 41.2s| 11100 | 73 |225766 | 20.3 |8387k| 39 | 40 | 231 |8058 | 231 |2453 | 17 |7538 |2569 | 0.000000e+00 | -- | Inf
41.38/41.49 c 41.5s| 11200 | 69 |227840 | 20.3 |8411k| 39 | - | 231 |8123 | 231 |2453 | 17 |7610 |2569 | 0.000000e+00 | -- | Inf
41.68/41.77 c 41.8s| 11300 | 69 |230066 | 20.3 |8423k| 39 | 38 | 231 |8166 | 231 |2453 | 17 |7695 |2569 | 0.000000e+00 | -- | Inf
41.97/42.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.97/42.06 c 42.1s| 11400 | 69 |232391 | 20.4 |8439k| 39 | 36 | 231 |8201 | 231 |2453 | 17 |7760 |2569 | 0.000000e+00 | -- | Inf
42.28/42.31 c 42.3s| 11500 | 69 |234418 | 20.4 |8458k| 39 | 47 | 231 |8243 | 231 |2453 | 17 |7828 |2569 | 0.000000e+00 | -- | Inf
42.48/42.59 c 42.6s| 11600 | 75 |236665 | 20.4 |8499k| 39 | 23 | 231 |8305 | 231 |2453 | 17 |7913 |2569 | 0.000000e+00 | -- | Inf
42.78/42.80 c 42.8s| 11700 | 75 |238246 | 20.4 |8533k| 39 | - | 231 |8380 | 231 |2453 | 17 |8001 |2569 | 0.000000e+00 | -- | Inf
42.98/43.03 c 43.0s| 11800 | 76 |239951 | 20.3 |8560k| 39 | 27 | 231 |8449 | 231 |2453 | 17 |8081 |2569 | 0.000000e+00 | -- | Inf
43.17/43.28 c 43.3s| 11900 | 76 |241854 | 20.3 |8584k| 39 | 35 | 231 |8507 | 231 |2453 | 17 |8143 |2569 | 0.000000e+00 | -- | Inf
43.48/43.55 c 43.5s| 12000 | 75 |243948 | 20.3 |8603k| 39 | 34 | 231 |8562 | 231 |2453 | 17 |8208 |2569 | 0.000000e+00 | -- | Inf
43.77/43.81 c 43.8s| 12100 | 79 |246089 | 20.3 |8632k| 39 | 29 | 231 |8611 | 231 |2453 | 17 |8263 |2569 | 0.000000e+00 | -- | Inf
43.98/44.09 c 44.1s| 12200 | 79 |248263 | 20.3 |8650k| 39 | 33 | 231 |8659 | 231 |2453 | 17 |8322 |2569 | 0.000000e+00 | -- | Inf
44.28/44.35 c 44.4s| 12300 | 79 |250273 | 20.3 |8673k| 39 | - | 231 |8706 | 231 |2453 | 17 |8384 |2569 | 0.000000e+00 | -- | Inf
44.57/44.63 c 44.6s| 12400 | 77 |252454 | 20.3 |8695k| 39 | - | 231 |8762 | 231 |2453 | 17 |8445 |2569 | 0.000000e+00 | -- | Inf
44.88/44.90 c 44.9s| 12500 | 75 |254659 | 20.4 |8715k| 39 | - | 231 |8827 | 231 |2453 | 17 |8527 |2569 | 0.000000e+00 | -- | Inf
45.18/45.20 c 45.2s| 12600 | 76 |257053 | 20.4 |8749k| 39 | 31 | 231 |8891 | 231 |2453 | 17 |8617 |2569 | 0.000000e+00 | -- | Inf
45.38/45.47 c 45.5s| 12700 | 74 |259232 | 20.4 |8774k| 39 | - | 231 |8948 | 231 |2453 | 17 |8695 |2569 | 0.000000e+00 | -- | Inf
45.67/45.75 c 45.8s| 12800 | 76 |261389 | 20.4 |8818k| 39 | - | 231 |9000 | 231 |2453 | 17 |8767 |2569 | 0.000000e+00 | -- | Inf
45.97/46.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.97/46.05 c 46.0s| 12900 | 75 |263690 | 20.4 |8828k| 39 | 37 | 231 |9043 | 231 |2453 | 17 |8829 |2569 | 0.000000e+00 | -- | Inf
46.28/46.38 c 46.4s| 13000 | 77 |266351 | 20.5 |8852k| 39 | 43 | 231 |9087 | 231 |2453 | 17 |8894 |2569 | 0.000000e+00 | -- | Inf
46.58/46.65 c 46.7s| 13100 | 75 |268479 | 20.5 |8873k| 39 | - | 231 |9140 | 231 |2453 | 17 |8970 |2569 | 0.000000e+00 | -- | Inf
46.87/46.91 c 46.9s| 13200 | 71 |270407 | 20.5 |8897k| 39 | - | 231 |9199 | 231 |2453 | 17 |9054 |2569 | 0.000000e+00 | -- | Inf
47.07/47.15 c 47.1s| 13300 | 70 |272143 | 20.5 |8907k| 41 | 34 | 231 |9243 | 231 |2453 | 17 |9133 |2569 | 0.000000e+00 | -- | Inf
47.37/47.42 c 47.4s| 13400 | 70 |274318 | 20.5 |8932k| 41 | - | 231 |9290 | 231 |2453 | 17 |9207 |2569 | 0.000000e+00 | -- | Inf
47.57/47.69 c 47.7s| 13500 | 70 |276350 | 20.5 |8950k| 41 | 39 | 231 |9299 | 231 |2453 | 17 |9283 |2569 | 0.000000e+00 | -- | Inf
47.87/47.93 c 47.9s| 13600 | 67 |278180 | 20.4 |8958k| 41 | - | 231 |9329 | 231 |2453 | 17 |9371 |2569 | 0.000000e+00 | -- | Inf
48.18/48.22 c 48.2s| 13700 | 68 |280313 | 20.5 |8962k| 41 | 43 | 231 |9309 | 231 |2453 | 17 |9468 |2569 | 0.000000e+00 | -- | Inf
48.38/48.47 c 48.5s| 13800 | 70 |282186 | 20.4 |8984k| 41 | - | 231 |9278 | 231 |2453 | 17 |9546 |2569 | 0.000000e+00 | -- | Inf
48.67/48.74 c 48.7s| 13900 | 70 |284162 | 20.4 |8969k| 41 | 30 | 231 |9222 | 231 |2453 | 17 |9612 |2569 | 0.000000e+00 | -- | Inf
48.97/49.01 c 49.0s| 14000 | 70 |286315 | 20.4 |8956k| 41 | - | 231 |9168 | 231 |2453 | 17 |9679 |2569 | 0.000000e+00 | -- | Inf
49.27/49.31 c 49.3s| 14100 | 70 |288752 | 20.5 |8963k| 41 | 28 | 231 |9188 | 231 |2453 | 17 |9768 |2569 | 0.000000e+00 | -- | Inf
49.58/49.60 c 49.6s| 14200 | 73 |291037 | 20.5 |8971k| 41 | 39 | 231 |9173 | 231 |2453 | 17 |9841 |2569 | 0.000000e+00 | -- | Inf
49.88/49.91 c 49.9s| 14300 | 70 |293562 | 20.5 |8979k| 41 | - | 231 |9179 | 231 |2453 | 17 |9913 |2569 | 0.000000e+00 | -- | Inf
50.08/50.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.08/50.19 c 50.2s| 14400 | 70 |295616 | 20.5 |8965k| 41 | 39 | 231 |9162 | 231 |2453 | 17 |9979 |2569 | 0.000000e+00 | -- | Inf
50.37/50.48 c 50.5s| 14500 | 69 |297902 | 20.5 |8952k| 41 | 32 | 231 |9116 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
50.67/50.79 c 50.8s| 14600 | 66 |300499 | 20.6 |8942k| 41 | - | 231 |9095 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
50.97/51.08 c 51.1s| 14700 | 63 |302687 | 20.6 |8908k| 41 | 24 | 231 |9024 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
51.27/51.35 c 51.3s| 14800 | 61 |304743 | 20.6 |8900k| 41 | 33 | 231 |9034 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
51.58/51.61 c 51.6s| 14900 | 61 |306680 | 20.6 |8906k| 41 | 44 | 231 |9047 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
51.88/51.92 c 51.9s| 15000 | 65 |309214 | 20.6 |8913k| 41 | 36 | 231 |9038 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
52.07/52.16 c 52.2s| 15100 | 65 |311094 | 20.6 |8926k| 41 | 32 | 231 |9082 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
52.28/52.39 c 52.4s| 15200 | 66 |312915 | 20.6 |8952k| 41 | 42 | 231 |9146 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
52.58/52.66 c 52.7s| 15300 | 66 |315059 | 20.6 |8978k| 41 | 30 | 231 |9210 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
52.87/52.91 c 52.9s| 15400 | 66 |316954 | 20.6 |8994k| 41 | 21 | 231 |9244 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
53.07/53.13 c 53.1s| 15500 | 63 |318670 | 20.6 |9013k| 41 | 32 | 231 |9319 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
53.28/53.37 c 53.4s| 15600 | 61 |320354 | 20.5 |9026k| 41 | - | 231 |9346 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
53.47/53.59 c 53.6s| 15700 | 63 |322103 | 20.5 |9056k| 41 | - | 231 |9404 | 0 | 0 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
53.78/53.81 c 53.8s| 15800 | 64 |323777 | 20.5 |9074k| 41 | 30 | 231 |9456 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
53.97/54.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.97/54.08 c 54.1s| 15900 | 62 |325844 | 20.5 |9087k| 41 | - | 231 |9499 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
54.28/54.33 c 54.3s| 16000 | 62 |327817 | 20.5 |9106k| 41 | - | 231 |9548 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
54.47/54.52 c 54.5s| 16100 | 61 |329162 | 20.4 |9125k| 41 | - | 231 |9599 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
54.77/54.80 c 54.8s| 16200 | 62 |331283 | 20.4 |9139k| 41 | - | 231 |9627 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
54.98/55.04 c 55.0s| 16300 | 61 |333172 | 20.4 |9154k| 41 | - | 231 |9671 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
55.17/55.27 c 55.3s| 16400 | 67 |334760 | 20.4 |9148k| 41 | 26 | 231 |9609 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
55.47/55.50 c 55.5s| 16500 | 65 |336494 | 20.4 |9153k| 41 | - | 231 |9614 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
55.68/55.75 c 55.8s| 16600 | 65 |338409 | 20.4 |9155k| 41 | - | 231 |9627 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
55.87/55.98 c 56.0s| 16700 | 67 |340114 | 20.4 |9175k| 41 | 25 | 231 |9661 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
56.17/56.23 c 56.2s| 16800 | 70 |342011 | 20.4 |9196k| 41 | 32 | 231 |9698 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
56.38/56.46 c 56.5s| 16900 | 68 |343744 | 20.3 |9209k| 41 | 38 | 231 |9728 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
56.67/56.72 c 56.7s| 17000 | 67 |345824 | 20.3 |9218k| 41 | - | 231 |9749 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
56.98/57.02 c 57.0s| 17100 | 65 |348225 | 20.4 |9197k| 41 | - | 231 |9675 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
57.27/57.33 c 57.3s| 17200 | 65 |350541 | 20.4 |9189k| 41 | - | 231 |9644 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
57.57/57.61 c 57.6s| 17300 | 69 |352829 | 20.4 |9215k| 41 | - | 231 |9684 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
57.88/57.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.88/57.90 c 57.9s| 17400 | 67 |355236 | 20.4 |9214k| 41 | 39 | 231 |9706 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
58.07/58.19 c 58.2s| 17500 | 65 |357449 | 20.4 |9217k| 41 | 35 | 231 |9729 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
58.38/58.47 c 58.5s| 17600 | 65 |359622 | 20.4 |9212k| 41 | 42 | 231 |9713 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
58.67/58.79 c 58.8s| 17700 | 65 |362272 | 20.5 |9223k| 41 | 32 | 231 |9747 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
58.97/59.06 c 59.1s| 17800 | 67 |364341 | 20.5 |9250k| 41 | 36 | 231 |9783 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
59.17/59.30 c 59.3s| 17900 | 67 |366143 | 20.4 |9277k| 41 | 31 | 231 |9850 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
59.47/59.52 c 59.5s| 18000 | 67 |367885 | 20.4 |9307k| 42 | - | 231 |9921 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
59.67/59.78 c 59.8s| 18100 | 67 |369955 | 20.4 |9321k| 42 | 32 | 231 |9960 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
59.98/60.04 c 60.0s| 18200 | 67 |371952 | 20.4 |9338k| 42 | 29 | 231 |9997 | 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
60.27/60.32 c 60.3s| 18300 | 67 |374151 | 20.4 |9357k| 42 | 35 | 231 | 10k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
60.58/60.63 c 60.6s| 18400 | 65 |376720 | 20.5 |9380k| 43 | - | 231 | 10k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
60.78/60.89 c 60.9s| 18500 | 65 |378700 | 20.5 |9394k| 47 | - | 231 | 10k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
61.07/61.17 c 61.2s| 18600 | 69 |380828 | 20.5 |9425k| 47 | 35 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
61.27/61.40 c 61.4s| 18700 | 71 |382551 | 20.5 |9457k| 47 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
61.58/61.69 c 61.7s| 18800 | 70 |384952 | 20.5 |9477k| 47 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
61.88/61.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.88/61.97 c 62.0s| 18900 | 70 |387115 | 20.5 |9499k| 47 | 40 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
62.17/62.26 c 62.3s| 19000 | 69 |389518 | 20.5 |9527k| 47 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
62.47/62.56 c 62.6s| 19100 | 62 |391879 | 20.5 |9547k| 47 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
62.77/62.86 c 62.9s| 19200 | 58 |393972 | 20.5 |9529k| 47 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
63.08/63.13 c 63.1s| 19300 | 58 |395920 | 20.5 |9511k| 47 | 30 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
63.37/63.44 c 63.4s| 19400 | 56 |398315 | 20.5 |9502k| 47 | 47 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
63.68/63.70 c 63.7s| 19500 | 55 |400270 | 20.5 |9452k| 47 | 36 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
63.97/64.02 c 64.0s| 19600 | 57 |402301 | 20.5 |9433k| 47 | 29 | 231 | 10k| 231 |2453 | 17 | 13k|2576 | 0.000000e+00 | -- | Inf
64.28/64.30 c 64.3s| 19700 | 53 |404333 | 20.5 |9420k| 47 | - | 231 | 10k| 231 |2453 | 17 | 13k|2581 | 0.000000e+00 | -- | Inf
64.58/64.66 c 64.7s| 19800 | 55 |406600 | 20.5 |9380k| 47 | - | 231 |9962 | 231 |2453 | 17 | 13k|2595 | 0.000000e+00 | -- | Inf
64.97/65.01 c 65.0s| 19900 | 56 |408668 | 20.5 |9385k| 47 | - | 231 |9937 | 231 |2453 | 17 | 14k|2611 | 0.000000e+00 | -- | Inf
65.18/65.29 c 65.3s| 20000 | 56 |410420 | 20.5 |9394k| 47 | - | 231 |9969 | 231 |2453 | 17 | 14k|2620 | 0.000000e+00 | -- | Inf
65.58/65.63 c 65.6s| 20100 | 60 |412500 | 20.5 |9416k| 47 | 36 | 231 | 10k| 231 |2453 | 17 | 14k|2635 | 0.000000e+00 | -- | Inf
65.88/65.97 c 66.0s| 20200 | 53 |414656 | 20.5 |9422k| 47 | - | 231 | 10k| 231 |2453 | 17 | 14k|2649 | 0.000000e+00 | -- | Inf
66.27/66.30 c 66.3s| 20300 | 51 |416820 | 20.5 |9383k| 47 | 24 | 231 |9994 | 231 |2453 | 17 | 14k|2659 | 0.000000e+00 | -- | Inf
66.58/66.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.58/66.64 c 66.6s| 20400 | 49 |418847 | 20.5 |9322k| 47 | 41 | 231 |9836 | 231 |2453 | 17 | 14k|2671 | 0.000000e+00 | -- | Inf
66.98/67.01 c 67.0s| 20500 | 49 |421162 | 20.5 |9281k| 47 | - | 231 |9698 | 231 |2453 | 17 | 14k|2687 | 0.000000e+00 | -- | Inf
67.27/67.35 c 67.4s| 20600 | 49 |423418 | 20.5 |9252k| 47 | - | 231 |9606 | 231 |2453 | 17 | 14k|2697 | 0.000000e+00 | -- | Inf
67.68/67.74 c 67.7s| 20700 | 47 |425844 | 20.6 |9214k| 47 | - | 231 |9515 | 231 |2453 | 17 | 14k|2716 | 0.000000e+00 | -- | Inf
67.97/68.07 c 68.1s| 20800 | 45 |427763 | 20.6 |9189k| 47 | 37 | 231 |9475 | 231 |2453 | 17 | 14k|2729 | 0.000000e+00 | -- | Inf
68.37/68.46 c 68.5s| 20900 | 47 |430167 | 20.6 |9110k| 47 | 35 | 231 |9277 | 231 |2453 | 17 | 14k|2745 | 0.000000e+00 | -- | Inf
68.67/68.78 c 68.8s| 21000 | 45 |432337 | 20.6 |9086k| 47 | 46 | 231 |9220 | 231 |2453 | 17 | 14k|2753 | 0.000000e+00 | -- | Inf
69.07/69.10 c 69.1s| 21100 | 45 |434421 | 20.6 |9072k| 47 | - | 231 |9157 | 231 |2453 | 17 | 14k|2763 | 0.000000e+00 | -- | Inf
69.28/69.39 c 69.4s| 21200 | 47 |436668 | 20.6 |9081k| 47 | - | 231 |9162 | 231 |2453 | 17 | 14k|2765 | 0.000000e+00 | -- | Inf
69.57/69.65 c 69.7s| 21300 | 51 |438661 | 20.6 |9109k| 47 | 32 | 231 |9214 | 231 |2453 | 17 | 15k|2767 | 0.000000e+00 | -- | Inf
69.87/69.90 c 69.9s| 21400 | 49 |440602 | 20.6 |9127k| 47 | 32 | 231 |9279 | 231 |2453 | 17 | 15k|2767 | 0.000000e+00 | -- | Inf
70.07/70.18 c 70.2s| 21500 | 47 |442866 | 20.6 |9144k| 47 | - | 231 |9330 | 231 |2453 | 17 | 15k|2767 | 0.000000e+00 | -- | Inf
70.38/70.45 c 70.5s| 21600 | 49 |444969 | 20.6 |9169k| 47 | - | 231 |9390 | 231 |2453 | 17 | 15k|2767 | 0.000000e+00 | -- | Inf
70.67/70.72 c 70.7s| 21700 | 49 |446903 | 20.6 |9191k| 47 | - | 231 |9443 | 231 |2453 | 17 | 15k|2770 | 0.000000e+00 | -- | Inf
70.97/71.02 c 71.0s| 21800 | 49 |449363 | 20.6 |9211k| 47 | 35 | 231 |9505 | 231 |2453 | 17 | 15k|2770 | 0.000000e+00 | -- | Inf
71.27/71.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.27/71.31 c 71.3s| 21900 | 51 |451719 | 20.6 |9247k| 47 | - | 231 |9581 | 231 |2453 | 17 | 15k|2770 | 0.000000e+00 | -- | Inf
71.57/71.60 c 71.6s| 22000 | 52 |454077 | 20.6 |9277k| 47 | - | 231 |9649 | 231 |2453 | 17 | 15k|2770 | 0.000000e+00 | -- | Inf
71.77/71.87 c 71.9s| 22100 | 51 |456198 | 20.6 |9297k| 47 | 37 | 231 |9719 | 231 |2453 | 17 | 15k|2770 | 0.000000e+00 | -- | Inf
72.07/72.18 c 72.2s| 22200 | 47 |458750 | 20.7 |9306k| 48 | - | 231 |9788 | 231 |2453 | 17 | 15k|2770 | 0.000000e+00 | -- | Inf
72.37/72.50 c 72.5s| 22300 | 47 |461195 | 20.7 |9278k| 48 | - | 231 |9725 | 231 |2453 | 17 | 15k|2770 | 0.000000e+00 | -- | Inf
72.67/72.75 c 72.8s| 22400 | 46 |463036 | 20.7 |9253k| 48 | 44 | 231 |9670 | 231 |2453 | 17 | 15k|2770 | 0.000000e+00 | -- | Inf
73.07/73.11 c 73.1s| 22500 | 49 |465396 | 20.7 |9254k| 48 | 49 | 231 |9657 | 231 |2453 | 17 | 15k|2784 | 0.000000e+00 | -- | Inf
73.37/73.48 c 73.5s| 22600 | 47 |467779 | 20.7 |9261k| 48 | 31 | 231 |9652 | 231 |2453 | 17 | 15k|2796 | 0.000000e+00 | -- | Inf
73.77/73.83 c 73.8s| 22700 | 47 |469792 | 20.7 |9262k| 48 | - | 231 |9641 | 231 |2453 | 17 | 16k|2814 | 0.000000e+00 | -- | Inf
74.08/74.11 c 74.1s| 22800 | 47 |471586 | 20.7 |9238k| 48 | - | 231 |9576 | 231 |2453 | 17 | 16k|2820 | 0.000000e+00 | -- | Inf
74.37/74.49 c 74.5s| 22900 | 52 |473847 | 20.7 |9251k| 48 | 31 | 231 |9575 | 231 |2453 | 17 | 16k|2838 | 0.000000e+00 | -- | Inf
74.67/74.80 c 74.8s| 23000 | 50 |475846 | 20.7 |9223k| 48 | 26 | 231 |9508 | 231 |2453 | 17 | 16k|2846 | 0.000000e+00 | -- | Inf
75.07/75.10 c 75.1s| 23100 | 49 |477727 | 20.7 |9188k| 48 | 26 | 231 |9444 | 231 |2453 | 17 | 16k|2857 | 0.000000e+00 | -- | Inf
75.37/75.47 c 75.5s| 23200 | 53 |480111 | 20.7 |9187k| 48 | 32 | 231 |9404 | 231 |2453 | 17 | 16k|2872 | 0.000000e+00 | -- | Inf
75.67/75.78 c 75.8s| 23300 | 53 |482146 | 20.7 |9202k| 48 | 42 | 231 |9445 | 231 |2453 | 17 | 16k|2885 | 0.000000e+00 | -- | Inf
76.08/76.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.08/76.15 c 76.2s| 23400 | 55 |484649 | 20.7 |9204k| 48 | - | 231 |9415 | 231 |2453 | 17 | 16k|2898 | 0.000000e+00 | -- | Inf
76.47/76.53 c 76.5s| 23500 | 57 |487186 | 20.7 |9231k| 48 | 24 | 231 |9482 | 231 |2453 | 17 | 16k|2912 | 0.000000e+00 | -- | Inf
76.78/76.88 c 76.9s| 23600 | 57 |489583 | 20.7 |9271k| 48 | 37 | 231 |9581 | 231 |2453 | 17 | 16k|2924 | 0.000000e+00 | -- | Inf
77.17/77.20 c 77.2s| 23700 | 57 |491656 | 20.7 |9302k| 48 | - | 231 |9636 | 231 |2453 | 17 | 16k|2939 | 0.000000e+00 | -- | Inf
77.47/77.50 c 77.5s| 23800 | 56 |493901 | 20.7 |9323k| 48 | - | 231 |9703 | 231 |2453 | 17 | 16k|2945 | 0.000000e+00 | -- | Inf
77.77/77.83 c 77.8s| 23900 | 63 |496513 | 20.8 |9363k| 48 | - | 231 |9751 | 231 |2453 | 17 | 16k|2950 | 0.000000e+00 | -- | Inf
78.08/78.16 c 78.2s| 24000 | 64 |499065 | 20.8 |9380k| 48 | - | 231 |9781 | 231 |2453 | 17 | 16k|2954 | 0.000000e+00 | -- | Inf
78.37/78.45 c 78.5s| 24100 | 66 |501359 | 20.8 |9402k| 48 | 26 | 231 |9832 | 231 |2453 | 17 | 17k|2957 | 0.000000e+00 | -- | Inf
78.67/78.77 c 78.8s| 24200 | 62 |503855 | 20.8 |9416k| 48 | - | 231 |9878 | 231 |2453 | 17 | 17k|2960 | 0.000000e+00 | -- | Inf
78.97/79.08 c 79.1s| 24300 | 60 |506224 | 20.8 |9438k| 48 | 35 | 231 |9939 | 231 |2453 | 17 | 17k|2963 | 0.000000e+00 | -- | Inf
79.27/79.34 c 79.3s| 24400 | 58 |508301 | 20.8 |9460k| 48 | - | 231 |9992 | 231 |2453 | 17 | 17k|2963 | 0.000000e+00 | -- | Inf
79.58/79.63 c 79.6s| 24500 | 58 |510738 | 20.8 |9499k| 48 | - | 231 | 10k| 231 |2453 | 17 | 17k|2963 | 0.000000e+00 | -- | Inf
79.77/79.88 c 79.9s| 24600 | 60 |512669 | 20.8 |9533k| 48 | 32 | 231 | 10k| 231 |2453 | 17 | 17k|2964 | 0.000000e+00 | -- | Inf
80.08/80.11 c 80.1s| 24700 | 58 |514420 | 20.8 |9565k| 55 | 26 | 231 | 10k| 231 |2453 | 17 | 17k|2966 | 0.000000e+00 | -- | Inf
80.28/80.36 c 80.4s| 24800 | 56 |516325 | 20.8 |9589k| 55 | - | 231 | 10k| 231 |2453 | 17 | 17k|2966 | 0.000000e+00 | -- | Inf
80.57/80.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.57/80.63 c 80.6s| 24900 | 59 |518395 | 20.8 |9598k| 55 | 35 | 231 | 10k| 231 |2453 | 17 | 17k|2968 | 0.000000e+00 | -- | Inf
80.87/80.90 c 80.9s| 25000 | 55 |520569 | 20.8 |9597k| 55 | - | 231 | 10k| 231 |2453 | 17 | 17k|2968 | 0.000000e+00 | -- | Inf
81.07/81.17 c 81.2s| 25100 | 53 |522636 | 20.8 |9606k| 55 | - | 231 | 10k| 231 |2453 | 17 | 17k|2969 | 0.000000e+00 | -- | Inf
81.38/81.42 c 81.4s| 25200 | 53 |524442 | 20.8 |9618k| 55 | - | 231 | 10k| 231 |2453 | 17 | 17k|2969 | 0.000000e+00 | -- | Inf
81.57/81.68 c 81.7s| 25300 | 53 |526395 | 20.8 |9616k| 55 | - | 231 | 10k| 231 |2453 | 17 | 17k|2969 | 0.000000e+00 | -- | Inf
81.87/81.94 c 81.9s| 25400 | 57 |528340 | 20.8 |9585k| 55 | 32 | 231 | 10k| 231 |2453 | 17 | 17k|2969 | 0.000000e+00 | -- | Inf
82.17/82.27 c 82.3s| 25500 | 56 |530581 | 20.8 |9594k| 55 | 34 | 231 | 10k| 231 |2453 | 17 | 17k|2978 | 0.000000e+00 | -- | Inf
82.48/82.59 c 82.6s| 25600 | 55 |532632 | 20.8 |9560k| 55 | - | 231 | 10k| 231 |2453 | 17 | 18k|2987 | 0.000000e+00 | -- | Inf
82.87/82.92 c 82.9s| 25700 | 57 |534710 | 20.8 |9577k| 55 | 21 | 231 | 10k| 231 |2453 | 17 | 18k|2999 | 0.000000e+00 | -- | Inf
83.17/83.24 c 83.2s| 25800 | 54 |536712 | 20.8 |9549k| 55 | - | 231 | 10k| 231 |2453 | 17 | 18k|3009 | 0.000000e+00 | -- | Inf
83.47/83.55 c 83.6s| 25900 | 54 |538760 | 20.8 |9503k| 55 | - | 231 | 10k| 231 |2453 | 17 | 18k|3018 | 0.000000e+00 | -- | Inf
83.77/83.88 c 83.9s| 26000 | 57 |540754 | 20.8 |9505k| 55 | 41 | 231 | 10k| 231 |2453 | 17 | 18k|3033 | 0.000000e+00 | -- | Inf
84.07/84.18 c 84.2s| 26100 | 57 |542683 | 20.8 |9486k| 55 | - | 231 | 10k| 231 |2453 | 17 | 18k|3042 | 0.000000e+00 | -- | Inf
84.47/84.50 c 84.5s| 26200 | 55 |544714 | 20.8 |9431k| 55 | - | 231 |9882 | 231 |2453 | 17 | 18k|3053 | 0.000000e+00 | -- | Inf
84.77/84.83 c 84.8s| 26300 | 53 |546747 | 20.8 |9350k| 55 | 46 | 231 |9687 | 231 |2453 | 17 | 18k|3067 | 0.000000e+00 | -- | Inf
85.07/85.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.07/85.14 c 85.1s| 26400 | 56 |548607 | 20.8 |9315k| 55 | 34 | 231 |9562 | 231 |2453 | 17 | 18k|3082 | 0.000000e+00 | -- | Inf
85.37/85.42 c 85.4s| 26500 | 54 |550557 | 20.8 |9308k| 55 | - | 231 |9545 | 231 |2453 | 17 | 18k|3088 | 0.000000e+00 | -- | Inf
85.68/85.73 c 85.7s| 26600 | 54 |552554 | 20.8 |9280k| 55 | - | 231 |9466 | 231 |2453 | 17 | 18k|3099 | 0.000000e+00 | -- | Inf
85.97/86.05 c 86.0s| 26700 | 57 |554445 | 20.8 |9213k| 55 | 35 | 231 |9267 | 231 |2453 | 17 | 18k|3112 | 0.000000e+00 | -- | Inf
86.27/86.36 c 86.4s| 26800 | 56 |556542 | 20.8 |9221k| 55 | - | 231 |9288 | 231 |2453 | 17 | 18k|3122 | 0.000000e+00 | -- | Inf
86.67/86.74 c 86.7s| 26900 | 51 |559010 | 20.8 |9177k| 55 | - | 231 |9231 | 231 |2453 | 17 | 18k|3137 | 0.000000e+00 | -- | Inf
86.97/87.06 c 87.1s| 27000 | 49 |560947 | 20.8 |9115k| 55 | - | 231 |9077 | 231 |2453 | 17 | 18k|3151 | 0.000000e+00 | -- | Inf
87.37/87.43 c 87.4s| 27100 | 49 |563343 | 20.8 |9102k| 55 | - | 231 |9044 | 231 |2453 | 17 | 18k|3166 | 0.000000e+00 | -- | Inf
87.57/87.69 c 87.7s| 27200 | 51 |565114 | 20.8 |9111k| 55 | 35 | 231 |9082 | 231 |2453 | 17 | 19k|3176 | 0.000000e+00 | -- | Inf
87.88/87.99 c 88.0s| 27300 | 51 |567152 | 20.8 |9126k| 55 | 38 | 231 |9112 | 231 |2453 | 17 | 19k|3185 | 0.000000e+00 | -- | Inf
88.17/88.28 c 88.3s| 27400 | 52 |569005 | 20.8 |9126k| 55 | 27 | 231 |9102 | 231 |2453 | 17 | 19k|3197 | 0.000000e+00 | -- | Inf
88.47/88.57 c 88.6s| 27500 | 48 |571103 | 20.8 |9134k| 55 | - | 231 |9140 | 231 |2453 | 17 | 19k|3202 | 0.000000e+00 | -- | Inf
88.77/88.88 c 88.9s| 27600 | 48 |573400 | 20.8 |9163k| 55 | - | 231 |9204 | 0 | 0 | 17 | 19k|3210 | 0.000000e+00 | -- | Inf
89.07/89.15 c 89.2s| 27700 | 49 |575509 | 20.8 |9163k| 55 | - | 231 |9206 | 231 |2453 | 17 | 19k|3214 | 0.000000e+00 | -- | Inf
89.37/89.43 c 89.4s| 27800 | 49 |577571 | 20.8 |9162k| 55 | 41 | 231 |9214 | 231 |2453 | 17 | 19k|3216 | 0.000000e+00 | -- | Inf
89.57/89.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.57/89.69 c 89.7s| 27900 | 50 |579639 | 20.8 |9177k| 55 | - | 231 |9228 | 231 |2453 | 17 | 19k|3216 | 0.000000e+00 | -- | Inf
89.87/89.98 c 90.0s| 28000 | 47 |581895 | 20.8 |9157k| 55 | - | 231 |9178 | 231 |2453 | 17 | 19k|3216 | 0.000000e+00 | -- | Inf
90.18/90.29 c 90.3s| 28100 | 47 |584219 | 20.8 |9088k| 55 | 43 | 231 |9034 | 231 |2453 | 17 | 19k|3218 | 0.000000e+00 | -- | Inf
90.47/90.58 c 90.6s| 28200 | 43 |586379 | 20.8 |9067k| 55 | - | 231 |9000 | 231 |2453 | 17 | 19k|3218 | 0.000000e+00 | -- | Inf
90.77/90.85 c 90.8s| 28300 | 43 |588489 | 20.8 |9074k| 55 | - | 231 |9006 | 231 |2453 | 17 | 19k|3218 | 0.000000e+00 | -- | Inf
91.07/91.11 c 91.1s| 28400 | 43 |590543 | 20.8 |9055k| 55 | 37 | 231 |8968 | 231 |2453 | 17 | 19k|3218 | 0.000000e+00 | -- | Inf
91.28/91.39 c 91.4s| 28500 | 45 |592688 | 20.8 |9045k| 55 | 37 | 231 |8928 | 231 |2453 | 17 | 19k|3218 | 0.000000e+00 | -- | Inf
91.57/91.65 c 91.6s| 28600 | 45 |594745 | 20.8 |9047k| 55 | 36 | 231 |8933 | 231 |2453 | 17 | 19k|3218 | 0.000000e+00 | -- | Inf
91.87/91.90 c 91.9s| 28700 | 44 |596612 | 20.8 |9055k| 55 | 34 | 231 |8966 | 231 |2453 | 17 | 19k|3218 | 0.000000e+00 | -- | Inf
92.07/92.16 c 92.2s| 28800 | 41 |598685 | 20.8 |9073k| 55 | - | 231 |9023 | 231 |2453 | 17 | 20k|3218 | 0.000000e+00 | -- | Inf
92.37/92.41 c 92.4s| 28900 | 43 |600555 | 20.8 |9101k| 55 | - | 231 |9086 | 231 |2453 | 17 | 20k|3218 | 0.000000e+00 | -- | Inf
92.57/92.68 c 92.7s| 29000 | 45 |602691 | 20.8 |9126k| 55 | 22 | 231 |9152 | 231 |2453 | 17 | 20k|3218 | 0.000000e+00 | -- | Inf
92.87/92.96 c 93.0s| 29100 | 41 |604751 | 20.8 |9143k| 55 | - | 231 |9218 | 231 |2453 | 17 | 20k|3218 | 0.000000e+00 | -- | Inf
93.27/93.30 c 93.3s| 29200 | 39 |607249 | 20.8 |9130k| 55 | 38 | 231 |9216 | 231 |2453 | 17 | 20k|3226 | 0.000000e+00 | -- | Inf
93.57/93.64 c 93.6s| 29300 | 35 |609288 | 20.8 |9118k| 55 | 45 | 231 |9215 | 231 |2453 | 17 | 20k|3242 | 0.000000e+00 | -- | Inf
93.87/93.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.87/93.98 c 94.0s| 29400 | 35 |611344 | 20.8 |9102k| 55 | - | 231 |9150 | 0 | 0 | 17 | 20k|3257 | 0.000000e+00 | -- | Inf
94.27/94.34 c 94.3s| 29500 | 33 |613878 | 20.8 |9095k| 55 | - | 231 |9141 | 231 |2453 | 17 | 20k|3266 | 0.000000e+00 | -- | Inf
94.58/94.69 c 94.7s| 29600 | 33 |616263 | 20.8 |9098k| 55 | 46 | 231 |9159 | 231 |2453 | 17 | 20k|3276 | 0.000000e+00 | -- | Inf
94.87/94.98 c 95.0s| 29700 | 37 |618263 | 20.8 |9129k| 55 | 34 | 231 |9217 | 231 |2453 | 17 | 20k|3285 | 0.000000e+00 | -- | Inf
95.27/95.36 c 95.4s| 29800 | 33 |620723 | 20.8 |9140k| 55 | 48 | 231 |9275 | 231 |2453 | 17 | 20k|3302 | 0.000000e+00 | -- | Inf
95.58/95.68 c 95.7s| 29900 | 32 |622913 | 20.8 |9138k| 55 | 49 | 231 |9297 | 231 |2453 | 17 | 20k|3311 | 0.000000e+00 | -- | Inf
95.97/96.03 c 96.0s| 30000 | 31 |625108 | 20.8 |9148k| 55 | - | 231 |9323 | 231 |2453 | 17 | 20k|3325 | 0.000000e+00 | -- | Inf
96.27/96.34 c 96.3s| 30100 | 29 |627003 | 20.8 |9134k| 55 | - | 231 |9319 | 231 |2453 | 17 | 20k|3336 | 0.000000e+00 | -- | Inf
96.57/96.63 c 96.6s| 30200 | 32 |628943 | 20.8 |9118k| 55 | 36 | 231 |9253 | 231 |2453 | 17 | 21k|3344 | 0.000000e+00 | -- | Inf
96.87/96.99 c 97.0s| 30300 | 32 |631360 | 20.8 |9100k| 55 | 25 | 231 |9205 | 231 |2453 | 17 | 21k|3357 | 0.000000e+00 | -- | Inf
97.27/97.36 c 97.4s| 30400 | 31 |633621 | 20.8 |9114k| 55 | - | 231 |9225 | 231 |2453 | 17 | 21k|3374 | 0.000000e+00 | -- | Inf
97.57/97.69 c 97.7s| 30500 | 31 |635905 | 20.8 |9123k| 55 | - | 231 |9248 | 231 |2453 | 17 | 21k|3382 | 0.000000e+00 | -- | Inf
97.87/97.99 c 98.0s| 30600 | 31 |637786 | 20.8 |9151k| 55 | - | 231 |9325 | 231 |2453 | 17 | 21k|3393 | 0.000000e+00 | -- | Inf
98.17/98.28 c 98.3s| 30700 | 33 |639784 | 20.8 |9181k| 55 | - | 231 |9403 | 231 |2453 | 17 | 21k|3402 | 0.000000e+00 | -- | Inf
98.57/98.64 c 98.6s| 30800 | 33 |642329 | 20.9 |9202k| 55 | - | 231 |9471 | 231 |2453 | 17 | 21k|3411 | 0.000000e+00 | -- | Inf
98.88/98.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.88/98.99 c 99.0s| 30900 | 31 |644948 | 20.9 |9218k| 55 | 34 | 231 |9543 | 231 |2453 | 17 | 21k|3417 | 0.000000e+00 | -- | Inf
99.27/99.34 c 99.3s| 31000 | 29 |647787 | 20.9 |9242k| 55 | - | 231 |9617 | 231 |2453 | 17 | 21k|3422 | 0.000000e+00 | -- | Inf
99.66/99.73 c 99.7s| 31100 | 29 |650823 | 20.9 |9272k| 55 | - | 231 |9702 | 231 |2453 | 17 | 21k|3428 | 0.000000e+00 | -- | Inf
99.98/100.01 c 100s| 31200 | 27 |652604 | 20.9 |9280k| 55 | - | 231 |9735 | 231 |2453 | 17 | 21k|3440 | 0.000000e+00 | -- | Inf
100.17/100.27 c 100s| 31300 | 29 |654500 | 20.9 |9297k| 55 | 35 | 231 |9787 | 231 |2453 | 17 | 21k|3445 | 0.000000e+00 | -- | Inf
100.46/100.51 c 101s| 31400 | 26 |656403 | 20.9 |9296k| 55 | 39 | 231 |9803 | 231 |2453 | 17 | 22k|3445 | 0.000000e+00 | -- | Inf
100.67/100.77 c 101s| 31500 | 27 |658263 | 20.9 |9308k| 55 | 33 | 231 |9837 | 231 |2453 | 17 | 22k|3447 | 0.000000e+00 | -- | Inf
100.87/100.99 c 101s| 31600 | 28 |659942 | 20.9 |9331k| 55 | 35 | 231 |9890 | 231 |2453 | 17 | 22k|3447 | 0.000000e+00 | -- | Inf
101.17/101.24 c 101s| 31700 | 28 |661853 | 20.9 |9347k| 55 | 26 | 231 |9942 | 231 |2453 | 17 | 22k|3448 | 0.000000e+00 | -- | Inf
101.37/101.49 c 101s| 31800 | 28 |663687 | 20.9 |9358k| 55 | - | 231 |9964 | 231 |2453 | 17 | 22k|3448 | 0.000000e+00 | -- | Inf
101.67/101.75 c 102s| 31900 | 26 |665659 | 20.9 |9356k| 55 | - | 231 | 10k| 231 |2453 | 17 | 22k|3449 | 0.000000e+00 | -- | Inf
101.97/102.00 c 102s| 32000 | 27 |667452 | 20.9 |9355k| 55 | - | 231 | 10k| 231 |2453 | 17 | 22k|3451 | 0.000000e+00 | -- | Inf
102.17/102.25 c 102s| 32100 | 28 |669268 | 20.8 |9368k| 55 | 32 | 231 | 10k| 231 |2453 | 17 | 22k|3454 | 0.000000e+00 | -- | Inf
102.37/102.47 c 102s| 32200 | 26 |670920 | 20.8 |9373k| 55 | - | 231 | 10k| 231 |2453 | 17 | 22k|3456 | 0.000000e+00 | -- | Inf
102.67/102.76 c 103s| 32300 | 32 |673181 | 20.8 |9384k| 55 | 31 | 231 | 10k| 231 |2453 | 17 | 22k|3457 | 0.000000e+00 | -- | Inf
102.96/103.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.96/103.00 c 103s| 32400 | 33 |675037 | 20.8 |9388k| 55 | 45 | 231 | 10k| 231 |2453 | 17 | 22k|3457 | 0.000000e+00 | -- | Inf
103.16/103.27 c 103s| 32500 | 31 |677262 | 20.8 |9386k| 55 | 46 | 231 | 10k| 231 |2453 | 17 | 22k|3457 | 0.000000e+00 | -- | Inf
103.47/103.50 c 104s| 32600 | 35 |679143 | 20.8 |9409k| 55 | - | 231 | 10k| 0 | 0 | 17 | 22k|3457 | 0.000000e+00 | -- | Inf
103.67/103.75 c 104s| 32700 | 37 |681050 | 20.8 |9413k| 55 | - | 231 | 10k| 231 |2453 | 17 | 22k|3457 | 0.000000e+00 | -- | Inf
103.86/103.97 c 104s| 32800 | 38 |682825 | 20.8 |9425k| 55 | - | 231 | 10k| 231 |2453 | 17 | 22k|3457 | 0.000000e+00 | -- | Inf
104.06/104.19 c 104s| 32900 | 40 |684503 | 20.8 |9440k| 55 | - | 231 | 10k| 231 |2453 | 17 | 23k|3457 | 0.000000e+00 | -- | Inf
104.26/104.39 c 104s| 33000 | 39 |685979 | 20.8 |9452k| 55 | - | 231 | 10k| 231 |2453 | 17 | 23k|3457 | 0.000000e+00 | -- | Inf
104.57/104.68 c 105s| 33100 | 41 |687661 | 20.8 |9457k| 55 | - | 231 | 10k| 231 |2453 | 17 | 23k|3471 | 0.000000e+00 | -- | Inf
104.97/105.00 c 105s| 33200 | 41 |690056 | 20.8 |9469k| 55 | - | 231 | 10k| 231 |2453 | 17 | 23k|3480 | 0.000000e+00 | -- | Inf
105.26/105.33 c 105s| 33300 | 41 |692379 | 20.8 |9477k| 55 | 44 | 231 | 10k| 231 |2453 | 17 | 23k|3490 | 0.000000e+00 | -- | Inf
105.57/105.67 c 106s| 33400 | 38 |694710 | 20.8 |9473k| 55 | - | 231 | 10k| 231 |2453 | 17 | 23k|3501 | 0.000000e+00 | -- | Inf
105.87/105.94 c 106s| 33500 | 37 |696565 | 20.8 |9477k| 55 | - | 231 | 10k| 231 |2453 | 17 | 23k|3508 | 0.000000e+00 | -- | Inf
106.17/106.22 c 106s| 33600 | 33 |698536 | 20.8 |9468k| 55 | - | 231 | 10k| 231 |2453 | 17 | 23k|3515 | 0.000000e+00 | -- | Inf
106.46/106.53 c 107s| 33700 | 33 |700540 | 20.8 |9459k| 55 | 32 | 231 | 10k| 231 |2453 | 17 | 23k|3527 | 0.000000e+00 | -- | Inf
106.77/106.84 c 107s| 33800 | 31 |702518 | 20.8 |9458k| 55 | 45 | 231 | 10k| 231 |2453 | 17 | 23k|3540 | 0.000000e+00 | -- | Inf
107.07/107.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.07/107.12 c 107s| 33900 | 33 |704491 | 20.8 |9468k| 55 | 51 | 231 | 10k| 231 |2453 | 17 | 23k|3546 | 0.000000e+00 | -- | Inf
107.37/107.40 c 107s| 34000 | 33 |706465 | 20.8 |9481k| 58 | - | 231 | 10k| 231 |2453 | 17 | 23k|3553 | 0.000000e+00 | -- | Inf
107.56/107.68 c 108s| 34100 | 32 |708285 | 20.8 |9477k| 58 | - | 231 | 10k| 231 |2453 | 17 | 23k|3563 | 0.000000e+00 | -- | Inf
107.87/107.98 c 108s| 34200 | 31 |710333 | 20.8 |9476k| 58 | - | 231 | 10k| 231 |2453 | 17 | 23k|3578 | 0.000000e+00 | -- | Inf
108.26/108.32 c 108s| 34300 | 31 |712665 | 20.8 |9485k| 58 | 37 | 231 | 10k| 231 |2453 | 17 | 23k|3587 | 0.000000e+00 | -- | Inf
108.57/108.65 c 109s| 34400 | 29 |714970 | 20.8 |9483k| 58 | 32 | 231 | 10k| 231 |2453 | 17 | 23k|3598 | 0.000000e+00 | -- | Inf
108.87/108.94 c 109s| 34500 | 29 |716951 | 20.8 |9500k| 58 | 20 | 231 | 10k| 231 |2453 | 17 | 23k|3611 | 0.000000e+00 | -- | Inf
109.17/109.23 c 109s| 34600 | 27 |718883 | 20.8 |9501k| 58 | 42 | 231 | 10k| 231 |2453 | 17 | 23k|3623 | 0.000000e+00 | -- | Inf
109.47/109.55 c 110s| 34700 | 26 |721016 | 20.8 |9502k| 58 | - | 231 | 10k| 231 |2453 | 17 | 23k|3634 | 0.000000e+00 | -- | Inf
109.76/109.85 c 110s| 34800 | 26 |723072 | 20.8 |9500k| 58 | 38 | 231 | 10k| 231 |2453 | 17 | 24k|3643 | 0.000000e+00 | -- | Inf
110.07/110.17 c 110s| 34900 | 24 |724998 | 20.8 |9492k| 58 | - | 231 | 10k| 231 |2453 | 17 | 24k|3656 | 0.000000e+00 | -- | Inf
110.37/110.43 c 110s| 35000 | 24 |726781 | 20.8 |9494k| 58 | 39 | 231 | 10k| 231 |2453 | 17 | 24k|3661 | 0.000000e+00 | -- | Inf
110.67/110.70 c 111s| 35100 | 23 |728694 | 20.8 |9495k| 58 | 27 | 231 | 10k| 231 |2453 | 17 | 24k|3668 | 0.000000e+00 | -- | Inf
110.87/110.99 c 111s| 35200 | 27 |730692 | 20.8 |9519k| 58 | 24 | 231 | 10k| 231 |2453 | 17 | 24k|3675 | 0.000000e+00 | -- | Inf
111.16/111.21 c 111s| 35300 | 26 |732334 | 20.7 |9545k| 58 | 28 | 231 | 10k| 231 |2453 | 17 | 24k|3676 | 0.000000e+00 | -- | Inf
111.36/111.41 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.41 c 111s| 35400 | 24 |733735 | 20.7 |9558k| 58 | 32 | 231 | 10k| 231 |2453 | 17 | 24k|3678 | 0.000000e+00 | -- | Inf
111.67/111.72 c 112s| 35500 | 24 |736088 | 20.7 |9568k| 58 | 42 | 231 | 10k| 231 |2453 | 17 | 24k|3682 | 0.000000e+00 | -- | Inf
111.96/112.01 c 112s| 35600 | 22 |738151 | 20.7 |9566k| 58 | - | 231 | 10k| 231 |2453 | 17 | 24k|3686 | 0.000000e+00 | -- | Inf
112.18/112.27 c 112s| 35700 | 21 |739972 | 20.7 |9554k| 58 | - | 231 | 10k| 231 |2453 | 17 | 24k|3688 | 0.000000e+00 | -- | Inf
112.47/112.54 c 113s| 35800 | 19 |741802 | 20.7 |9537k| 58 | - | 231 | 10k| 231 |2453 | 17 | 24k|3692 | 0.000000e+00 | -- | Inf
112.77/112.81 c 113s| 35900 | 21 |743722 | 20.7 |9512k| 58 | 35 | 231 | 10k| 231 |2453 | 17 | 24k|3693 | 0.000000e+00 | -- | Inf
112.97/113.09 c 113s| 36000 | 19 |745698 | 20.7 |9506k| 58 | - | 231 | 10k| 231 |2453 | 17 | 24k|3694 | 0.000000e+00 | -- | Inf
113.27/113.35 c 113s| 36100 | 19 |747649 | 20.7 |9503k| 58 | 31 | 231 | 10k| 231 |2453 | 17 | 24k|3694 | 0.000000e+00 | -- | Inf
113.56/113.60 c 114s| 36200 | 16 |749519 | 20.7 |9465k| 58 | 36 | 231 | 10k| 231 |2453 | 17 | 25k|3694 | 0.000000e+00 | -- | Inf
113.76/113.87 c 114s| 36300 | 18 |751557 | 20.7 |9464k| 58 | 24 | 231 | 10k| 231 |2453 | 17 | 25k|3694 | 0.000000e+00 | -- | Inf
114.06/114.11 c 114s| 36400 | 16 |753337 | 20.7 |9451k| 58 | - | 231 | 10k| 231 |2453 | 17 | 25k|3695 | 0.000000e+00 | -- | Inf
114.27/114.37 c 114s| 36500 | 17 |755304 | 20.7 |9448k| 58 | 35 | 231 | 10k| 231 |2453 | 17 | 25k|3695 | 0.000000e+00 | -- | Inf
114.57/114.64 c 115s| 36600 | 16 |757333 | 20.7 |9467k| 58 | - | 231 | 10k| 231 |2453 | 17 | 25k|3696 | 0.000000e+00 | -- | Inf
114.86/114.94 c 115s| 36700 | 15 |759625 | 20.7 |9473k| 58 | - | 231 | 10k| 231 |2453 | 17 | 25k|3697 | 0.000000e+00 | -- | Inf
115.16/115.22 c 115s| 36800 | 15 |761840 | 20.7 |9474k| 58 | - | 231 | 10k| 231 |2453 | 17 | 25k|3697 | 0.000000e+00 | -- | Inf
115.47/115.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.47/115.51 c 116s| 36900 | 14 |764026 | 20.7 |9477k| 58 | 47 | 231 | 10k| 231 |2453 | 17 | 25k|3697 | 0.000000e+00 | -- | Inf
115.77/115.81 c 116s| 37000 | 14 |766412 | 20.7 |9477k| 58 | 38 | 231 | 10k| 231 |2453 | 17 | 25k|3698 | 0.000000e+00 | -- | Inf
116.07/116.11 c 116s| 37100 | 16 |768890 | 20.7 |9495k| 58 | - | 231 | 10k| 231 |2453 | 17 | 25k|3698 | 0.000000e+00 | -- | Inf
116.37/116.43 c 116s| 37200 | 14 |771507 | 20.7 |9498k| 58 | - | 231 | 10k| 231 |2453 | 17 | 25k|3698 | 0.000000e+00 | -- | Inf
116.67/116.80 c 117s| 37300 | 12 |774106 | 20.8 |9496k| 58 | - | 231 | 10k| 231 |2453 | 17 | 25k|3708 | 0.000000e+00 | -- | Inf
117.07/117.17 c 117s| 37400 | 12 |776695 | 20.8 |9512k| 58 | - | 231 | 10k| 231 |2453 | 17 | 25k|3718 | 0.000000e+00 | -- | Inf
117.46/117.51 c 118s| 37500 | 11 |778972 | 20.8 |9502k| 58 | 41 | 231 | 10k| 231 |2453 | 17 | 26k|3729 | 0.000000e+00 | -- | Inf
117.77/117.83 c 118s| 37600 | 11 |781013 | 20.8 |9454k| 58 | 37 | 231 | 10k| 231 |2453 | 17 | 26k|3739 | 0.000000e+00 | -- | Inf
118.06/118.15 c 118s| 37700 | 8 |783109 | 20.8 |9441k| 58 | - | 231 | 10k| 231 |2453 | 17 | 26k|3749 | 0.000000e+00 | -- | Inf
118.36/118.44 c 118s| 37800 | 10 |785128 | 20.8 |9463k| 58 | 49 | 231 | 10k| 231 |2453 | 17 | 26k|3757 | 0.000000e+00 | -- | Inf
118.67/118.79 c 119s| 37900 | 7 |787442 | 20.8 |9462k| 58 | - | 231 | 10k| 231 |2453 | 17 | 26k|3767 | 0.000000e+00 | -- | Inf
119.07/119.11 c 119s| 38000 | 8 |789507 | 20.8 |9468k| 58 | 47 | 231 | 10k| 231 |2453 | 17 | 26k|3777 | 0.000000e+00 | -- | Inf
119.36/119.46 c 119s| 38100 | 6 |791765 | 20.8 |9475k| 58 | - | 231 | 10k| 231 |2453 | 17 | 26k|3791 | 0.000000e+00 | -- | Inf
119.67/119.76 c 120s| 38200 | 8 |793825 | 20.8 |9505k| 58 | 35 | 231 | 10k| 231 |2453 | 17 | 26k|3798 | 0.000000e+00 | -- | Inf
120.07/120.10 c 120s| 38300 | 6 |795980 | 20.8 |9519k| 58 | - | 231 | 10k| 231 |2453 | 17 | 26k|3814 | 0.000000e+00 | -- | Inf
120.27/120.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.27/120.37 c 120s| 38400 | 4 |797965 | 20.8 |9534k| 58 | - | 231 | 10k| 231 |2453 | 17 | 26k|3818 | 0.000000e+00 | -- | Inf
120.57/120.68 c 121s| 38500 | 4 |799918 | 20.8 |9530k| 58 | 41 | 231 | 10k| 231 |2453 | 17 | 26k|3828 | 0.000000e+00 | -- | Inf
120.88/120.98 c 121s| 38600 | 6 |801953 | 20.8 |9558k| 58 | - | 231 | 10k| 231 |2453 | 17 | 26k|3837 | 0.000000e+00 | -- | Inf
121.17/121.24 c 121s| 38700 | 4 |803600 | 20.8 |9583k| 58 | - | 231 | 10k| 231 |2453 | 17 | 27k|3846 | 0.000000e+00 | -- | Inf
121.46/121.55 c 122s| 38800 | 4 |805744 | 20.8 |9596k| 58 | - | 231 | 10k| 231 |2453 | 17 | 27k|3857 | 0.000000e+00 | -- | Inf
121.77/121.83 c 122s| 38900 | 8 |807436 | 20.8 |9621k| 58 | - | 231 | 10k| 231 |2453 | 17 | 27k|3866 | 0.000000e+00 | -- | Inf
122.07/122.12 c 122s| 39000 | 8 |809309 | 20.7 |9647k| 58 | - | 231 | 11k| 0 | 0 | 17 | 27k|3876 | 0.000000e+00 | -- | Inf
122.37/122.45 c 122s| 39100 | 4 |811510 | 20.8 |9653k| 58 | - | 231 | 11k| 231 |2453 | 17 | 27k|3887 | 0.000000e+00 | -- | Inf
122.67/122.78 c 123s| 39200 | 6 |813739 | 20.8 |9679k| 58 | 47 | 231 | 11k| 231 |2453 | 17 | 27k|3898 | 0.000000e+00 | -- | Inf
122.96/123.08 c 123s| 39300 | 8 |815824 | 20.8 |9713k| 58 | - | 231 | 11k| 231 |2453 | 17 | 27k|3907 | 0.000000e+00 | -- | Inf
123.27/123.39 c 123s| 39400 | 10 |818074 | 20.8 |9739k| 58 | 55 | 231 | 11k| 231 |2453 | 17 | 27k|3911 | 0.000000e+00 | -- | Inf
123.67/123.73 c 124s| 39500 | 6 |820617 | 20.8 |9754k| 58 | 25 | 231 | 11k| 231 |2453 | 17 | 27k|3915 | 0.000000e+00 | -- | Inf
123.87/123.90 c
123.87/123.90 c SCIP Status : problem is solved [infeasible]
123.87/123.90 c Solving Time (sec) : 123.90
123.87/123.90 c Solving Nodes : 39548
123.87/123.90 c Primal Bound : +1.00000000000000e+20 (0 solutions)
123.87/123.90 c Dual Bound : +1.00000000000000e+20
123.87/123.90 c Gap : 0.00 %
123.87/123.90 s UNSATISFIABLE
123.87/123.90 c SCIP Status : problem is solved [infeasible]
123.87/123.90 c Total Time : 123.90
123.87/123.90 c solving : 123.90
123.87/123.90 c presolving : 0.07 (included in solving)
123.87/123.90 c reading : 0.01 (included in solving)
123.87/123.90 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
123.87/123.90 c Original Problem :
123.87/123.90 c Problem name : HOME/instance-3690428-1338016933.opb
123.87/123.90 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
123.87/123.90 c Constraints : 2707 initial, 2707 maximal
123.87/123.90 c Objective sense : minimize
123.87/123.90 c Presolved Problem :
123.87/123.90 c Problem name : t_HOME/instance-3690428-1338016933.opb
123.87/123.90 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
123.87/123.90 c Constraints : 2443 initial, 11359 maximal
123.87/123.90 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
123.87/123.90 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
123.87/123.90 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
123.87/123.90 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
123.87/123.90 c root node : - - 2 - - 2 - - - - -
123.87/123.90 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
123.87/123.90 c integral : 0 0 0 0 20710 0 1 0 87 1491 0 0 39762
123.87/123.90 c knapsack : 1 1 5 159811 0 0 0 11016 165 65493 0 0 0
123.87/123.90 c setppc : 22 22 5 159770 0 0 0 394543 749 221190 0 0 0
123.87/123.90 c linear : 0+ 268 5 131022 0 0 0 539 1 6704 0 0 0
123.87/123.90 c logicor : 2420+ 11330 5 72942 0 0 0 149805 237 228637 0 0 0
123.87/123.90 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
123.87/123.90 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
123.87/123.90 c integral : 17.57 0.00 0.00 0.00 17.57 0.00 0.00 0.00
123.87/123.90 c knapsack : 0.28 0.00 0.00 0.26 0.00 0.00 0.00 0.02
123.87/123.90 c setppc : 1.04 0.00 0.00 0.68 0.00 0.00 0.00 0.37
123.87/123.90 c linear : 0.33 0.00 0.00 0.33 0.00 0.00 0.00 0.00
123.87/123.90 c logicor : 3.08 0.00 0.00 2.85 0.00 0.00 0.00 0.23
123.87/123.90 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
123.87/123.90 c Propagators : #Propagate #ResProp Cutoffs DomReds
123.87/123.90 c rootredcost : 0 0 0 0
123.87/123.90 c pseudoobj : 0 0 0 0
123.87/123.90 c vbounds : 0 0 0 0
123.87/123.90 c redcost : 20715 0 0 0
123.87/123.90 c probing : 0 0 0 0
123.87/123.90 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
123.87/123.90 c rootredcost : 0.13 0.00 0.00 0.13 0.00
123.87/123.90 c pseudoobj : 0.15 0.00 0.00 0.15 0.00
123.87/123.90 c vbounds : 0.13 0.00 0.00 0.13 0.00
123.87/123.90 c redcost : 0.16 0.00 0.00 0.16 0.00
123.87/123.90 c probing : 0.00 0.00 0.00 0.00 0.00
123.87/123.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
123.87/123.90 c propagation : 0.09 1152 1145 5738 21.3 14 17.4 -
123.87/123.90 c infeasible LP : 2.40 18642 18484 107583 30.5 54 22.1 0
123.87/123.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
123.87/123.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
123.87/123.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
123.87/123.90 c applied globally : - - - 26023 18.7 - - -
123.87/123.90 c applied locally : - - - 1574 34.8 - - -
123.87/123.90 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
123.87/123.90 c cut pool : 0.00 4 - - 309 - (maximal pool size: 516)
123.87/123.90 c closecuts : 0.00 0.00 0 0 0 0 0
123.87/123.90 c impliedbounds : 0.00 0.00 5 0 0 0 0
123.87/123.90 c intobj : 0.00 0.00 0 0 0 0 0
123.87/123.90 c gomory : 0.10 0.00 5 0 0 200 0
123.87/123.90 c cgmip : 0.00 0.00 0 0 0 0 0
123.87/123.90 c strongcg : 0.19 0.00 5 0 0 2500 0
123.87/123.90 c cmir : 0.00 0.00 0 0 0 0 0
123.87/123.90 c flowcover : 0.00 0.00 0 0 0 0 0
123.87/123.90 c clique : 0.00 0.00 5 0 0 0 0
123.87/123.90 c zerohalf : 0.00 0.00 0 0 0 0 0
123.87/123.90 c mcf : 0.00 0.00 1 0 0 0 0
123.87/123.90 c oddcycle : 0.00 0.00 0 0 0 0 0
123.87/123.90 c rapidlearning : 0.15 0.00 1 0 0 0 268
123.87/123.90 c Pricers : ExecTime SetupTime Calls Vars
123.87/123.90 c problem variables: 0.00 - 0 0
123.87/123.90 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
123.87/123.90 c relpscost : 17.51 0.00 20710 87 1491 0 0 39762
123.87/123.90 c pscost : 0.00 0.00 0 0 0 0 0 0
123.87/123.90 c inference : 0.00 0.00 0 0 0 0 0 0
123.87/123.90 c mostinf : 0.00 0.00 0 0 0 0 0 0
123.87/123.90 c leastinf : 0.00 0.00 0 0 0 0 0 0
123.87/123.90 c fullstrong : 0.00 0.00 0 0 0 0 0 0
123.87/123.90 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
123.87/123.90 c random : 0.00 0.00 0 0 0 0 0 0
123.87/123.90 c Primal Heuristics : ExecTime SetupTime Calls Found
123.87/123.90 c LP solutions : 0.00 - - 0
123.87/123.90 c pseudo solutions : 0.00 - - 0
123.87/123.90 c smallcard : 0.00 0.00 0 0
123.87/123.90 c trivial : 0.00 0.00 1 0
123.87/123.90 c shiftandpropagate: 0.00 0.00 0 0
123.87/123.90 c simplerounding : 0.00 0.00 0 0
123.87/123.90 c zirounding : 0.00 0.00 0 0
123.87/123.90 c rounding : 0.00 0.00 0 0
123.87/123.90 c shifting : 0.00 0.00 0 0
123.87/123.90 c intshifting : 0.00 0.00 0 0
123.87/123.90 c oneopt : 0.00 0.00 0 0
123.87/123.90 c twoopt : 0.00 0.00 0 0
123.87/123.90 c indtwoopt : 0.00 0.00 0 0
123.87/123.90 c indoneopt : 0.00 0.00 0 0
123.87/123.90 c fixandinfer : 0.00 0.00 0 0
123.87/123.90 c feaspump : 0.00 0.00 0 0
123.87/123.90 c clique : 0.00 0.00 0 0
123.87/123.90 c indrounding : 0.00 0.00 0 0
123.87/123.90 c indcoefdiving : 0.00 0.00 0 0
123.87/123.90 c coefdiving : 0.00 0.00 0 0
123.87/123.90 c pscostdiving : 0.00 0.00 0 0
123.87/123.90 c nlpdiving : 0.00 0.00 0 0
123.87/123.90 c fracdiving : 0.00 0.00 0 0
123.87/123.90 c veclendiving : 0.00 0.00 0 0
123.87/123.90 c intdiving : 0.00 0.00 0 0
123.87/123.90 c actconsdiving : 0.00 0.00 0 0
123.87/123.90 c objpscostdiving : 0.00 0.00 0 0
123.87/123.90 c rootsoldiving : 0.00 0.00 0 0
123.87/123.90 c linesearchdiving : 0.00 0.00 0 0
123.87/123.90 c guideddiving : 0.00 0.00 0 0
123.87/123.90 c octane : 0.00 0.00 0 0
123.87/123.90 c rens : 0.00 0.00 0 0
123.87/123.90 c rins : 0.00 0.00 0 0
123.87/123.90 c localbranching : 0.00 0.00 0 0
123.87/123.90 c mutation : 0.00 0.00 0 0
123.87/123.90 c crossover : 0.00 0.00 0 0
123.87/123.90 c dins : 0.00 0.00 0 0
123.87/123.90 c vbounds : 0.00 0.00 0 0
123.87/123.90 c undercover : 0.00 0.00 0 0
123.87/123.90 c subnlp : 0.00 0.00 0 0
123.87/123.90 c trysol : 0.00 0.00 0 0
123.87/123.90 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
123.87/123.90 c primal LP : 0.00 1 0 0.00 - 0.00 1
123.87/123.90 c dual LP : 87.73 39357 821883 20.92 9367.91 0.03 72
123.87/123.90 c lex dual LP : 0.00 0 0 0.00 -
123.87/123.90 c barrier LP : 0.00 0 0 0.00 - 0.00 0
123.87/123.90 c diving/probing LP: 0.00 0 0 0.00 -
123.87/123.90 c strong branching : 17.13 3917 150497 38.42 8786.00
123.87/123.90 c (at root node) : - 10 1794 179.40 -
123.87/123.90 c conflict analysis: 0.00 0 0 0.00 -
123.87/123.90 c B&B Tree :
123.87/123.90 c number of runs : 1
123.87/123.90 c nodes : 39548
123.87/123.90 c nodes (total) : 39548
123.87/123.90 c nodes left : 0
123.87/123.90 c max depth : 58
123.87/123.90 c max depth (total): 58
123.87/123.90 c backtracks : 4357 (11.0%)
123.87/123.90 c delayed cutoffs : 215
123.87/123.90 c repropagations : 70320 (80922 domain reductions, 215 cutoffs)
123.87/123.90 c avg switch length: 5.17
123.87/123.90 c switching time : 3.38
123.87/123.90 c Solution :
123.87/123.90 c Solutions found : 0 (0 improvements)
123.87/123.90 c Primal Bound : infeasible
123.87/123.90 c Dual Bound : -
123.87/123.90 c Gap : 0.00 %
123.87/123.90 c Root Dual Bound : +0.00000000000000e+00
123.87/123.90 c Root Iterations : 146
123.87/123.91 c Time complete: 123.89.
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-3690428-1338016933/watcher-3690428-1338016933 -o /tmp/evaluation-result-3690428-1338016933/solver-3690428-1338016933 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690428-1338016933.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.10 0.26 0.82 2/171 5799
/proc/meminfo: memFree=29193176/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=9984 CPUtime=0 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 1249 0 0 0 0 0 0 0 20 0 1 0 267819010 10223616 1205 33554432000 4194304 10173063 140735646412864 140736674685992 7545739 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 2496 1213 413 1460 0 1027 0
[startup+0.0217661 s]
/proc/loadavg: 0.10 0.26 0.82 2/171 5799
/proc/meminfo: memFree=29193176/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=19900 CPUtime=0.01 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 3506 0 0 0 1 0 0 0 20 0 1 0 267819010 20377600 3461 33554432000 4194304 10173063 140735646412864 140736674685992 5612256 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 4975 3461 524 1460 0 3506 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19900
[startup+0.10032 s]
/proc/loadavg: 0.10 0.26 0.82 2/171 5799
/proc/meminfo: memFree=29193176/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=29056 CPUtime=0.09 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 6298 0 0 0 6 3 0 0 20 0 1 0 267819010 29753344 5956 33554432000 4194304 10173063 140735646412864 140736674685992 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 7264 5957 748 1460 0 5795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29056
[startup+0.300295 s]
/proc/loadavg: 0.10 0.26 0.82 2/171 5799
/proc/meminfo: memFree=29193176/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47028 CPUtime=0.28 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10663 0 0 0 20 8 0 0 20 0 1 0 267819010 48156672 10319 33554432000 4194304 10173063 140735646412864 140736674685992 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11757 10319 827 1460 0 10288 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47028
[startup+0.70025 s]
/proc/loadavg: 0.10 0.26 0.82 2/171 5799
/proc/meminfo: memFree=29193176/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=0.68 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10831 0 0 0 60 8 0 0 20 0 1 0 267819010 48496640 10487 33554432000 4194304 10173063 140735646412864 140735646406312 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10487 830 1460 0 10371 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47360
[startup+1.50018 s]
/proc/loadavg: 0.17 0.27 0.82 2/172 5800
/proc/meminfo: memFree=29154156/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=1.48 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10836 0 0 0 139 9 0 0 20 0 1 0 267819010 48496640 10492 33554432000 4194304 10173063 140735646412864 140735646406312 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10492 835 1460 0 10371 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 47360
[startup+3.10018 s]
/proc/loadavg: 0.17 0.27 0.82 3/177 5814
/proc/meminfo: memFree=29100168/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=3.09 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10836 0 0 0 298 11 0 0 20 0 1 0 267819010 48496640 10492 33554432000 4194304 10173063 140735646412864 140735646406312 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10492 835 1460 0 10371 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47360
[startup+6.30024 s]
/proc/loadavg: 0.17 0.27 0.82 3/177 5814
/proc/meminfo: memFree=29099796/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=6.28 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10836 0 0 0 612 16 0 0 20 0 1 0 267819010 48496640 10492 33554432000 4194304 10173063 140735646412864 140735646406312 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10492 835 1460 0 10371 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47360
[startup+12.7002 s]
/proc/loadavg: 0.45 0.33 0.84 3/177 5814
/proc/meminfo: memFree=29098468/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=12.69 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10841 0 0 0 1233 36 0 0 20 0 1 0 267819010 48496640 10493 33554432000 4194304 10173063 140735646412864 140735646406168 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10493 836 1460 0 10371 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47360
[startup+25.5002 s]
/proc/loadavg: 0.69 0.38 0.85 3/177 5814
/proc/meminfo: memFree=29097492/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=25.48 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10846 0 0 0 2449 99 0 0 20 0 1 0 267819010 48496640 10748 33554432000 4194304 10173063 140735646412864 140735646406504 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10748 836 1460 0 10371 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47360
[startup+51.1003 s]
/proc/loadavg: 1.20 0.54 0.88 3/177 5814
/proc/meminfo: memFree=29096280/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=51.08 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10846 0 0 0 4894 214 0 0 20 0 1 0 267819010 48496640 10858 33554432000 4194304 10173063 140735646412864 140735646406120 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10858 836 1460 0 10371 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47360
[startup+102.307 s]
/proc/loadavg: 1.65 0.76 0.94 3/177 5852
/proc/meminfo: memFree=28996580/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=102.27 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10848 0 0 0 9768 459 0 0 20 0 1 0 267819010 48496640 10860 33554432000 4194304 10173063 140735646412864 140735646406120 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10860 838 1460 0 10371 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47360
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 1.79 0.82 0.96 3/177 5852
/proc/meminfo: memFree=28971340/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=115.06 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10848 0 0 0 10986 520 0 0 20 0 1 0 267819010 48496640 10860 33554432000 4194304 10173063 140735646412864 140735646406168 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10860 838 1460 0 10371 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 47360
[startup+118.3 s]
/proc/loadavg: 1.80 0.84 0.96 3/177 5852
/proc/meminfo: memFree=28971076/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=118.27 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10848 0 0 0 11292 535 0 0 20 0 1 0 267819010 48496640 10860 33554432000 4194304 10173063 140735646412864 140735646406728 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10860 838 1460 0 10371 0
Current children cumulated CPU time (s) 118.27
Current children cumulated vsize (KiB) 47360
[startup+121.5 s]
/proc/loadavg: 1.82 0.86 0.97 3/177 5852
/proc/meminfo: memFree=28970268/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=121.46 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10848 0 0 0 11596 550 0 0 20 0 1 0 267819010 48496640 10860 33554432000 4194304 10173063 140735646412864 140735646406312 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10860 838 1460 0 10371 0
Current children cumulated CPU time (s) 121.46
Current children cumulated vsize (KiB) 47360
[startup+123.1 s]
/proc/loadavg: 1.82 0.86 0.97 3/177 5852
/proc/meminfo: memFree=28970392/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=123.08 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10848 0 0 0 11750 558 0 0 20 0 1 0 267819010 48496640 10860 33554432000 4194304 10173063 140735646412864 140735646410232 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10860 838 1460 0 10371 0
Current children cumulated CPU time (s) 123.08
Current children cumulated vsize (KiB) 47360
[startup+123.5 s]
/proc/loadavg: 1.82 0.86 0.97 3/177 5852
/proc/meminfo: memFree=28970392/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=123.47 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10848 0 0 0 11787 560 0 0 20 0 1 0 267819010 48496640 10860 33554432000 4194304 10173063 140735646412864 140735646410232 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10860 838 1460 0 10371 0
Current children cumulated CPU time (s) 123.47
Current children cumulated vsize (KiB) 47360
[startup+123.9 s]
/proc/loadavg: 1.82 0.86 0.97 3/177 5852
/proc/meminfo: memFree=28970392/32873844 swapFree=7616/7616
[pid=5799] ppid=5797 vsize=47360 CPUtime=123.87 cores=1,3,5,7
/proc/5799/stat : 5799 (scip-2.1.1.4fix) R 5797 5799 5654 0 -1 4202496 10848 0 0 0 11824 563 0 0 20 0 1 0 267819010 48496640 10860 33554432000 4194304 10173063 140735646412864 140735646406120 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5799/statm: 11840 10860 838 1460 0 10371 0
Current children cumulated CPU time (s) 123.87
Current children cumulated vsize (KiB) 47360
Child status: 0
Real time (s): 123.92
CPU time (s): 123.893
CPU user time (s): 118.261
CPU system time (s): 5.63214
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 47360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.261
system time used= 5.63214
maximum resident set size= 43452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10853
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= 11
involuntary context switches= 129
runsolver used 0.208968 second user time and 0.504923 second system time
The end