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-3690417-1338016937.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.00/0.01 c presolving:
0.02/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.02/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.02/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.02/0.06 c presolving (4 rounds):
0.02/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.02/0.06 c 242 implications, 22 cliques
0.02/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.02/0.06 c 1 constraints of type <knapsack>
0.02/0.06 c 22 constraints of type <setppc>
0.02/0.06 c 2420 constraints of type <logicor>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.05
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 2.1.1.4
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1797
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 13950
0.02/0.06 c
0.02/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c limits/solutions = 1
0.02/0.06 c
0.02/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.02/0.06 c separating/maxrounds = 1
0.02/0.06 c
0.02/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/maxroundsroot = 5
0.02/0.06 c
0.02/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.06 c # [type: int, range: [1,2], default: 1]
0.02/0.06 c timing/clocktype = 2
0.02/0.06 c
0.02/0.06 c # belongs reading time to solving time?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c timing/reading = TRUE
0.02/0.06 c
0.02/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.02/0.06 c constraints/knapsack/disaggregation = FALSE
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/coefdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.02/0.06 c heuristics/crossover/freq = -1
0.02/0.06 c
0.02/0.06 c # number of nodes added to the contingent of the total nodes
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.06 c heuristics/crossover/nodesofs = 750
0.02/0.06 c
0.02/0.06 c # number of nodes without incumbent change that heuristic should wait
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.02/0.06 c heuristics/crossover/nwaitingnodes = 100
0.02/0.06 c
0.02/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.02/0.06 c # [type: real, range: [0,1], default: 0.1]
0.02/0.06 c heuristics/crossover/nodesquot = 0.15
0.02/0.06 c
0.02/0.06 c # minimum percentage of integer variables that have to be fixed
0.02/0.06 c # [type: real, range: [0,1], default: 0.666]
0.02/0.06 c heuristics/crossover/minfixingrate = 0.5
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/feaspump/freq = -1
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/fracdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/guideddiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/intshifting/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/linesearchdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/objpscostdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.02/0.06 c # [type: real, range: [0,1], default: 0.01]
0.02/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/oneopt/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/pscostdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/rens/freq = -1
0.02/0.06 c
0.02/0.06 c # minimum percentage of integer variables that have to be fixable
0.02/0.06 c # [type: real, range: [0,1], default: 0.5]
0.02/0.06 c heuristics/rens/minfixingrate = 0.3
0.02/0.06 c
0.02/0.06 c # number of nodes added to the contingent of the total nodes
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.06 c heuristics/rens/nodesofs = 2000
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/rootsoldiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.02/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/rounding/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/shiftandpropagate/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/shifting/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/simplerounding/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/subnlp/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/trivial/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/trysol/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/undercover/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/veclendiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/zirounding/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c propagating/probing/maxprerounds = 0
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c separating/cmir/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c separating/flowcover/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/indoneopt/freq = -1
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/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.02/0.07 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 91 | - |4351k| 0 | 39 | 231 |2725 | 231 |2452 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 108 | - |4675k| 0 | 43 | 231 |2725 | 231 |2456 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 123 | - |5041k| 0 | 49 | 231 |2725 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 138 | - |5536k| 0 | 48 | 231 |2725 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.51 c 0.5s| 1 | 0 | 164 | - |6091k| 0 | 52 | 231 |2725 | 231 |2461 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.77 c 0.8s| 1 | 2 | 164 | - |6092k| 0 | 52 | 231 |2725 | 231 |2461 | 18 | 0 | 12 | 0.000000e+00 | -- | Inf
9.59/9.65 c 9.7s| 100 | 14 | 5659 | 55.5 |6243k| 12 | 27 | 231 |2762 | 231 |2452 | 18 | 38 |1521 | 0.000000e+00 | -- | Inf
10.59/10.62 c 10.6s| 200 | 19 | 8378 | 41.3 |6292k| 21 | - | 231 |2833 | 231 |2452 | 18 | 109 |1658 | 0.000000e+00 | -- | Inf
10.99/11.02 c 11.0s| 300 | 29 | 10382 | 34.2 |6351k| 21 | 22 | 231 |2913 | 231 |2452 | 18 | 189 |1695 | 0.000000e+00 | -- | Inf
11.38/11.41 c 11.4s| 400 | 33 | 12241 | 30.3 |6383k| 25 | 29 | 231 |2981 | 231 |2452 | 18 | 257 |1733 | 0.000000e+00 | -- | Inf
11.59/11.66 c 11.7s| 500 | 33 | 13851 | 27.4 |6404k| 25 | - | 231 |3039 | 231 |2452 | 18 | 315 |1746 | 0.000000e+00 | -- | Inf
11.99/12.04 c 12.0s| 600 | 39 | 15903 | 26.3 |6444k| 25 | 40 | 231 |3098 | 231 |2452 | 18 | 377 |1773 | 0.000000e+00 | -- | Inf
12.29/12.30 c 12.3s| 700 | 44 | 17695 | 25.1 |6481k| 25 | - | 231 |3157 | 231 |2452 | 18 | 437 |1779 | 0.000000e+00 | -- | Inf
12.49/12.57 c 12.6s| 800 | 44 | 19575 | 24.3 |6514k| 25 | - | 231 |3242 | 231 |2452 | 18 | 523 |1788 | 0.000000e+00 | -- | Inf
12.78/12.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.78/12.85 c 12.9s| 900 | 48 | 21507 | 23.7 |6545k| 27 | 33 | 231 |3309 | 231 |2452 | 18 | 591 |1797 | 0.000000e+00 | -- | Inf
12.98/13.08 c 13.1s| 1000 | 44 | 23190 | 23.0 |6565k| 31 | - | 231 |3368 | 231 |2452 | 18 | 650 |1801 | 0.000000e+00 | -- | Inf
13.29/13.34 c 13.3s| 1100 | 44 | 25133 | 22.7 |6593k| 31 | 32 | 231 |3428 | 231 |2452 | 18 | 710 |1807 | 0.000000e+00 | -- | Inf
13.58/13.60 c 13.6s| 1200 | 42 | 27004 | 22.4 |6621k| 31 | - | 231 |3506 | 231 |2452 | 18 | 789 |1810 | 0.000000e+00 | -- | Inf
13.78/13.86 c 13.9s| 1300 | 43 | 28893 | 22.1 |6661k| 31 | - | 231 |3574 | 231 |2452 | 18 | 861 |1815 | 0.000000e+00 | -- | Inf
14.09/14.10 c 14.1s| 1400 | 43 | 30749 | 21.9 |6681k| 32 | 35 | 231 |3634 | 231 |2452 | 18 | 921 |1818 | 0.000000e+00 | -- | Inf
14.29/14.35 c 14.4s| 1500 | 45 | 32557 | 21.6 |6711k| 32 | 33 | 231 |3696 | 231 |2452 | 18 | 986 |1821 | 0.000000e+00 | -- | Inf
14.48/14.58 c 14.6s| 1600 | 44 | 34329 | 21.4 |6736k| 35 | 40 | 231 |3763 | 231 |2452 | 18 |1056 |1822 | 0.000000e+00 | -- | Inf
14.68/14.79 c 14.8s| 1700 | 44 | 36064 | 21.1 |6767k| 36 | 22 | 231 |3836 | 231 |2452 | 18 |1129 |1822 | 0.000000e+00 | -- | Inf
14.98/15.04 c 15.0s| 1800 | 44 | 38093 | 21.1 |6791k| 36 | 39 | 231 |3888 | 231 |2452 | 18 |1184 |1822 | 0.000000e+00 | -- | Inf
15.18/15.29 c 15.3s| 1900 | 45 | 40051 | 21.0 |6818k| 36 | 37 | 231 |3951 | 231 |2452 | 18 |1254 |1823 | 0.000000e+00 | -- | Inf
15.48/15.58 c 15.6s| 2000 | 45 | 41925 | 20.9 |6864k| 36 | - | 231 |4019 | 0 | 0 | 18 |1329 |1833 | 0.000000e+00 | -- | Inf
15.88/15.92 c 15.9s| 2100 | 44 | 43793 | 20.8 |6882k| 36 | 26 | 231 |4093 | 231 |2452 | 18 |1407 |1856 | 0.000000e+00 | -- | Inf
16.18/16.26 c 16.3s| 2200 | 43 | 46002 | 20.8 |6900k| 36 | 37 | 231 |4138 | 231 |2452 | 18 |1479 |1870 | 0.000000e+00 | -- | Inf
16.49/16.56 c 16.6s| 2300 | 45 | 47925 | 20.8 |6920k| 36 | - | 231 |4147 | 231 |2452 | 18 |1537 |1883 | 0.000000e+00 | -- | Inf
16.78/16.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.78/16.85 c 16.9s| 2400 | 44 | 49775 | 20.7 |6941k| 36 | - | 231 |4182 | 231 |2452 | 18 |1615 |1897 | 0.000000e+00 | -- | Inf
17.08/17.13 c 17.1s| 2500 | 49 | 51767 | 20.6 |6959k| 36 | 27 | 231 |4218 | 231 |2452 | 18 |1675 |1906 | 0.000000e+00 | -- | Inf
17.28/17.39 c 17.4s| 2600 | 46 | 53738 | 20.6 |6966k| 36 | 28 | 231 |4265 | 231 |2452 | 18 |1753 |1910 | 0.000000e+00 | -- | Inf
17.58/17.64 c 17.6s| 2700 | 46 | 55495 | 20.5 |6976k| 36 | 35 | 231 |4300 | 231 |2452 | 18 |1815 |1917 | 0.000000e+00 | -- | Inf
17.77/17.87 c 17.9s| 2800 | 47 | 57241 | 20.4 |6995k| 36 | 35 | 231 |4330 | 231 |2452 | 18 |1893 |1919 | 0.000000e+00 | -- | Inf
18.18/18.24 c 18.2s| 2900 | 59 | 60180 | 20.7 |7037k| 36 | 36 | 231 |4353 | 231 |2452 | 18 |1961 |1924 | 0.000000e+00 | -- | Inf
18.38/18.47 c 18.5s| 3000 | 62 | 61984 | 20.6 |7080k| 36 | - | 231 |4433 | 231 |2452 | 18 |2049 |1926 | 0.000000e+00 | -- | Inf
18.59/18.69 c 18.7s| 3100 | 61 | 63762 | 20.5 |7104k| 36 | 22 | 231 |4523 | 231 |2452 | 18 |2144 |1926 | 0.000000e+00 | -- | Inf
18.88/18.91 c 18.9s| 3200 | 62 | 65452 | 20.4 |7137k| 36 | 26 | 231 |4588 | 231 |2452 | 18 |2212 |1926 | 0.000000e+00 | -- | Inf
19.08/19.10 c 19.1s| 3300 | 60 | 66899 | 20.2 |7173k| 36 | - | 231 |4669 | 0 | 0 | 18 |2296 |1928 | 0.000000e+00 | -- | Inf
19.18/19.29 c 19.3s| 3400 | 61 | 68282 | 20.0 |7193k| 38 | 34 | 231 |4725 | 231 |2452 | 18 |2361 |1928 | 0.000000e+00 | -- | Inf
19.48/19.51 c 19.5s| 3500 | 60 | 69920 | 19.9 |7215k| 38 | - | 231 |4781 | 231 |2452 | 18 |2434 |1930 | 0.000000e+00 | -- | Inf
19.69/19.75 c 19.8s| 3600 | 58 | 71804 | 19.9 |7241k| 38 | - | 231 |4848 | 231 |2452 | 18 |2526 |1931 | 0.000000e+00 | -- | Inf
19.88/19.99 c 20.0s| 3700 | 60 | 73690 | 19.9 |7264k| 38 | 25 | 231 |4858 | 231 |2452 | 18 |2601 |1931 | 0.000000e+00 | -- | Inf
20.18/20.21 c 20.2s| 3800 | 60 | 75519 | 19.8 |7289k| 38 | 29 | 231 |4921 | 231 |2452 | 18 |2671 |1931 | 0.000000e+00 | -- | Inf
20.38/20.45 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.45 c 20.4s| 3900 | 60 | 77492 | 19.8 |7314k| 38 | 36 | 231 |4975 | 231 |2452 | 18 |2738 |1931 | 0.000000e+00 | -- | Inf
20.68/20.74 c 20.7s| 4000 | 58 | 79478 | 19.8 |7324k| 38 | 35 | 231 |5025 | 231 |2452 | 18 |2811 |1941 | 0.000000e+00 | -- | Inf
20.98/21.04 c 21.0s| 4100 | 58 | 81259 | 19.8 |7337k| 38 | - | 231 |5023 | 231 |2452 | 18 |2870 |1954 | 0.000000e+00 | -- | Inf
21.27/21.32 c 21.3s| 4200 | 60 | 82931 | 19.7 |7350k| 38 | 34 | 231 |5039 | 231 |2452 | 18 |2937 |1968 | 0.000000e+00 | -- | Inf
21.48/21.57 c 21.6s| 4300 | 64 | 84459 | 19.6 |7370k| 38 | 37 | 231 |5036 | 231 |2452 | 18 |3016 |1978 | 0.000000e+00 | -- | Inf
21.78/21.86 c 21.9s| 4400 | 63 | 86287 | 19.6 |7380k| 38 | - | 231 |5052 | 231 |2452 | 18 |3085 |1993 | 0.000000e+00 | -- | Inf
22.08/22.16 c 22.2s| 4500 | 64 | 88015 | 19.5 |7380k| 38 | 32 | 231 |5066 | 231 |2452 | 18 |3142 |2010 | 0.000000e+00 | -- | Inf
22.38/22.46 c 22.5s| 4600 | 66 | 89834 | 19.5 |7392k| 38 | 34 | 231 |5091 | 231 |2452 | 18 |3204 |2031 | 0.000000e+00 | -- | Inf
22.68/22.76 c 22.8s| 4700 | 64 | 91743 | 19.5 |7408k| 38 | - | 231 |5127 | 0 | 0 | 18 |3267 |2046 | 0.000000e+00 | -- | Inf
22.99/23.06 c 23.1s| 4800 | 62 | 93583 | 19.5 |7420k| 38 | - | 231 |5161 | 231 |2452 | 18 |3335 |2062 | 0.000000e+00 | -- | Inf
23.27/23.34 c 23.3s| 4900 | 64 | 95229 | 19.4 |7447k| 38 | 36 | 231 |5202 | 231 |2452 | 18 |3409 |2078 | 0.000000e+00 | -- | Inf
23.58/23.60 c 23.6s| 5000 | 64 | 96972 | 19.4 |7472k| 38 | - | 231 |5246 | 231 |2452 | 18 |3495 |2088 | 0.000000e+00 | -- | Inf
23.78/23.86 c 23.9s| 5100 | 65 | 98536 | 19.3 |7494k| 38 | 27 | 231 |5289 | 231 |2452 | 18 |3565 |2100 | 0.000000e+00 | -- | Inf
23.97/24.08 c 24.1s| 5200 | 60 |100190 | 19.2 |7493k| 38 | - | 231 |5324 | 231 |2452 | 18 |3635 |2103 | 0.000000e+00 | -- | Inf
24.28/24.34 c 24.3s| 5300 | 60 |101959 | 19.2 |7518k| 38 | - | 231 |5367 | 231 |2452 | 18 |3707 |2110 | 0.000000e+00 | -- | Inf
24.48/24.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.48/24.58 c 24.6s| 5400 | 58 |103648 | 19.2 |7519k| 38 | 41 | 231 |5387 | 231 |2452 | 18 |3778 |2113 | 0.000000e+00 | -- | Inf
24.77/24.81 c 24.8s| 5500 | 58 |105292 | 19.1 |7522k| 38 | - | 231 |5351 | 231 |2452 | 18 |3848 |2118 | 0.000000e+00 | -- | Inf
24.98/25.02 c 25.0s| 5600 | 58 |106726 | 19.0 |7520k| 38 | 38 | 231 |5355 | 231 |2452 | 18 |3903 |2120 | 0.000000e+00 | -- | Inf
25.18/25.24 c 25.2s| 5700 | 58 |108407 | 19.0 |7530k| 38 | 33 | 231 |5383 | 231 |2452 | 18 |3963 |2121 | 0.000000e+00 | -- | Inf
25.38/25.47 c 25.5s| 5800 | 59 |110162 | 19.0 |7549k| 38 | - | 231 |5406 | 231 |2452 | 18 |4030 |2122 | 0.000000e+00 | -- | Inf
25.58/25.67 c 25.7s| 5900 | 60 |111631 | 18.9 |7567k| 38 | - | 231 |5431 | 231 |2452 | 18 |4109 |2123 | 0.000000e+00 | -- | Inf
25.78/25.89 c 25.9s| 6000 | 58 |113338 | 18.9 |7575k| 38 | - | 231 |5477 | 231 |2452 | 18 |4181 |2123 | 0.000000e+00 | -- | Inf
26.07/26.11 c 26.1s| 6100 | 60 |115065 | 18.8 |7594k| 38 | 25 | 231 |5525 | 231 |2452 | 18 |4276 |2123 | 0.000000e+00 | -- | Inf
26.28/26.34 c 26.3s| 6200 | 59 |116857 | 18.8 |7605k| 38 | 25 | 231 |5559 | 231 |2452 | 18 |4369 |2123 | 0.000000e+00 | -- | Inf
26.48/26.56 c 26.6s| 6300 | 63 |118568 | 18.8 |7628k| 38 | - | 231 |5566 | 0 | 0 | 18 |4437 |2123 | 0.000000e+00 | -- | Inf
26.67/26.79 c 26.8s| 6400 | 64 |120469 | 18.8 |7642k| 38 | - | 231 |5614 | 231 |2452 | 18 |4524 |2123 | 0.000000e+00 | -- | Inf
26.98/27.01 c 27.0s| 6500 | 60 |122102 | 18.8 |7652k| 38 | - | 231 |5653 | 231 |2452 | 18 |4624 |2123 | 0.000000e+00 | -- | Inf
27.18/27.26 c 27.3s| 6600 | 64 |124097 | 18.8 |7673k| 38 | 34 | 231 |5672 | 231 |2452 | 18 |4701 |2123 | 0.000000e+00 | -- | Inf
27.48/27.51 c 27.5s| 6700 | 60 |126110 | 18.8 |7685k| 41 | - | 231 |5708 | 231 |2452 | 18 |4784 |2123 | 0.000000e+00 | -- | Inf
27.78/27.86 c 27.9s| 6800 | 60 |127993 | 18.8 |7696k| 41 | - | 231 |5704 | 231 |2452 | 18 |4858 |2146 | 0.000000e+00 | -- | Inf
28.07/28.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.07/28.13 c 28.1s| 6900 | 59 |129709 | 18.8 |7696k| 41 | - | 231 |5704 | 231 |2452 | 18 |4937 |2157 | 0.000000e+00 | -- | Inf
28.37/28.41 c 28.4s| 7000 | 58 |131563 | 18.8 |7694k| 41 | 31 | 231 |5708 | 231 |2452 | 18 |5000 |2166 | 0.000000e+00 | -- | Inf
28.58/28.69 c 28.7s| 7100 | 56 |133415 | 18.8 |7704k| 41 | - | 231 |5721 | 0 | 0 | 18 |5080 |2177 | 0.000000e+00 | -- | Inf
28.87/28.98 c 29.0s| 7200 | 57 |135213 | 18.8 |7712k| 41 | 32 | 231 |5741 | 231 |2452 | 18 |5146 |2191 | 0.000000e+00 | -- | Inf
29.17/29.24 c 29.2s| 7300 | 57 |136697 | 18.7 |7737k| 41 | 32 | 231 |5801 | 231 |2452 | 18 |5235 |2204 | 0.000000e+00 | -- | Inf
29.47/29.55 c 29.6s| 7400 | 57 |138399 | 18.7 |7739k| 41 | 34 | 231 |5805 | 231 |2452 | 18 |5311 |2224 | 0.000000e+00 | -- | Inf
29.77/29.80 c 29.8s| 7500 | 54 |140070 | 18.7 |7739k| 41 | 33 | 231 |5847 | 231 |2452 | 18 |5385 |2233 | 0.000000e+00 | -- | Inf
30.08/30.10 c 30.1s| 7600 | 54 |141926 | 18.7 |7733k| 41 | 29 | 231 |5855 | 231 |2452 | 18 |5463 |2248 | 0.000000e+00 | -- | Inf
30.27/30.36 c 30.4s| 7700 | 54 |143550 | 18.6 |7745k| 43 | 29 | 231 |5892 | 231 |2452 | 18 |5539 |2259 | 0.000000e+00 | -- | Inf
30.57/30.68 c 30.7s| 7800 | 54 |145574 | 18.6 |7758k| 43 | 30 | 231 |5929 | 231 |2452 | 18 |5604 |2276 | 0.000000e+00 | -- | Inf
30.87/30.95 c 31.0s| 7900 | 54 |147611 | 18.7 |7783k| 43 | - | 231 |6001 | 231 |2452 | 18 |5689 |2284 | 0.000000e+00 | -- | Inf
31.18/31.20 c 31.2s| 8000 | 50 |149472 | 18.7 |7779k| 43 | - | 231 |6045 | 231 |2452 | 18 |5746 |2289 | 0.000000e+00 | -- | Inf
31.37/31.49 c 31.5s| 8100 | 50 |151309 | 18.7 |7779k| 43 | - | 231 |6048 | 231 |2452 | 18 |5838 |2301 | 0.000000e+00 | -- | Inf
31.67/31.79 c 31.8s| 8200 | 49 |153521 | 18.7 |7783k| 43 | - | 231 |6079 | 231 |2452 | 18 |5910 |2309 | 0.000000e+00 | -- | Inf
31.98/32.07 c 32.1s| 8300 | 46 |155703 | 18.7 |7774k| 43 | - | 231 |6069 | 231 |2452 | 18 |5992 |2310 | 0.000000e+00 | -- | Inf
32.28/32.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.28/32.36 c 32.4s| 8400 | 45 |157922 | 18.8 |7769k| 43 | 28 | 231 |6074 | 231 |2452 | 18 |6065 |2315 | 0.000000e+00 | -- | Inf
32.57/32.63 c 32.6s| 8500 | 47 |159943 | 18.8 |7772k| 43 | 29 | 231 |6060 | 231 |2452 | 18 |6149 |2319 | 0.000000e+00 | -- | Inf
32.88/32.91 c 32.9s| 8600 | 47 |162135 | 18.8 |7782k| 43 | - | 231 |6048 | 231 |2452 | 18 |6228 |2320 | 0.000000e+00 | -- | Inf
33.07/33.17 c 33.2s| 8700 | 50 |164155 | 18.9 |7800k| 43 | - | 231 |6024 | 0 | 0 | 18 |6300 |2321 | 0.000000e+00 | -- | Inf
33.37/33.40 c 33.4s| 8800 | 49 |165904 | 18.8 |7782k| 43 | 33 | 231 |5984 | 231 |2452 | 18 |6378 |2321 | 0.000000e+00 | -- | Inf
33.57/33.67 c 33.7s| 8900 | 47 |168139 | 18.9 |7789k| 43 | 36 | 231 |6025 | 231 |2452 | 18 |6449 |2321 | 0.000000e+00 | -- | Inf
33.88/33.91 c 33.9s| 9000 | 46 |170024 | 18.9 |7804k| 43 | - | 231 |6069 | 0 | 0 | 18 |6530 |2321 | 0.000000e+00 | -- | Inf
34.08/34.14 c 34.1s| 9100 | 46 |171878 | 18.9 |7807k| 43 | - | 231 |6092 | 231 |2452 | 18 |6605 |2321 | 0.000000e+00 | -- | Inf
34.27/34.40 c 34.4s| 9200 | 42 |173867 | 18.9 |7787k| 43 | 21 | 231 |6103 | 231 |2452 | 18 |6691 |2321 | 0.000000e+00 | -- | Inf
34.57/34.64 c 34.6s| 9300 | 39 |175750 | 18.9 |7789k| 43 | 28 | 231 |6133 | 231 |2452 | 18 |6772 |2321 | 0.000000e+00 | -- | Inf
34.78/34.88 c 34.9s| 9400 | 41 |177701 | 18.9 |7795k| 43 | 31 | 231 |6117 | 231 |2452 | 18 |6843 |2321 | 0.000000e+00 | -- | Inf
35.08/35.12 c 35.1s| 9500 | 43 |179613 | 18.9 |7818k| 43 | - | 231 |6161 | 231 |2452 | 18 |6917 |2321 | 0.000000e+00 | -- | Inf
35.37/35.41 c 35.4s| 9600 | 42 |181436 | 18.9 |7829k| 43 | 38 | 231 |6205 | 231 |2452 | 18 |6999 |2333 | 0.000000e+00 | -- | Inf
35.68/35.71 c 35.7s| 9700 | 40 |183401 | 18.9 |7855k| 43 | 41 | 231 |6284 | 231 |2452 | 18 |7099 |2344 | 0.000000e+00 | -- | Inf
35.87/35.97 c 36.0s| 9800 | 44 |185158 | 18.9 |7894k| 43 | - | 231 |6353 | 231 |2452 | 18 |7172 |2353 | 0.000000e+00 | -- | Inf
36.18/36.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.18/36.27 c 36.3s| 9900 | 41 |187208 | 18.9 |7916k| 43 | - | 231 |6432 | 231 |2452 | 18 |7256 |2367 | 0.000000e+00 | -- | Inf
36.57/36.60 c 36.6s| 10000 | 37 |189273 | 18.9 |7925k| 43 | 37 | 231 |6475 | 231 |2452 | 18 |7349 |2382 | 0.000000e+00 | -- | Inf
36.87/36.92 c 36.9s| 10100 | 39 |191185 | 18.9 |7917k| 43 | 28 | 231 |6410 | 231 |2452 | 18 |7430 |2397 | 0.000000e+00 | -- | Inf
37.08/37.19 c 37.2s| 10200 | 37 |193048 | 18.9 |7913k| 43 | 30 | 231 |6406 | 231 |2452 | 18 |7482 |2409 | 0.000000e+00 | -- | Inf
37.38/37.47 c 37.5s| 10300 | 35 |194762 | 18.9 |7927k| 43 | - | 231 |6446 | 231 |2452 | 18 |7552 |2423 | 0.000000e+00 | -- | Inf
37.78/37.81 c 37.8s| 10400 | 35 |196983 | 18.9 |7943k| 43 | - | 231 |6501 | 231 |2452 | 18 |7617 |2439 | 0.000000e+00 | -- | Inf
38.08/38.12 c 38.1s| 10500 | 36 |198989 | 18.9 |7948k| 43 | 22 | 231 |6533 | 231 |2452 | 18 |7706 |2454 | 0.000000e+00 | -- | Inf
38.38/38.44 c 38.4s| 10600 | 44 |200934 | 18.9 |7965k| 43 | 26 | 231 |6538 | 231 |2452 | 18 |7778 |2470 | 0.000000e+00 | -- | Inf
38.67/38.72 c 38.7s| 10700 | 44 |202703 | 18.9 |7964k| 43 | - | 231 |6489 | 231 |2452 | 18 |7854 |2481 | 0.000000e+00 | -- | Inf
38.97/39.03 c 39.0s| 10800 | 50 |204697 | 18.9 |7985k| 43 | 29 | 231 |6504 | 231 |2452 | 18 |7924 |2494 | 0.000000e+00 | -- | Inf
39.27/39.31 c 39.3s| 10900 | 38 |206564 | 18.9 |7976k| 43 | 40 | 231 |6545 | 231 |2452 | 18 |8002 |2501 | 0.000000e+00 | -- | Inf
39.58/39.61 c 39.6s| 11000 | 38 |208573 | 18.9 |7988k| 43 | - | 231 |6562 | 231 |2452 | 18 |8066 |2512 | 0.000000e+00 | -- | Inf
39.77/39.86 c 39.9s| 11100 | 41 |210322 | 18.9 |8007k| 43 | 32 | 231 |6595 | 231 |2452 | 18 |8136 |2519 | 0.000000e+00 | -- | Inf
40.07/40.10 c 40.1s| 11200 | 42 |212051 | 18.9 |8031k| 43 | - | 231 |6640 | 231 |2452 | 18 |8196 |2522 | 0.000000e+00 | -- | Inf
40.27/40.35 c 40.4s| 11300 | 46 |213951 | 18.9 |8047k| 43 | 37 | 231 |6675 | 231 |2452 | 18 |8254 |2525 | 0.000000e+00 | -- | Inf
40.47/40.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.47/40.58 c 40.6s| 11400 | 49 |215699 | 18.9 |8072k| 43 | 42 | 231 |6723 | 231 |2452 | 18 |8313 |2527 | 0.000000e+00 | -- | Inf
40.78/40.83 c 40.8s| 11500 | 57 |217681 | 18.9 |8112k| 43 | 26 | 231 |6769 | 231 |2452 | 18 |8375 |2528 | 0.000000e+00 | -- | Inf
40.98/41.09 c 41.1s| 11600 | 59 |219829 | 18.9 |8138k| 43 | - | 231 |6813 | 231 |2452 | 18 |8429 |2530 | 0.000000e+00 | -- | Inf
41.28/41.36 c 41.4s| 11700 | 59 |221978 | 19.0 |8160k| 43 | - | 231 |6859 | 231 |2452 | 18 |8485 |2531 | 0.000000e+00 | -- | Inf
41.48/41.59 c 41.6s| 11800 | 59 |223744 | 18.9 |8188k| 43 | - | 231 |6922 | 0 | 0 | 18 |8553 |2531 | 0.000000e+00 | -- | Inf
41.78/41.83 c 41.8s| 11900 | 58 |225550 | 18.9 |8206k| 43 | 45 | 231 |6981 | 231 |2452 | 18 |8620 |2531 | 0.000000e+00 | -- | Inf
41.97/42.04 c 42.0s| 12000 | 59 |227147 | 18.9 |8233k| 43 | 21 | 231 |7039 | 231 |2452 | 18 |8683 |2531 | 0.000000e+00 | -- | Inf
42.18/42.29 c 42.3s| 12100 | 49 |229072 | 18.9 |8227k| 43 | 34 | 231 |7106 | 231 |2452 | 18 |8754 |2531 | 0.000000e+00 | -- | Inf
42.47/42.54 c 42.5s| 12200 | 49 |231097 | 18.9 |8244k| 43 | 36 | 231 |7139 | 231 |2452 | 18 |8807 |2531 | 0.000000e+00 | -- | Inf
42.67/42.80 c 42.8s| 12300 | 47 |233097 | 18.9 |8251k| 43 | 48 | 231 |7153 | 231 |2452 | 18 |8863 |2531 | 0.000000e+00 | -- | Inf
42.98/43.02 c 43.0s| 12400 | 48 |234873 | 18.9 |8259k| 43 | - | 231 |7148 | 231 |2452 | 18 |8950 |2531 | 0.000000e+00 | -- | Inf
43.17/43.24 c 43.2s| 12500 | 47 |236591 | 18.9 |8239k| 43 | 34 | 231 |7136 | 231 |2452 | 18 |9011 |2531 | 0.000000e+00 | -- | Inf
43.48/43.51 c 43.5s| 12600 | 45 |238741 | 18.9 |8254k| 43 | - | 231 |7175 | 231 |2452 | 18 |9105 |2531 | 0.000000e+00 | -- | Inf
43.68/43.74 c 43.7s| 12700 | 45 |240462 | 18.9 |8247k| 43 | 35 | 231 |7161 | 231 |2452 | 18 |9187 |2532 | 0.000000e+00 | -- | Inf
43.88/43.99 c 44.0s| 12800 | 43 |242377 | 18.9 |8241k| 43 | - | 231 |7132 | 231 |2452 | 18 |9266 |2533 | 0.000000e+00 | -- | Inf
44.17/44.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.17/44.23 c 44.2s| 12900 | 44 |244235 | 18.9 |8232k| 43 | 39 | 231 |7091 | 231 |2452 | 18 |9354 |2533 | 0.000000e+00 | -- | Inf
44.38/44.45 c 44.5s| 13000 | 45 |245972 | 18.9 |8242k| 43 | - | 231 |7074 | 231 |2452 | 18 |9426 |2533 | 0.000000e+00 | -- | Inf
44.68/44.70 c 44.7s| 13100 | 44 |248034 | 18.9 |8236k| 43 | - | 231 |7072 | 231 |2452 | 18 |9509 |2533 | 0.000000e+00 | -- | Inf
44.88/44.95 c 44.9s| 13200 | 45 |249899 | 18.9 |8231k| 43 | 33 | 231 |7057 | 231 |2452 | 18 |9575 |2533 | 0.000000e+00 | -- | Inf
45.08/45.18 c 45.2s| 13300 | 45 |251689 | 18.9 |8225k| 43 | 35 | 231 |7047 | 231 |2452 | 18 |9652 |2533 | 0.000000e+00 | -- | Inf
45.37/45.41 c 45.4s| 13400 | 44 |253434 | 18.9 |8243k| 43 | - | 231 |7093 | 231 |2452 | 18 |9736 |2533 | 0.000000e+00 | -- | Inf
45.58/45.64 c 45.6s| 13500 | 44 |255234 | 18.9 |8239k| 43 | 36 | 231 |7087 | 231 |2452 | 18 |9796 |2533 | 0.000000e+00 | -- | Inf
45.77/45.89 c 45.9s| 13600 | 42 |257213 | 18.9 |8242k| 43 | - | 231 |7100 | 231 |2452 | 18 |9850 |2533 | 0.000000e+00 | -- | Inf
46.08/46.12 c 46.1s| 13700 | 48 |259026 | 18.9 |8253k| 43 | - | 231 |7097 | 231 |2452 | 18 |9920 |2533 | 0.000000e+00 | -- | Inf
46.28/46.33 c 46.3s| 13800 | 45 |260685 | 18.9 |8258k| 43 | 32 | 231 |7140 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
46.47/46.58 c 46.6s| 13900 | 46 |262716 | 18.9 |8265k| 43 | 31 | 231 |7141 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
46.77/46.83 c 46.8s| 14000 | 46 |264724 | 18.9 |8281k| 43 | 37 | 231 |7180 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
46.97/47.07 c 47.1s| 14100 | 48 |266538 | 18.9 |8303k| 43 | 32 | 231 |7241 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
47.18/47.29 c 47.3s| 14200 | 49 |268306 | 18.9 |8337k| 43 | - | 231 |7311 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
47.47/47.52 c 47.5s| 14300 | 49 |270071 | 18.9 |8356k| 43 | 36 | 231 |7376 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
47.68/47.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.68/47.76 c 47.8s| 14400 | 49 |271994 | 18.9 |8382k| 43 | - | 231 |7424 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
47.97/48.00 c 48.0s| 14500 | 49 |273827 | 18.9 |8391k| 43 | 22 | 231 |7472 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
48.17/48.24 c 48.2s| 14600 | 49 |275726 | 18.9 |8425k| 43 | 38 | 231 |7551 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
48.38/48.49 c 48.5s| 14700 | 46 |277683 | 18.9 |8441k| 43 | 38 | 231 |7619 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
48.67/48.74 c 48.7s| 14800 | 47 |279683 | 18.9 |8431k| 43 | 31 | 231 |7557 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
48.87/48.97 c 49.0s| 14900 | 47 |281459 | 18.9 |8445k| 43 | 36 | 231 |7581 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
49.17/49.20 c 49.2s| 15000 | 45 |283204 | 18.9 |8455k| 43 | 38 | 231 |7631 | 231 |2452 | 18 | 10k|2533 | 0.000000e+00 | -- | Inf
49.37/49.43 c 49.4s| 15100 | 47 |285087 | 18.9 |8475k| 43 | 36 | 231 |7677 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
49.58/49.65 c 49.7s| 15200 | 46 |286849 | 18.9 |8487k| 43 | 30 | 231 |7715 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
49.88/49.90 c 49.9s| 15300 | 45 |288887 | 18.9 |8513k| 43 | - | 231 |7795 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.07/50.11 c 50.1s| 15400 | 45 |290502 | 18.9 |8535k| 43 | 35 | 231 |7861 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.27/50.35 c 50.4s| 15500 | 44 |292382 | 18.9 |8551k| 43 | - | 231 |7893 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.48/50.59 c 50.6s| 15600 | 44 |294155 | 18.8 |8548k| 43 | 24 | 231 |7867 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.77/50.82 c 50.8s| 15700 | 41 |296050 | 18.8 |8561k| 43 | - | 231 |7893 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
50.97/51.07 c 51.1s| 15800 | 41 |297975 | 18.8 |8569k| 43 | - | 231 |7916 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
51.28/51.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.28/51.31 c 51.3s| 15900 | 39 |299798 | 18.8 |8575k| 43 | - | 231 |7945 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
51.47/51.54 c 51.5s| 16000 | 39 |301561 | 18.8 |8589k| 43 | - | 231 |7985 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
51.68/51.77 c 51.8s| 16100 | 37 |303362 | 18.8 |8585k| 43 | - | 231 |7996 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
51.97/52.05 c 52.0s| 16200 | 37 |305612 | 18.9 |8590k| 43 | - | 231 |7993 | 231 |2452 | 18 | 11k|2533 | 0.000000e+00 | -- | Inf
52.27/52.32 c 52.3s| 16300 | 38 |307947 | 18.9 |8604k| 43 | 34 | 231 |8033 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
52.47/52.56 c 52.6s| 16400 | 38 |309841 | 18.9 |8623k| 43 | 36 | 231 |8088 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
52.78/52.83 c 52.8s| 16500 | 42 |311979 | 18.9 |8611k| 43 | 22 | 231 |7995 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
52.97/53.07 c 53.1s| 16600 | 42 |313823 | 18.9 |8619k| 43 | - | 231 |8008 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
53.27/53.31 c 53.3s| 16700 | 42 |315696 | 18.9 |8626k| 43 | - | 231 |8029 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
53.47/53.56 c 53.6s| 16800 | 44 |317728 | 18.9 |8640k| 43 | 29 | 231 |8055 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
53.68/53.79 c 53.8s| 16900 | 42 |319479 | 18.9 |8657k| 43 | - | 231 |8103 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
53.97/54.07 c 54.1s| 17000 | 44 |321730 | 18.9 |8672k| 43 | - | 231 |8131 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
54.27/54.31 c 54.3s| 17100 | 47 |323621 | 18.9 |8695k| 43 | 32 | 231 |8185 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
54.47/54.53 c 54.5s| 17200 | 49 |325465 | 18.9 |8722k| 43 | 29 | 231 |8241 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
54.67/54.77 c 54.8s| 17300 | 51 |327303 | 18.9 |8747k| 43 | 39 | 231 |8293 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
54.97/55.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.97/55.01 c 55.0s| 17400 | 53 |329162 | 18.9 |8773k| 43 | - | 231 |8344 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
55.17/55.25 c 55.2s| 17500 | 54 |331090 | 18.9 |8791k| 43 | - | 231 |8389 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
55.38/55.49 c 55.5s| 17600 | 56 |332961 | 18.9 |8817k| 43 | 22 | 231 |8447 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
55.67/55.73 c 55.7s| 17700 | 55 |334901 | 18.9 |8843k| 43 | - | 231 |8502 | 231 |2452 | 18 | 12k|2533 | 0.000000e+00 | -- | Inf
55.87/56.00 c 56.0s| 17800 | 54 |337071 | 18.9 |8862k| 43 | - | 231 |8559 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
56.17/56.23 c 56.2s| 17900 | 50 |338831 | 18.9 |8866k| 43 | 39 | 231 |8610 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
56.37/56.47 c 56.5s| 18000 | 51 |340672 | 18.9 |8889k| 43 | 31 | 231 |8669 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
56.67/56.74 c 56.7s| 18100 | 48 |342848 | 18.9 |8908k| 43 | - | 231 |8723 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
56.87/56.99 c 57.0s| 18200 | 52 |344915 | 18.9 |8939k| 43 | 36 | 231 |8780 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
57.18/57.24 c 57.2s| 18300 | 53 |346899 | 18.9 |8964k| 43 | 42 | 231 |8833 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
57.37/57.49 c 57.5s| 18400 | 53 |348978 | 19.0 |8986k| 43 | 31 | 231 |8879 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
57.67/57.72 c 57.7s| 18500 | 50 |350716 | 18.9 |8996k| 43 | 39 | 231 |8934 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
57.87/57.97 c 58.0s| 18600 | 52 |352665 | 19.0 |9005k| 43 | 35 | 231 |8914 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
58.18/58.24 c 58.2s| 18700 | 52 |354783 | 19.0 |9001k| 43 | 43 | 231 |8848 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
58.48/58.53 c 58.5s| 18800 | 50 |357099 | 19.0 |8971k| 43 | 42 | 231 |8739 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
58.67/58.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.67/58.78 c 58.8s| 18900 | 48 |358968 | 19.0 |8945k| 43 | 31 | 231 |8676 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
58.97/59.01 c 59.0s| 19000 | 48 |360699 | 19.0 |8938k| 43 | 28 | 231 |8657 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
59.17/59.26 c 59.3s| 19100 | 46 |362670 | 19.0 |8929k| 43 | 36 | 231 |8605 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
59.47/59.52 c 59.5s| 19200 | 43 |364623 | 19.0 |8900k| 43 | 28 | 231 |8563 | 231 |2452 | 18 | 13k|2533 | 0.000000e+00 | -- | Inf
59.68/59.76 c 59.8s| 19300 | 42 |366548 | 19.0 |8875k| 43 | - | 231 |8478 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
59.97/60.03 c 60.0s| 19400 | 44 |368780 | 19.0 |8864k| 43 | - | 231 |8412 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
60.27/60.31 c 60.3s| 19500 | 41 |371061 | 19.0 |8808k| 43 | - | 231 |8269 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
60.47/60.57 c 60.6s| 19600 | 40 |373218 | 19.0 |8789k| 43 | - | 231 |8231 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
60.77/60.83 c 60.8s| 19700 | 40 |375274 | 19.0 |8724k| 43 | 36 | 231 |8044 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
60.97/61.08 c 61.1s| 19800 | 40 |377357 | 19.1 |8721k| 43 | 43 | 231 |8032 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
61.37/61.41 c 61.4s| 19900 | 39 |380213 | 19.1 |8703k| 43 | 36 | 231 |7982 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
61.67/61.70 c 61.7s| 20000 | 40 |382587 | 19.1 |8692k| 43 | 25 | 231 |7923 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
61.87/61.96 c 62.0s| 20100 | 37 |384752 | 19.1 |8699k| 43 | - | 231 |7940 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
62.17/62.21 c 62.2s| 20200 | 39 |386812 | 19.1 |8703k| 43 | 24 | 231 |7952 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
62.37/62.47 c 62.5s| 20300 | 39 |388876 | 19.1 |8681k| 43 | 36 | 231 |7905 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
62.68/62.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.68/62.74 c 62.7s| 20400 | 39 |391180 | 19.2 |8704k| 43 | 32 | 231 |7970 | 231 |2452 | 18 | 14k|2533 | 0.000000e+00 | -- | Inf
62.97/63.01 c 63.0s| 20500 | 39 |393547 | 19.2 |8730k| 43 | - | 231 |8032 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
63.17/63.28 c 63.3s| 20600 | 41 |395792 | 19.2 |8757k| 43 | - | 231 |8099 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
63.47/63.56 c 63.6s| 20700 | 44 |398204 | 19.2 |8792k| 43 | 21 | 231 |8171 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
63.78/63.84 c 63.8s| 20800 | 37 |400593 | 19.3 |8801k| 43 | 41 | 231 |8264 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
64.07/64.10 c 64.1s| 20900 | 31 |402664 | 19.3 |8763k| 43 | 31 | 231 |8243 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
64.27/64.38 c 64.4s| 21000 | 31 |404823 | 19.3 |8747k| 43 | - | 231 |8155 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
64.57/64.64 c 64.6s| 21100 | 33 |407109 | 19.3 |8750k| 43 | 25 | 231 |8156 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
64.88/64.91 c 64.9s| 21200 | 35 |409189 | 19.3 |8755k| 43 | 44 | 231 |8147 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
65.07/65.18 c 65.2s| 21300 | 39 |411423 | 19.3 |8776k| 43 | 30 | 231 |8174 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
65.37/65.44 c 65.4s| 21400 | 37 |413506 | 19.3 |8795k| 43 | - | 231 |8228 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
65.67/65.72 c 65.7s| 21500 | 36 |415786 | 19.3 |8817k| 43 | - | 231 |8293 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
65.88/65.98 c 66.0s| 21600 | 36 |417911 | 19.3 |8845k| 43 | - | 231 |8360 | 231 |2452 | 18 | 15k|2533 | 0.000000e+00 | -- | Inf
66.17/66.26 c 66.3s| 21700 | 41 |420229 | 19.4 |8870k| 43 | 30 | 231 |8410 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
66.37/66.48 c 66.5s| 21800 | 41 |422022 | 19.4 |8893k| 43 | - | 231 |8466 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
66.67/66.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.67/66.74 c 66.7s| 21900 | 37 |424132 | 19.4 |8898k| 43 | - | 231 |8513 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
66.86/66.99 c 67.0s| 22000 | 45 |426130 | 19.4 |8935k| 43 | 29 | 231 |8559 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
67.17/67.20 c 67.2s| 22100 | 45 |427790 | 19.4 |8959k| 43 | - | 231 |8616 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
67.37/67.43 c 67.4s| 22200 | 40 |429573 | 19.3 |8969k| 43 | - | 231 |8670 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
67.57/67.68 c 67.7s| 22300 | 43 |431590 | 19.3 |8982k| 43 | 37 | 231 |8708 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
67.87/67.93 c 67.9s| 22400 | 44 |433580 | 19.3 |9008k| 43 | - | 231 |8753 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
68.07/68.19 c 68.2s| 22500 | 45 |435709 | 19.4 |9038k| 43 | - | 231 |8821 | 0 | 0 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
68.37/68.45 c 68.5s| 22600 | 46 |437913 | 19.4 |9062k| 43 | 38 | 231 |8901 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
68.67/68.73 c 68.7s| 22700 | 42 |440150 | 19.4 |9084k| 43 | - | 231 |8978 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
68.97/69.00 c 69.0s| 22800 | 38 |442339 | 19.4 |9096k| 43 | - | 231 |9039 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
69.18/69.25 c 69.3s| 22900 | 38 |444336 | 19.4 |9119k| 43 | - | 231 |9097 | 231 |2452 | 18 | 16k|2533 | 0.000000e+00 | -- | Inf
69.46/69.53 c 69.5s| 23000 | 36 |446317 | 19.4 |9131k| 43 | 37 | 231 |9150 | 231 |2452 | 18 | 16k|2539 | 0.000000e+00 | -- | Inf
69.77/69.88 c 69.9s| 23100 | 36 |448431 | 19.4 |9147k| 43 | - | 231 |9198 | 231 |2452 | 18 | 17k|2559 | 0.000000e+00 | -- | Inf
70.07/70.16 c 70.2s| 23200 | 37 |450339 | 19.4 |9161k| 43 | 37 | 231 |9249 | 231 |2452 | 18 | 17k|2569 | 0.000000e+00 | -- | Inf
70.37/70.47 c 70.5s| 23300 | 37 |452621 | 19.4 |9183k| 43 | - | 231 |9300 | 231 |2452 | 18 | 17k|2578 | 0.000000e+00 | -- | Inf
70.67/70.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.67/70.77 c 70.8s| 23400 | 37 |454511 | 19.4 |9208k| 43 | - | 231 |9359 | 231 |2452 | 18 | 17k|2592 | 0.000000e+00 | -- | Inf
70.97/71.03 c 71.0s| 23500 | 36 |456227 | 19.4 |9229k| 43 | 37 | 231 |9419 | 231 |2452 | 18 | 17k|2603 | 0.000000e+00 | -- | Inf
71.27/71.34 c 71.3s| 23600 | 34 |458180 | 19.4 |9258k| 43 | - | 231 |9474 | 231 |2452 | 18 | 17k|2616 | 0.000000e+00 | -- | Inf
71.57/71.69 c 71.7s| 23700 | 32 |460414 | 19.4 |9275k| 43 | 40 | 231 |9525 | 231 |2452 | 18 | 17k|2632 | 0.000000e+00 | -- | Inf
71.97/72.00 c 72.0s| 23800 | 32 |462435 | 19.4 |9289k| 43 | 38 | 231 |9579 | 231 |2452 | 18 | 17k|2645 | 0.000000e+00 | -- | Inf
72.16/72.28 c 72.3s| 23900 | 32 |464257 | 19.4 |9302k| 43 | 34 | 231 |9621 | 231 |2452 | 18 | 17k|2659 | 0.000000e+00 | -- | Inf
72.48/72.59 c 72.6s| 24000 | 30 |466130 | 19.4 |9296k| 46 | 41 | 231 |9578 | 231 |2452 | 18 | 17k|2673 | 0.000000e+00 | -- | Inf
72.77/72.87 c 72.9s| 24100 | 30 |467931 | 19.4 |9299k| 46 | - | 231 |9548 | 231 |2452 | 18 | 17k|2688 | 0.000000e+00 | -- | Inf
73.07/73.15 c 73.2s| 24200 | 29 |469645 | 19.4 |9291k| 46 | - | 231 |9506 | 231 |2452 | 18 | 17k|2703 | 0.000000e+00 | -- | Inf
73.37/73.44 c 73.4s| 24300 | 27 |471576 | 19.4 |9304k| 46 | - | 231 |9524 | 231 |2452 | 18 | 17k|2715 | 0.000000e+00 | -- | Inf
73.67/73.76 c 73.8s| 24400 | 29 |473514 | 19.4 |9289k| 46 | - | 231 |9476 | 231 |2452 | 18 | 17k|2732 | 0.000000e+00 | -- | Inf
73.97/74.08 c 74.1s| 24500 | 31 |475699 | 19.4 |9308k| 46 | - | 231 |9512 | 231 |2452 | 18 | 18k|2746 | 0.000000e+00 | -- | Inf
74.27/74.37 c 74.4s| 24600 | 29 |477577 | 19.4 |9323k| 46 | - | 231 |9554 | 231 |2452 | 18 | 18k|2757 | 0.000000e+00 | -- | Inf
74.56/74.66 c 74.7s| 24700 | 29 |479368 | 19.4 |9331k| 46 | 42 | 231 |9597 | 231 |2452 | 18 | 18k|2770 | 0.000000e+00 | -- | Inf
74.87/74.94 c 74.9s| 24800 | 31 |481215 | 19.4 |9353k| 46 | - | 231 |9633 | 231 |2452 | 18 | 18k|2778 | 0.000000e+00 | -- | Inf
75.07/75.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.07/75.19 c 75.2s| 24900 | 33 |483087 | 19.4 |9376k| 46 | 41 | 231 |9695 | 231 |2452 | 18 | 18k|2781 | 0.000000e+00 | -- | Inf
75.37/75.46 c 75.5s| 25000 | 33 |484972 | 19.4 |9402k| 46 | 42 | 231 |9768 | 231 |2452 | 18 | 18k|2788 | 0.000000e+00 | -- | Inf
75.67/75.71 c 75.7s| 25100 | 35 |486764 | 19.4 |9435k| 46 | 37 | 231 |9839 | 231 |2452 | 18 | 18k|2792 | 0.000000e+00 | -- | Inf
75.87/75.96 c 76.0s| 25200 | 37 |488783 | 19.4 |9473k| 46 | - | 231 |9914 | 231 |2452 | 18 | 18k|2794 | 0.000000e+00 | -- | Inf
76.17/76.23 c 76.2s| 25300 | 35 |490971 | 19.4 |9490k| 46 | - | 231 |9976 | 231 |2452 | 18 | 18k|2794 | 0.000000e+00 | -- | Inf
76.37/76.49 c 76.5s| 25400 | 37 |493089 | 19.4 |9515k| 46 | 41 | 231 | 10k| 231 |2452 | 18 | 18k|2795 | 0.000000e+00 | -- | Inf
76.66/76.77 c 76.8s| 25500 | 35 |495348 | 19.4 |9533k| 46 | 34 | 231 | 10k| 231 |2452 | 18 | 18k|2797 | 0.000000e+00 | -- | Inf
76.97/77.01 c 77.0s| 25600 | 34 |497244 | 19.4 |9553k| 46 | 32 | 231 | 10k| 231 |2452 | 18 | 18k|2798 | 0.000000e+00 | -- | Inf
77.17/77.27 c 77.3s| 25700 | 36 |499283 | 19.4 |9583k| 46 | - | 231 | 10k| 231 |2452 | 18 | 18k|2799 | 0.000000e+00 | -- | Inf
77.47/77.51 c 77.5s| 25800 | 35 |501091 | 19.4 |9594k| 46 | - | 231 | 10k| 231 |2452 | 18 | 18k|2800 | 0.000000e+00 | -- | Inf
77.67/77.72 c 77.7s| 25900 | 35 |502705 | 19.4 |9616k| 46 | - | 231 | 10k| 231 |2452 | 18 | 18k|2801 | 0.000000e+00 | -- | Inf
77.87/77.98 c 78.0s| 26000 | 35 |504856 | 19.4 |9636k| 46 | - | 231 | 10k| 231 |2452 | 18 | 19k|2802 | 0.000000e+00 | -- | Inf
78.17/78.23 c 78.2s| 26100 | 35 |506875 | 19.4 |9655k| 46 | - | 231 | 10k| 231 |2452 | 18 | 19k|2802 | 0.000000e+00 | -- | Inf
78.37/78.46 c 78.5s| 26200 | 35 |508653 | 19.4 |9671k| 46 | 36 | 231 | 10k| 231 |2452 | 18 | 19k|2803 | 0.000000e+00 | -- | Inf
78.66/78.71 c 78.7s| 26300 | 35 |510708 | 19.4 |9700k| 46 | - | 231 | 10k| 231 |2452 | 18 | 19k|2804 | 0.000000e+00 | -- | Inf
78.87/78.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.87/78.96 c 79.0s| 26400 | 39 |512843 | 19.4 |9728k| 46 | 40 | 231 | 10k| 231 |2452 | 18 | 19k|2804 | 0.000000e+00 | -- | Inf
79.17/79.22 c 79.2s| 26500 | 41 |514805 | 19.4 |9760k| 46 | 37 | 231 | 10k| 231 |2452 | 18 | 19k|2807 | 0.000000e+00 | -- | Inf
79.37/79.47 c 79.5s| 26600 | 41 |516805 | 19.4 |9779k| 46 | 30 | 231 | 10k| 231 |2452 | 18 | 19k|2807 | 0.000000e+00 | -- | Inf
79.67/79.73 c 79.7s| 26700 | 39 |518492 | 19.4 |9790k| 46 | 35 | 231 | 10k| 231 |2452 | 18 | 19k|2817 | 0.000000e+00 | -- | Inf
79.97/80.08 c 80.1s| 26800 | 47 |520557 | 19.4 |9830k| 46 | 38 | 231 | 10k| 231 |2452 | 18 | 19k|2836 | 0.000000e+00 | -- | Inf
80.28/80.33 c 80.3s| 26900 | 47 |522644 | 19.4 |9854k| 46 | 20 | 231 | 10k| 231 |2452 | 18 | 19k|2836 | 0.000000e+00 | -- | Inf
80.57/80.68 c 80.7s| 27000 | 41 |524879 | 19.4 |9868k| 46 | 37 | 231 | 10k| 231 |2452 | 18 | 19k|2855 | 0.000000e+00 | -- | Inf
80.87/80.95 c 81.0s| 27100 | 41 |526743 | 19.4 |9898k| 46 | - | 231 | 10k| 231 |2452 | 18 | 19k|2863 | 0.000000e+00 | -- | Inf
81.17/81.24 c 81.2s| 27200 | 42 |528509 | 19.4 |9928k| 46 | - | 231 | 11k| 231 |2452 | 18 | 19k|2876 | 0.000000e+00 | -- | Inf
81.47/81.54 c 81.5s| 27300 | 44 |530271 | 19.4 |9949k| 46 | 37 | 231 | 11k| 231 |2452 | 18 | 19k|2892 | 0.000000e+00 | -- | Inf
81.77/81.82 c 81.8s| 27400 | 48 |532162 | 19.4 |9983k| 46 | - | 231 | 11k| 231 |2452 | 18 | 19k|2900 | 0.000000e+00 | -- | Inf
82.07/82.11 c 82.1s| 27500 | 48 |534204 | 19.4 | 10M| 46 | - | 231 | 11k| 231 |2452 | 18 | 20k|2910 | 0.000000e+00 | -- | Inf
82.27/82.39 c 82.4s| 27600 | 52 |535882 | 19.4 | 10M| 46 | 39 | 231 | 11k| 231 |2452 | 18 | 20k|2925 | 0.000000e+00 | -- | Inf
82.57/82.69 c 82.7s| 27700 | 50 |537742 | 19.4 | 10M| 46 | - | 231 | 11k| 231 |2452 | 18 | 20k|2939 | 0.000000e+00 | -- | Inf
82.87/82.96 c 83.0s| 27800 | 48 |539474 | 19.4 | 10M| 46 | - | 231 | 11k| 231 |2452 | 18 | 20k|2950 | 0.000000e+00 | -- | Inf
83.17/83.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.17/83.26 c 83.3s| 27900 | 49 |541305 | 19.4 | 10M| 46 | - | 231 | 11k| 231 |2452 | 18 | 20k|2967 | 0.000000e+00 | -- | Inf
83.47/83.51 c 83.5s| 28000 | 55 |542848 | 19.4 | 10M| 46 | 34 | 231 | 11k| 231 |2452 | 18 | 20k|2977 | 0.000000e+00 | -- | Inf
83.67/83.79 c 83.8s| 28100 | 57 |544708 | 19.4 | 10M| 46 | 31 | 231 | 11k| 231 |2452 | 18 | 20k|2989 | 0.000000e+00 | -- | Inf
83.97/84.06 c 84.1s| 28200 | 58 |546697 | 19.4 | 10M| 46 | 32 | 231 | 11k| 231 |2452 | 18 | 20k|2995 | 0.000000e+00 | -- | Inf
84.27/84.32 c 84.3s| 28300 | 59 |548577 | 19.4 | 10M| 46 | 25 | 231 | 11k| 231 |2452 | 18 | 20k|3000 | 0.000000e+00 | -- | Inf
84.47/84.55 c 84.5s| 28400 | 61 |550193 | 19.4 | 10M| 46 | - | 231 | 11k| 231 |2452 | 18 | 20k|3002 | 0.000000e+00 | -- | Inf
84.77/84.81 c 84.8s| 28500 | 60 |552093 | 19.4 | 10M| 46 | 31 | 231 | 11k| 231 |2452 | 18 | 20k|3008 | 0.000000e+00 | -- | Inf
84.97/85.04 c 85.0s| 28600 | 60 |553761 | 19.4 | 10M| 46 | - | 231 | 11k| 231 |2452 | 18 | 20k|3010 | 0.000000e+00 | -- | Inf
85.27/85.32 c 85.3s| 28700 | 60 |556073 | 19.4 | 10M| 46 | - | 231 | 11k| 231 |2452 | 18 | 20k|3012 | 0.000000e+00 | -- | Inf
85.47/85.57 c 85.6s| 28800 | 62 |557828 | 19.4 | 10M| 46 | - | 231 | 11k| 231 |2452 | 18 | 20k|3016 | 0.000000e+00 | -- | Inf
85.77/85.81 c 85.8s| 28900 | 62 |559739 | 19.4 | 10M| 46 | 35 | 231 | 11k| 231 |2452 | 18 | 20k|3016 | 0.000000e+00 | -- | Inf
85.96/86.09 c 86.1s| 29000 | 62 |561939 | 19.4 | 10M| 46 | 37 | 231 | 11k| 231 |2452 | 18 | 20k|3016 | 0.000000e+00 | -- | Inf
86.27/86.34 c 86.3s| 29100 | 66 |563878 | 19.4 | 10M| 46 | 33 | 231 | 11k| 231 |2452 | 18 | 20k|3017 | 0.000000e+00 | -- | Inf
86.47/86.59 c 86.6s| 29200 | 68 |565742 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 21k|3021 | 0.000000e+00 | -- | Inf
86.77/86.84 c 86.8s| 29300 | 71 |567730 | 19.4 | 10M| 46 | 31 | 231 | 12k| 231 |2452 | 18 | 21k|3021 | 0.000000e+00 | -- | Inf
86.97/87.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.97/87.08 c 87.1s| 29400 | 73 |569597 | 19.4 | 10M| 46 | 39 | 231 | 12k| 231 |2452 | 18 | 21k|3022 | 0.000000e+00 | -- | Inf
87.26/87.33 c 87.3s| 29500 | 73 |571447 | 19.4 | 10M| 46 | 37 | 231 | 12k| 231 |2452 | 18 | 21k|3025 | 0.000000e+00 | -- | Inf
87.47/87.57 c 87.6s| 29600 | 71 |573282 | 19.4 | 10M| 46 | 25 | 231 | 12k| 231 |2452 | 18 | 21k|3027 | 0.000000e+00 | -- | Inf
87.77/87.81 c 87.8s| 29700 | 71 |575119 | 19.4 | 10M| 46 | 35 | 231 | 12k| 231 |2452 | 18 | 21k|3028 | 0.000000e+00 | -- | Inf
87.97/88.05 c 88.0s| 29800 | 73 |577020 | 19.4 | 10M| 46 | 36 | 231 | 12k| 231 |2452 | 18 | 21k|3028 | 0.000000e+00 | -- | Inf
88.17/88.30 c 88.3s| 29900 | 74 |579109 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 21k|3028 | 0.000000e+00 | -- | Inf
88.46/88.55 c 88.6s| 30000 | 72 |581114 | 19.4 | 10M| 46 | 43 | 231 | 12k| 231 |2452 | 18 | 21k|3028 | 0.000000e+00 | -- | Inf
88.77/88.82 c 88.8s| 30100 | 74 |583211 | 19.4 | 10M| 46 | 39 | 231 | 12k| 231 |2452 | 18 | 21k|3029 | 0.000000e+00 | -- | Inf
88.97/89.07 c 89.1s| 30200 | 74 |585192 | 19.4 | 10M| 46 | 37 | 231 | 12k| 231 |2452 | 18 | 21k|3029 | 0.000000e+00 | -- | Inf
89.27/89.34 c 89.3s| 30300 | 71 |586932 | 19.4 | 10M| 46 | - | 231 | 12k| 0 | 0 | 18 | 21k|3038 | 0.000000e+00 | -- | Inf
89.56/89.65 c 89.7s| 30400 | 73 |588965 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 21k|3049 | 0.000000e+00 | -- | Inf
89.87/89.92 c 89.9s| 30500 | 73 |590699 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 21k|3058 | 0.000000e+00 | -- | Inf
90.18/90.21 c 90.2s| 30600 | 77 |592569 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 21k|3069 | 0.000000e+00 | -- | Inf
90.36/90.49 c 90.5s| 30700 | 77 |594477 | 19.4 | 10M| 46 | 30 | 231 | 12k| 231 |2452 | 18 | 21k|3078 | 0.000000e+00 | -- | Inf
90.67/90.77 c 90.8s| 30800 | 75 |596387 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 22k|3086 | 0.000000e+00 | -- | Inf
90.97/91.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.97/91.07 c 91.1s| 30900 | 77 |598232 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 22k|3102 | 0.000000e+00 | -- | Inf
91.28/91.36 c 91.4s| 31000 | 79 |600252 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 22k|3111 | 0.000000e+00 | -- | Inf
91.57/91.68 c 91.7s| 31100 | 75 |602323 | 19.4 | 10M| 46 | 29 | 231 | 12k| 231 |2452 | 18 | 22k|3123 | 0.000000e+00 | -- | Inf
91.97/92.00 c 92.0s| 31200 | 79 |604401 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 22k|3134 | 0.000000e+00 | -- | Inf
92.17/92.28 c 92.3s| 31300 | 81 |606426 | 19.4 | 10M| 46 | 36 | 231 | 12k| 231 |2452 | 18 | 22k|3143 | 0.000000e+00 | -- | Inf
92.56/92.64 c 92.6s| 31400 | 85 |608845 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 22k|3160 | 0.000000e+00 | -- | Inf
92.87/92.94 c 92.9s| 31500 | 85 |610758 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 22k|3172 | 0.000000e+00 | -- | Inf
93.17/93.25 c 93.3s| 31600 | 87 |612882 | 19.4 | 10M| 46 | 25 | 231 | 12k| 231 |2452 | 18 | 22k|3182 | 0.000000e+00 | -- | Inf
93.47/93.60 c 93.6s| 31700 | 85 |615056 | 19.4 | 10M| 46 | 31 | 231 | 12k| 231 |2452 | 18 | 22k|3199 | 0.000000e+00 | -- | Inf
93.77/93.89 c 93.9s| 31800 | 80 |617026 | 19.4 | 10M| 46 | 37 | 231 | 12k| 231 |2452 | 18 | 22k|3211 | 0.000000e+00 | -- | Inf
94.16/94.21 c 94.2s| 31900 | 80 |619207 | 19.4 | 10M| 46 | 37 | 231 | 12k| 231 |2452 | 18 | 22k|3221 | 0.000000e+00 | -- | Inf
94.37/94.49 c 94.5s| 32000 | 80 |621365 | 19.4 | 10M| 46 | 43 | 231 | 12k| 231 |2452 | 18 | 22k|3224 | 0.000000e+00 | -- | Inf
94.67/94.74 c 94.7s| 32100 | 82 |623287 | 19.4 | 10M| 46 | 34 | 231 | 12k| 231 |2452 | 18 | 22k|3226 | 0.000000e+00 | -- | Inf
94.87/94.99 c 95.0s| 32200 | 84 |625248 | 19.4 | 10M| 46 | 43 | 231 | 12k| 231 |2452 | 18 | 22k|3226 | 0.000000e+00 | -- | Inf
95.17/95.26 c 95.3s| 32300 | 85 |627448 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 23k|3228 | 0.000000e+00 | -- | Inf
95.46/95.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.46/95.52 c 95.5s| 32400 | 85 |629339 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 23k|3229 | 0.000000e+00 | -- | Inf
95.67/95.77 c 95.8s| 32500 | 81 |631326 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 23k|3229 | 0.000000e+00 | -- | Inf
95.96/96.02 c 96.0s| 32600 | 81 |633183 | 19.4 | 10M| 46 | 35 | 231 | 12k| 231 |2452 | 18 | 23k|3229 | 0.000000e+00 | -- | Inf
96.16/96.27 c 96.3s| 32700 | 79 |635141 | 19.4 | 10M| 46 | 23 | 231 | 12k| 231 |2452 | 18 | 23k|3229 | 0.000000e+00 | -- | Inf
96.47/96.57 c 96.6s| 32800 | 83 |637547 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
96.77/96.86 c 96.9s| 32900 | 83 |639945 | 19.4 | 10M| 46 | - | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
97.07/97.10 c 97.1s| 33000 | 83 |641922 | 19.4 | 10M| 47 | 37 | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
97.27/97.37 c 97.4s| 33100 | 85 |644047 | 19.5 | 10M| 48 | 35 | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
97.56/97.64 c 97.6s| 33200 | 87 |646312 | 19.5 | 10M| 48 | 33 | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
97.87/97.92 c 97.9s| 33300 | 85 |648510 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
98.17/98.20 c 98.2s| 33400 | 85 |650803 | 19.5 | 10M| 48 | 42 | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
98.46/98.50 c 98.5s| 33500 | 81 |653210 | 19.5 | 10M| 48 | 37 | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
98.67/98.79 c 98.8s| 33600 | 82 |655537 | 19.5 | 10M| 48 | 24 | 231 | 12k| 231 |2452 | 18 | 23k|3230 | 0.000000e+00 | -- | Inf
98.97/99.07 c 99.1s| 33700 | 79 |657612 | 19.5 | 10M| 48 | - | 231 | 12k| 0 | 0 | 18 | 23k|3235 | 0.000000e+00 | -- | Inf
99.27/99.38 c 99.4s| 33800 | 76 |659648 | 19.5 | 10M| 48 | 26 | 231 | 12k| 231 |2452 | 18 | 24k|3247 | 0.000000e+00 | -- | Inf
99.57/99.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.57/99.67 c 99.7s| 33900 | 71 |661342 | 19.5 | 10M| 48 | 41 | 231 | 12k| 231 |2452 | 18 | 24k|3259 | 0.000000e+00 | -- | Inf
99.87/100.00 c 100s| 34000 | 73 |663485 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 24k|3269 | 0.000000e+00 | -- | Inf
100.26/100.33 c 100s| 34100 | 72 |665535 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 24k|3286 | 0.000000e+00 | -- | Inf
100.57/100.63 c 101s| 34200 | 70 |667525 | 19.5 | 10M| 48 | 32 | 231 | 12k| 231 |2452 | 18 | 24k|3297 | 0.000000e+00 | -- | Inf
100.86/100.93 c 101s| 34300 | 66 |669522 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 24k|3307 | 0.000000e+00 | -- | Inf
101.17/101.23 c 101s| 34400 | 62 |671491 | 19.5 | 10M| 48 | 33 | 231 | 12k| 231 |2452 | 18 | 24k|3317 | 0.000000e+00 | -- | Inf
101.47/101.52 c 102s| 34500 | 58 |673415 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 24k|3326 | 0.000000e+00 | -- | Inf
101.76/101.86 c 102s| 34600 | 56 |675439 | 19.5 | 10M| 48 | 40 | 231 | 12k| 231 |2452 | 18 | 24k|3348 | 0.000000e+00 | -- | Inf
102.06/102.10 c 102s| 34700 | 54 |677222 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 24k|3348 | 0.000000e+00 | -- | Inf
102.27/102.37 c 102s| 34800 | 54 |679036 | 19.5 | 10M| 48 | 35 | 231 | 12k| 231 |2452 | 18 | 24k|3357 | 0.000000e+00 | -- | Inf
102.56/102.65 c 103s| 34900 | 54 |680830 | 19.5 | 10M| 48 | 37 | 231 | 11k| 231 |2452 | 18 | 24k|3370 | 0.000000e+00 | -- | Inf
102.86/102.96 c 103s| 35000 | 50 |682991 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 24k|3381 | 0.000000e+00 | -- | Inf
103.17/103.26 c 103s| 35100 | 50 |684890 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 24k|3392 | 0.000000e+00 | -- | Inf
103.47/103.57 c 104s| 35200 | 48 |686846 | 19.5 | 10M| 48 | 45 | 231 | 11k| 231 |2452 | 18 | 25k|3406 | 0.000000e+00 | -- | Inf
103.77/103.86 c 104s| 35300 | 49 |688836 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 25k|3416 | 0.000000e+00 | -- | Inf
104.07/104.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.07/104.16 c 104s| 35400 | 47 |690765 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 25k|3429 | 0.000000e+00 | -- | Inf
104.37/104.47 c 104s| 35500 | 49 |692891 | 19.5 | 10M| 48 | 35 | 231 | 11k| 231 |2452 | 18 | 25k|3441 | 0.000000e+00 | -- | Inf
104.66/104.74 c 105s| 35600 | 49 |694975 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 25k|3445 | 0.000000e+00 | -- | Inf
104.86/104.99 c 105s| 35700 | 50 |696835 | 19.5 | 10M| 48 | 31 | 231 | 12k| 231 |2452 | 18 | 25k|3449 | 0.000000e+00 | -- | Inf
105.16/105.27 c 105s| 35800 | 47 |699077 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 25k|3452 | 0.000000e+00 | -- | Inf
105.47/105.54 c 106s| 35900 | 48 |701237 | 19.5 | 10M| 48 | 30 | 231 | 12k| 231 |2452 | 18 | 25k|3453 | 0.000000e+00 | -- | Inf
105.76/105.82 c 106s| 36000 | 46 |703326 | 19.5 | 10M| 48 | - | 231 | 12k| 231 |2452 | 18 | 25k|3459 | 0.000000e+00 | -- | Inf
106.07/106.10 c 106s| 36100 | 47 |705295 | 19.5 | 10M| 48 | 38 | 231 | 11k| 231 |2452 | 18 | 25k|3461 | 0.000000e+00 | -- | Inf
106.27/106.35 c 106s| 36200 | 45 |707123 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 25k|3462 | 0.000000e+00 | -- | Inf
106.46/106.60 c 107s| 36300 | 45 |709082 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 25k|3462 | 0.000000e+00 | -- | Inf
106.76/106.86 c 107s| 36400 | 45 |711130 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 25k|3463 | 0.000000e+00 | -- | Inf
106.97/107.10 c 107s| 36500 | 45 |712940 | 19.5 | 10M| 48 | 27 | 231 | 11k| 231 |2452 | 18 | 25k|3463 | 0.000000e+00 | -- | Inf
107.26/107.31 c 107s| 36600 | 48 |714605 | 19.5 | 10M| 48 | 34 | 231 | 11k| 231 |2452 | 18 | 25k|3463 | 0.000000e+00 | -- | Inf
107.47/107.55 c 108s| 36700 | 49 |716488 | 19.5 | 10M| 48 | 26 | 231 | 11k| 231 |2452 | 18 | 26k|3463 | 0.000000e+00 | -- | Inf
107.67/107.77 c 108s| 36800 | 49 |718154 | 19.5 | 10M| 48 | 31 | 231 | 11k| 231 |2452 | 18 | 26k|3463 | 0.000000e+00 | -- | Inf
107.96/108.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.96/108.03 c 108s| 36900 | 47 |720150 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 26k|3463 | 0.000000e+00 | -- | Inf
108.16/108.28 c 108s| 37000 | 51 |722154 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 26k|3464 | 0.000000e+00 | -- | Inf
108.47/108.54 c 109s| 37100 | 49 |724110 | 19.5 | 10M| 48 | 37 | 231 | 11k| 231 |2452 | 18 | 26k|3465 | 0.000000e+00 | -- | Inf
108.66/108.78 c 109s| 37200 | 51 |726011 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 26k|3465 | 0.000000e+00 | -- | Inf
108.96/109.04 c 109s| 37300 | 55 |728046 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 26k|3465 | 0.000000e+00 | -- | Inf
109.17/109.28 c 109s| 37400 | 53 |729973 | 19.5 | 10M| 48 | 34 | 231 | 11k| 231 |2452 | 18 | 26k|3465 | 0.000000e+00 | -- | Inf
109.46/109.51 c 110s| 37500 | 51 |731689 | 19.5 | 10M| 48 | 40 | 231 | 11k| 231 |2452 | 18 | 26k|3465 | 0.000000e+00 | -- | Inf
109.66/109.75 c 110s| 37600 | 48 |733590 | 19.5 | 10M| 48 | 41 | 231 | 11k| 231 |2452 | 18 | 26k|3465 | 0.000000e+00 | -- | Inf
109.97/110.02 c 110s| 37700 | 42 |735619 | 19.5 | 10M| 48 | - | 231 | 11k| 231 |2452 | 18 | 26k|3466 | 0.000000e+00 | -- | Inf
110.26/110.33 c 110s| 37800 | 42 |737711 | 19.5 | 10M| 48 | 24 | 231 | 11k| 231 |2452 | 18 | 26k|3476 | 0.000000e+00 | -- | Inf
110.57/110.66 c 111s| 37900 | 43 |739848 | 19.5 | 10M| 48 | 36 | 231 | 11k| 231 |2452 | 18 | 26k|3489 | 0.000000e+00 | -- | Inf
110.97/111.03 c 111s| 38000 | 39 |742409 | 19.5 | 10M| 48 | - | 231 | 10k| 231 |2452 | 18 | 26k|3503 | 0.000000e+00 | -- | Inf
111.26/111.31 c 111s| 38100 | 42 |744313 | 19.5 |9924k| 48 | - | 231 | 10k| 231 |2452 | 18 | 26k|3510 | 0.000000e+00 | -- | Inf
111.56/111.63 c 112s| 38200 | 43 |746397 | 19.5 |9892k| 48 | 34 | 231 | 10k| 231 |2452 | 18 | 26k|3524 | 0.000000e+00 | -- | Inf
111.86/111.91 c 112s| 38300 | 48 |748285 | 19.5 |9850k| 48 | - | 231 | 10k| 231 |2452 | 18 | 27k|3535 | 0.000000e+00 | -- | Inf
112.17/112.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.17/112.22 c 112s| 38400 | 51 |750268 | 19.5 |9816k| 48 | - | 231 | 10k| 231 |2452 | 18 | 27k|3547 | 0.000000e+00 | -- | Inf
112.37/112.48 c 112s| 38500 | 53 |752190 | 19.5 |9807k| 48 | 37 | 231 | 10k| 231 |2452 | 18 | 27k|3548 | 0.000000e+00 | -- | Inf
112.66/112.77 c 113s| 38600 | 52 |754118 | 19.5 |9819k| 48 | - | 231 | 10k| 231 |2452 | 18 | 27k|3559 | 0.000000e+00 | -- | Inf
112.96/113.09 c 113s| 38700 | 48 |756152 | 19.5 |9798k| 48 | 41 | 231 | 10k| 231 |2452 | 18 | 27k|3570 | 0.000000e+00 | -- | Inf
113.27/113.37 c 113s| 38800 | 50 |758160 | 19.5 |9818k| 48 | - | 231 | 10k| 231 |2452 | 18 | 27k|3578 | 0.000000e+00 | -- | Inf
113.57/113.67 c 114s| 38900 | 48 |760210 | 19.5 |9839k| 48 | 22 | 231 | 10k| 231 |2452 | 18 | 27k|3589 | 0.000000e+00 | -- | Inf
113.86/113.97 c 114s| 39000 | 46 |762161 | 19.5 |9847k| 48 | 37 | 231 | 10k| 231 |2452 | 18 | 27k|3601 | 0.000000e+00 | -- | Inf
114.16/114.26 c 114s| 39100 | 44 |764048 | 19.5 |9847k| 48 | - | 231 | 10k| 231 |2452 | 18 | 27k|3611 | 0.000000e+00 | -- | Inf
114.47/114.57 c 115s| 39200 | 45 |766078 | 19.5 |9829k| 48 | 36 | 231 | 10k| 231 |2452 | 18 | 27k|3624 | 0.000000e+00 | -- | Inf
114.76/114.85 c 115s| 39300 | 48 |768086 | 19.5 |9844k| 48 | 43 | 231 | 10k| 231 |2452 | 18 | 27k|3631 | 0.000000e+00 | -- | Inf
115.06/115.17 c 115s| 39400 | 44 |770226 | 19.5 |9827k| 48 | - | 231 | 10k| 231 |2452 | 18 | 27k|3647 | 0.000000e+00 | -- | Inf
115.37/115.46 c 115s| 39500 | 44 |772196 | 19.5 |9833k| 48 | 25 | 231 | 10k| 231 |2452 | 18 | 27k|3657 | 0.000000e+00 | -- | Inf
115.67/115.78 c 116s| 39600 | 44 |774329 | 19.6 |9828k| 48 | 33 | 231 | 10k| 231 |2452 | 18 | 27k|3670 | 0.000000e+00 | -- | Inf
115.96/116.09 c 116s| 39700 | 44 |776406 | 19.6 |9795k| 48 | 33 | 231 | 10k| 231 |2452 | 18 | 27k|3685 | 0.000000e+00 | -- | Inf
116.26/116.34 c 116s| 39800 | 44 |778043 | 19.5 |9793k| 48 | 30 | 231 | 10k| 231 |2452 | 18 | 28k|3699 | 0.000000e+00 | -- | Inf
116.57/116.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.57/116.66 c 117s| 39900 | 41 |780207 | 19.6 |9763k| 48 | 36 | 231 | 10k| 231 |2452 | 18 | 28k|3712 | 0.000000e+00 | -- | Inf
116.86/116.93 c 117s| 40000 | 42 |782011 | 19.5 |9757k| 48 | 30 | 231 | 10k| 231 |2452 | 18 | 28k|3720 | 0.000000e+00 | -- | Inf
117.06/117.19 c 117s| 40100 | 41 |783996 | 19.5 |9781k| 48 | - | 231 | 10k| 0 | 0 | 18 | 28k|3723 | 0.000000e+00 | -- | Inf
117.37/117.43 c 117s| 40200 | 43 |785967 | 19.5 |9782k| 48 | 33 | 231 | 10k| 231 |2452 | 18 | 28k|3724 | 0.000000e+00 | -- | Inf
117.57/117.69 c 118s| 40300 | 42 |788146 | 19.6 |9804k| 48 | - | 231 | 10k| 231 |2452 | 18 | 28k|3725 | 0.000000e+00 | -- | Inf
117.86/117.98 c 118s| 40400 | 40 |790250 | 19.6 |9775k| 48 | 32 | 231 | 10k| 231 |2452 | 18 | 28k|3730 | 0.000000e+00 | -- | Inf
118.17/118.24 c 118s| 40500 | 38 |792289 | 19.6 |9731k| 48 | - | 231 |9937 | 231 |2452 | 18 | 28k|3731 | 0.000000e+00 | -- | Inf
118.36/118.44 c 118s| 40600 | 38 |793729 | 19.5 |9707k| 48 | 23 | 231 |9883 | 231 |2452 | 18 | 28k|3732 | 0.000000e+00 | -- | Inf
118.56/118.69 c 119s| 40700 | 38 |795601 | 19.5 |9712k| 48 | 38 | 231 |9884 | 231 |2452 | 18 | 28k|3735 | 0.000000e+00 | -- | Inf
118.86/118.93 c 119s| 40800 | 34 |797385 | 19.5 |9704k| 48 | 39 | 231 |9912 | 231 |2452 | 18 | 28k|3737 | 0.000000e+00 | -- | Inf
119.06/119.18 c 119s| 40900 | 33 |799291 | 19.5 |9697k| 48 | 44 | 231 |9892 | 231 |2452 | 18 | 28k|3737 | 0.000000e+00 | -- | Inf
119.37/119.43 c 119s| 41000 | 35 |801116 | 19.5 |9669k| 48 | 37 | 231 |9778 | 231 |2452 | 18 | 28k|3739 | 0.000000e+00 | -- | Inf
119.67/119.70 c 120s| 41100 | 37 |803240 | 19.5 |9621k| 48 | 33 | 231 |9639 | 231 |2452 | 18 | 28k|3740 | 0.000000e+00 | -- | Inf
119.87/119.94 c 120s| 41200 | 35 |805055 | 19.5 |9603k| 48 | - | 231 |9565 | 231 |2452 | 18 | 28k|3740 | 0.000000e+00 | -- | Inf
120.06/120.18 c 120s| 41300 | 37 |806883 | 19.5 |9600k| 48 | 21 | 231 |9541 | 231 |2452 | 18 | 29k|3741 | 0.000000e+00 | -- | Inf
120.36/120.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.36/120.41 c 120s| 41400 | 32 |808603 | 19.5 |9562k| 48 | - | 231 |9448 | 231 |2452 | 18 | 29k|3741 | 0.000000e+00 | -- | Inf
120.56/120.67 c 121s| 41500 | 34 |810474 | 19.5 |9504k| 48 | - | 231 |9234 | 231 |2452 | 18 | 29k|3743 | 0.000000e+00 | -- | Inf
120.77/120.89 c 121s| 41600 | 32 |812204 | 19.5 |9486k| 48 | - | 231 |9203 | 231 |2452 | 18 | 29k|3743 | 0.000000e+00 | -- | Inf
121.06/121.10 c 121s| 41700 | 31 |813685 | 19.5 |9475k| 48 | 42 | 231 |9205 | 231 |2452 | 18 | 29k|3743 | 0.000000e+00 | -- | Inf
121.26/121.32 c 121s| 41800 | 32 |815297 | 19.5 |9489k| 48 | 40 | 231 |9248 | 231 |2452 | 18 | 29k|3743 | 0.000000e+00 | -- | Inf
121.47/121.56 c 122s| 41900 | 30 |817190 | 19.5 |9495k| 48 | 44 | 231 |9294 | 231 |2452 | 18 | 29k|3743 | 0.000000e+00 | -- | Inf
121.76/121.81 c 122s| 42000 | 28 |819151 | 19.5 |9480k| 48 | - | 231 |9274 | 231 |2452 | 18 | 29k|3745 | 0.000000e+00 | -- | Inf
121.97/122.05 c 122s| 42100 | 30 |821128 | 19.5 |9476k| 48 | 32 | 231 |9267 | 231 |2452 | 18 | 29k|3745 | 0.000000e+00 | -- | Inf
122.26/122.30 c 122s| 42200 | 30 |823228 | 19.5 |9491k| 48 | 35 | 231 |9316 | 231 |2452 | 18 | 29k|3746 | 0.000000e+00 | -- | Inf
122.46/122.55 c 123s| 42300 | 30 |825260 | 19.5 |9510k| 48 | - | 231 |9344 | 231 |2452 | 18 | 29k|3746 | 0.000000e+00 | -- | Inf
122.76/122.81 c 123s| 42400 | 30 |827428 | 19.5 |9534k| 48 | - | 231 |9414 | 231 |2452 | 18 | 29k|3746 | 0.000000e+00 | -- | Inf
122.96/123.06 c 123s| 42500 | 30 |829442 | 19.5 |9557k| 48 | - | 231 |9485 | 231 |2452 | 18 | 29k|3747 | 0.000000e+00 | -- | Inf
123.26/123.39 c 123s| 42600 | 27 |831445 | 19.5 |9569k| 48 | 35 | 231 |9558 | 231 |2452 | 18 | 29k|3766 | 0.000000e+00 | -- | Inf
123.56/123.67 c 124s| 42700 | 25 |833373 | 19.5 |9568k| 48 | - | 231 |9566 | 231 |2452 | 18 | 29k|3776 | 0.000000e+00 | -- | Inf
123.86/123.97 c 124s| 42800 | 23 |835308 | 19.5 |9565k| 48 | - | 231 |9575 | 231 |2452 | 18 | 30k|3786 | 0.000000e+00 | -- | Inf
124.17/124.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.17/124.21 c 124s| 42900 | 23 |837089 | 19.5 |9536k| 48 | 39 | 231 |9475 | 231 |2452 | 18 | 30k|3786 | 0.000000e+00 | -- | Inf
124.46/124.54 c 125s| 43000 | 21 |839177 | 19.5 |9535k| 48 | - | 231 |9482 | 231 |2452 | 18 | 30k|3803 | 0.000000e+00 | -- | Inf
124.76/124.83 c 125s| 43100 | 21 |841137 | 19.5 |9529k| 48 | - | 231 |9454 | 231 |2452 | 18 | 30k|3812 | 0.000000e+00 | -- | Inf
125.06/125.14 c 125s| 43200 | 21 |843086 | 19.5 |9527k| 48 | - | 231 |9451 | 231 |2452 | 18 | 30k|3824 | 0.000000e+00 | -- | Inf
125.27/125.39 c 125s| 43300 | 30 |845120 | 19.5 |9550k| 48 | 32 | 231 |9456 | 231 |2452 | 18 | 30k|3825 | 0.000000e+00 | -- | Inf
125.56/125.66 c 126s| 43400 | 27 |846945 | 19.5 |9565k| 48 | - | 231 |9513 | 231 |2452 | 18 | 30k|3835 | 0.000000e+00 | -- | Inf
125.86/125.94 c 126s| 43500 | 31 |848792 | 19.5 |9588k| 48 | 29 | 231 |9557 | 231 |2452 | 18 | 30k|3844 | 0.000000e+00 | -- | Inf
126.16/126.20 c 126s| 43600 | 30 |850562 | 19.5 |9607k| 48 | 36 | 231 |9613 | 231 |2452 | 18 | 30k|3852 | 0.000000e+00 | -- | Inf
126.47/126.52 c 127s| 43700 | 32 |852678 | 19.5 |9632k| 48 | 34 | 231 |9668 | 231 |2452 | 18 | 30k|3866 | 0.000000e+00 | -- | Inf
126.66/126.78 c 127s| 43800 | 26 |854567 | 19.5 |9640k| 48 | 28 | 231 |9725 | 231 |2452 | 18 | 30k|3873 | 0.000000e+00 | -- | Inf
126.96/127.05 c 127s| 43900 | 24 |856370 | 19.5 |9654k| 48 | - | 231 |9776 | 231 |2452 | 18 | 30k|3883 | 0.000000e+00 | -- | Inf
127.26/127.36 c 127s| 44000 | 24 |858361 | 19.5 |9666k| 48 | 36 | 231 |9829 | 231 |2452 | 18 | 30k|3896 | 0.000000e+00 | -- | Inf
127.56/127.64 c 128s| 44100 | 22 |860298 | 19.5 |9684k| 48 | 41 | 231 |9882 | 231 |2452 | 18 | 30k|3903 | 0.000000e+00 | -- | Inf
127.86/127.97 c 128s| 44200 | 20 |862442 | 19.5 |9667k| 48 | - | 231 |9837 | 231 |2452 | 18 | 30k|3917 | 0.000000e+00 | -- | Inf
128.16/128.26 c 128s| 44300 | 18 |864558 | 19.5 |9664k| 48 | 31 | 231 |9837 | 231 |2452 | 18 | 30k|3926 | 0.000000e+00 | -- | Inf
128.46/128.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.46/128.55 c 129s| 44400 | 16 |866531 | 19.5 |9611k| 48 | 18 | 231 |9790 | 231 |2452 | 18 | 31k|3934 | 0.000000e+00 | -- | Inf
128.76/128.83 c 129s| 44500 | 12 |868580 | 19.5 |9612k| 48 | 48 | 231 |9810 | 231 |2452 | 18 | 31k|3939 | 0.000000e+00 | -- | Inf
129.06/129.11 c 129s| 44600 | 9 |870532 | 19.5 |9603k| 48 | - | 231 |9802 | 231 |2452 | 18 | 31k|3944 | 0.000000e+00 | -- | Inf
129.26/129.39 c 129s| 44700 | 11 |872646 | 19.5 |9594k| 48 | 28 | 231 |9763 | 231 |2452 | 18 | 31k|3947 | 0.000000e+00 | -- | Inf
129.56/129.62 c 130s| 44800 | 7 |874407 | 19.5 |9562k| 48 | - | 231 |9713 | 231 |2452 | 18 | 31k|3948 | 0.000000e+00 | -- | Inf
129.86/129.91 c 130s| 44900 | 5 |876541 | 19.5 |9538k| 48 | - | 231 |9654 | 231 |2452 | 18 | 31k|3953 | 0.000000e+00 | -- | Inf
130.06/130.17 c 130s| 45000 | 5 |878434 | 19.5 |9518k| 48 | - | 231 |9610 | 231 |2452 | 18 | 31k|3956 | 0.000000e+00 | -- | Inf
130.36/130.42 c 130s| 45100 | 5 |880378 | 19.5 |9512k| 48 | 26 | 231 |9615 | 231 |2452 | 18 | 31k|3958 | 0.000000e+00 | -- | Inf
130.36/130.49 c
130.36/130.49 c SCIP Status : problem is solved [infeasible]
130.36/130.49 c Solving Time (sec) : 130.50
130.36/130.49 c Solving Nodes : 45129
130.36/130.49 c Primal Bound : +1.00000000000000e+20 (0 solutions)
130.36/130.49 c Dual Bound : +1.00000000000000e+20
130.36/130.49 c Gap : 0.00 %
130.36/130.49 s UNSATISFIABLE
130.36/130.49 c SCIP Status : problem is solved [infeasible]
130.36/130.49 c Total Time : 130.50
130.36/130.49 c solving : 130.50
130.36/130.49 c presolving : 0.05 (included in solving)
130.36/130.49 c reading : 0.01 (included in solving)
130.36/130.49 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
130.36/130.49 c Original Problem :
130.36/130.49 c Problem name : HOME/instance-3690417-1338016937.opb
130.36/130.49 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
130.36/130.49 c Constraints : 2707 initial, 2707 maximal
130.36/130.49 c Objective sense : minimize
130.36/130.49 c Presolved Problem :
130.36/130.49 c Problem name : t_HOME/instance-3690417-1338016937.opb
130.36/130.49 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
130.36/130.49 c Constraints : 2443 initial, 12946 maximal
130.36/130.49 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
130.36/130.49 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.49 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
130.36/130.50 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
130.36/130.50 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
130.36/130.50 c root node : - - 21 - - 21 - - - - -
130.36/130.50 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
130.36/130.50 c integral : 0 0 0 0 23587 0 1 0 103 1540 0 0 45394
130.36/130.50 c knapsack : 1 1 5 184534 0 0 0 12957 233 80974 0 0 0
130.36/130.50 c setppc : 22 22 5 184440 0 0 0 449555 941 258312 0 0 0
130.36/130.50 c linear : 0+ 282 5 155574 0 0 0 314 3 2555 2 0 0
130.36/130.50 c logicor : 2420+ 12893 5 83023 0 0 0 192037 241 269486 0 0 0
130.36/130.50 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
130.36/130.50 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
130.36/130.50 c integral : 18.59 0.00 0.00 0.00 18.59 0.00 0.00 0.00
130.36/130.50 c knapsack : 0.22 0.00 0.00 0.20 0.00 0.00 0.00 0.01
130.36/130.50 c setppc : 0.79 0.00 0.00 0.66 0.00 0.00 0.00 0.13
130.36/130.50 c linear : 0.21 0.00 0.00 0.21 0.00 0.00 0.00 0.00
130.36/130.50 c logicor : 3.19 0.00 0.00 3.05 0.00 0.00 0.00 0.14
130.36/130.50 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
130.36/130.50 c Propagators : #Propagate #ResProp Cutoffs DomReds
130.36/130.50 c rootredcost : 0 0 0 0
130.36/130.50 c pseudoobj : 0 0 0 0
130.36/130.50 c vbounds : 0 0 0 0
130.36/130.50 c redcost : 23592 0 0 0
130.36/130.50 c probing : 0 0 0 0
130.36/130.50 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
130.36/130.50 c rootredcost : 0.05 0.00 0.00 0.05 0.00
130.36/130.50 c pseudoobj : 0.05 0.00 0.00 0.05 0.00
130.36/130.50 c vbounds : 0.04 0.00 0.00 0.04 0.00
130.36/130.50 c redcost : 0.10 0.00 0.00 0.10 0.00
130.36/130.50 c probing : 0.00 0.00 0.00 0.00 0.00
130.36/130.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
130.36/130.50 c propagation : 0.05 1418 1411 6735 19.4 18 19.8 -
130.36/130.50 c infeasible LP : 1.75 21173 21066 120538 30.2 63 17.3 0
130.36/130.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
130.36/130.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
130.36/130.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
130.36/130.50 c applied globally : - - - 30681 18.7 - - -
130.36/130.50 c applied locally : - - - 855 33.0 - - -
130.36/130.50 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
130.36/130.50 c cut pool : 0.00 4 - - 151 - (maximal pool size: 569)
130.36/130.50 c closecuts : 0.00 0.00 0 0 0 0 0
130.36/130.50 c impliedbounds : 0.00 0.00 5 0 0 0 0
130.36/130.50 c intobj : 0.00 0.00 0 0 0 0 0
130.36/130.50 c gomory : 0.17 0.00 5 0 0 250 0
130.36/130.50 c cgmip : 0.00 0.00 0 0 0 0 0
130.36/130.50 c strongcg : 0.16 0.00 5 0 0 2500 0
130.36/130.50 c cmir : 0.00 0.00 0 0 0 0 0
130.36/130.50 c flowcover : 0.00 0.00 0 0 0 0 0
130.36/130.50 c clique : 0.00 0.00 5 0 0 0 0
130.36/130.50 c zerohalf : 0.00 0.00 0 0 0 0 0
130.36/130.50 c mcf : 0.00 0.00 1 0 0 0 0
130.36/130.50 c oddcycle : 0.00 0.00 0 0 0 0 0
130.36/130.50 c rapidlearning : 0.09 0.00 1 0 0 0 282
130.36/130.50 c Pricers : ExecTime SetupTime Calls Vars
130.36/130.50 c problem variables: 0.00 - 0 0
130.36/130.50 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
130.36/130.50 c relpscost : 18.57 0.00 23587 103 1540 0 0 45394
130.36/130.50 c pscost : 0.00 0.00 0 0 0 0 0 0
130.36/130.50 c inference : 0.00 0.00 0 0 0 0 0 0
130.36/130.50 c mostinf : 0.00 0.00 0 0 0 0 0 0
130.36/130.50 c leastinf : 0.00 0.00 0 0 0 0 0 0
130.36/130.50 c fullstrong : 0.00 0.00 0 0 0 0 0 0
130.36/130.50 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
130.46/130.50 c random : 0.00 0.00 0 0 0 0 0 0
130.46/130.50 c Primal Heuristics : ExecTime SetupTime Calls Found
130.46/130.50 c LP solutions : 0.00 - - 0
130.46/130.50 c pseudo solutions : 0.00 - - 0
130.46/130.50 c smallcard : 0.00 0.00 0 0
130.46/130.50 c trivial : 0.00 0.00 1 0
130.46/130.50 c shiftandpropagate: 0.00 0.00 0 0
130.46/130.50 c simplerounding : 0.00 0.00 0 0
130.46/130.50 c zirounding : 0.00 0.00 0 0
130.46/130.50 c rounding : 0.00 0.00 0 0
130.46/130.50 c shifting : 0.00 0.00 0 0
130.46/130.50 c intshifting : 0.00 0.00 0 0
130.46/130.50 c oneopt : 0.00 0.00 0 0
130.46/130.50 c twoopt : 0.00 0.00 0 0
130.46/130.50 c indtwoopt : 0.00 0.00 0 0
130.46/130.50 c indoneopt : 0.00 0.00 0 0
130.46/130.50 c fixandinfer : 0.00 0.00 0 0
130.46/130.50 c feaspump : 0.00 0.00 0 0
130.46/130.50 c clique : 0.00 0.00 0 0
130.46/130.50 c indrounding : 0.00 0.00 0 0
130.46/130.50 c indcoefdiving : 0.00 0.00 0 0
130.46/130.50 c coefdiving : 0.00 0.00 0 0
130.46/130.50 c pscostdiving : 0.00 0.00 0 0
130.46/130.50 c nlpdiving : 0.00 0.00 0 0
130.46/130.50 c fracdiving : 0.00 0.00 0 0
130.46/130.50 c veclendiving : 0.00 0.00 0 0
130.46/130.50 c intdiving : 0.00 0.00 0 0
130.46/130.50 c actconsdiving : 0.00 0.00 0 0
130.46/130.50 c objpscostdiving : 0.00 0.00 0 0
130.46/130.50 c rootsoldiving : 0.00 0.00 0 0
130.46/130.50 c linesearchdiving : 0.00 0.00 0 0
130.46/130.50 c guideddiving : 0.00 0.00 0 0
130.46/130.50 c octane : 0.00 0.00 0 0
130.46/130.50 c rens : 0.00 0.00 0 0
130.46/130.50 c rins : 0.00 0.00 0 0
130.46/130.50 c localbranching : 0.00 0.00 0 0
130.46/130.50 c mutation : 0.00 0.00 0 0
130.46/130.50 c crossover : 0.00 0.00 0 0
130.46/130.50 c dins : 0.00 0.00 0 0
130.46/130.50 c vbounds : 0.00 0.00 0 0
130.46/130.50 c undercover : 0.00 0.00 0 0
130.46/130.50 c subnlp : 0.00 0.00 0 0
130.46/130.50 c trysol : 0.00 0.00 0 0
130.46/130.50 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
130.46/130.50 c primal LP : 0.00 1 0 0.00 - 0.00 1
130.46/130.50 c dual LP : 94.37 44765 881019 19.72 9335.33 0.04 97
130.46/130.50 c lex dual LP : 0.00 0 0 0.00 -
130.46/130.50 c barrier LP : 0.00 0 0 0.00 - 0.00 0
130.46/130.50 c diving/probing LP: 0.00 0 0 0.00 -
130.46/130.50 c strong branching : 18.19 3958 160409 40.53 8819.89
130.46/130.50 c (at root node) : - 12 2469 205.75 -
130.46/130.50 c conflict analysis: 0.00 0 0 0.00 -
130.46/130.50 c B&B Tree :
130.46/130.50 c number of runs : 1
130.46/130.50 c nodes : 45129
130.46/130.50 c nodes (total) : 45129
130.46/130.50 c nodes left : 0
130.46/130.50 c max depth : 48
130.46/130.50 c max depth (total): 48
130.46/130.50 c backtracks : 4958 (11.0%)
130.46/130.50 c delayed cutoffs : 266
130.46/130.50 c repropagations : 82597 (89980 domain reductions, 266 cutoffs)
130.46/130.50 c avg switch length: 5.25
130.46/130.50 c switching time : 3.73
130.46/130.50 c Solution :
130.46/130.50 c Solutions found : 0 (0 improvements)
130.46/130.50 c Primal Bound : infeasible
130.46/130.50 c Dual Bound : -
130.46/130.50 c Gap : 0.00 %
130.46/130.50 c Root Dual Bound : +0.00000000000000e+00
130.46/130.50 c Root Iterations : 164
130.46/130.51 c Time complete: 130.47.
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-3690417-1338016937/watcher-3690417-1338016937 -o /tmp/evaluation-result-3690417-1338016937/solver-3690417-1338016937 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690417-1338016937.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: 0.00 0.00 0.00 2/171 18686
/proc/meminfo: memFree=29136188/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=10292 CPUtime=0 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 1325 0 0 0 0 0 0 0 20 0 1 0 267819166 10539008 1280 33554432000 4194304 10173063 140735937492448 140734136157672 8886411 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 2573 1280 413 1460 0 1104 0
[startup+0.027533 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 18686
/proc/meminfo: memFree=29136188/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=20176 CPUtime=0.02 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 3841 0 0 0 1 1 0 0 20 0 1 0 267819166 20660224 3539 33554432000 4194304 10173063 140735937492448 140734136157672 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 5044 3539 555 1460 0 3575 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20176
[startup+0.100301 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 18686
/proc/meminfo: memFree=29136188/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=29908 CPUtime=0.09 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 6655 0 0 0 8 1 0 0 20 0 1 0 267819166 30625792 6313 33554432000 4194304 10173063 140735937492448 140735937489448 8800002 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 7477 6313 789 1460 0 6008 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29908
[startup+0.300166 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 18686
/proc/meminfo: memFree=29136188/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=46996 CPUtime=0.29 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10670 0 0 0 26 3 0 0 20 0 1 0 267819166 48123904 10326 33554432000 4194304 10173063 140735937492448 140735937487368 5023552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11749 10326 827 1460 0 10280 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46996
[startup+0.70019 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 18686
/proc/meminfo: memFree=29136188/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=0.69 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10786 0 0 0 65 4 0 0 20 0 1 0 267819166 48295936 10442 33554432000 4194304 10173063 140735937492448 140735937487288 8016807 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 10442 830 1460 0 10322 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47164
[startup+1.50018 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 18701
/proc/meminfo: memFree=29044596/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=1.49 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10788 0 0 0 144 5 0 0 20 0 1 0 267819166 48295936 10444 33554432000 4194304 10173063 140735937492448 140735937486360 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 10444 832 1460 0 10322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47164
[startup+3.10018 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 18701
/proc/meminfo: memFree=29043440/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=3.09 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10792 0 0 0 302 7 0 0 20 0 1 0 267819166 48295936 10448 33554432000 4194304 10173063 140735937492448 140735937486072 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 10448 836 1460 0 10322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47164
[startup+6.30018 s]
/proc/loadavg: 0.24 0.05 0.02 3/177 18701
/proc/meminfo: memFree=29042260/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=6.29 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10795 0 0 0 620 9 0 0 20 0 1 0 267819166 48295936 10598 33554432000 4194304 10173063 140735937492448 140735937486280 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 10598 836 1460 0 10322 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47164
[startup+12.7001 s]
/proc/loadavg: 0.38 0.08 0.03 2/172 18725
/proc/meminfo: memFree=29094996/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=12.69 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10795 0 0 0 1252 17 0 0 20 0 1 0 267819166 48295936 10598 33554432000 4194304 10173063 140735937492448 140735937485384 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 10598 836 1460 0 10322 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47164
[startup+25.5001 s]
/proc/loadavg: 0.74 0.18 0.06 3/177 18739
/proc/meminfo: memFree=28778136/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=25.48 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 2511 37 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937485064 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47164
[startup+51.1002 s]
/proc/loadavg: 1.17 0.32 0.11 3/177 18739
/proc/meminfo: memFree=28759764/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=51.07 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 5031 76 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937485704 8033100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47164
[startup+102.306 s]
/proc/loadavg: 1.64 0.58 0.20 3/177 18740
/proc/meminfo: memFree=28759440/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=102.27 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 10077 150 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937486120 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47164
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 1.72 0.65 0.23 3/177 18740
/proc/meminfo: memFree=28759040/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=115.06 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 11338 168 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937486120 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 47164
[startup+121.5 s]
/proc/loadavg: 1.74 0.67 0.24 3/177 18740
/proc/meminfo: memFree=28759288/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=121.47 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 11969 178 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937486088 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 121.47
Current children cumulated vsize (KiB) 47164
[startup+124.7 s]
/proc/loadavg: 1.76 0.69 0.25 3/177 18740
/proc/meminfo: memFree=28759412/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=124.66 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 12283 183 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937488920 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 124.66
Current children cumulated vsize (KiB) 47164
[startup+127.9 s]
/proc/loadavg: 1.76 0.69 0.25 3/177 18740
/proc/meminfo: memFree=28758972/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=127.86 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 12599 187 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937485704 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 47164
[startup+129.5 s]
/proc/loadavg: 1.76 0.69 0.25 3/177 18740
/proc/meminfo: memFree=28758972/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=129.46 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 12757 189 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937488936 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 129.46
Current children cumulated vsize (KiB) 47164
[startup+130.3 s]
/proc/loadavg: 1.78 0.71 0.26 3/177 18740
/proc/meminfo: memFree=28759096/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=130.26 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10802 0 0 0 12836 190 0 0 20 0 1 0 267819166 48295936 11111 33554432000 4194304 10173063 140735937492448 140735937485704 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11111 836 1460 0 10322 0
Current children cumulated CPU time (s) 130.26
Current children cumulated vsize (KiB) 47164
[startup+130.5 s]
/proc/loadavg: 1.78 0.71 0.26 3/177 18740
/proc/meminfo: memFree=28759096/32873648 swapFree=7100/7100
[pid=18686] ppid=18684 vsize=47164 CPUtime=130.46 cores=0,2,4,6
/proc/18686/stat : 18686 (scip-2.1.1.4fix) R 18684 18686 18656 0 -1 4202496 10806 0 0 0 12856 190 0 0 20 0 1 0 267819166 48295936 11115 33554432000 4194304 10173063 140735937492448 140735937485704 8985104 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18686/statm: 11791 11115 840 1460 0 10322 0
Current children cumulated CPU time (s) 130.46
Current children cumulated vsize (KiB) 47164
Child status: 0
Real time (s): 130.515
CPU time (s): 130.485
CPU user time (s): 128.575
CPU system time (s): 1.90971
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 47164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.575
system time used= 1.90971
maximum resident set size= 44464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10809
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= 171
runsolver used 0.347947 second user time and 1.17782 second system time
The end