0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691675-1338028819.opb>
0.02/0.04 c original problem has 4622 variables (4622 bin, 0 int, 0 impl, 0 cont) and 12569 constraints
0.02/0.04 c problem read in 0.04
0.02/0.04 c No objective function, only one solution is needed.
0.02/0.04 c presolving settings loaded
0.02/0.07 c presolving:
0.09/0.16 c (round 1) 421 del vars, 346 del conss, 0 add conss, 120 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215043 impls, 0 clqs
0.09/0.17 c (round 2) 423 del vars, 986 del conss, 0 add conss, 122 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215043 impls, 0 clqs
0.09/0.18 c (round 3) 427 del vars, 996 del conss, 0 add conss, 126 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.09/0.18 c (round 4) 430 del vars, 1002 del conss, 0 add conss, 129 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.09/0.18 c (round 5) 435 del vars, 1011 del conss, 0 add conss, 134 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.09/0.19 c (round 6) 441 del vars, 1024 del conss, 0 add conss, 140 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215429 impls, 0 clqs
0.09/0.19 c (round 7) 445 del vars, 1038 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215623 impls, 0 clqs
0.09/0.19 c (round 8) 445 del vars, 1046 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215975 impls, 0 clqs
0.19/0.25 c (round 9) 445 del vars, 1067 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 215975 impls, 0 clqs
0.19/0.28 c (round 10) 445 del vars, 1070 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 215975 impls, 0 clqs
0.29/0.32 c (round 11) 445 del vars, 11715 del conss, 3547 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 215975 impls, 0 clqs
0.29/0.33 c (round 12) 506 del vars, 12077 del conss, 3906 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 220551 impls, 3 clqs
0.29/0.34 c (round 13) 542 del vars, 12087 del conss, 3906 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11518 upgd conss, 220551 impls, 360 clqs
0.29/0.34 c (round 14) 544 del vars, 12088 del conss, 3906 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11518 upgd conss, 220587 impls, 360 clqs
0.29/0.35 c (round 15) 561 del vars, 12152 del conss, 3969 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11518 upgd conss, 223905 impls, 360 clqs
0.29/0.36 c (round 16) 565 del vars, 12182 del conss, 3969 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 223905 impls, 366 clqs
0.38/0.41 c (round 17) 587 del vars, 12219 del conss, 3984 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 228161 impls, 366 clqs
0.38/0.46 c (round 18) 592 del vars, 12235 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230487 impls, 366 clqs
0.49/0.51 c (round 19) 593 del vars, 12236 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230543 impls, 366 clqs
0.49/0.56 c (round 20) 594 del vars, 12237 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230597 impls, 366 clqs
0.59/0.62 c (round 21) 595 del vars, 12238 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230649 impls, 366 clqs
0.59/0.67 c (round 22) 596 del vars, 12239 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230699 impls, 366 clqs
0.69/0.72 c presolving (23 rounds):
0.69/0.72 c 596 deleted vars, 12239 deleted constraints, 3985 added constraints, 144 tightened bounds, 0 added holes, 408 changed sides, 879 changed coefficients
0.69/0.72 c 230699 implications, 366 cliques
0.69/0.72 c presolved problem has 4026 variables (4026 bin, 0 int, 0 impl, 0 cont) and 4295 constraints
0.69/0.72 c 810 constraints of type <knapsack>
0.69/0.72 c 453 constraints of type <setppc>
0.69/0.72 c 3029 constraints of type <and>
0.69/0.72 c 3 constraints of type <logicor>
0.69/0.72 c transformed objective value is always integral (scale: 1)
0.69/0.72 c Presolving Time: 0.66
0.69/0.72 c - non default parameters ----------------------------------------------------------------------
0.69/0.72 c # SCIP version 2.1.1.4
0.69/0.72 c
0.69/0.72 c # maximal time in seconds to run
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.72 c limits/time = 1797
0.69/0.72 c
0.69/0.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.72 c limits/memory = 13950
0.69/0.72 c
0.69/0.72 c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72 c limits/solutions = 1
0.69/0.72 c
0.69/0.72 c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.72 c separating/maxrounds = 1
0.69/0.72 c
0.69/0.72 c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72 c separating/maxroundsroot = 5
0.69/0.72 c
0.69/0.72 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.72 c # [type: int, range: [1,2], default: 1]
0.69/0.72 c timing/clocktype = 2
0.69/0.72 c
0.69/0.72 c # belongs reading time to solving time?
0.69/0.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.72 c timing/reading = TRUE
0.69/0.72 c
0.69/0.72 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.72 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.72 c constraints/knapsack/disaggregation = FALSE
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/coefdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/coefdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/coefdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.72 c heuristics/crossover/freq = -1
0.69/0.72 c
0.69/0.72 c # number of nodes added to the contingent of the total nodes
0.69/0.72 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.72 c heuristics/crossover/nodesofs = 750
0.69/0.72 c
0.69/0.72 c # number of nodes without incumbent change that heuristic should wait
0.69/0.72 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.72 c heuristics/crossover/nwaitingnodes = 100
0.69/0.72 c
0.69/0.72 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.72 c # [type: real, range: [0,1], default: 0.1]
0.69/0.72 c heuristics/crossover/nodesquot = 0.15
0.69/0.72 c
0.69/0.72 c # minimum percentage of integer variables that have to be fixed
0.69/0.72 c # [type: real, range: [0,1], default: 0.666]
0.69/0.72 c heuristics/crossover/minfixingrate = 0.5
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.72 c heuristics/feaspump/freq = -1
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/feaspump/maxlpiterofs = 2000
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/fracdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/fracdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/fracdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/guideddiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/guideddiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/guideddiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/intdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/intshifting/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/linesearchdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.72 c heuristics/objpscostdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.72 c # [type: real, range: [0,1], default: 0.01]
0.69/0.72 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72 c heuristics/oneopt/freq = -1
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72 c heuristics/pscostdiving/freq = -1
0.69/0.72 c
0.69/0.72 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.69/0.72 c
0.69/0.72 c # additional number of allowed LP iterations
0.69/0.72 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72 c heuristics/pscostdiving/maxlpiterofs = 1500
0.69/0.72 c
0.69/0.72 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73 c heuristics/rens/freq = -1
0.69/0.73 c
0.69/0.73 c # minimum percentage of integer variables that have to be fixable
0.69/0.73 c # [type: real, range: [0,1], default: 0.5]
0.69/0.73 c heuristics/rens/minfixingrate = 0.3
0.69/0.73 c
0.69/0.73 c # number of nodes added to the contingent of the total nodes
0.69/0.73 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.73 c heuristics/rens/nodesofs = 2000
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.73 c heuristics/rootsoldiving/freq = -1
0.69/0.73 c
0.69/0.73 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.73 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.73 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.69/0.73 c
0.69/0.73 c # additional number of allowed LP iterations
0.69/0.73 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.73 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73 c heuristics/rounding/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73 c heuristics/shiftandpropagate/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.73 c heuristics/shifting/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73 c heuristics/simplerounding/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73 c heuristics/subnlp/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73 c heuristics/trivial/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73 c heuristics/trysol/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73 c heuristics/undercover/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.73 c heuristics/veclendiving/freq = -1
0.69/0.73 c
0.69/0.73 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.73 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.73 c heuristics/veclendiving/maxlpiterquot = 0.075
0.69/0.73 c
0.69/0.73 c # additional number of allowed LP iterations
0.69/0.73 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.73 c heuristics/veclendiving/maxlpiterofs = 1500
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73 c heuristics/zirounding/freq = -1
0.69/0.73 c
0.69/0.73 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.73 c propagating/probing/maxprerounds = 0
0.69/0.73 c
0.69/0.73 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73 c separating/cmir/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73 c separating/flowcover/freq = -1
0.69/0.73 c
0.69/0.73 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.73 c separating/rapidlearning/freq = 0
0.69/0.73 c
0.69/0.73 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.69/0.73 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73 c heuristics/indoneopt/freq = -1
0.69/0.73 c
0.69/0.73 c -----------------------------------------------------------------------------------------------
0.69/0.73 c start solving
0.69/0.73 c
0.79/0.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.80 c 0.8s| 1 | 0 | 901 | - | 33M| 0 | 704 |4026 |4295 |4026 |7324 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.54 c 1.5s| 1 | 0 | 2226 | - | 34M| 0 |1101 |4026 |4580 |4026 |8008 | 734 | 0 | 0 | 0.000000e+00 | -- | Inf
1.98/2.07 c 2.1s| 1 | 0 | 4795 | - | 35M| 0 |1275 |4026 |4580 |4026 |8837 |1563 | 0 | 0 | 0.000000e+00 | -- | Inf
2.68/2.77 c 2.8s| 1 | 0 | 8451 | - | 36M| 0 |1456 |4026 |4580 |4026 |9920 |2646 | 0 | 0 | 0.000000e+00 | -- | Inf
3.58/3.64 c 3.6s| 1 | 0 | 11104 | - | 37M| 0 |1534 |4026 |4580 |4026 | 11k|3747 | 0 | 0 | 0.000000e+00 | -- | Inf
4.59/4.61 c 4.6s| 1 | 0 | 14368 | - | 38M| 0 |1614 |4026 |4580 |4026 | 11k|4369 | 0 | 0 | 0.000000e+00 | -- | Inf
6.58/6.67 c 6.7s| 1 | 2 | 14368 | - | 38M| 0 |1614 |4026 |4580 |4026 | 11k|4369 | 0 | 10 | 0.000000e+00 | -- | Inf
48.98/49.06 c 49.1s| 100 | 101 | 46295 | 322.5 | 40M| 53 | 548 |4026 |4580 |4026 |9783 |6768 | 0 | 786 | 0.000000e+00 | -- | Inf
51.37/51.40 c 51.4s| 200 | 198 | 51140 | 184.8 | 40M| 56 | 405 |4026 |4585 |4026 |9796 |6950 | 5 | 813 | 0.000000e+00 | -- | Inf
54.08/54.14 c 54.1s| 300 | 276 | 56310 | 140.3 | 41M| 65 | 382 |4026 |4623 |4026 |9810 |7242 | 43 | 843 | 0.000000e+00 | -- | Inf
60.27/60.31 c 60.3s| 400 | 299 | 72128 | 144.8 | 41M| 65 | - |4026 |4803 | 0 | 0 |8613 | 223 | 894 | 0.000000e+00 | -- | Inf
64.67/64.72 c 64.7s| 500 | 285 | 83009 | 137.6 | 41M| 65 | - |4026 |4915 | 0 | 0 |9239 | 335 | 935 | 0.000000e+00 | -- | Inf
70.87/70.91 c 70.9s| 600 | 280 | 99629 | 142.3 | 42M| 65 | - |4026 |5007 | 0 | 0 | 10k| 436 | 998 | 0.000000e+00 | -- | Inf
78.07/78.16 c 78.2s| 700 | 240 |118284 | 148.7 | 42M| 65 | 556 |4026 |5046 |4026 |9788 | 11k| 503 |1051 | 0.000000e+00 | -- | Inf
85.17/85.23 c 85.2s| 800 | 176 |134458 | 150.3 | 41M| 65 |1270 |4026 |5140 |4026 |9370 | 13k| 635 |1105 | 0.000000e+00 | -- | Inf
87.57/87.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.57/87.60 c 87.6s| 900 | 196 |140118 | 139.9 | 42M| 65 | - |4026 |5228 | 0 | 0 | 13k| 729 |1123 | 0.000000e+00 | -- | Inf
90.17/90.27 c 90.3s| 1000 | 208 |145738 | 131.5 | 42M| 65 | 525 |4026 |5337 |4026 |9742 | 13k| 855 |1153 | 0.000000e+00 | -- | Inf
93.27/93.32 c 93.3s| 1100 | 218 |151429 | 124.7 | 42M| 65 | 550 |4026 |5434 |4026 |9668 | 13k| 959 |1189 | 0.000000e+00 | -- | Inf
96.17/96.26 c 96.3s| 1200 | 190 |157025 | 119.0 | 42M| 65 | 850 |4026 |5572 |4026 |9704 | 14k|1111 |1226 | 0.000000e+00 | -- | Inf
99.57/99.65 c 99.7s| 1300 | 212 |164575 | 115.6 | 42M| 65 | - |4026 |5688 | 0 | 0 | 14k|1235 |1253 | 0.000000e+00 | -- | Inf
106.26/106.36 c 106s| 1400 | 195 |181498 | 119.5 | 42M| 65 | 702 |4026 |5741 |4026 |9622 | 15k|1342 |1307 | 0.000000e+00 | -- | Inf
116.86/116.96 c 117s| 1500 | 225 |208247 | 129.3 | 43M| 65 | 774 |4026 |5732 |4026 |9548 | 17k|1415 |1412 | 0.000000e+00 | -- | Inf
122.26/122.37 c 122s| 1600 | 219 |222777 | 130.3 | 43M| 65 | 978 |4026 |5739 |4026 |9600 | 18k|1483 |1454 | 0.000000e+00 | -- | Inf
127.36/127.41 c 127s| 1700 | 210 |233165 | 128.8 | 43M| 65 | 761 |4026 |5765 |4026 |9536 | 19k|1605 |1505 | 0.000000e+00 | -- | Inf
132.36/132.41 c 132s| 1800 | 204 |245542 | 128.5 | 43M| 65 | - |4026 |5822 | 0 | 0 | 19k|1729 |1554 | 0.000000e+00 | -- | Inf
139.06/139.17 c 139s| 1900 | 185 |261977 | 130.4 | 43M| 65 | 723 |4026 |5815 |4026 |9661 | 20k|1875 |1635 | 0.000000e+00 | -- | Inf
147.25/147.34 c 147s| 2000 | 191 |282963 | 134.4 | 43M| 65 | 631 |4026 |5776 |4026 |9704 | 22k|1989 |1726 | 0.000000e+00 | -- | Inf
153.76/153.84 c 154s| 2100 | 170 |299271 | 135.7 | 43M| 65 | 883 |4026 |5719 |4026 |9619 | 23k|2104 |1790 | 0.000000e+00 | -- | Inf
163.06/163.10 c 163s| 2200 | 155 |321924 | 139.9 | 43M| 65 | 924 |4026 |5601 |4026 |9561 | 24k|2215 |1871 | 0.000000e+00 | -- | Inf
170.35/170.49 c 170s| 2300 | 141 |339827 | 141.6 | 42M| 65 | - |4026 |5536 | 0 | 0 | 25k|2300 |1953 | 0.000000e+00 | -- | Inf
178.85/178.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.85/178.93 c 179s| 2400 | 128 |361732 | 144.8 | 42M| 65 | 989 |4026 |5442 |4026 |9606 | 27k|2405 |2032 | 0.000000e+00 | -- | Inf
192.85/192.91 c 193s| 2500 | 104 |395373 | 152.5 | 42M| 65 |1431 |4026 |5379 |4026 |9716 | 30k|2524 |2158 | 0.000000e+00 | -- | Inf
211.16/211.23 c 211s| 2600 | 129 |445881 | 166.0 | 42M| 65 | - |4026 |5270 |4026 |9505 | 34k|2581 |2275 | 0.000000e+00 | -- | Inf
229.95/230.07 c 230s| 2700 | 159 |495767 | 178.4 | 42M| 65 | - |4026 |5259 | 0 | 0 | 38k|2647 |2385 | 0.000000e+00 | -- | Inf
237.55/237.60 c 238s| 2800 | 157 |513462 | 178.3 | 42M| 65 |1162 |4026 |5379 |4026 |9864 | 40k|2800 |2438 | 0.000000e+00 | -- | Inf
241.04/241.12 c 241s| 2900 | 214 |521520 | 174.9 | 43M| 82 | 149 |4026 |5438 |4026 |9853 | 40k|2887 |2455 | 0.000000e+00 | -- | Inf
243.05/243.14 c 243s| 3000 | 167 |525525 | 170.4 | 42M| 94 | 592 |4026 |5609 |4026 |9851 | 40k|3070 |2484 | 0.000000e+00 | -- | Inf
246.14/246.27 c 246s| 3100 | 160 |531752 | 167.0 | 42M| 94 | 842 |4026 |5729 |4026 |9808 | 41k|3243 |2509 | 0.000000e+00 | -- | Inf
248.74/248.80 c 249s| 3200 | 156 |536777 | 163.3 | 42M| 94 | - |4026 |5809 |4026 |9818 | 41k|3368 |2537 | 0.000000e+00 | -- | Inf
251.44/251.51 c 252s| 3300 | 156 |542056 | 160.0 | 43M| 94 | 823 |4026 |5888 |4026 |9808 | 41k|3504 |2561 | 0.000000e+00 | -- | Inf
255.65/255.71 c 256s| 3400 | 170 |551016 | 157.9 | 43M| 94 | 523 |4026 |5915 |4026 |9499 | 42k|3614 |2594 | 0.000000e+00 | -- | Inf
262.34/262.47 c 262s| 3500 | 161 |567323 | 158.0 | 43M| 94 | 911 |4026 |5904 |4026 |9709 | 43k|3688 |2676 | 0.000000e+00 | -- | Inf
266.34/266.43 c 266s| 3600 | 188 |575539 | 155.9 | 43M| 94 | 574 |4026 |5967 |4026 |9784 | 44k|3755 |2715 | 0.000000e+00 | -- | Inf
272.54/272.63 c 273s| 3700 | 157 |591123 | 155.9 | 43M| 94 | - |4026 |6000 | 0 | 0 | 46k|3858 |2768 | 0.000000e+00 | -- | Inf
278.94/279.01 c 279s| 3800 | 175 |604746 | 155.4 | 43M| 94 | 643 |4026 |6099 |4026 |9861 | 47k|3999 |2811 | 0.000000e+00 | -- | Inf
282.64/282.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.64/282.74 c 283s| 3900 | 173 |613759 | 153.7 | 43M| 94 | - |4026 |6238 | 0 | 0 | 47k|4144 |2840 | 0.000000e+00 | -- | Inf
288.74/288.88 c 289s| 4000 | 175 |626718 | 153.1 | 43M| 94 | 514 |4026 |6313 |4026 |9888 | 48k|4272 |2890 | 0.000000e+00 | -- | Inf
292.64/292.71 c 293s| 4100 | 170 |635765 | 151.6 | 43M| 94 | 734 |4026 |6435 |4026 |9820 | 49k|4429 |2907 | 0.000000e+00 | -- | Inf
297.63/297.78 c 298s| 4200 | 160 |646921 | 150.6 | 43M| 94 | 851 |4026 |6500 |4026 |9785 | 49k|4596 |2947 | 0.000000e+00 | -- | Inf
303.44/303.54 c 304s| 4300 | 170 |659363 | 150.0 | 43M| 94 | 598 |4026 |6693 |4026 |9880 | 50k|4841 |3000 | 0.000000e+00 | -- | Inf
308.13/308.27 c 308s| 4400 | 160 |670351 | 149.1 | 43M| 94 | 748 |4026 |6667 |4026 |9920 | 51k|4978 |3032 | 0.000000e+00 | -- | Inf
315.34/315.44 c 315s| 4500 | 162 |689172 | 150.0 | 43M| 94 | 756 |4026 |6605 |4026 |9401 | 53k|5101 |3079 | 0.000000e+00 | -- | Inf
320.23/320.39 c 320s| 4600 | 185 |700915 | 149.3 | 44M| 94 | 724 |4026 |6644 |4026 |9690 | 54k|5225 |3121 | 0.000000e+00 | -- | Inf
323.64/323.77 c 324s| 4700 | 203 |707378 | 147.5 | 44M| 94 | 744 |4026 |6679 |4026 |9617 | 54k|5286 |3163 | 0.000000e+00 | -- | Inf
326.74/326.87 c 327s| 4800 | 199 |714050 | 145.8 | 44M| 94 | 642 |4026 |6765 |4026 |9649 | 54k|5377 |3187 | 0.000000e+00 | -- | Inf
330.53/330.60 c 331s| 4900 | 199 |722093 | 144.5 | 44M| 94 | 468 |4026 |6891 |4026 |9666 | 55k|5537 |3227 | 0.000000e+00 | -- | Inf
334.63/334.74 c 335s| 5000 | 188 |730755 | 143.3 | 44M| 94 | - |4026 |7045 | 0 | 0 | 55k|5728 |3275 | 0.000000e+00 | -- | Inf
339.42/339.51 c 340s| 5100 | 182 |741392 | 142.6 | 44M| 94 | 726 |4026 |7111 |4026 |9634 | 56k|5921 |3341 | 0.000000e+00 | -- | Inf
342.73/342.82 c 343s| 5200 | 174 |748182 | 141.1 | 44M| 94 | 676 |4026 |7150 |4026 |9428 | 57k|6032 |3381 | 0.000000e+00 | -- | Inf
346.93/347.06 c 347s| 5300 | 174 |757144 | 140.2 | 44M| 94 | 822 |4026 |7159 |4026 |9742 | 57k|6118 |3434 | 0.000000e+00 | -- | Inf
352.52/352.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.52/352.62 c 353s| 5400 | 166 |769607 | 139.9 | 44M| 94 | 921 |4026 |7228 |4026 |9659 | 58k|6257 |3538 | 0.000000e+00 | -- | Inf
357.93/358.03 c 358s| 5500 | 165 |782128 | 139.6 | 44M| 94 | 713 |4026 |7231 |4026 |9749 | 59k|6342 |3602 | 0.000000e+00 | -- | Inf
366.92/367.01 c 367s| 5600 | 180 |802664 | 140.8 | 44M| 94 | 598 |4026 |7242 |4026 |9869 | 61k|6513 |3686 | 0.000000e+00 | -- | Inf
370.22/370.36 c 370s| 5700 | 188 |809198 | 139.5 | 44M| 94 | 514 |4026 |7378 |4026 |9869 | 61k|6689 |3742 | 0.000000e+00 | -- | Inf
373.22/373.32 c 373s| 5800 | 196 |814723 | 138.0 | 44M| 94 | - |4026 |7510 | 0 | 0 | 61k|6864 |3787 | 0.000000e+00 | -- | Inf
375.43/375.52 c 376s| 5900 | 177 |818696 | 136.3 | 44M| 94 | 523 |4026 |7636 |4026 | 10k| 62k|7017 |3816 | 0.000000e+00 | -- | Inf
377.52/377.67 c 378s| 6000 | 180 |823169 | 134.8 | 44M| 94 | 528 |4026 |7828 |4026 | 10k| 62k|7252 |3830 | 0.000000e+00 | -- | Inf
382.93/383.08 c 383s| 6100 | 189 |835215 | 134.6 | 44M| 94 | 460 |4026 |7833 |4026 |9860 | 63k|7403 |3873 | 0.000000e+00 | -- | Inf
386.43/386.57 c 387s| 6200 | 186 |841971 | 133.5 | 45M| 94 | - |4026 |7928 | 0 | 0 | 63k|7591 |3900 | 0.000000e+00 | -- | Inf
390.02/390.14 c 390s| 6300 | 185 |850170 | 132.7 | 45M| 94 | - |4026 |7947 | 0 | 0 | 64k|7769 |3933 | 0.000000e+00 | -- | Inf
392.82/392.96 c 393s| 6400 | 182 |855670 | 131.5 | 45M| 94 | 827 |4026 |8029 |4026 | 10k| 64k|7930 |3962 | 0.000000e+00 | -- | Inf
394.82/394.91 c 395s| 6500 | 183 |861057 | 130.3 | 45M| 94 | 439 |4026 |8106 |4026 | 10k| 64k|8114 |3969 | 0.000000e+00 | -- | Inf
397.22/397.31 c 397s| 6600 | 181 |867519 | 129.3 | 45M| 94 | 803 |4026 |8176 |4026 | 10k| 65k|8267 |3975 | 0.000000e+00 | -- | Inf
399.32/399.45 c 399s| 6700 | 184 |873302 | 128.2 | 45M| 94 | 412 |4026 |8304 |4026 | 10k| 65k|8449 |3980 | 0.000000e+00 | -- | Inf
401.22/401.39 c 401s| 6800 | 177 |878308 | 127.1 | 45M| 94 | 530 |4026 |8406 |4026 | 10k| 65k|8638 |3982 | 0.000000e+00 | -- | Inf
405.12/405.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.12/405.24 c 405s| 6900 | 217 |886058 | 126.4 | 45M| 94 | 439 |4026 |8454 |4026 |9948 | 66k|8758 |4020 | 0.000000e+00 | -- | Inf
407.62/407.77 c 408s| 7000 | 209 |892588 | 125.5 | 45M| 94 | - |4026 |8603 | 0 | 0 | 66k|8954 |4030 | 0.000000e+00 | -- | Inf
411.52/411.68 c 412s| 7100 | 198 |901693 | 125.0 | 45M| 94 | 461 |4026 |8602 |4026 |9883 | 67k|9150 |4053 | 0.000000e+00 | -- | Inf
413.31/413.40 c 413s| 7200 | 199 |906547 | 123.9 | 45M| 94 | 536 |4026 |8704 |4026 |9873 | 67k|9348 |4054 | 0.000000e+00 | -- | Inf
414.92/415.07 c 415s| 7300 | 194 |910757 | 122.8 | 45M| 94 | 620 |4026 |8876 |4026 |9843 | 67k|9556 |4057 | 0.000000e+00 | -- | Inf
419.92/420.06 c 420s| 7400 | 198 |917313 | 122.0 | 45M| 94 | 406 |4026 |8899 |4026 | 10k| 68k|9684 |4109 | 0.000000e+00 | -- | Inf
421.61/421.70 c 422s| 7500 | 212 |921328 | 120.9 | 45M| 94 | 405 |4026 |8866 |4026 | 10k| 68k|9779 |4109 | 0.000000e+00 | -- | Inf
422.92/423.09 c 423s| 7600 | 209 |924403 | 119.8 | 45M| 94 | 427 |4026 |8937 |4026 | 10k| 68k|9881 |4109 | 0.000000e+00 | -- | Inf
424.53/424.66 c 425s| 7700 | 201 |928264 | 118.7 | 45M| 94 | 503 |4026 |9033 |4026 |9857 | 68k| 10k|4110 | 0.000000e+00 | -- | Inf
427.31/427.44 c 427s| 7800 | 188 |936147 | 118.2 | 45M| 94 |1089 |4026 |9096 |4026 | 10k| 69k| 10k|4126 | 0.000000e+00 | -- | Inf
432.02/432.11 c 432s| 7900 | 190 |943299 | 117.6 | 45M| 94 | 778 |4026 |9079 |4026 |9916 | 69k| 10k|4193 | 0.000000e+00 | -- | Inf
434.02/434.11 c 434s| 8000 | 190 |947868 | 116.7 | 45M| 94 | 753 |4026 |9090 |4026 |9720 | 69k| 10k|4198 | 0.000000e+00 | -- | Inf
437.32/437.43 c 437s| 8100 | 196 |957294 | 116.4 | 45M| 94 | 502 |4026 |9105 |4026 |9933 | 70k| 10k|4212 | 0.000000e+00 | -- | Inf
440.82/440.93 c 441s| 8200 | 189 |966986 | 116.2 | 45M| 94 | 722 |4026 |9151 |4026 |9924 | 71k| 10k|4228 | 0.000000e+00 | -- | Inf
443.72/443.86 c 444s| 8300 | 192 |975880 | 115.9 | 45M| 94 | 734 |4026 |9038 |4026 |9850 | 71k| 10k|4232 | 0.000000e+00 | -- | Inf
446.22/446.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.22/446.36 c 446s| 8400 | 189 |984298 | 115.5 | 45M| 94 | - |4026 |9072 | 0 | 0 | 72k| 11k|4233 | 0.000000e+00 | -- | Inf
450.41/450.55 c 451s| 8500 | 195 |998504 | 115.8 | 45M| 94 |1050 |4026 |9025 |4026 |9825 | 73k| 11k|4256 | 0.000000e+00 | -- | Inf
456.11/456.27 c 456s| 8600 | 204 | 1015k| 116.5 | 46M| 94 | - |4026 |8893 | 0 | 0 | 74k| 11k|4295 | 0.000000e+00 | -- | Inf
458.51/458.64 c 459s| 8700 | 210 | 1023k| 116.0 | 46M| 94 | 663 |4026 |8932 |4026 |9955 | 75k| 11k|4295 | 0.000000e+00 | -- | Inf
463.02/463.16 c 463s| 8800 | 207 | 1033k| 115.8 | 46M| 94 | - |4026 |8853 | 0 | 0 | 75k| 11k|4328 | 0.000000e+00 | -- | Inf
466.71/466.84 c 467s| 8900 | 206 | 1044k| 115.7 | 46M| 94 | 573 |4026 |8765 |4026 |9936 | 76k| 11k|4340 | 0.000000e+00 | -- | Inf
470.61/470.77 c 471s| 9000 | 206 | 1056k| 115.8 | 46M| 94 | 585 |4026 |8735 |4026 |9912 | 77k| 11k|4357 | 0.000000e+00 | -- | Inf
472.80/472.99 c 473s| 9100 | 196 | 1063k| 115.3 | 46M| 94 | 934 |4026 |8811 |4026 |9866 | 77k| 11k|4358 | 0.000000e+00 | -- | Inf
476.22/476.31 c 476s| 9200 | 194 | 1074k| 115.2 | 46M| 94 | 941 |4026 |8768 |4026 |9823 | 78k| 11k|4360 | 0.000000e+00 | -- | Inf
484.30/484.43 c 484s| 9300 | 194 | 1087k| 115.4 | 46M| 94 | 904 |4026 |8690 |4026 |9680 | 78k| 12k|4442 | 0.000000e+00 | -- | Inf
491.31/491.46 c 491s| 9400 | 195 | 1105k| 116.1 | 45M| 94 |1299 |4026 |8564 |4026 |9355 | 80k| 12k|4512 | 0.000000e+00 | -- | Inf
495.10/495.25 c 495s| 9500 | 222 | 1118k| 116.3 | 46M| 94 | 550 |4026 |8642 |4026 |9744 | 81k| 12k|4516 | 0.000000e+00 | -- | Inf
497.50/497.64 c 498s| 9600 | 220 | 1125k| 115.7 | 46M| 94 | - |4026 |8724 | 0 | 0 | 81k| 12k|4516 | 0.000000e+00 | -- | Inf
500.60/500.76 c 501s| 9700 | 210 | 1135k| 115.6 | 46M| 94 | 602 |4026 |8693 |4026 |9748 | 82k| 12k|4516 | 0.000000e+00 | -- | Inf
503.20/503.31 c 503s| 9800 | 213 | 1144k| 115.3 | 46M| 94 | 866 |4026 |8760 |4026 |9697 | 82k| 12k|4516 | 0.000000e+00 | -- | Inf
507.61/507.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.61/507.70 c 508s| 9900 | 206 | 1157k| 115.5 | 46M| 94 | 948 |4026 |8728 |4026 |9813 | 83k| 12k|4544 | 0.000000e+00 | -- | Inf
511.90/512.02 c 512s| 10000 | 216 | 1166k| 115.2 | 46M| 94 | 373 |4026 |8727 |4026 | 10k| 84k| 12k|4596 | 0.000000e+00 | -- | Inf
514.20/514.34 c 514s| 10100 | 211 | 1170k| 114.5 | 46M| 94 | 445 |4026 |8839 |4026 | 10k| 84k| 13k|4626 | 0.000000e+00 | -- | Inf
517.90/518.01 c 518s| 10200 | 199 | 1178k| 114.1 | 46M| 94 | 649 |4026 |8877 |4026 | 10k| 85k| 13k|4658 | 0.000000e+00 | -- | Inf
521.80/521.98 c 522s| 10300 | 200 | 1187k| 113.9 | 46M| 94 | 591 |4026 |8819 |4026 |9927 | 85k| 13k|4701 | 0.000000e+00 | -- | Inf
535.10/535.27 c 535s| 10400 | 207 | 1202k| 114.2 | 46M| 94 | - |4026 |8723 | 0 | 0 | 86k| 13k|4921 | 0.000000e+00 | -- | Inf
539.10/539.20 c 539s| 10500 | 203 | 1211k| 114.1 | 46M| 94 | 632 |4026 |8591 |4026 |9566 | 87k| 13k|4949 | 0.000000e+00 | -- | Inf
540.80/540.99 c 541s| 10600 | 204 | 1216k| 113.4 | 46M| 94 | 590 |4026 |8639 |4026 |9569 | 87k| 13k|4949 | 0.000000e+00 | -- | Inf
542.50/542.67 c 543s| 10700 | 202 | 1221k| 112.8 | 46M| 94 | - |4026 |8669 | 0 | 0 | 87k| 13k|4949 | 0.000000e+00 | -- | Inf
552.60/552.80 c 553s| 10800 | 199 | 1238k| 113.4 | 46M| 94 | 953 |4026 |8527 |4026 |9519 | 89k| 13k|5055 | 0.000000e+00 | -- | Inf
555.79/555.91 c 556s| 10900 | 209 | 1250k| 113.4 | 46M| 94 | - |4026 |8493 | 0 | 0 | 90k| 14k|5056 | 0.000000e+00 | -- | Inf
560.09/560.23 c 560s| 11000 | 229 | 1261k| 113.4 | 46M| 94 | 517 |4026 |8429 |4026 |9591 | 90k| 14k|5078 | 0.000000e+00 | -- | Inf
561.90/562.09 c 562s| 11100 | 232 | 1267k| 112.9 | 46M| 94 | 498 |4026 |8573 |4026 |9596 | 91k| 14k|5078 | 0.000000e+00 | -- | Inf
564.30/564.41 c 564s| 11200 | 220 | 1274k| 112.5 | 46M| 94 | 770 |4026 |8641 |4026 |9550 | 91k| 14k|5078 | 0.000000e+00 | -- | Inf
565.90/566.04 c 566s| 11300 | 253 | 1278k| 111.9 | 46M| 94 | 600 |4026 |8679 |4026 |9937 | 92k| 14k|5081 | 0.000000e+00 | -- | Inf
567.19/567.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.19/567.30 c 567s| 11400 | 256 | 1281k| 111.2 | 46M| 94 | 435 |4026 |8770 |4026 |9939 | 92k| 14k|5083 | 0.000000e+00 | -- | Inf
568.60/568.74 c 569s| 11500 | 279 | 1286k| 110.6 | 47M| 94 | 559 |4026 |8846 |4026 |9926 | 92k| 14k|5083 | 0.000000e+00 | -- | Inf
570.69/570.84 c 571s| 11600 | 256 | 1291k| 110.1 | 47M| 94 | 776 |4026 |8960 |4026 |9918 | 92k| 14k|5086 | 0.000000e+00 | -- | Inf
572.89/573.05 c 573s| 11700 | 257 | 1298k| 109.8 | 47M| 94 | 496 |4026 |9014 |4026 |9610 | 92k| 15k|5086 | 0.000000e+00 | -- | Inf
574.49/574.69 c 575s| 11800 | 263 | 1303k| 109.2 | 47M| 94 | - |4026 |9077 | 0 | 0 | 93k| 15k|5086 | 0.000000e+00 | -- | Inf
576.90/577.07 c 577s| 11900 | 256 | 1311k| 109.0 | 47M| 94 | 605 |4026 |9092 |4026 |9547 | 93k| 15k|5086 | 0.000000e+00 | -- | Inf
579.19/579.37 c 579s| 12000 | 243 | 1318k| 108.6 | 47M| 94 | - |4026 |9090 | 0 | 0 | 94k| 15k|5087 | 0.000000e+00 | -- | Inf
581.70/581.85 c 582s| 12100 | 254 | 1323k| 108.2 | 47M| 94 | 582 |4026 |9110 |4026 |9551 | 94k| 15k|5105 | 0.000000e+00 | -- | Inf
586.70/586.80 c 587s| 12200 | 228 | 1335k| 108.3 | 47M| 94 | 543 |4026 |9075 |4026 |9917 | 95k| 15k|5153 | 0.000000e+00 | -- | Inf
589.69/589.85 c 590s| 12300 | 242 | 1343k| 108.0 | 47M| 94 | 406 |4026 |9130 |4026 |9938 | 95k| 15k|5178 | 0.000000e+00 | -- | Inf
594.29/594.46 c 594s| 12400 | 225 | 1352k| 107.9 | 47M| 94 | - |4026 |9195 | 0 | 0 | 96k| 16k|5216 | 0.000000e+00 | -- | Inf
597.89/598.03 c 598s| 12500 | 252 | 1360k| 107.7 | 47M| 94 | 568 |4026 |9174 |4026 |9563 | 96k| 16k|5242 | 0.000000e+00 | -- | Inf
600.99/601.10 c 601s| 12600 | 233 | 1367k| 107.4 | 47M| 94 | 610 |4026 |9109 |4026 |9564 | 96k| 16k|5270 | 0.000000e+00 | -- | Inf
605.89/606.07 c 606s| 12700 | 231 | 1380k| 107.6 | 47M| 94 | 634 |4026 |9060 |4026 |9927 | 97k| 16k|5323 | 0.000000e+00 | -- | Inf
608.59/608.77 c 609s| 12800 | 232 | 1386k| 107.2 | 47M| 94 | 627 |4026 |9075 |4026 |9557 | 98k| 16k|5359 | 0.000000e+00 | -- | Inf
613.09/613.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.09/613.22 c 613s| 12900 | 227 | 1396k| 107.2 | 47M| 94 | 650 |4026 |9029 |4026 |9506 | 98k| 16k|5405 | 0.000000e+00 | -- | Inf
618.29/618.42 c 618s| 13000 | 220 | 1409k| 107.3 | 47M| 94 | - |4026 |9040 | 0 | 0 | 99k| 16k|5451 | 0.000000e+00 | -- | Inf
622.59/622.78 c 623s| 13100 | 229 | 1419k| 107.3 | 47M| 94 | 640 |4026 |9005 |4026 |9955 | 100k| 16k|5487 | 0.000000e+00 | -- | Inf
626.19/626.38 c 626s| 13200 | 222 | 1429k| 107.2 | 47M| 94 | - |4026 |9059 | 0 | 0 | 100k| 16k|5514 | 0.000000e+00 | -- | Inf
629.88/630.09 c 630s| 13300 | 226 | 1437k| 107.0 | 47M| 94 | 539 |4026 |9130 |4026 |9931 | 101k| 17k|5560 | 0.000000e+00 | -- | Inf
635.18/635.37 c 635s| 13400 | 222 | 1450k| 107.2 | 47M| 94 | 426 |4026 |9155 |4026 |9890 | 101k| 17k|5611 | 0.000000e+00 | -- | Inf
640.18/640.30 c 640s| 13500 | 211 | 1461k| 107.2 | 47M| 94 | 912 |4026 |9264 |4026 |9542 | 102k| 17k|5655 | 0.000000e+00 | -- | Inf
645.47/645.67 c 646s| 13600 | 235 | 1475k| 107.4 | 47M| 94 | 326 |4026 |9325 |4026 |9976 | 103k| 17k|5712 | 0.000000e+00 | -- | Inf
650.27/650.48 c 650s| 13700 | 224 | 1486k| 107.4 | 47M| 94 | 514 |4026 |9184 |4026 |9938 | 103k| 17k|5748 | 0.000000e+00 | -- | Inf
653.57/653.79 c 654s| 13800 | 230 | 1493k| 107.2 | 47M| 94 | 462 |4026 |9231 |4026 | 10k| 104k| 17k|5777 | 0.000000e+00 | -- | Inf
656.76/656.92 c 657s| 13900 | 239 | 1498k| 106.8 | 47M| 94 | 565 |4026 |9299 |4026 | 10k| 104k| 17k|5813 | 0.000000e+00 | -- | Inf
660.86/661.00 c 661s| 14000 | 221 | 1507k| 106.7 | 47M| 94 | 589 |4026 |9266 |4026 |9980 | 105k| 18k|5852 | 0.000000e+00 | -- | Inf
665.76/665.92 c 666s| 14100 | 218 | 1518k| 106.7 | 47M| 94 | - |4026 |9204 | 0 | 0 | 105k| 18k|5911 | 0.000000e+00 | -- | Inf
670.16/670.38 c 670s| 14200 | 223 | 1528k| 106.7 | 47M| 94 | 532 |4026 |9189 |4026 | 10k| 106k| 18k|5958 | 0.000000e+00 | -- | Inf
671.97/672.12 c 672s| 14300 | 225 | 1532k| 106.1 | 47M| 94 | 577 |4026 |9207 |4026 | 10k| 106k| 18k|5967 | 0.000000e+00 | -- | Inf
673.86/674.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.86/674.02 c 674s| 14400 | 232 | 1534k| 105.6 | 47M| 94 | 514 |4026 |9301 |4026 | 10k| 106k| 18k|5993 | 0.000000e+00 | -- | Inf
676.36/676.57 c 677s| 14500 | 226 | 1540k| 105.3 | 47M| 94 | 330 |4026 |9412 |4026 | 10k| 106k| 18k|6013 | 0.000000e+00 | -- | Inf
679.86/680.07 c 680s| 14600 | 254 | 1547k| 105.0 | 47M| 94 | 588 |4026 |9500 |4026 | 10k| 107k| 18k|6057 | 0.000000e+00 | -- | Inf
682.65/682.85 c 683s| 14700 | 228 | 1553k| 104.7 | 47M| 94 | 480 |4026 |9597 |4026 | 10k| 107k| 18k|6076 | 0.000000e+00 | -- | Inf
685.46/685.60 c 686s| 14800 | 229 | 1557k| 104.3 | 47M| 94 | 491 |4026 |9684 |4026 | 10k| 107k| 18k|6141 | 0.000000e+00 | -- | Inf
687.06/687.29 c 687s| 14900 | 236 | 1560k| 103.7 | 47M| 94 | 413 |4026 |9769 |4026 | 10k| 107k| 19k|6160 | 0.000000e+00 | -- | Inf
690.06/690.22 c 690s| 15000 | 257 | 1565k| 103.4 | 47M| 94 | 465 |4026 |9826 |4026 | 10k| 108k| 19k|6191 | 0.000000e+00 | -- | Inf
692.45/692.62 c 693s| 15100 | 234 | 1568k| 102.9 | 47M| 94 | 391 |4026 |9846 |4026 | 10k| 108k| 19k|6254 | 0.000000e+00 | -- | Inf
694.46/694.61 c 695s| 15200 | 229 | 1572k| 102.5 | 47M| 94 | 638 |4026 |9949 |4026 | 10k| 108k| 19k|6276 | 0.000000e+00 | -- | Inf
696.45/696.67 c 697s| 15300 | 233 | 1575k| 102.0 | 47M| 94 | 416 |4026 | 10k|4026 | 10k| 108k| 19k|6297 | 0.000000e+00 | -- | Inf
699.15/699.32 c 699s| 15400 | 223 | 1579k| 101.7 | 47M| 94 | 679 |4026 | 10k|4026 | 10k| 108k| 19k|6336 | 0.000000e+00 | -- | Inf
702.46/702.62 c 703s| 15500 | 226 | 1586k| 101.4 | 47M| 94 | 569 |4026 | 10k|4026 | 10k| 109k| 19k|6362 | 0.000000e+00 | -- | Inf
705.06/705.22 c 705s| 15600 | 227 | 1591k| 101.1 | 47M| 94 | 473 |4026 | 10k|4026 | 10k| 109k| 19k|6398 | 0.000000e+00 | -- | Inf
707.75/707.94 c 708s| 15700 | 223 | 1596k| 100.8 | 47M| 94 | 499 |4026 | 10k|4026 | 10k| 109k| 19k|6419 | 0.000000e+00 | -- | Inf
709.95/710.12 c 710s| 15800 | 224 | 1599k| 100.4 | 47M| 94 | - |4026 | 10k| 0 | 0 | 109k| 20k|6461 | 0.000000e+00 | -- | Inf
712.85/713.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.85/713.04 c 713s| 15900 | 226 | 1604k| 100.0 | 47M| 94 | 422 |4026 | 10k|4026 | 10k| 110k| 20k|6525 | 0.000000e+00 | -- | Inf
714.55/714.75 c 715s| 16000 | 230 | 1606k| 99.5 | 47M| 94 | - |4026 | 10k|4026 | 10k| 110k| 20k|6538 | 0.000000e+00 | -- | Inf
718.05/718.23 c 718s| 16100 | 222 | 1612k| 99.3 | 47M| 94 | 626 |4026 | 10k|4026 | 10k| 110k| 20k|6600 | 0.000000e+00 | -- | Inf
720.35/720.59 c 721s| 16200 | 239 | 1617k| 99.0 | 47M| 94 | 380 |4026 | 10k|4026 | 10k| 110k| 20k|6613 | 0.000000e+00 | -- | Inf
722.65/722.86 c 723s| 16300 | 226 | 1620k| 98.6 | 47M| 94 | 527 |4026 | 10k|4026 | 10k| 110k| 20k|6653 | 0.000000e+00 | -- | Inf
724.95/725.17 c 725s| 16400 | 226 | 1624k| 98.2 | 48M| 94 | - |4026 | 10k| 0 | 0 | 110k| 20k|6695 | 0.000000e+00 | -- | Inf
727.25/727.48 c 727s| 16500 | 223 | 1628k| 97.8 | 47M| 94 | 494 |4026 | 10k|4026 | 10k| 111k| 20k|6723 | 0.000000e+00 | -- | Inf
729.05/729.26 c 729s| 16600 | 249 | 1631k| 97.4 | 48M| 94 | 333 |4026 | 10k|4026 | 10k| 111k| 20k|6746 | 0.000000e+00 | -- | Inf
731.45/731.65 c 732s| 16700 | 219 | 1634k| 97.0 | 48M| 94 | 672 |4026 | 10k|4026 | 10k| 111k| 20k|6774 | 0.000000e+00 | -- | Inf
734.34/734.56 c 735s| 16800 | 216 | 1640k| 96.8 | 47M| 94 | 622 |4026 | 11k|4026 | 10k| 111k| 21k|6802 | 0.000000e+00 | -- | Inf
737.55/737.75 c 738s| 16900 | 225 | 1647k| 96.6 | 48M| 94 | 384 |4026 | 11k|4026 |9916 | 112k| 21k|6824 | 0.000000e+00 | -- | Inf
740.85/741.00 c 741s| 17000 | 220 | 1654k| 96.5 | 48M| 94 | 656 |4026 | 11k|4026 |9959 | 112k| 21k|6850 | 0.000000e+00 | -- | Inf
743.05/743.21 c 743s| 17100 | 224 | 1658k| 96.1 | 48M| 94 | 736 |4026 | 11k|4026 |9965 | 112k| 21k|6873 | 0.000000e+00 | -- | Inf
745.75/745.99 c 746s| 17200 | 216 | 1664k| 95.9 | 48M| 94 | 889 |4026 | 11k|4026 |9924 | 113k| 21k|6898 | 0.000000e+00 | -- | Inf
748.64/748.84 c 749s| 17300 | 221 | 1669k| 95.7 | 48M| 94 | - |4026 | 11k| 0 | 0 | 113k| 21k|6921 | 0.000000e+00 | -- | Inf
754.55/754.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.55/754.78 c 755s| 17400 | 223 | 1680k| 95.7 | 48M| 94 | 468 |4026 | 11k|4026 |9921 | 114k| 21k|6979 | 0.000000e+00 | -- | Inf
761.25/761.41 c 761s| 17500 | 213 | 1697k| 96.2 | 48M| 94 |1336 |4026 | 10k|4026 |9055 | 115k| 21k|7041 | 0.000000e+00 | -- | Inf
764.35/764.59 c 765s| 17600 | 242 | 1706k| 96.2 | 48M| 94 | - |4026 | 10k| 0 | 0 | 116k| 22k|7050 | 0.000000e+00 | -- | Inf
767.54/767.76 c 768s| 17700 | 248 | 1713k| 96.0 | 48M| 94 | 356 |4026 | 10k|4026 |9463 | 116k| 22k|7085 | 0.000000e+00 | -- | Inf
771.24/771.49 c 771s| 17800 | 270 | 1721k| 95.9 | 48M| 94 | 302 |4026 | 10k|4026 |9444 | 117k| 22k|7133 | 0.000000e+00 | -- | Inf
774.14/774.31 c 774s| 17900 | 259 | 1727k| 95.7 | 48M| 94 | - |4026 | 11k| 0 | 0 | 117k| 22k|7161 | 0.000000e+00 | -- | Inf
778.04/778.24 c 778s| 18000 | 262 | 1735k| 95.6 | 48M| 94 | 678 |4026 | 11k|4026 |9469 | 118k| 22k|7219 | 0.000000e+00 | -- | Inf
781.44/781.61 c 782s| 18100 | 262 | 1741k| 95.4 | 48M| 94 | 424 |4026 | 11k|4026 |9510 | 119k| 22k|7259 | 0.000000e+00 | -- | Inf
784.54/784.76 c 785s| 18200 | 267 | 1748k| 95.3 | 48M| 94 | 548 |4026 | 11k|4026 |9432 | 119k| 22k|7291 | 0.000000e+00 | -- | Inf
788.55/788.78 c 789s| 18300 | 287 | 1758k| 95.3 | 49M| 94 | 657 |4026 | 11k|4026 |9407 | 120k| 23k|7335 | 0.000000e+00 | -- | Inf
791.54/791.79 c 792s| 18400 | 300 | 1768k| 95.3 | 49M| 94 | 613 |4026 | 11k|4026 |9384 | 121k| 23k|7346 | 0.000000e+00 | -- | Inf
794.74/794.93 c 795s| 18500 | 305 | 1778k| 95.3 | 49M| 94 | 756 |4026 | 11k|4026 |9343 | 122k| 23k|7356 | 0.000000e+00 | -- | Inf
797.23/797.40 c 797s| 18600 | 317 | 1785k| 95.2 | 49M| 94 | 493 |4026 | 11k|4026 |9411 | 122k| 23k|7360 | 0.000000e+00 | -- | Inf
800.33/800.59 c 801s| 18700 | 274 | 1795k| 95.3 | 49M| 94 | 591 |4026 | 11k|4026 |9408 | 123k| 23k|7369 | 0.000000e+00 | -- | Inf
803.73/803.96 c 804s| 18800 | 238 | 1805k| 95.3 | 48M| 94 | 658 |4026 | 11k|4026 |9389 | 124k| 24k|7380 | 0.000000e+00 | -- | Inf
810.24/810.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.24/810.41 c 810s| 18900 | 239 | 1813k| 95.2 | 48M| 94 | 758 |4026 | 10k|4026 |9935 | 125k| 24k|7492 | 0.000000e+00 | -- | Inf
816.34/816.52 c 817s| 19000 | 232 | 1825k| 95.3 | 48M| 94 | 571 |4026 | 10k|4026 |9961 | 126k| 24k|7574 | 0.000000e+00 | -- | Inf
826.04/826.29 c 826s| 19100 | 242 | 1839k| 95.6 | 48M| 94 | 611 |4026 | 10k|4026 |9936 | 127k| 24k|7679 | 0.000000e+00 | -- | Inf
827.93/828.12 c 828s| 19200 | 243 | 1844k| 95.3 | 48M| 94 | - |4026 | 10k| 0 | 0 | 127k| 24k|7679 | 0.000000e+00 | -- | Inf
830.63/830.87 c 831s| 19300 | 257 | 1850k| 95.1 | 49M| 94 | 473 |4026 | 10k|4026 | 10k| 128k| 24k|7695 | 0.000000e+00 | -- | Inf
833.13/833.31 c 833s| 19400 | 244 | 1854k| 94.9 | 49M| 94 | 621 |4026 | 10k|4026 |9981 | 128k| 25k|7709 | 0.000000e+00 | -- | Inf
843.43/843.70 c 844s| 19500 | 265 | 1871k| 95.2 | 49M| 94 | 317 |4026 | 10k|4026 |9910 | 129k| 25k|7837 | 0.000000e+00 | -- | Inf
845.63/845.82 c 846s| 19600 | 288 | 1876k| 95.0 | 49M| 94 | 531 |4026 | 10k|4026 |9887 | 129k| 25k|7837 | 0.000000e+00 | -- | Inf
847.94/848.19 c 848s| 19700 | 297 | 1883k| 94.9 | 49M| 94 | 529 |4026 | 10k|4026 |9904 | 130k| 25k|7837 | 0.000000e+00 | -- | Inf
849.93/850.10 c 850s| 19800 | 279 | 1888k| 94.6 | 49M| 94 | 669 |4026 | 11k|4026 |9873 | 130k| 25k|7837 | 0.000000e+00 | -- | Inf
852.23/852.47 c 852s| 19900 | 262 | 1894k| 94.5 | 49M| 94 | - |4026 | 10k| 0 | 0 | 130k| 26k|7837 | 0.000000e+00 | -- | Inf
855.33/855.59 c 856s| 20000 | 244 | 1902k| 94.4 | 49M| 94 | 536 |4026 | 10k|4026 |9996 | 131k| 26k|7848 | 0.000000e+00 | -- | Inf
859.83/860.09 c 860s| 20100 | 265 | 1911k| 94.4 | 49M| 94 | 546 |4026 | 10k|4026 |9887 | 132k| 26k|7881 | 0.000000e+00 | -- | Inf
863.92/864.19 c 864s| 20200 | 249 | 1920k| 94.4 | 49M| 94 | 736 |4026 | 10k|4026 |9865 | 132k| 26k|7905 | 0.000000e+00 | -- | Inf
866.13/866.36 c 866s| 20300 | 250 | 1925k| 94.2 | 49M| 94 | 612 |4026 | 10k|4026 |9942 | 132k| 26k|7912 | 0.000000e+00 | -- | Inf
870.32/870.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.32/870.56 c 871s| 20400 | 248 | 1933k| 94.1 | 49M| 94 | 709 |4026 | 10k|4026 |9971 | 133k| 26k|7953 | 0.000000e+00 | -- | Inf
872.53/872.75 c 873s| 20500 | 248 | 1939k| 93.9 | 49M| 94 | 534 |4026 | 11k|4026 |9963 | 133k| 27k|7960 | 0.000000e+00 | -- | Inf
875.12/875.38 c 875s| 20600 | 245 | 1945k| 93.8 | 49M| 94 | 530 |4026 | 11k|4026 |9954 | 134k| 27k|7968 | 0.000000e+00 | -- | Inf
877.82/878.08 c 878s| 20700 | 248 | 1953k| 93.7 | 49M| 94 | - |4026 | 11k| 0 | 0 | 134k| 27k|7980 | 0.000000e+00 | -- | Inf
886.02/886.28 c 886s| 20800 | 262 | 1966k| 93.9 | 49M| 94 | - |4026 | 11k| 0 | 0 | 135k| 27k|8061 | 0.000000e+00 | -- | Inf
889.22/889.49 c 889s| 20900 | 267 | 1974k| 93.8 | 49M| 94 | 747 |4026 | 10k|4026 |9858 | 135k| 27k|8082 | 0.000000e+00 | -- | Inf
893.13/893.31 c 893s| 21000 | 250 | 1985k| 93.9 | 49M| 94 | 762 |4026 | 10k|4026 |9912 | 136k| 27k|8104 | 0.000000e+00 | -- | Inf
898.13/898.35 c 898s| 21100 | 258 | 1996k| 93.9 | 49M| 94 | 572 |4026 | 10k|4026 |9987 | 137k| 27k|8166 | 0.000000e+00 | -- | Inf
900.62/900.90 c 901s| 21200 | 251 | 2003k| 93.8 | 49M| 94 | - |4026 | 10k| 0 | 0 | 137k| 28k|8175 | 0.000000e+00 | -- | Inf
902.62/902.86 c 903s| 21300 | 254 | 2008k| 93.6 | 49M| 94 | 519 |4026 | 10k|4026 |9895 | 137k| 28k|8175 | 0.000000e+00 | -- | Inf
912.92/913.12 c 913s| 21400 | 256 | 2021k| 93.8 | 49M| 94 | 675 |4026 | 10k|4026 |9977 | 138k| 28k|8308 | 0.000000e+00 | -- | Inf
915.52/915.76 c 916s| 21500 | 280 | 2029k| 93.8 | 49M| 94 | 291 |4026 | 10k|4026 |9782 | 139k| 28k|8311 | 0.000000e+00 | -- | Inf
917.82/918.07 c 918s| 21600 | 277 | 2035k| 93.6 | 49M| 94 | 379 |4026 | 10k|4026 |9792 | 139k| 28k|8325 | 0.000000e+00 | -- | Inf
920.82/921.02 c 921s| 21700 | 265 | 2043k| 93.5 | 49M| 94 | 412 |4026 | 10k|4026 |9789 | 140k| 28k|8339 | 0.000000e+00 | -- | Inf
923.52/923.76 c 924s| 21800 | 264 | 2052k| 93.5 | 49M| 94 | 707 |4026 | 10k|4026 |9769 | 140k| 29k|8345 | 0.000000e+00 | -- | Inf
926.12/926.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.12/926.36 c 926s| 21900 | 280 | 2060k| 93.4 | 49M| 94 | 537 |4026 | 10k|4026 |9789 | 140k| 29k|8350 | 0.000000e+00 | -- | Inf
929.32/929.52 c 930s| 22000 | 267 | 2070k| 93.5 | 49M| 94 | 641 |4026 | 10k|4026 |9807 | 141k| 29k|8357 | 0.000000e+00 | -- | Inf
932.51/932.72 c 933s| 22100 | 280 | 2080k| 93.5 | 49M| 94 | 794 |4026 | 10k|4026 |9781 | 141k| 29k|8371 | 0.000000e+00 | -- | Inf
936.02/936.21 c 936s| 22200 | 289 | 2091k| 93.6 | 50M| 94 | 673 |4026 | 10k|4026 |9825 | 142k| 30k|8374 | 0.000000e+00 | -- | Inf
939.23/939.48 c 939s| 22300 | 300 | 2101k| 93.6 | 50M| 94 | - |4026 | 10k| 0 | 0 | 143k| 30k|8377 | 0.000000e+00 | -- | Inf
942.22/942.47 c 942s| 22400 | 282 | 2110k| 93.6 | 50M| 94 | - |4026 | 10k| 0 | 0 | 143k| 30k|8379 | 0.000000e+00 | -- | Inf
945.61/945.86 c 946s| 22500 | 267 | 2120k| 93.6 | 49M| 94 | 733 |4026 | 10k|4026 |9824 | 144k| 30k|8386 | 0.000000e+00 | -- | Inf
948.62/948.89 c 949s| 22600 | 273 | 2129k| 93.6 | 49M| 94 | 792 |4026 | 10k|4026 |9870 | 144k| 30k|8389 | 0.000000e+00 | -- | Inf
951.61/951.86 c 952s| 22700 | 279 | 2138k| 93.6 | 49M| 94 | - |4026 | 10k| 0 | 0 | 145k| 31k|8393 | 0.000000e+00 | -- | Inf
953.62/953.87 c 954s| 22800 | 269 | 2143k| 93.4 | 49M| 94 | - |4026 | 10k| 0 | 0 | 145k| 31k|8393 | 0.000000e+00 | -- | Inf
958.11/958.31 c 958s| 22900 | 267 | 2158k| 93.6 | 49M| 94 | 744 |4026 | 10k|4026 |9897 | 146k| 31k|8411 | 0.000000e+00 | -- | Inf
969.61/969.80 c 970s| 23000 | 286 | 2173k| 93.9 | 50M| 94 | 480 |4026 | 10k|4026 |9913 | 147k| 31k|8562 | 0.000000e+00 | -- | Inf
973.51/973.79 c 974s| 23100 | 287 | 2186k| 94.0 | 50M| 94 | - |4026 | 10k| 0 | 0 | 148k| 31k|8576 | 0.000000e+00 | -- | Inf
977.31/977.56 c 978s| 23200 | 278 | 2198k| 94.1 | 50M| 94 | - |4026 | 10k| 0 | 0 | 149k| 31k|8583 | 0.000000e+00 | -- | Inf
994.11/994.38 c 994s| 23300 | 283 | 2215k| 94.5 | 50M| 94 | 500 |4026 | 10k|4026 | 10k| 151k| 32k|8858 | 0.000000e+00 | -- | Inf
999.50/999.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.50/999.79 c 1000s| 23400 | 284 | 2229k| 94.7 | 50M| 94 |1046 |4026 | 10k|4026 |9600 | 152k| 32k|8894 | 0.000000e+00 | -- | Inf
1002.80/1003.07 c 1003s| 23500 | 289 | 2240k| 94.7 | 50M| 94 | 524 |4026 | 10k|4026 |9781 | 153k| 32k|8897 | 0.000000e+00 | -- | Inf
1008.21/1008.47 c 1008s| 23600 | 268 | 2251k| 94.8 | 49M| 94 | - |4026 |9956 | 0 | 0 | 153k| 32k|8952 | 0.000000e+00 | -- | Inf
1011.70/1011.93 c 1012s| 23700 | 287 | 2259k| 94.7 | 50M| 94 | 472 |4026 | 10k|4026 |9746 | 154k| 32k|8977 | 0.000000e+00 | -- | Inf
1015.01/1015.26 c 1015s| 23800 | 268 | 2270k| 94.8 | 49M| 94 | - |4026 | 10k| 0 | 0 | 154k| 32k|8986 | 0.000000e+00 | -- | Inf
1017.31/1017.58 c 1018s| 23900 | 280 | 2276k| 94.7 | 50M| 94 | 657 |4026 | 10k|4026 |9922 | 155k| 32k|8986 | 0.000000e+00 | -- | Inf
1019.90/1020.12 c 1020s| 24000 | 274 | 2284k| 94.6 | 50M| 94 | 405 |4026 | 10k|4026 |9961 | 155k| 33k|8989 | 0.000000e+00 | -- | Inf
1022.40/1022.63 c 1023s| 24100 | 281 | 2291k| 94.5 | 50M| 94 | - |4026 | 10k| 0 | 0 | 156k| 33k|8991 | 0.000000e+00 | -- | Inf
1025.71/1025.93 c 1026s| 24200 | 287 | 2302k| 94.5 | 50M| 94 | 617 |4026 | 10k|4026 |9939 | 157k| 33k|8991 | 0.000000e+00 | -- | Inf
1028.00/1028.20 c 1028s| 24300 | 291 | 2308k| 94.4 | 50M| 94 | 781 |4026 | 10k|4026 |9914 | 157k| 33k|8991 | 0.000000e+00 | -- | Inf
1030.90/1031.13 c 1031s| 24400 | 284 | 2317k| 94.4 | 50M| 94 | - |4026 | 10k| 0 | 0 | 158k| 33k|8991 | 0.000000e+00 | -- | Inf
1034.21/1034.46 c 1034s| 24500 | 273 | 2327k| 94.4 | 49M| 94 | 829 |4026 | 10k|4026 | 10k| 158k| 33k|8991 | 0.000000e+00 | -- | Inf
1039.00/1039.21 c 1039s| 24600 | 273 | 2342k| 94.6 | 49M| 94 | 913 |4026 | 10k|4026 |9667 | 160k| 34k|9021 | 0.000000e+00 | -- | Inf
1055.30/1055.56 c 1056s| 24700 | 283 | 2360k| 95.0 | 49M| 94 |1150 |4026 |9808 |4026 |9498 | 161k| 34k|9261 | 0.000000e+00 | -- | Inf
1058.79/1059.01 c 1059s| 24800 | 322 | 2370k| 95.0 | 49M| 94 | 566 |4026 |9663 |4026 |9933 | 162k| 34k|9262 | 0.000000e+00 | -- | Inf
1071.50/1071.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.50/1071.70 c 1072s| 24900 | 287 | 2384k| 95.2 | 49M| 94 | 930 |4026 |9503 |4026 |9898 | 163k| 34k|9419 | 0.000000e+00 | -- | Inf
1075.49/1075.79 c 1076s| 25000 | 297 | 2398k| 95.4 | 49M| 94 | - |4026 |9373 | 0 | 0 | 164k| 34k|9430 | 0.000000e+00 | -- | Inf
1078.49/1078.74 c 1079s| 25100 | 298 | 2407k| 95.3 | 49M| 94 | - |4026 |9464 | 0 | 0 | 165k| 34k|9430 | 0.000000e+00 | -- | Inf
1082.20/1082.45 c 1082s| 25200 | 300 | 2420k| 95.5 | 49M| 94 | - |4026 |9367 | 0 | 0 | 166k| 34k|9430 | 0.000000e+00 | -- | Inf
1084.40/1084.67 c 1085s| 25300 | 294 | 2426k| 95.4 | 49M| 94 | 674 |4026 |9497 |4026 |9861 | 166k| 34k|9430 | 0.000000e+00 | -- | Inf
1086.99/1087.29 c 1087s| 25400 | 311 | 2434k| 95.3 | 49M| 94 | 459 |4026 |9540 |4026 |9771 | 167k| 35k|9433 | 0.000000e+00 | -- | Inf
1088.80/1089.01 c 1089s| 25500 | 290 | 2439k| 95.1 | 49M| 94 | 767 |4026 |9623 |4026 |9775 | 167k| 35k|9433 | 0.000000e+00 | -- | Inf
1091.59/1091.89 c 1092s| 25600 | 294 | 2447k| 95.1 | 49M| 94 | 852 |4026 |9576 |4026 |9889 | 168k| 35k|9434 | 0.000000e+00 | -- | Inf
1094.79/1095.07 c 1095s| 25700 | 297 | 2456k| 95.0 | 49M| 94 | 795 |4026 |9652 |4026 | 10k| 168k| 35k|9442 | 0.000000e+00 | -- | Inf
1097.09/1097.38 c 1097s| 25800 | 306 | 2463k| 94.9 | 49M| 94 | 408 |4026 |9753 |4026 |9786 | 169k| 35k|9442 | 0.000000e+00 | -- | Inf
1099.89/1100.15 c 1100s| 25900 | 293 | 2471k| 94.9 | 49M| 94 | 677 |4026 |9899 |4026 |9814 | 169k| 35k|9442 | 0.000000e+00 | -- | Inf
1102.69/1102.91 c 1103s| 26000 | 290 | 2480k| 94.8 | 49M| 94 | 742 |4026 |9857 |4026 |9833 | 169k| 35k|9442 | 0.000000e+00 | -- | Inf
1109.69/1109.94 c 1110s| 26100 | 290 | 2496k| 95.1 | 49M| 94 | 738 |4026 |9713 |4026 |9959 | 171k| 36k|9509 | 0.000000e+00 | -- | Inf
1112.59/1112.81 c 1113s| 26200 | 285 | 2505k| 95.1 | 49M| 94 | 845 |4026 |9693 |4026 |9878 | 171k| 36k|9509 | 0.000000e+00 | -- | Inf
1116.69/1116.97 c 1117s| 26300 | 284 | 2520k| 95.3 | 49M| 94 | 892 |4026 |9398 |4026 |9673 | 173k| 36k|9511 | 0.000000e+00 | -- | Inf
1120.39/1120.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.39/1120.62 c 1121s| 26400 | 287 | 2533k| 95.4 | 49M| 94 | 872 |4026 |9451 |4026 |9992 | 173k| 36k|9512 | 0.000000e+00 | -- | Inf
1122.39/1122.66 c 1123s| 26500 | 294 | 2539k| 95.3 | 49M| 94 | 534 |4026 |9509 |4026 |9962 | 174k| 36k|9512 | 0.000000e+00 | -- | Inf
1124.19/1124.46 c 1124s| 26600 | 304 | 2544k| 95.1 | 49M| 94 | 409 |4026 |9560 |4026 | 10k| 174k| 36k|9512 | 0.000000e+00 | -- | Inf
1126.49/1126.78 c 1127s| 26700 | 290 | 2550k| 95.0 | 49M| 94 | 602 |4026 |9664 |4026 |9953 | 174k| 36k|9512 | 0.000000e+00 | -- | Inf
1128.78/1129.04 c 1129s| 26800 | 296 | 2557k| 94.9 | 49M| 94 | 515 |4026 |9738 |4026 |9974 | 174k| 36k|9512 | 0.000000e+00 | -- | Inf
1131.69/1131.94 c 1132s| 26900 | 291 | 2566k| 94.9 | 49M| 94 | 735 |4026 |9839 |4026 |9975 | 175k| 36k|9512 | 0.000000e+00 | -- | Inf
1134.08/1134.37 c 1134s| 27000 | 292 | 2573k| 94.8 | 49M| 94 | 482 |4026 |9882 |4026 |9840 | 175k| 37k|9512 | 0.000000e+00 | -- | Inf
1135.88/1136.11 c 1136s| 27100 | 287 | 2578k| 94.6 | 49M| 94 | 393 |4026 | 10k|4026 |9841 | 175k| 37k|9512 | 0.000000e+00 | -- | Inf
1142.98/1143.21 c 1143s| 27200 | 288 | 2590k| 94.7 | 49M| 94 | 818 |4026 |9992 |4026 |9670 | 176k| 37k|9587 | 0.000000e+00 | -- | Inf
1145.48/1145.78 c 1146s| 27300 | 314 | 2598k| 94.7 | 49M| 94 | 587 |4026 | 10k|4026 |9763 | 177k| 37k|9587 | 0.000000e+00 | -- | Inf
1148.08/1148.31 c 1148s| 27400 | 310 | 2606k| 94.6 | 50M| 94 | 700 |4026 |9999 |4026 |9710 | 177k| 37k|9587 | 0.000000e+00 | -- | Inf
1151.68/1151.99 c 1152s| 27500 | 303 | 2619k| 94.7 | 50M| 94 | 712 |4026 |9943 |4026 |9687 | 178k| 37k|9587 | 0.000000e+00 | -- | Inf
1161.28/1161.51 c 1162s| 27600 | 315 | 2641k| 95.2 | 49M| 94 |1541 |4026 |9801 |4026 |9897 | 180k| 37k|9671 | 0.000000e+00 | -- | Inf
1165.28/1165.50 c 1165s| 27700 | 323 | 2654k| 95.3 | 50M| 94 | - |4026 |9878 | 0 | 0 | 181k| 37k|9680 | 0.000000e+00 | -- | Inf
1169.58/1169.89 c 1170s| 27800 | 328 | 2665k| 95.4 | 50M| 94 | - |4026 |9890 | 0 | 0 | 182k| 38k|9700 | 0.000000e+00 | -- | Inf
1175.18/1175.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.18/1175.43 c 1175s| 27900 | 322 | 2680k| 95.5 | 49M| 94 | 403 |4026 |9619 |4026 |9806 | 183k| 38k|9732 | 0.000000e+00 | -- | Inf
1178.68/1178.94 c 1179s| 28000 | 309 | 2692k| 95.6 | 49M| 94 | 952 |4026 |9663 |4026 |9790 | 184k| 38k|9732 | 0.000000e+00 | -- | Inf
1182.48/1182.74 c 1183s| 28100 | 321 | 2706k| 95.8 | 50M| 94 | 517 |4026 |9717 |4026 |9880 | 185k| 38k|9734 | 0.000000e+00 | -- | Inf
1186.38/1186.70 c 1187s| 28200 | 304 | 2722k| 96.0 | 49M| 94 | 879 |4026 |9771 |4026 |9791 | 186k| 38k|9734 | 0.000000e+00 | -- | Inf
1192.07/1192.36 c 1192s| 28300 | 312 | 2740k| 96.3 | 50M| 94 | 933 |4026 |9720 |4026 |9790 | 187k| 38k|9758 | 0.000000e+00 | -- | Inf
1195.59/1195.80 c 1196s| 28400 | 315 | 2752k| 96.4 | 50M| 94 | 533 |4026 |9740 |4026 |9717 | 187k| 38k|9758 | 0.000000e+00 | -- | Inf
1200.77/1201.03 c 1201s| 28500 | 324 | 2770k| 96.7 | 50M| 94 | 617 |4026 |9669 |4026 |9594 | 189k| 38k|9767 | 0.000000e+00 | -- | Inf
1206.88/1207.19 c 1207s| 28600 | 334 | 2789k| 97.1 | 50M| 94 | - |4026 |9577 | 0 | 0 | 190k| 38k|9799 | 0.000000e+00 | -- | Inf
1210.58/1210.88 c 1211s| 28700 | 331 | 2801k| 97.1 | 50M| 94 | 421 |4026 |9705 |4026 |9868 | 191k| 39k|9799 | 0.000000e+00 | -- | Inf
1215.17/1215.44 c 1215s| 28800 | 326 | 2812k| 97.2 | 50M| 94 | 824 |4026 |9711 |4026 |9569 | 192k| 39k|9838 | 0.000000e+00 | -- | Inf
1222.58/1222.85 c 1223s| 28900 | 320 | 2830k| 97.5 | 50M| 94 | 977 |4026 |9352 |4026 |9721 | 194k| 39k|9912 | 0.000000e+00 | -- | Inf
1227.77/1228.01 c 1228s| 29000 | 322 | 2845k| 97.6 | 50M| 94 | - |4026 |9128 | 0 | 0 | 195k| 39k|9937 | 0.000000e+00 | -- | Inf
1232.47/1232.74 c 1233s| 29100 | 320 | 2858k| 97.7 | 50M| 94 | 937 |4026 |9137 |4026 |9643 | 196k| 39k|9977 | 0.000000e+00 | -- | Inf
1236.28/1236.59 c 1237s| 29200 | 327 | 2868k| 97.7 | 50M| 94 | 567 |4026 |9255 |4026 |9749 | 197k| 39k| 10k| 0.000000e+00 | -- | Inf
1240.68/1240.94 c 1241s| 29300 | 340 | 2878k| 97.8 | 50M| 94 | 646 |4026 |9266 |4026 |9710 | 198k| 40k| 10k| 0.000000e+00 | -- | Inf
1244.77/1245.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.77/1245.09 c 1245s| 29400 | 333 | 2887k| 97.7 | 50M| 94 | 907 |4026 |9359 |4026 |9779 | 198k| 40k| 10k| 0.000000e+00 | -- | Inf
1248.67/1248.93 c 1249s| 29500 | 320 | 2896k| 97.7 | 50M| 94 | 709 |4026 |9334 |4026 |9540 | 199k| 40k| 10k| 0.000000e+00 | -- | Inf
1252.87/1253.11 c 1253s| 29600 | 313 | 2906k| 97.7 | 50M| 94 |1056 |4026 |9323 |4026 |9865 | 199k| 40k| 10k| 0.000000e+00 | -- | Inf
1257.57/1257.84 c 1258s| 29700 | 332 | 2918k| 97.8 | 50M| 94 | 802 |4026 |9338 |4026 |9915 | 201k| 40k| 10k| 0.000000e+00 | -- | Inf
1264.17/1264.47 c 1264s| 29800 | 334 | 2935k| 98.0 | 50M| 94 | 891 |4026 |9392 |4026 |9781 | 202k| 40k| 10k| 0.000000e+00 | -- | Inf
1266.86/1267.17 c 1267s| 29900 | 352 | 2941k| 97.9 | 50M| 94 | 443 |4026 |9467 |4026 |9847 | 202k| 40k| 10k| 0.000000e+00 | -- | Inf
1270.38/1270.66 c 1271s| 30000 | 344 | 2948k| 97.8 | 50M| 94 | 717 |4026 |9417 |4026 |9839 | 203k| 40k| 10k| 0.000000e+00 | -- | Inf
1274.77/1275.05 c 1275s| 30100 | 342 | 2959k| 97.8 | 50M| 94 | 971 |4026 |9409 |4026 |9852 | 203k| 41k| 10k| 0.000000e+00 | -- | Inf
1278.66/1278.90 c 1279s| 30200 | 358 | 2968k| 97.8 | 51M| 94 | - |4026 |9489 | 0 | 0 | 204k| 41k| 10k| 0.000000e+00 | -- | Inf
1281.86/1282.13 c 1282s| 30300 | 345 | 2976k| 97.8 | 50M| 94 | 949 |4026 |9501 |4026 |9747 | 204k| 41k| 10k| 0.000000e+00 | -- | Inf
1285.56/1285.83 c 1286s| 30400 | 356 | 2985k| 97.7 | 51M| 94 | - |4026 |9598 | 0 | 0 | 205k| 41k| 10k| 0.000000e+00 | -- | Inf
1291.56/1291.82 c 1292s| 30500 | 349 | 3001k| 97.9 | 51M| 94 | 785 |4026 |9647 |4026 |9828 | 206k| 41k| 10k| 0.000000e+00 | -- | Inf
1296.16/1296.46 c 1296s| 30600 | 353 | 3013k| 98.0 | 51M| 94 | 640 |4026 |9661 |4026 |9913 | 207k| 41k| 10k| 0.000000e+00 | -- | Inf
1302.27/1302.51 c 1303s| 30700 | 361 | 3030k| 98.2 | 51M| 94 | 648 |4026 |9720 |4026 |9887 | 207k| 41k| 10k| 0.000000e+00 | -- | Inf
1308.86/1309.15 c 1309s| 30800 | 359 | 3049k| 98.5 | 51M| 94 | 755 |4026 |9769 |4026 |9882 | 208k| 42k| 10k| 0.000000e+00 | -- | Inf
1316.75/1317.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.75/1317.03 c 1317s| 30900 | 355 | 3068k| 98.9 | 51M| 94 | 698 |4026 |9782 |4026 |9826 | 209k| 42k| 10k| 0.000000e+00 | -- | Inf
1320.56/1320.86 c 1321s| 31000 | 350 | 3080k| 98.9 | 51M| 94 | 489 |4026 |9728 |4026 |9829 | 210k| 42k| 10k| 0.000000e+00 | -- | Inf
1325.36/1325.69 c 1326s| 31100 | 337 | 3091k| 99.0 | 50M| 94 |1093 |4026 |9670 |4026 |9776 | 211k| 42k| 10k| 0.000000e+00 | -- | Inf
1330.86/1331.16 c 1331s| 31200 | 339 | 3105k| 99.1 | 50M| 94 | 609 |4026 |9500 |4026 |9825 | 212k| 42k| 10k| 0.000000e+00 | -- | Inf
1334.25/1334.51 c 1335s| 31300 | 332 | 3112k| 99.0 | 50M| 94 | 645 |4026 |9554 |4026 |9896 | 212k| 42k| 10k| 0.000000e+00 | -- | Inf
1336.56/1336.87 c 1337s| 31400 | 345 | 3116k| 98.8 | 50M| 94 | 376 |4026 |9521 |4026 |9887 | 212k| 42k| 10k| 0.000000e+00 | -- | Inf
1340.35/1340.69 c 1341s| 31500 | 323 | 3124k| 98.7 | 50M| 94 | 656 |4026 |9586 |4026 |9821 | 213k| 42k| 10k| 0.000000e+00 | -- | Inf
1345.35/1345.69 c 1346s| 31600 | 316 | 3136k| 98.8 | 50M| 94 | 669 |4026 |9428 |4026 |9824 | 214k| 42k| 10k| 0.000000e+00 | -- | Inf
1351.15/1351.49 c 1351s| 31700 | 321 | 3152k| 99.0 | 50M| 94 | 873 |4026 |9425 |4026 |9682 | 215k| 43k| 11k| 0.000000e+00 | -- | Inf
1355.35/1355.62 c 1356s| 31800 | 322 | 3162k| 99.0 | 50M| 94 | 589 |4026 |9489 |4026 |9898 | 216k| 43k| 11k| 0.000000e+00 | -- | Inf
1360.26/1360.58 c 1361s| 31900 | 317 | 3175k| 99.1 | 50M| 94 | 884 |4026 |9564 |4026 |9829 | 217k| 43k| 11k| 0.000000e+00 | -- | Inf
1364.25/1364.51 c 1365s| 32000 | 325 | 3184k| 99.1 | 51M| 94 | 500 |4026 |9533 |4026 |9963 | 217k| 43k| 11k| 0.000000e+00 | -- | Inf
1367.95/1368.23 c 1368s| 32100 | 304 | 3193k| 99.0 | 50M| 94 | 894 |4026 |9496 |4026 |9637 | 218k| 43k| 11k| 0.000000e+00 | -- | Inf
1373.15/1373.43 c 1373s| 32200 | 321 | 3206k| 99.1 | 51M| 94 | 318 |4026 |9441 |4026 |9826 | 218k| 43k| 11k| 0.000000e+00 | -- | Inf
1379.15/1379.50 c 1379s| 32300 | 318 | 3222k| 99.3 | 51M| 94 | 580 |4026 |9379 |4026 |9819 | 219k| 43k| 11k| 0.000000e+00 | -- | Inf
1383.24/1383.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.24/1383.56 c 1384s| 32400 | 329 | 3230k| 99.3 | 51M| 94 | 463 |4026 |9481 |4026 |9861 | 220k| 43k| 11k| 0.000000e+00 | -- | Inf
1387.74/1388.08 c 1388s| 32500 | 312 | 3241k| 99.3 | 51M| 94 | 853 |4026 |9514 |4026 |9760 | 220k| 44k| 11k| 0.000000e+00 | -- | Inf
1393.34/1393.62 c 1394s| 32600 | 310 | 3256k| 99.5 | 51M| 94 | 817 |4026 |9462 |4026 |9881 | 222k| 44k| 11k| 0.000000e+00 | -- | Inf
1399.84/1400.15 c 1400s| 32700 | 305 | 3271k| 99.6 | 50M| 94 | 888 |4026 |9238 |4026 |9645 | 223k| 44k| 11k| 0.000000e+00 | -- | Inf
1404.73/1405.07 c 1405s| 32800 | 310 | 3284k| 99.7 | 51M| 94 | 833 |4026 |9264 |4026 |9720 | 224k| 44k| 11k| 0.000000e+00 | -- | Inf
1410.34/1410.61 c 1411s| 32900 | 320 | 3298k| 99.8 | 51M| 94 | 820 |4026 |9307 |4026 |9687 | 225k| 44k| 11k| 0.000000e+00 | -- | Inf
1418.93/1419.27 c 1419s| 33000 | 319 | 3320k| 100.2 | 51M| 94 | 636 |4026 |9094 |4026 |9641 | 227k| 44k| 11k| 0.000000e+00 | -- | Inf
1424.24/1424.53 c 1425s| 33100 | 328 | 3335k| 100.3 | 51M| 94 | 533 |4026 |9049 |4026 |9801 | 228k| 44k| 11k| 0.000000e+00 | -- | Inf
1427.34/1427.68 c 1428s| 33200 | 328 | 3341k| 100.2 | 51M| 94 | 560 |4026 |9121 |4026 |9796 | 229k| 44k| 11k| 0.000000e+00 | -- | Inf
1430.94/1431.29 c 1431s| 33300 | 324 | 3349k| 100.1 | 51M| 94 | 568 |4026 |9135 |4026 |9781 | 229k| 45k| 11k| 0.000000e+00 | -- | Inf
1434.14/1434.40 c 1434s| 33400 | 331 | 3356k| 100.1 | 51M| 94 | 562 |4026 |9201 |4026 |9786 | 230k| 45k| 11k| 0.000000e+00 | -- | Inf
1438.74/1439.04 c 1439s| 33500 | 327 | 3368k| 100.1 | 51M| 94 | - |4026 |9188 | 0 | 0 | 230k| 45k| 11k| 0.000000e+00 | -- | Inf
1444.63/1444.98 c 1445s| 33600 | 332 | 3383k| 100.3 | 51M| 94 | 640 |4026 |9195 |4026 |9766 | 231k| 45k| 11k| 0.000000e+00 | -- | Inf
1448.23/1448.51 c 1449s| 33700 | 326 | 3389k| 100.1 | 51M| 94 | 792 |4026 |9412 |4026 |9749 | 232k| 45k| 11k| 0.000000e+00 | -- | Inf
1451.63/1451.98 c 1452s| 33800 | 333 | 3397k| 100.1 | 51M| 94 | 831 |4026 |9566 |4026 |9849 | 232k| 45k| 11k| 0.000000e+00 | -- | Inf
1454.63/1454.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.63/1454.97 c 1455s| 33900 | 332 | 3403k| 100.0 | 51M| 94 | - |4026 |9635 | 0 | 0 | 233k| 46k| 11k| 0.000000e+00 | -- | Inf
1461.43/1461.75 c 1462s| 34000 | 329 | 3423k| 100.3 | 51M| 94 | 775 |4026 |9588 |4026 |9916 | 234k| 46k| 12k| 0.000000e+00 | -- | Inf
1467.83/1468.12 c 1468s| 34100 | 342 | 3439k| 100.4 | 51M| 94 | - |4026 |9576 | 0 | 0 | 235k| 46k| 12k| 0.000000e+00 | -- | Inf
1474.22/1474.52 c 1475s| 34200 | 354 | 3455k| 100.6 | 52M| 94 | 474 |4026 |9695 |4026 |9849 | 236k| 46k| 12k| 0.000000e+00 | -- | Inf
1479.93/1480.21 c 1480s| 34300 | 334 | 3469k| 100.7 | 51M| 94 | 525 |4026 |9603 |4026 |9878 | 237k| 46k| 12k| 0.000000e+00 | -- | Inf
1484.52/1484.83 c 1485s| 34400 | 326 | 3479k| 100.7 | 51M| 94 | 697 |4026 |9557 |4026 |9768 | 237k| 46k| 12k| 0.000000e+00 | -- | Inf
1489.82/1490.16 c 1490s| 34500 | 333 | 3491k| 100.8 | 51M| 94 | 483 |4026 |9443 |4026 |9903 | 238k| 46k| 12k| 0.000000e+00 | -- | Inf
1495.33/1495.65 c 1496s| 34600 | 336 | 3504k| 100.9 | 51M| 94 | 915 |4026 |9326 |4026 |9658 | 239k| 46k| 12k| 0.000000e+00 | -- | Inf
1500.02/1500.33 c 1500s| 34700 | 344 | 3519k| 101.0 | 51M| 94 | 782 |4026 |9372 |4026 |9599 | 241k| 47k| 12k| 0.000000e+00 | -- | Inf
1503.92/1504.28 c 1504s| 34800 | 346 | 3530k| 101.0 | 51M| 94 | 776 |4026 |9502 |4026 |9557 | 241k| 47k| 12k| 0.000000e+00 | -- | Inf
1508.62/1508.91 c 1509s| 34900 | 347 | 3542k| 101.1 | 51M| 94 |1092 |4026 |9495 |4026 |9745 | 242k| 47k| 12k| 0.000000e+00 | -- | Inf
1519.22/1519.57 c 1520s| 35000 | 365 | 3564k| 101.4 | 52M| 94 | 606 |4026 |9307 |4026 |9876 | 244k| 47k| 12k| 0.000000e+00 | -- | Inf
1522.72/1523.00 c 1523s| 35100 | 365 | 3573k| 101.4 | 52M| 94 | 849 |4026 |9368 |4026 |9835 | 245k| 47k| 12k| 0.000000e+00 | -- | Inf
1525.82/1526.16 c 1526s| 35200 | 369 | 3582k| 101.4 | 52M| 94 | 455 |4026 |9412 |4026 |9844 | 245k| 47k| 12k| 0.000000e+00 | -- | Inf
1529.11/1529.40 c 1529s| 35300 | 356 | 3591k| 101.3 | 52M| 94 | - |4026 |9408 | 0 | 0 | 245k| 47k| 12k| 0.000000e+00 | -- | Inf
1536.22/1536.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.22/1536.57 c 1537s| 35400 | 374 | 3606k| 101.5 | 52M| 94 | 604 |4026 |9411 |4026 |9461 | 247k| 48k| 12k| 0.000000e+00 | -- | Inf
1539.83/1540.14 c 1540s| 35500 | 369 | 3618k| 101.5 | 52M| 94 | 754 |4026 |9488 |4026 |9499 | 248k| 48k| 12k| 0.000000e+00 | -- | Inf
1546.12/1546.49 c 1546s| 35600 | 382 | 3627k| 101.5 | 52M| 94 | 469 |4026 |9508 |4026 | 10k| 248k| 48k| 12k| 0.000000e+00 | -- | Inf
1550.62/1550.93 c 1551s| 35700 | 384 | 3636k| 101.5 | 52M| 94 | 483 |4026 |9504 |4026 | 10k| 249k| 48k| 12k| 0.000000e+00 | -- | Inf
1554.12/1554.50 c 1554s| 35800 | 370 | 3645k| 101.4 | 52M| 94 | 796 |4026 |9548 |4026 |9599 | 249k| 48k| 12k| 0.000000e+00 | -- | Inf
1557.21/1557.55 c 1558s| 35900 | 364 | 3654k| 101.4 | 52M| 94 | 793 |4026 |9600 |4026 |9651 | 250k| 48k| 12k| 0.000000e+00 | -- | Inf
1565.12/1565.44 c 1565s| 36000 | 367 | 3672k| 101.6 | 52M| 94 |1095 |4026 |9500 |4026 |9547 | 251k| 48k| 12k| 0.000000e+00 | -- | Inf
1571.01/1571.39 c 1571s| 36100 | 378 | 3686k| 101.7 | 52M| 94 | 405 |4026 |9390 |4026 |9352 | 253k| 48k| 13k| 0.000000e+00 | -- | Inf
1574.32/1574.69 c 1575s| 36200 | 372 | 3695k| 101.7 | 52M| 94 | 694 |4026 |9441 |4026 |9372 | 254k| 49k| 13k| 0.000000e+00 | -- | Inf
1578.71/1579.09 c 1579s| 36300 | 375 | 3708k| 101.8 | 52M| 94 | 691 |4026 |9505 |4026 |9429 | 255k| 49k| 13k| 0.000000e+00 | -- | Inf
1586.51/1586.86 c 1587s| 36400 | 388 | 3725k| 102.0 | 52M| 94 | 565 |4026 |9442 |4026 |9756 | 256k| 49k| 13k| 0.000000e+00 | -- | Inf
1592.71/1593.02 c 1593s| 36500 | 406 | 3743k| 102.2 | 52M| 94 | - |4026 |9367 | 0 | 0 | 258k| 49k| 13k| 0.000000e+00 | -- | Inf
1598.91/1599.28 c 1599s| 36600 | 398 | 3757k| 102.3 | 52M| 94 | 703 |4026 |9290 |4026 |9872 | 259k| 49k| 13k| 0.000000e+00 | -- | Inf
1604.41/1604.76 c 1605s| 36700 | 389 | 3778k| 102.6 | 52M| 94 | 978 |4026 |9249 |4026 |9885 | 260k| 49k| 13k| 0.000000e+00 | -- | Inf
1608.11/1608.40 c 1608s| 36800 | 385 | 3790k| 102.6 | 52M| 94 | 981 |4026 |9213 |4026 |9819 | 261k| 49k| 13k| 0.000000e+00 | -- | Inf
1612.20/1612.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.20/1612.60 c 1613s| 36900 | 396 | 3804k| 102.7 | 52M| 94 | 452 |4026 |9259 |4026 | 10k| 262k| 49k| 13k| 0.000000e+00 | -- | Inf
1624.71/1625.04 c 1625s| 37000 | 379 | 3817k| 102.8 | 52M| 94 |1222 |4026 |9295 |4026 |9355 | 263k| 49k| 13k| 0.000000e+00 | -- | Inf
1630.51/1630.84 c 1631s| 37100 | 394 | 3839k| 103.1 | 52M| 94 | - |4026 |9334 | 0 | 0 | 264k| 50k| 13k| 0.000000e+00 | -- | Inf
1635.00/1635.37 c 1635s| 37200 | 420 | 3855k| 103.2 | 53M| 94 | 705 |4026 |9369 |4026 |9726 | 266k| 50k| 13k| 0.000000e+00 | -- | Inf
1638.90/1639.22 c 1639s| 37300 | 403 | 3868k| 103.3 | 53M| 94 |1047 |4026 |9341 |4026 |9785 | 266k| 50k| 13k| 0.000000e+00 | -- | Inf
1642.11/1642.41 c 1642s| 37400 | 427 | 3878k| 103.3 | 53M| 94 | 513 |4026 |9450 |4026 |9823 | 267k| 50k| 13k| 0.000000e+00 | -- | Inf
1645.80/1646.18 c 1646s| 37500 | 415 | 3891k| 103.4 | 53M| 94 | 624 |4026 |9569 |4026 |9814 | 268k| 50k| 13k| 0.000000e+00 | -- | Inf
1649.50/1649.82 c 1650s| 37600 | 408 | 3904k| 103.5 | 53M| 94 | - |4026 |9660 | 0 | 0 | 268k| 50k| 13k| 0.000000e+00 | -- | Inf
1653.60/1653.95 c 1654s| 37700 | 406 | 3919k| 103.6 | 53M| 94 | - |4026 |9638 | 0 | 0 | 269k| 51k| 13k| 0.000000e+00 | -- | Inf
1671.59/1671.95 c 1672s| 37800 | 425 | 3943k| 103.9 | 53M| 94 | 732 |4026 |9574 |4026 |9856 | 271k| 51k| 13k| 0.000000e+00 | -- | Inf
1675.40/1675.76 c 1676s| 37900 | 419 | 3955k| 104.0 | 53M| 94 |1143 |4026 |9508 |4026 |9615 | 272k| 51k| 13k| 0.000000e+00 | -- | Inf
1679.19/1679.53 c 1680s| 38000 | 427 | 3968k| 104.1 | 53M| 94 | 683 |4026 |9573 |4026 |9779 | 273k| 51k| 13k| 0.000000e+00 | -- | Inf
1681.71/1682.08 c 1682s| 38100 | 427 | 3976k| 104.0 | 53M| 94 | 716 |4026 |9670 |4026 |9723 | 273k| 51k| 13k| 0.000000e+00 | -- | Inf
1686.59/1686.92 c 1687s| 38200 | 429 | 3992k| 104.1 | 53M| 94 | - |4026 |9625 | 0 | 0 | 275k| 51k| 13k| 0.000000e+00 | -- | Inf
1690.89/1691.27 c 1691s| 38300 | 430 | 4006k| 104.2 | 53M| 94 | 829 |4026 |9653 |4026 |9982 | 276k| 51k| 13k| 0.000000e+00 | -- | Inf
1699.40/1699.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.40/1699.70 c 1700s| 38400 | 445 | 4024k| 104.4 | 53M| 94 | 723 |4026 |9645 |4026 |9667 | 277k| 51k| 13k| 0.000000e+00 | -- | Inf
1703.00/1703.37 c 1703s| 38500 | 439 | 4037k| 104.5 | 53M| 94 |1075 |4026 |9618 |4026 |9536 | 278k| 52k| 13k| 0.000000e+00 | -- | Inf
1705.59/1705.98 c 1706s| 38600 | 445 | 4044k| 104.4 | 53M| 94 | 623 |4026 |9712 |4026 |9806 | 279k| 52k| 13k| 0.000000e+00 | -- | Inf
1708.99/1709.35 c 1709s| 38700 | 443 | 4055k| 104.4 | 53M| 94 | - |4026 |9854 | 0 | 0 | 279k| 52k| 13k| 0.000000e+00 | -- | Inf
1712.19/1712.59 c 1713s| 38800 | 438 | 4065k| 104.4 | 53M| 94 | 450 |4026 |9866 |4026 |9469 | 280k| 52k| 13k| 0.000000e+00 | -- | Inf
1715.19/1715.59 c 1716s| 38900 | 435 | 4074k| 104.4 | 53M| 94 | 706 |4026 |9889 |4026 |9479 | 281k| 52k| 13k| 0.000000e+00 | -- | Inf
1718.99/1719.35 c 1719s| 39000 | 430 | 4087k| 104.4 | 53M| 94 | - |4026 |9837 | 0 | 0 | 282k| 52k| 13k| 0.000000e+00 | -- | Inf
1721.79/1722.12 c 1722s| 39100 | 429 | 4095k| 104.4 | 53M| 94 | - |4026 |9927 | 0 | 0 | 282k| 53k| 13k| 0.000000e+00 | -- | Inf
1727.58/1727.94 c 1728s| 39200 | 431 | 4114k| 104.6 | 53M| 94 |1033 |4026 |9860 |4026 |9692 | 284k| 53k| 13k| 0.000000e+00 | -- | Inf
1732.20/1732.56 c 1733s| 39300 | 439 | 4130k| 104.7 | 53M| 94 | 930 |4026 |9773 |4026 |9870 | 285k| 53k| 13k| 0.000000e+00 | -- | Inf
1735.59/1735.91 c 1736s| 39400 | 446 | 4140k| 104.7 | 54M| 94 |1019 |4026 |9740 |4026 |9753 | 286k| 53k| 13k| 0.000000e+00 | -- | Inf
1739.78/1740.10 c 1740s| 39500 | 442 | 4155k| 104.9 | 53M| 94 |1043 |4026 |9712 |4026 |9557 | 287k| 53k| 13k| 0.000000e+00 | -- | Inf
1743.30/1743.60 c 1744s| 39600 | 450 | 4167k| 104.9 | 54M| 94 | 809 |4026 |9677 |4026 |9993 | 288k| 53k| 13k| 0.000000e+00 | -- | Inf
1746.79/1747.10 c 1747s| 39700 | 443 | 4178k| 104.9 | 54M| 94 | 955 |4026 |9714 |4026 |9425 | 288k| 53k| 13k| 0.000000e+00 | -- | Inf
1749.48/1749.83 c 1750s| 39800 | 437 | 4186k| 104.8 | 53M| 94 | - |4026 |9760 | 0 | 0 | 289k| 53k| 13k| 0.000000e+00 | -- | Inf
1753.09/1753.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.09/1753.49 c 1753s| 39900 | 438 | 4200k| 104.9 | 53M| 94 | 566 |4026 |9762 |4026 |9421 | 290k| 53k| 13k| 0.000000e+00 | -- | Inf
1756.18/1756.56 c 1757s| 40000 | 444 | 4210k| 104.9 | 54M| 94 | 727 |4026 |9821 |4026 |9346 | 291k| 54k| 13k| 0.000000e+00 | -- | Inf
1759.69/1760.02 c 1760s| 40100 | 436 | 4221k| 104.9 | 53M| 94 | 652 |4026 |9831 |4026 |9345 | 292k| 54k| 13k| 0.000000e+00 | -- | Inf
1762.08/1762.44 c 1762s| 40200 | 432 | 4228k| 104.8 | 53M| 94 | - |4026 |9879 | 0 | 0 | 292k| 54k| 13k| 0.000000e+00 | -- | Inf
1768.58/1768.96 c 1769s| 40300 | 442 | 4243k| 104.9 | 53M| 94 | - |4026 |9692 | 0 | 0 | 294k| 54k| 13k| 0.000000e+00 | -- | Inf
1771.79/1772.15 c 1772s| 40400 | 440 | 4253k| 104.9 | 53M| 94 |1021 |4026 |9696 |4026 |9815 | 294k| 54k| 13k| 0.000000e+00 | -- | Inf
1774.98/1775.35 c 1775s| 40500 | 442 | 4263k| 104.9 | 54M| 94 | 724 |4026 |9864 |4026 |9339 | 295k| 54k| 13k| 0.000000e+00 | -- | Inf
1778.18/1778.57 c 1779s| 40600 | 446 | 4275k| 105.0 | 54M| 94 | 665 |4026 |9925 |4026 |9839 | 296k| 54k| 13k| 0.000000e+00 | -- | Inf
1782.58/1782.97 c 1783s| 40700 | 444 | 4291k| 105.1 | 54M| 94 | - |4026 |9840 | 0 | 0 | 297k| 55k| 13k| 0.000000e+00 | -- | Inf
1785.88/1786.20 c 1786s| 40800 | 450 | 4302k| 105.1 | 54M| 94 | - |4026 |9890 | 0 | 0 | 298k| 55k| 13k| 0.000000e+00 | -- | Inf
1789.39/1789.78 c 1790s| 40900 | 444 | 4313k| 105.1 | 53M| 94 |1045 |4026 |9852 |4026 |9852 | 298k| 55k| 13k| 0.000000e+00 | -- | Inf
1793.28/1793.69 c 1794s| 41000 | 439 | 4327k| 105.2 | 53M| 94 | - |4026 |9781 | 0 | 0 | 299k| 55k| 13k| 0.000000e+00 | -- | Inf
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 41086
1796.68/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 s UNKNOWN
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.01
1796.68/1797.01 c solving : 1797.01
1796.68/1797.01 c presolving : 0.66 (included in solving)
1796.68/1797.01 c reading : 0.04 (included in solving)
1796.68/1797.01 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3691675-1338028819.opb
1796.68/1797.01 c Variables : 4622 (4622 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 12569 initial, 12569 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3691675-1338028819.opb
1796.68/1797.01 c Variables : 4026 (4026 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 4295 initial, 11527 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 24 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.03 0.00 0 0 0 0 0 10645 3547 0 0
1796.68/1797.01 c implics : 0.02 0.00 0 295 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c setppc : 0.02 0.00 0 2 0 0 0 44 0 0 0
1796.68/1797.01 c and : 0.38 0.00 12 113 0 0 0 483 438 0 11
1796.68/1797.01 c linear : 0.15 0.01 144 6 0 144 0 1067 0 408 868
1796.68/1797.01 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 29 - - 29 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 33329 0 1 0 64 2875 0 0 64126
1796.68/1797.01 c knapsack : 810 810 6 430155 0 1 0 188190 3740 478112 1204 0 0
1796.68/1797.01 c setppc : 453+ 455 6 426415 0 1 0 390130 1735 406926 0 0 0
1796.68/1797.01 c and : 3029 3029 32203 424680 0 1 0 3267902 8999 2785475 369745 0 0
1796.68/1797.01 c linear : 0+ 309 5 415680 0 0 0 2002 29 3022 1 0 0
1796.68/1797.01 c logicor : 3+ 6963 6 208881 0 1 0 282690 3014 154838 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 515.86 0.00 0.00 0.00 515.86 0.00 0.00 0.00
1796.68/1797.01 c knapsack : 9.15 0.00 0.01 8.98 0.00 0.00 0.00 0.16
1796.68/1797.01 c setppc : 3.26 0.00 0.00 3.03 0.00 0.00 0.00 0.24
1796.68/1797.01 c and : 28.96 0.00 12.02 15.19 0.00 0.00 0.00 1.75
1796.68/1797.01 c linear : 0.44 0.01 0.00 0.43 0.00 0.00 0.00 0.00
1796.68/1797.01 c logicor : 5.45 0.00 0.00 5.00 0.00 0.00 0.00 0.45
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 0 0 0 0
1796.68/1797.01 c pseudoobj : 0 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 58912 0 0 0
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.13 0.00 0.00 0.13 0.00
1796.68/1797.01 c pseudoobj : 0.12 0.00 0.00 0.12 0.00
1796.68/1797.01 c vbounds : 0.11 0.00 0.00 0.11 0.00
1796.68/1797.01 c redcost : 3.51 0.00 0.00 3.51 0.00
1796.68/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 4.99 17517 17324 157553 49.1 4835 19.7 -
1796.68/1797.01 c infeasible LP : 0.16 136 136 740 44.7 27 20.6 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 55611 34.3 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 4 - - 139 - (maximal pool size: 5365)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.01 0.00 5 0 0 6176 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.05 0.00 5 0 0 250 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 0.36 0.00 5 0 0 2500 0
1796.68/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c clique : 0.20 0.00 5 0 0 40 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.43 0.00 1 0 29 0 309
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 515.80 0.00 33329 64 2875 0 0 64126
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.00 0.00 1 0
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 0.00 0.00 0 0
1796.68/1797.01 c zirounding : 0.00 0.00 0 0
1796.68/1797.01 c rounding : 0.00 0.00 0 0
1796.68/1797.01 c shifting : 0.00 0.00 0 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.00 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c coefdiving : 0.00 0.00 0 0
1796.68/1797.01 c pscostdiving : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 0.00 0.00 0 0
1796.68/1797.01 c veclendiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.68/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.68/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.68/1797.01 c guideddiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.00 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c crossover : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.00 0.00 0 0
1796.68/1797.01 c trysol : 0.00 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.68/1797.01 c dual LP : 1090.01 59050 4338780 73.50 3980.48 0.04 15
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.68/1797.01 c strong branching : 508.59 13959 1632327 116.94 3209.50
1796.68/1797.01 c (at root node) : - 10 7102 710.20 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 41086
1796.68/1797.01 c nodes (total) : 41086
1796.68/1797.01 c nodes left : 440
1796.68/1797.01 c max depth : 94
1796.68/1797.01 c max depth (total): 94
1796.68/1797.01 c backtracks : 9489 (23.1%)
1796.68/1797.01 c delayed cutoffs : 22603
1796.68/1797.01 c repropagations : 36444 (1308571 domain reductions, 8827 cutoffs)
1796.68/1797.01 c avg switch length: 3.88
1796.68/1797.01 c switching time : 20.70
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 0 (0 improvements)
1796.68/1797.01 c Primal Bound : -
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Root Iterations : 14368
1796.68/1797.09 c Time complete: 1796.78.
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-3691675-1338028819/watcher-3691675-1338028819 -o /tmp/evaluation-result-3691675-1338028819/solver-3691675-1338028819 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691675-1338028819.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: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=12692 CPUtime=0 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1936 0 0 0 0 0 0 0 20 0 1 0 269008012 12996608 1890 33554432000 4194304 10219143 140736323504672 140735170615592 7589947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 3208 1891 419 1471 0 1728 0
[startup+0.0314169 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=20256 CPUtime=0.02 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 3824 0 0 0 2 0 0 0 20 0 1 0 269008012 20742144 3778 33554432000 4194304 10219143 140736323504672 140735170615592 7589947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 5064 3778 419 1471 0 3584 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20256
[startup+0.100262 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=45372 CPUtime=0.09 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 9824 0 0 0 7 2 0 0 20 0 1 0 269008012 46460928 9778 33554432000 4194304 10219143 140736323504672 140735170615592 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 11387 9792 566 1471 0 9907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45372
[startup+0.300173 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=60288 CPUtime=0.29 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 14196 0 0 0 25 4 0 0 20 0 1 0 269008012 61734912 13540 33554432000 4194304 10219143 140736323504672 140736323500728 4542464 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 15072 13540 605 1471 0 13592 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60288
[startup+0.70021 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=62912 CPUtime=0.69 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 14859 0 0 0 47 22 0 0 20 0 1 0 269008012 64421888 14203 33554432000 4194304 10219143 140736323504672 140736323501912 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 15728 14203 613 1471 0 14248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62912
[startup+1.50017 s]
/proc/loadavg: 1.57 1.90 1.96 3/178 2485
/proc/meminfo: memFree=27996924/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=1.49 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29376 0 0 0 122 27 0 0 20 0 1 0 269008012 121819136 28312 33554432000 4194304 10219143 140736323504672 140736323497928 8056409 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/2484/statm: 29741 28312 830 1471 0 28261 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118964
[startup+3.10019 s]
/proc/loadavg: 1.57 1.90 1.96 3/178 2485
/proc/meminfo: memFree=27860680/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=3.08 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29438 0 0 0 280 28 0 0 20 0 1 0 269008012 121819136 28373 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 29741 28373 830 1471 0 28261 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 118964
[startup+6.30022 s]
/proc/loadavg: 1.61 1.91 1.96 3/178 2485
/proc/meminfo: memFree=27822224/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=6.28 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29440 0 0 0 599 29 0 0 20 0 1 0 269008012 121819136 28375 33554432000 4194304 10219143 140736323504672 140736323498120 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 29741 28375 831 1471 0 28261 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 118964
[startup+12.7002 s]
/proc/loadavg: 1.64 1.91 1.96 3/178 2485
/proc/meminfo: memFree=27692828/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=12.68 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29441 0 0 0 1236 32 0 0 20 0 1 0 269008012 121819136 28376 33554432000 4194304 10219143 140736323504672 140736323497800 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 29741 28376 831 1471 0 28261 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 118964
[startup+25.5002 s]
/proc/loadavg: 1.79 1.93 1.97 3/178 2486
/proc/meminfo: memFree=27655252/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=25.48 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29441 0 0 0 2509 39 0 0 20 0 1 0 269008012 121819136 28376 33554432000 4194304 10219143 140736323504672 140736323498120 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28376 831 1471 0 28261 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118964
[startup+51.1003 s]
/proc/loadavg: 1.86 1.93 1.97 3/177 2486
/proc/meminfo: memFree=27311612/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=51.07 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29443 0 0 0 5058 49 0 0 20 0 1 0 269008012 121819136 28378 33554432000 4194304 10219143 140736323504672 140736323498504 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28378 833 1471 0 28261 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118964
[startup+102.3 s]
/proc/loadavg: 1.98 1.95 1.97 3/177 2486
/proc/meminfo: memFree=27305460/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=102.27 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29705 0 0 0 10155 72 0 0 20 0 1 0 269008012 121819136 28640 33554432000 4194304 10219143 140736323504672 140736323497192 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28640 836 1471 0 28261 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 118964
[startup+162.3 s]
/proc/loadavg: 1.99 1.96 1.97 3/177 2486
/proc/meminfo: memFree=27283048/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=162.26 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29706 0 0 0 16123 103 0 0 20 0 1 0 269008012 121819136 28641 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28641 836 1471 0 28261 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 118964
[startup+222.306 s]
/proc/loadavg: 2.03 1.98 1.98 3/177 2486
/proc/meminfo: memFree=27277560/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=222.25 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29706 0 0 0 22093 132 0 0 20 0 1 0 269008012 121819136 28641 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28641 836 1471 0 28261 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 118964
[startup+282.3 s]
/proc/loadavg: 2.01 1.98 1.98 3/177 2486
/proc/meminfo: memFree=27269956/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=282.23 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29712 0 0 0 28061 162 0 0 20 0 1 0 269008012 121819136 28647 33554432000 4194304 10219143 140736323504672 140736323498504 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28647 836 1471 0 28261 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 118964
[startup+342.3 s]
/proc/loadavg: 2.00 1.98 1.98 3/177 2487
/proc/meminfo: memFree=27259252/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=342.23 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29712 0 0 0 34026 197 0 0 20 0 1 0 269008012 121819136 28647 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28647 836 1471 0 28261 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 118964
[startup+402.3 s]
/proc/loadavg: 2.00 1.98 1.98 3/177 2487
/proc/meminfo: memFree=27255360/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=402.22 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29713 0 0 0 39992 230 0 0 20 0 1 0 269008012 121819136 28648 33554432000 4194304 10219143 140736323504672 140736323498312 8091493 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28648 836 1471 0 28261 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 118964
[startup+462.3 s]
/proc/loadavg: 2.00 1.98 1.98 3/177 2487
/proc/meminfo: memFree=27240624/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=462.21 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29717 0 0 0 45957 264 0 0 20 0 1 0 269008012 121819136 28650 33554432000 4194304 10219143 140736323504672 140736323497928 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28650 836 1471 0 28261 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 118964
[startup+522.3 s]
/proc/loadavg: 2.03 1.99 1.98 3/177 2487
/proc/meminfo: memFree=27235816/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=119816 CPUtime=522.21 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29924 0 0 0 51924 297 0 0 20 0 1 0 269008012 122691584 28857 33554432000 4194304 10219143 140736323504672 140736323498312 8077286 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29954 28857 836 1471 0 28474 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 119816
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/178 2490
/proc/meminfo: memFree=27233696/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=120724 CPUtime=582.2 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 30132 0 0 0 57894 326 0 0 20 0 1 0 269008012 123621376 29065 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 30181 29065 836 1471 0 28701 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 120724
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27223756/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=129952 CPUtime=1062.1 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 507425 0 0 0 105551 659 0 0 20 0 1 0 269008012 133070848 31461 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 32488 31461 836 1471 0 31008 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 129952
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2492
/proc/meminfo: memFree=27222204/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=131516 CPUtime=1122.09 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 596640 0 0 0 111507 702 0 0 20 0 1 0 269008012 134672384 32101 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 32879 32101 836 1471 0 31399 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 131516
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2495
/proc/meminfo: memFree=27219956/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=133080 CPUtime=1182.08 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 670623 0 0 0 117461 747 0 0 20 0 1 0 269008012 136273920 32564 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 33270 32564 836 1471 0 31790 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 133080
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/178 2518
/proc/meminfo: memFree=27217152/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=133488 CPUtime=1242.07 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 696059 0 0 0 123422 785 0 0 20 0 1 0 269008012 136691712 32511 33554432000 4194304 10219143 140736323504672 140736323497848 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 33372 32511 836 1471 0 31892 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 133488
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 2519
/proc/meminfo: memFree=27217752/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=135276 CPUtime=1302.06 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 783500 0 0 0 129376 830 0 0 20 0 1 0 269008012 138522624 32977 33554432000 4194304 10219143 140736323504672 140736323498296 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 33819 32977 836 1471 0 32339 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 135276
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 2519
/proc/meminfo: memFree=27217264/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=135868 CPUtime=1362.05 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 821559 0 0 0 135336 869 0 0 20 0 1 0 269008012 139128832 33169 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 33967 33169 836 1471 0 32487 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 135868
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2519
/proc/meminfo: memFree=27204888/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=137480 CPUtime=1422.05 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 884922 0 0 0 141294 911 0 0 20 0 1 0 269008012 140779520 33531 33554432000 4194304 10219143 140736323504672 140736323498024 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 34370 33531 836 1471 0 32890 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 137480
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2519
/proc/meminfo: memFree=27205632/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=138164 CPUtime=1482.03 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 958146 0 0 0 147249 954 0 0 20 0 1 0 269008012 141479936 33649 33554432000 4194304 10219143 140736323504672 140736323497928 8843454 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 34541 33649 836 1471 0 33061 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 138164
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2519
/proc/meminfo: memFree=27202288/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=139580 CPUtime=1542.02 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1078108 0 0 0 153201 1001 0 0 20 0 1 0 269008012 142929920 33998 33554432000 4194304 10219143 140736323504672 140736323498120 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 34895 33998 836 1471 0 33415 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 139580
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2520
/proc/meminfo: memFree=27200180/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=141284 CPUtime=1602 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1235195 0 0 0 159144 1056 0 0 20 0 1 0 269008012 144674816 34560 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 35321 34560 836 1471 0 33841 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 141284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2520
/proc/meminfo: memFree=27199808/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=141924 CPUtime=1662 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1292742 0 0 0 165105 1095 0 0 20 0 1 0 269008012 145330176 34615 33554432000 4194304 10219143 140736323504672 140736323498120 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 35481 34615 836 1471 0 34001 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 141924
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2520
/proc/meminfo: memFree=27195964/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=144852 CPUtime=1721.99 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1368280 0 0 0 171061 1138 0 0 20 0 1 0 269008012 148328448 35509 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36213 35509 836 1471 0 34733 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 144852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27194568/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145228 CPUtime=1781.98 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1395920 0 0 0 177020 1178 0 0 20 0 1 0 269008012 148713472 35412 33554432000 4194304 10219143 140736323504672 140736323497928 8091811 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36307 35412 836 1471 0 34827 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 145228
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27194444/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145564 CPUtime=1785.28 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1396187 0 0 0 177348 1180 0 0 20 0 1 0 269008012 149057536 35677 33554432000 4194304 10219143 140736323504672 140736323497976 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36391 35677 836 1471 0 34911 0
Current children cumulated CPU time (s) 1785.28
Current children cumulated vsize (KiB) 145564
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27190020/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145372 CPUtime=1791.68 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1397535 0 0 0 177984 1184 0 0 20 0 1 0 269008012 148860928 35607 33554432000 4194304 10219143 140736323504672 140736323497656 5184136 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36343 35607 836 1471 0 34863 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 145372
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27178152/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145796 CPUtime=1794.89 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1398080 0 0 0 178303 1186 0 0 20 0 1 0 269008012 149295104 35643 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36449 35643 836 1471 0 34969 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 145796
[startup+1796 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27178152/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145012 CPUtime=1795.68 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1398517 0 0 0 178382 1186 0 0 20 0 1 0 269008012 148492288 35485 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36253 35485 836 1471 0 34773 0
Current children cumulated CPU time (s) 1795.68
Current children cumulated vsize (KiB) 145012
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27178524/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145304 CPUtime=1796.48 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1398579 0 0 0 178461 1187 0 0 20 0 1 0 269008012 148791296 35547 33554432000 4194304 10219143 140736323504672 140736323497928 7961885 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36326 35547 836 1471 0 34846 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (KiB) 145304
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27178524/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145508 CPUtime=1796.68 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1398627 0 0 0 178481 1187 0 0 20 0 1 0 269008012 149000192 35595 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36377 35595 836 1471 0 34897 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 145508
Child status: 0
Real time (s): 1797.1
CPU time (s): 1796.79
CPU user time (s): 1784.9
CPU system time (s): 11.8832
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 146032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.9
system time used= 11.8832
maximum resident set size= 143432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1398633
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= 40
involuntary context switches= 1965
runsolver used 2.79657 second user time and 7.2349 second system time
The end