0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690509-1338016948.opb>
0.00/0.03 c original problem has 4622 variables (4622 bin, 0 int, 0 impl, 0 cont) and 12569 constraints
0.00/0.03 c problem read in 0.04
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.03 c presolving settings loaded
0.00/0.08 c presolving:
0.09/0.19 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.19/0.20 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.19/0.20 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.19/0.21 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.19/0.21 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.19/0.21 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.19/0.22 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.19/0.22 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.29 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.28/0.32 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.28/0.36 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.28/0.39 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.28/0.39 c (round 13) 542 del vars, 12087 del conss, 3906 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11529 upgd conss, 220553 impls, 360 clqs
0.39/0.40 c (round 14) 544 del vars, 12088 del conss, 3906 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11529 upgd conss, 220587 impls, 360 clqs
0.39/0.41 c (round 15) 561 del vars, 12152 del conss, 3969 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11529 upgd conss, 223905 impls, 360 clqs
0.39/0.42 c (round 16) 565 del vars, 12182 del conss, 3969 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11529 upgd conss, 223905 impls, 366 clqs
0.39/0.47 c (round 17) 587 del vars, 12219 del conss, 3984 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11529 upgd conss, 228161 impls, 366 clqs
0.49/0.52 c (round 18) 592 del vars, 12235 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11529 upgd conss, 230487 impls, 366 clqs
0.49/0.58 c (round 19) 593 del vars, 12236 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11529 upgd conss, 230543 impls, 366 clqs
0.59/0.63 c (round 20) 594 del vars, 12237 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11529 upgd conss, 230597 impls, 366 clqs
0.59/0.68 c (round 21) 595 del vars, 12238 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11529 upgd conss, 230649 impls, 366 clqs
0.69/0.73 c (round 22) 596 del vars, 12239 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11529 upgd conss, 230699 impls, 366 clqs
0.69/0.79 c presolving (23 rounds):
0.69/0.79 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.79 c 230699 implications, 366 cliques
0.69/0.79 c presolved problem has 4026 variables (4026 bin, 0 int, 0 impl, 0 cont) and 4295 constraints
0.69/0.79 c 810 constraints of type <knapsack>
0.69/0.79 c 453 constraints of type <setppc>
0.69/0.79 c 3029 constraints of type <and>
0.69/0.79 c 3 constraints of type <logicor>
0.69/0.79 c transformed objective value is always integral (scale: 1)
0.69/0.79 c Presolving Time: 0.74
0.69/0.79 c - non default parameters ----------------------------------------------------------------------
0.69/0.79 c # SCIP version 2.1.1.4
0.69/0.79 c
0.69/0.79 c # maximal time in seconds to run
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.79 c limits/time = 1797
0.69/0.79 c
0.69/0.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.79 c limits/memory = 13950
0.69/0.79 c
0.69/0.79 c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.79 c limits/solutions = 1
0.69/0.79 c
0.69/0.79 c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.79 c separating/maxrounds = 1
0.69/0.79 c
0.69/0.79 c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.79 c separating/maxroundsroot = 5
0.69/0.79 c
0.69/0.79 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.79 c # [type: int, range: [1,2], default: 1]
0.69/0.79 c timing/clocktype = 2
0.69/0.79 c
0.69/0.79 c # belongs reading time to solving time?
0.69/0.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.79 c timing/reading = TRUE
0.69/0.79 c
0.69/0.79 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.79 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.79 c constraints/knapsack/disaggregation = FALSE
0.69/0.79 c
0.69/0.79 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.79 c heuristics/coefdiving/freq = -1
0.69/0.79 c
0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.79 c heuristics/coefdiving/maxlpiterquot = 0.075
0.69/0.79 c
0.69/0.79 c # additional number of allowed LP iterations
0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.79 c heuristics/coefdiving/maxlpiterofs = 1500
0.69/0.79 c
0.69/0.79 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.79 c heuristics/crossover/freq = -1
0.69/0.79 c
0.69/0.79 c # number of nodes added to the contingent of the total nodes
0.69/0.79 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.79 c heuristics/crossover/nodesofs = 750
0.69/0.79 c
0.69/0.79 c # number of nodes without incumbent change that heuristic should wait
0.69/0.79 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.79 c heuristics/crossover/nwaitingnodes = 100
0.69/0.79 c
0.69/0.79 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.79 c # [type: real, range: [0,1], default: 0.1]
0.69/0.79 c heuristics/crossover/nodesquot = 0.15
0.69/0.79 c
0.69/0.79 c # minimum percentage of integer variables that have to be fixed
0.69/0.79 c # [type: real, range: [0,1], default: 0.666]
0.69/0.79 c heuristics/crossover/minfixingrate = 0.5
0.69/0.79 c
0.69/0.79 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.79 c heuristics/feaspump/freq = -1
0.69/0.79 c
0.69/0.79 c # additional number of allowed LP iterations
0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.79 c heuristics/feaspump/maxlpiterofs = 2000
0.69/0.79 c
0.69/0.79 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.79 c heuristics/fracdiving/freq = -1
0.69/0.79 c
0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.79 c heuristics/fracdiving/maxlpiterquot = 0.075
0.69/0.79 c
0.69/0.79 c # additional number of allowed LP iterations
0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.79 c heuristics/fracdiving/maxlpiterofs = 1500
0.69/0.79 c
0.69/0.79 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.79 c heuristics/guideddiving/freq = -1
0.69/0.79 c
0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.79 c heuristics/guideddiving/maxlpiterquot = 0.075
0.69/0.79 c
0.69/0.79 c # additional number of allowed LP iterations
0.69/0.79 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.79 c heuristics/guideddiving/maxlpiterofs = 1500
0.69/0.79 c
0.69/0.79 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.80 c heuristics/intdiving/maxlpiterquot = 0.075
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.80 c heuristics/intshifting/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.80 c heuristics/linesearchdiving/freq = -1
0.69/0.80 c
0.69/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.80 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.69/0.80 c
0.69/0.80 c # additional number of allowed LP iterations
0.69/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.80 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.80 c heuristics/objpscostdiving/freq = -1
0.69/0.80 c
0.69/0.80 c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.80 c # [type: real, range: [0,1], default: 0.01]
0.69/0.80 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.69/0.80 c
0.69/0.80 c # additional number of allowed LP iterations
0.69/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.80 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.80 c heuristics/oneopt/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.80 c heuristics/pscostdiving/freq = -1
0.69/0.80 c
0.69/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.80 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.69/0.80 c
0.69/0.80 c # additional number of allowed LP iterations
0.69/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.80 c heuristics/pscostdiving/maxlpiterofs = 1500
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.80 c heuristics/rens/freq = -1
0.69/0.80 c
0.69/0.80 c # minimum percentage of integer variables that have to be fixable
0.69/0.80 c # [type: real, range: [0,1], default: 0.5]
0.69/0.80 c heuristics/rens/minfixingrate = 0.3
0.69/0.80 c
0.69/0.80 c # number of nodes added to the contingent of the total nodes
0.69/0.80 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.80 c heuristics/rens/nodesofs = 2000
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.80 c heuristics/rootsoldiving/freq = -1
0.69/0.80 c
0.69/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.80 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.69/0.80 c
0.69/0.80 c # additional number of allowed LP iterations
0.69/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.80 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.80 c heuristics/rounding/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.80 c heuristics/shiftandpropagate/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.80 c heuristics/shifting/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.80 c heuristics/simplerounding/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.80 c heuristics/subnlp/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.80 c heuristics/trivial/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.80 c heuristics/trysol/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.80 c heuristics/undercover/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.80 c heuristics/veclendiving/freq = -1
0.69/0.80 c
0.69/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.80 c heuristics/veclendiving/maxlpiterquot = 0.075
0.69/0.80 c
0.69/0.80 c # additional number of allowed LP iterations
0.69/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.80 c heuristics/veclendiving/maxlpiterofs = 1500
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.80 c heuristics/zirounding/freq = -1
0.69/0.80 c
0.69/0.80 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.80 c propagating/probing/maxprerounds = 0
0.69/0.80 c
0.69/0.80 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.80 c separating/cmir/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.80 c separating/flowcover/freq = -1
0.69/0.80 c
0.69/0.80 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.80 c separating/rapidlearning/freq = 0
0.69/0.80 c
0.69/0.80 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.69/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.80 c heuristics/indoneopt/freq = -1
0.69/0.80 c
0.69/0.80 c -----------------------------------------------------------------------------------------------
0.69/0.80 c start solving
0.79/0.80 c
0.79/0.88 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.88 c 0.9s| 1 | 0 | 901 | - | 31M| 0 | 704 |4026 |4295 |4026 |7324 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.63 c 1.6s| 1 | 0 | 2026 | - | 32M| 0 | 988 |4026 |4629 |4026 |8018 | 734 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.07 c 2.1s| 1 | 0 | 3969 | - | 33M| 0 |1316 |4026 |4629 |4026 |8855 |1571 | 0 | 0 | 0.000000e+00 | -- | Inf
2.68/2.74 c 2.7s| 1 | 0 | 6717 | - | 34M| 0 |1487 |4026 |4629 |4026 |9827 |2543 | 0 | 0 | 0.000000e+00 | -- | Inf
3.49/3.50 c 3.5s| 1 | 0 | 9047 | - | 35M| 0 |1647 |4026 |4629 |4026 | 11k|3809 | 0 | 0 | 0.000000e+00 | -- | Inf
4.39/4.48 c 4.5s| 1 | 0 | 12384 | - | 36M| 0 |1768 |4026 |4629 |4026 | 11k|4575 | 0 | 0 | 0.000000e+00 | -- | Inf
6.29/6.33 c 6.3s| 1 | 2 | 12384 | - | 36M| 0 |1768 |4026 |4629 |4026 | 11k|4575 | 0 | 11 | 0.000000e+00 | -- | Inf
53.37/53.48 c 53.5s| 100 | 56 | 62637 | 507.6 | 37M| 45 | 752 |4026 |4656 |4026 |9650 |8817 | 27 | 331 | 0.000000e+00 | -- | Inf
58.28/58.32 c 58.3s| 200 | 77 | 74507 | 312.2 | 38M| 56 | 288 |4026 |4734 |4026 |9636 |9717 | 105 | 366 | 0.000000e+00 | -- | Inf
64.67/64.77 c 64.8s| 300 | 94 | 88412 | 254.3 | 38M| 56 | 487 |4026 |4787 |4026 |9841 | 10k| 158 | 414 | 0.000000e+00 | -- | Inf
68.97/69.04 c 69.0s| 400 | 113 | 96574 | 211.0 | 38M| 56 | 506 |4026 |4806 |4026 |9835 | 11k| 177 | 456 | 0.000000e+00 | -- | Inf
72.87/72.90 c 72.9s| 500 | 109 |104017 | 183.6 | 38M| 60 | 301 |4026 |4995 |4026 |9851 | 11k| 366 | 488 | 0.000000e+00 | -- | Inf
74.87/74.95 c 74.9s| 600 | 80 |108605 | 160.6 | 38M| 60 | 687 |4026 |5102 |4026 |9796 | 11k| 473 | 498 | 0.000000e+00 | -- | Inf
77.56/77.66 c 77.7s| 700 | 106 |113841 | 145.1 | 39M| 60 | - |4026 |5212 | 0 | 0 | 11k| 583 | 518 | 0.000000e+00 | -- | Inf
81.86/81.99 c 82.0s| 800 | 75 |123269 | 138.8 | 39M| 60 | 596 |4026 |5405 |4026 |9804 | 12k| 776 | 563 | 0.000000e+00 | -- | Inf
85.46/85.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.46/85.51 c 85.5s| 900 | 71 |131200 | 132.2 | 39M| 60 | - |4026 |5541 | 0 | 0 | 12k| 912 | 590 | 0.000000e+00 | -- | Inf
90.66/90.73 c 90.7s| 1000 | 74 |142767 | 130.5 | 39M| 60 | 762 |4026 |5759 |4026 |9841 | 13k|1130 | 642 | 0.000000e+00 | -- | Inf
97.87/97.92 c 97.9s| 1100 | 77 |160523 | 134.8 | 39M| 60 | 720 |4026 |5920 |4026 |9832 | 13k|1302 | 705 | 0.000000e+00 | -- | Inf
104.06/104.18 c 104s| 1200 | 77 |175118 | 135.7 | 39M| 60 | 875 |4026 |6005 |4026 |9859 | 14k|1438 | 750 | 0.000000e+00 | -- | Inf
110.76/110.85 c 111s| 1300 | 97 |190324 | 137.0 | 39M| 60 | - |4026 |6059 | 0 | 0 | 15k|1545 | 813 | 0.000000e+00 | -- | Inf
122.06/122.14 c 122s| 1400 | 134 |216003 | 145.5 | 39M| 60 |1112 |4026 |6053 |4026 |9731 | 17k|1617 | 878 | 0.000000e+00 | -- | Inf
131.26/131.35 c 131s| 1500 | 137 |238777 | 151.0 | 40M| 60 | 949 |4026 |6003 |4026 |9491 | 19k|1726 | 940 | 0.000000e+00 | -- | Inf
138.95/139.03 c 139s| 1600 | 129 |256725 | 152.8 | 40M| 60 | 837 |4026 |5940 |4026 |9512 | 20k|1849 | 998 | 0.000000e+00 | -- | Inf
144.45/144.53 c 145s| 1700 | 191 |269011 | 151.0 | 40M| 60 | 788 |4026 |5965 |4026 |9568 | 21k|1907 |1070 | 0.000000e+00 | -- | Inf
151.96/152.09 c 152s| 1800 | 72 |287172 | 152.7 | 39M| 60 |1097 |4026 |5891 |4026 |9486 | 23k|2003 |1126 | 0.000000e+00 | -- | Inf
157.26/157.39 c 157s| 1900 | 63 |298436 | 150.6 | 39M| 66 |1186 |4026 |5887 |4026 |9376 | 24k|2059 |1187 | 0.000000e+00 | -- | Inf
190.75/190.86 c 191s| 2000 | 111 |387562 | 187.7 | 39M| 66 | 692 |4026 |5779 |4026 |9842 | 31k|2083 |1358 | 0.000000e+00 | -- | Inf
196.04/196.11 c 196s| 2100 | 134 |399457 | 184.4 | 40M| 66 | - |4026 |5886 | 0 | 0 | 32k|2209 |1404 | 0.000000e+00 | -- | Inf
198.44/198.52 c 199s| 2200 | 160 |404405 | 178.3 | 40M| 69 | 390 |4026 |5967 |4026 |9847 | 33k|2293 |1413 | 0.000000e+00 | -- | Inf
200.94/201.02 c 201s| 2300 | 157 |408473 | 172.3 | 40M| 69 | 592 |4026 |6105 |4026 |9865 | 33k|2432 |1431 | 0.000000e+00 | -- | Inf
204.44/204.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.44/204.57 c 205s| 2400 | 140 |415523 | 168.0 | 40M| 69 | 579 |4026 |6282 |4026 |9822 | 33k|2617 |1471 | 0.000000e+00 | -- | Inf
207.75/207.84 c 208s| 2500 | 130 |422104 | 164.0 | 40M| 69 | 603 |4026 |6366 |4026 |9874 | 34k|2707 |1512 | 0.000000e+00 | -- | Inf
211.74/211.88 c 212s| 2600 | 156 |430942 | 161.0 | 40M| 69 | 593 |4026 |6434 |4026 |9958 | 34k|2780 |1545 | 0.000000e+00 | -- | Inf
216.04/216.15 c 216s| 2700 | 123 |438666 | 157.9 | 40M| 69 | 569 |4026 |6547 |4026 |9887 | 35k|2929 |1593 | 0.000000e+00 | -- | Inf
221.15/221.22 c 221s| 2800 | 118 |451084 | 156.7 | 40M| 69 | 527 |4026 |6548 |4026 |9987 | 35k|3005 |1640 | 0.000000e+00 | -- | Inf
223.34/223.41 c 223s| 2900 | 144 |454796 | 152.6 | 40M| 69 | 267 |4026 |6588 |4026 |9958 | 36k|3095 |1658 | 0.000000e+00 | -- | Inf
226.24/226.35 c 226s| 3000 | 126 |460080 | 149.3 | 40M| 69 | 271 |4026 |6678 |4026 |9913 | 36k|3211 |1695 | 0.000000e+00 | -- | Inf
229.64/229.79 c 230s| 3100 | 115 |466469 | 146.5 | 40M| 69 | 542 |4026 |6749 |4026 |9902 | 36k|3320 |1716 | 0.000000e+00 | -- | Inf
233.84/233.90 c 234s| 3200 | 109 |474663 | 144.5 | 40M| 69 | 634 |4026 |6804 |4026 |9881 | 37k|3443 |1757 | 0.000000e+00 | -- | Inf
238.53/238.62 c 239s| 3300 | 108 |485049 | 143.3 | 40M| 69 | 888 |4026 |6861 |4026 |9960 | 37k|3541 |1797 | 0.000000e+00 | -- | Inf
243.83/243.91 c 244s| 3400 | 114 |496454 | 142.4 | 40M| 69 | 617 |4026 |6678 |4026 |9917 | 38k|3611 |1847 | 0.000000e+00 | -- | Inf
256.54/256.63 c 257s| 3500 | 122 |528784 | 147.6 | 40M| 69 | 921 |4026 |6530 |4026 |9089 | 41k|3721 |1936 | 0.000000e+00 | -- | Inf
262.43/262.56 c 263s| 3600 | 144 |543199 | 147.5 | 40M| 69 | 479 |4026 |6606 |4026 |9355 | 42k|3831 |1980 | 0.000000e+00 | -- | Inf
265.23/265.38 c 265s| 3700 | 145 |548298 | 144.9 | 40M| 69 | 474 |4026 |6744 |4026 |9369 | 42k|3987 |2011 | 0.000000e+00 | -- | Inf
268.44/268.54 c 269s| 3800 | 147 |554287 | 142.6 | 41M| 69 | 415 |4026 |6906 |4026 |9356 | 43k|4159 |2065 | 0.000000e+00 | -- | Inf
271.83/271.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.83/271.92 c 272s| 3900 | 147 |560300 | 140.5 | 41M| 69 | 621 |4026 |7138 |4026 |9372 | 43k|4395 |2145 | 0.000000e+00 | -- | Inf
275.44/275.51 c 276s| 4000 | 141 |567076 | 138.7 | 41M| 69 | 797 |4026 |7326 |4026 |9363 | 44k|4601 |2195 | 0.000000e+00 | -- | Inf
277.83/277.90 c 278s| 4100 | 153 |571497 | 136.4 | 41M| 69 | 664 |4026 |7470 |4026 |9378 | 44k|4771 |2228 | 0.000000e+00 | -- | Inf
280.44/280.59 c 281s| 4200 | 142 |575701 | 134.2 | 41M| 69 | 788 |4026 |7647 |4026 |9330 | 44k|4997 |2292 | 0.000000e+00 | -- | Inf
283.84/283.92 c 284s| 4300 | 143 |582290 | 132.6 | 41M| 69 | 619 |4026 |7774 |4026 |9224 | 44k|5215 |2339 | 0.000000e+00 | -- | Inf
286.24/286.31 c 286s| 4400 | 143 |585750 | 130.3 | 41M| 69 | 656 |4026 |7758 |4026 |9366 | 45k|5299 |2374 | 0.000000e+00 | -- | Inf
290.44/290.57 c 291s| 4500 | 140 |595037 | 129.5 | 41M| 69 | 586 |4026 |7690 |4026 |9347 | 45k|5453 |2414 | 0.000000e+00 | -- | Inf
294.93/295.01 c 295s| 4600 | 137 |604504 | 128.7 | 41M| 69 | 478 |4026 |7625 |4026 |9290 | 46k|5635 |2477 | 0.000000e+00 | -- | Inf
300.53/300.61 c 301s| 4700 | 130 |615417 | 128.3 | 41M| 69 |1836 |4026 |7709 |4026 |8889 | 46k|5844 |2534 | 0.000000e+00 | -- | Inf
311.23/311.40 c 311s| 4800 | 166 |643656 | 131.5 | 41M| 69 | 643 |4026 |7708 |4026 |9968 | 49k|5963 |2605 | 0.000000e+00 | -- | Inf
315.13/315.27 c 315s| 4900 | 154 |651551 | 130.5 | 41M| 69 | 639 |4026 |7729 |4026 |9941 | 49k|6091 |2646 | 0.000000e+00 | -- | Inf
319.22/319.36 c 319s| 5000 | 178 |659776 | 129.5 | 41M| 69 | 291 |4026 |7701 |4026 |9947 | 50k|6134 |2692 | 0.000000e+00 | -- | Inf
325.83/325.98 c 326s| 5100 | 165 |675257 | 130.0 | 41M| 69 | 788 |4026 |7662 |4026 |9390 | 51k|6213 |2747 | 0.000000e+00 | -- | Inf
329.53/329.66 c 330s| 5200 | 168 |683603 | 129.1 | 41M| 69 | 524 |4026 |7757 |4026 |9522 | 52k|6354 |2796 | 0.000000e+00 | -- | Inf
333.23/333.35 c 333s| 5300 | 166 |690994 | 128.1 | 41M| 69 | 627 |4026 |7843 |4026 |9475 | 52k|6464 |2836 | 0.000000e+00 | -- | Inf
334.92/335.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.92/335.06 c 335s| 5400 | 177 |694451 | 126.3 | 42M| 69 | 595 |4026 |7920 |4026 |9926 | 52k|6572 |2844 | 0.000000e+00 | -- | Inf
338.63/338.80 c 339s| 5500 | 167 |702764 | 125.5 | 42M| 69 | 542 |4026 |8017 |4026 |9478 | 53k|6744 |2893 | 0.000000e+00 | -- | Inf
341.52/341.65 c 342s| 5600 | 181 |707819 | 124.2 | 42M| 69 | 474 |4026 |8111 |4026 |9505 | 53k|6874 |2933 | 0.000000e+00 | -- | Inf
344.23/344.36 c 344s| 5700 | 174 |712646 | 122.9 | 42M| 69 | 557 |4026 |8220 |4026 |9495 | 53k|7014 |2989 | 0.000000e+00 | -- | Inf
347.92/348.02 c 348s| 5800 | 162 |720203 | 122.1 | 42M| 69 | 687 |4026 |8312 |4026 |9470 | 54k|7156 |3054 | 0.000000e+00 | -- | Inf
353.13/353.24 c 353s| 5900 | 179 |731344 | 121.9 | 42M| 69 | 576 |4026 |8376 |4026 |9581 | 54k|7292 |3140 | 0.000000e+00 | -- | Inf
356.62/356.78 c 357s| 6000 | 172 |738231 | 121.0 | 42M| 69 | 491 |4026 |8476 |4026 |9475 | 55k|7440 |3195 | 0.000000e+00 | -- | Inf
358.12/358.27 c 358s| 6100 | 180 |740610 | 119.4 | 42M| 69 | 510 |4026 |8553 |4026 |9490 | 55k|7526 |3212 | 0.000000e+00 | -- | Inf
360.42/360.57 c 361s| 6200 | 174 |744844 | 118.2 | 42M| 69 | 415 |4026 |8646 |4026 |9500 | 55k|7628 |3258 | 0.000000e+00 | -- | Inf
361.93/362.04 c 362s| 6300 | 174 |747728 | 116.7 | 42M| 69 | - |4026 |8725 | 0 | 0 | 55k|7713 |3270 | 0.000000e+00 | -- | Inf
365.52/365.65 c 366s| 6400 | 169 |754509 | 116.0 | 42M| 69 | 658 |4026 |8875 |4026 |9479 | 55k|7897 |3317 | 0.000000e+00 | -- | Inf
367.43/367.58 c 368s| 6500 | 166 |759754 | 115.0 | 42M| 69 | 584 |4026 |8951 |4026 |9482 | 56k|7986 |3329 | 0.000000e+00 | -- | Inf
371.73/371.81 c 372s| 6600 | 180 |766887 | 114.3 | 42M| 69 | 368 |4026 |9026 |4026 |9501 | 56k|8119 |3393 | 0.000000e+00 | -- | Inf
376.82/376.90 c 377s| 6700 | 185 |777802 | 114.3 | 42M| 69 | 459 |4026 |9092 |4026 |9409 | 57k|8251 |3456 | 0.000000e+00 | -- | Inf
380.82/380.94 c 381s| 6800 | 174 |786276 | 113.8 | 42M| 69 | 621 |4026 |9185 |4026 |9538 | 57k|8390 |3500 | 0.000000e+00 | -- | Inf
383.11/383.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.11/383.29 c 383s| 6900 | 175 |791585 | 112.9 | 42M| 69 | 552 |4026 |9280 |4026 |9528 | 57k|8521 |3513 | 0.000000e+00 | -- | Inf
385.92/386.08 c 386s| 7000 | 169 |799464 | 112.5 | 42M| 69 | - |4026 |9291 | 0 | 0 | 58k|8619 |3531 | 0.000000e+00 | -- | Inf
388.62/388.74 c 389s| 7100 | 164 |805691 | 111.7 | 42M| 69 | 657 |4026 |9337 |4026 |9453 | 58k|8711 |3547 | 0.000000e+00 | -- | Inf
394.12/394.22 c 394s| 7200 | 171 |816516 | 111.7 | 42M| 69 | 717 |4026 |9334 |4026 |9494 | 59k|8819 |3606 | 0.000000e+00 | -- | Inf
395.72/395.81 c 396s| 7300 | 188 |819361 | 110.6 | 42M| 69 | - |4026 |9382 | 0 | 0 | 59k|8919 |3614 | 0.000000e+00 | -- | Inf
397.61/397.74 c 398s| 7400 | 164 |824190 | 109.7 | 42M| 69 | - |4026 |9450 | 0 | 0 | 59k|9035 |3616 | 0.000000e+00 | -- | Inf
399.71/399.88 c 400s| 7500 | 168 |829980 | 109.0 | 42M| 69 | 643 |4026 |9358 |4026 |9508 | 60k|9118 |3621 | 0.000000e+00 | -- | Inf
402.82/402.93 c 403s| 7600 | 166 |838309 | 108.7 | 42M| 69 | 556 |4026 |9275 |4026 |9512 | 60k|9225 |3636 | 0.000000e+00 | -- | Inf
405.82/405.92 c 406s| 7700 | 171 |847293 | 108.4 | 42M| 69 | - |4026 |9306 | 0 | 0 | 61k|9376 |3644 | 0.000000e+00 | -- | Inf
408.12/408.27 c 408s| 7800 | 173 |853921 | 107.9 | 42M| 69 | - |4026 |9378 | 0 | 0 | 61k|9490 |3647 | 0.000000e+00 | -- | Inf
410.22/410.39 c 410s| 7900 | 164 |859138 | 107.2 | 42M| 69 | 789 |4026 |9431 |4026 |9494 | 62k|9597 |3653 | 0.000000e+00 | -- | Inf
412.31/412.44 c 412s| 8000 | 167 |864907 | 106.6 | 42M| 69 | 555 |4026 |9514 |4026 |9507 | 62k|9700 |3656 | 0.000000e+00 | -- | Inf
414.51/414.69 c 415s| 8100 | 161 |871278 | 106.0 | 42M| 69 | 536 |4026 |9548 |4026 |9509 | 62k|9823 |3656 | 0.000000e+00 | -- | Inf
424.52/424.68 c 425s| 8200 | 156 |880021 | 105.8 | 42M| 69 |1317 |4026 |9558 |4026 |9680 | 63k|9957 |3767 | 0.000000e+00 | -- | Inf
430.90/431.02 c 431s| 8300 | 170 |887768 | 105.5 | 42M| 69 | 445 |4026 |9512 |4026 |9924 | 63k| 10k|3827 | 0.000000e+00 | -- | Inf
437.01/437.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.01/437.15 c 437s| 8400 | 185 |900073 | 105.7 | 42M| 69 | 541 |4026 |9355 |4026 |9940 | 64k| 10k|3883 | 0.000000e+00 | -- | Inf
443.21/443.31 c 443s| 8500 | 185 |912869 | 106.0 | 42M| 69 | 757 |4026 |9194 |4026 |9959 | 65k| 10k|3946 | 0.000000e+00 | -- | Inf
454.70/454.80 c 455s| 8600 | 185 |940353 | 107.9 | 43M| 69 | - |4026 |9054 | 0 | 0 | 68k| 10k|4051 | 0.000000e+00 | -- | Inf
465.01/465.16 c 465s| 8700 | 201 |966633 | 109.7 | 43M| 69 | 404 |4026 |8859 |4026 |9443 | 70k| 10k|4141 | 0.000000e+00 | -- | Inf
468.21/468.30 c 468s| 8800 | 185 |976658 | 109.6 | 43M| 69 | 590 |4026 |8926 |4026 |9401 | 71k| 10k|4145 | 0.000000e+00 | -- | Inf
479.20/479.34 c 479s| 8900 | 210 |999155 | 110.9 | 43M| 69 | - |4026 |8881 | 0 | 0 | 73k| 10k|4255 | 0.000000e+00 | -- | Inf
481.41/481.54 c 482s| 9000 | 242 | 1003k| 110.1 | 43M| 69 | 436 |4026 |9010 |4026 |9768 | 73k| 10k|4266 | 0.000000e+00 | -- | Inf
483.50/483.65 c 484s| 9100 | 254 | 1008k| 109.5 | 44M| 69 | 520 |4026 |9193 |4026 |9806 | 73k| 10k|4268 | 0.000000e+00 | -- | Inf
486.00/486.12 c 486s| 9200 | 261 | 1013k| 108.8 | 44M| 69 | 480 |4026 |9261 |4026 |9772 | 74k| 11k|4286 | 0.000000e+00 | -- | Inf
488.40/488.59 c 489s| 9300 | 227 | 1018k| 108.2 | 43M| 69 | 385 |4026 |9309 |4026 |9787 | 74k| 11k|4299 | 0.000000e+00 | -- | Inf
491.30/491.46 c 491s| 9400 | 208 | 1026k| 107.9 | 43M| 69 | - |4026 |9421 | 0 | 0 | 74k| 11k|4309 | 0.000000e+00 | -- | Inf
494.50/494.68 c 495s| 9500 | 194 | 1035k| 107.7 | 43M| 69 | 729 |4026 |9492 |4026 |9767 | 75k| 11k|4317 | 0.000000e+00 | -- | Inf
508.20/508.39 c 508s| 9600 | 190 | 1056k| 108.7 | 43M| 69 | 926 |4026 |9272 |4026 |9452 | 77k| 11k|4457 | 0.000000e+00 | -- | Inf
514.20/514.38 c 514s| 9700 | 197 | 1069k| 109.0 | 43M| 69 | - |4026 |9189 | 0 | 0 | 78k| 11k|4497 | 0.000000e+00 | -- | Inf
522.69/522.84 c 523s| 9800 | 206 | 1089k| 109.9 | 44M| 69 | 616 |4026 |9151 |4026 |9700 | 80k| 12k|4571 | 0.000000e+00 | -- | Inf
525.90/526.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.90/526.08 c 526s| 9900 | 192 | 1095k| 109.4 | 44M| 69 |1088 |4026 |8993 |4026 |9768 | 80k| 12k|4595 | 0.000000e+00 | -- | Inf
529.89/530.01 c 530s| 10000 | 225 | 1104k| 109.2 | 44M| 69 | 693 |4026 |9070 |4026 | 10k| 80k| 12k|4612 | 0.000000e+00 | -- | Inf
534.09/534.27 c 534s| 10100 | 209 | 1114k| 109.1 | 44M| 69 | 606 |4026 |9032 |4026 |9613 | 81k| 12k|4640 | 0.000000e+00 | -- | Inf
537.80/537.92 c 538s| 10200 | 197 | 1125k| 109.2 | 44M| 69 | 521 |4026 |8990 |4026 |9569 | 82k| 12k|4644 | 0.000000e+00 | -- | Inf
540.60/540.73 c 541s| 10300 | 192 | 1134k| 108.9 | 44M| 69 | 697 |4026 |9022 |4026 |9827 | 83k| 12k|4644 | 0.000000e+00 | -- | Inf
551.69/551.88 c 552s| 10400 | 192 | 1150k| 109.4 | 44M| 69 | - |4026 |8873 | 0 | 0 | 84k| 12k|4794 | 0.000000e+00 | -- | Inf
556.89/557.01 c 557s| 10500 | 197 | 1162k| 109.5 | 44M| 69 | 746 |4026 |8801 |4026 |9802 | 86k| 12k|4822 | 0.000000e+00 | -- | Inf
559.39/559.58 c 560s| 10600 | 191 | 1171k| 109.3 | 44M| 69 | 819 |4026 |8815 |4026 |9286 | 86k| 12k|4822 | 0.000000e+00 | -- | Inf
561.29/561.45 c 561s| 10700 | 193 | 1176k| 108.8 | 44M| 69 | 780 |4026 |8850 |4026 |9277 | 86k| 13k|4822 | 0.000000e+00 | -- | Inf
563.58/563.71 c 564s| 10800 | 201 | 1183k| 108.5 | 44M| 69 | 536 |4026 |8926 |4026 |9350 | 87k| 13k|4822 | 0.000000e+00 | -- | Inf
566.19/566.39 c 566s| 10900 | 190 | 1193k| 108.4 | 44M| 69 | 707 |4026 |9021 |4026 |9343 | 87k| 13k|4823 | 0.000000e+00 | -- | Inf
568.60/568.77 c 569s| 11000 | 196 | 1201k| 108.1 | 44M| 69 | - |4026 |9102 | 0 | 0 | 88k| 13k|4823 | 0.000000e+00 | -- | Inf
571.68/571.85 c 572s| 11100 | 197 | 1212k| 108.1 | 44M| 69 | 573 |4026 |9155 |4026 |9320 | 88k| 13k|4832 | 0.000000e+00 | -- | Inf
574.59/574.79 c 575s| 11200 | 199 | 1222k| 108.1 | 44M| 69 | 740 |4026 |9190 |4026 |9818 | 89k| 13k|4833 | 0.000000e+00 | -- | Inf
576.98/577.13 c 577s| 11300 | 200 | 1230k| 107.8 | 44M| 69 | 474 |4026 |9225 |4026 |9325 | 90k| 13k|4833 | 0.000000e+00 | -- | Inf
579.69/579.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.69/579.89 c 580s| 11400 | 193 | 1239k| 107.6 | 44M| 69 | - |4026 |9301 | 0 | 0 | 90k| 13k|4833 | 0.000000e+00 | -- | Inf
583.09/583.23 c 583s| 11500 | 195 | 1251k| 107.8 | 44M| 69 | 630 |4026 |9362 |4026 |9331 | 91k| 13k|4833 | 0.000000e+00 | -- | Inf
585.78/585.93 c 586s| 11600 | 191 | 1260k| 107.6 | 44M| 69 | 655 |4026 |9411 |4026 |9297 | 92k| 13k|4833 | 0.000000e+00 | -- | Inf
588.78/588.93 c 589s| 11700 | 192 | 1271k| 107.6 | 44M| 69 | 672 |4026 |9490 |4026 |9315 | 93k| 14k|4835 | 0.000000e+00 | -- | Inf
591.59/591.78 c 592s| 11800 | 198 | 1280k| 107.5 | 44M| 69 | 564 |4026 |9544 |4026 |9314 | 93k| 14k|4836 | 0.000000e+00 | -- | Inf
593.68/593.83 c 594s| 11900 | 189 | 1286k| 107.1 | 44M| 69 | 848 |4026 |9577 |4026 |9275 | 94k| 14k|4836 | 0.000000e+00 | -- | Inf
619.88/620.02 c 620s| 12000 | 206 | 1324k| 109.4 | 44M| 69 |1816 |4026 |9396 |4026 |8781 | 97k| 14k|5132 | 0.000000e+00 | -- | Inf
625.98/626.13 c 626s| 12100 | 244 | 1346k| 110.2 | 44M| 69 | 323 |4026 |9353 |4026 |9787 | 99k| 14k|5151 | 0.000000e+00 | -- | Inf
629.18/629.32 c 629s| 12200 | 247 | 1356k| 110.2 | 45M| 69 | 563 |4026 |9456 |4026 |9862 | 100k| 14k|5156 | 0.000000e+00 | -- | Inf
631.38/631.56 c 632s| 12300 | 269 | 1362k| 109.8 | 45M| 69 | 465 |4026 |9623 |4026 |9918 | 100k| 14k|5157 | 0.000000e+00 | -- | Inf
634.08/634.29 c 634s| 12400 | 277 | 1369k| 109.5 | 45M| 69 | 412 |4026 |9714 |4026 |9877 | 101k| 15k|5161 | 0.000000e+00 | -- | Inf
636.48/636.60 c 637s| 12500 | 261 | 1375k| 109.1 | 45M| 69 | 525 |4026 |9649 |4026 |9877 | 101k| 15k|5162 | 0.000000e+00 | -- | Inf
638.98/639.15 c 639s| 12600 | 283 | 1383k| 108.8 | 45M| 69 | 445 |4026 |9745 |4026 |9870 | 101k| 15k|5164 | 0.000000e+00 | -- | Inf
642.08/642.29 c 642s| 12700 | 266 | 1392k| 108.7 | 45M| 69 | 822 |4026 |9676 |4026 |9763 | 102k| 15k|5164 | 0.000000e+00 | -- | Inf
644.88/645.04 c 645s| 12800 | 257 | 1400k| 108.5 | 45M| 69 | 615 |4026 |9771 |4026 |9862 | 102k| 15k|5164 | 0.000000e+00 | -- | Inf
647.08/647.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.08/647.22 c 647s| 12900 | 261 | 1406k| 108.1 | 45M| 69 | 383 |4026 |9918 |4026 |9910 | 102k| 16k|5164 | 0.000000e+00 | -- | Inf
649.47/649.68 c 650s| 13000 | 245 | 1413k| 107.8 | 45M| 69 | 598 |4026 | 10k|4026 |9861 | 103k| 16k|5164 | 0.000000e+00 | -- | Inf
652.07/652.25 c 652s| 13100 | 250 | 1421k| 107.6 | 45M| 69 | - |4026 | 10k| 0 | 0 | 103k| 16k|5164 | 0.000000e+00 | -- | Inf
654.38/654.52 c 655s| 13200 | 254 | 1428k| 107.3 | 45M| 69 | 652 |4026 | 10k|4026 |9805 | 104k| 16k|5164 | 0.000000e+00 | -- | Inf
656.78/656.91 c 657s| 13300 | 253 | 1435k| 107.0 | 45M| 69 | 627 |4026 | 10k|4026 |9837 | 104k| 16k|5166 | 0.000000e+00 | -- | Inf
659.38/659.53 c 660s| 13400 | 257 | 1443k| 106.8 | 45M| 69 | 518 |4026 | 10k|4026 |9862 | 104k| 16k|5167 | 0.000000e+00 | -- | Inf
661.97/662.18 c 662s| 13500 | 248 | 1451k| 106.6 | 45M| 69 | 774 |4026 | 10k|4026 |9857 | 105k| 17k|5167 | 0.000000e+00 | -- | Inf
664.87/665.05 c 665s| 13600 | 249 | 1460k| 106.5 | 45M| 69 | 472 |4026 | 10k|4026 |9800 | 105k| 17k|5168 | 0.000000e+00 | -- | Inf
668.57/668.79 c 669s| 13700 | 252 | 1470k| 106.4 | 45M| 69 | 535 |4026 | 10k|4026 |9866 | 106k| 17k|5200 | 0.000000e+00 | -- | Inf
672.57/672.74 c 673s| 13800 | 248 | 1479k| 106.3 | 45M| 69 | 784 |4026 | 10k|4026 |9858 | 106k| 17k|5240 | 0.000000e+00 | -- | Inf
677.17/677.36 c 677s| 13900 | 246 | 1490k| 106.3 | 45M| 69 | - |4026 | 10k| 0 | 0 | 107k| 17k|5277 | 0.000000e+00 | -- | Inf
682.77/682.99 c 683s| 14000 | 246 | 1503k| 106.5 | 45M| 69 | 624 |4026 | 10k|4026 |9830 | 108k| 17k|5331 | 0.000000e+00 | -- | Inf
686.37/686.53 c 687s| 14100 | 239 | 1510k| 106.3 | 45M| 69 | 740 |4026 | 10k|4026 |9850 | 108k| 17k|5369 | 0.000000e+00 | -- | Inf
689.97/690.10 c 690s| 14200 | 237 | 1518k| 106.1 | 45M| 69 | - |4026 | 10k| 0 | 0 | 109k| 18k|5406 | 0.000000e+00 | -- | Inf
694.86/695.09 c 695s| 14300 | 244 | 1530k| 106.1 | 45M| 69 |1027 |4026 | 10k|4026 |9862 | 110k| 18k|5451 | 0.000000e+00 | -- | Inf
699.67/699.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.67/699.89 c 700s| 14400 | 251 | 1541k| 106.2 | 45M| 69 | 811 |4026 | 10k|4026 |9877 | 110k| 18k|5487 | 0.000000e+00 | -- | Inf
703.97/704.17 c 704s| 14500 | 253 | 1550k| 106.1 | 45M| 69 | 485 |4026 | 10k|4026 |9871 | 111k| 18k|5530 | 0.000000e+00 | -- | Inf
708.87/709.07 c 709s| 14600 | 254 | 1562k| 106.2 | 45M| 69 | 559 |4026 | 10k|4026 |9881 | 112k| 18k|5568 | 0.000000e+00 | -- | Inf
712.16/712.33 c 712s| 14700 | 239 | 1568k| 105.9 | 45M| 69 | 756 |4026 | 10k|4026 |9850 | 112k| 18k|5597 | 0.000000e+00 | -- | Inf
717.07/717.23 c 717s| 14800 | 243 | 1580k| 106.0 | 45M| 69 | - |4026 | 10k| 0 | 0 | 113k| 19k|5633 | 0.000000e+00 | -- | Inf
723.17/723.38 c 723s| 14900 | 243 | 1596k| 106.3 | 45M| 69 | 682 |4026 | 10k|4026 |9933 | 114k| 19k|5684 | 0.000000e+00 | -- | Inf
727.76/727.95 c 728s| 15000 | 246 | 1607k| 106.3 | 46M| 69 | 757 |4026 | 10k|4026 |9861 | 114k| 19k|5720 | 0.000000e+00 | -- | Inf
732.86/733.04 c 733s| 15100 | 243 | 1618k| 106.4 | 45M| 69 | - |4026 | 10k| 0 | 0 | 115k| 19k|5769 | 0.000000e+00 | -- | Inf
739.16/739.39 c 739s| 15200 | 241 | 1633k| 106.7 | 46M| 69 | 795 |4026 | 10k|4026 |9880 | 116k| 19k|5815 | 0.000000e+00 | -- | Inf
743.86/744.09 c 744s| 15300 | 246 | 1644k| 106.7 | 46M| 69 | 794 |4026 | 10k|4026 |9882 | 116k| 19k|5863 | 0.000000e+00 | -- | Inf
752.37/752.53 c 753s| 15400 | 224 | 1663k| 107.2 | 45M| 69 |1666 |4026 | 10k|4026 |9455 | 117k| 20k|5927 | 0.000000e+00 | -- | Inf
756.56/756.79 c 757s| 15500 | 236 | 1675k| 107.3 | 45M| 69 | 731 |4026 | 10k|4026 |9798 | 118k| 20k|5954 | 0.000000e+00 | -- | Inf
760.56/760.73 c 761s| 15600 | 241 | 1683k| 107.1 | 45M| 69 | 624 |4026 | 10k|4026 |9816 | 119k| 20k|5985 | 0.000000e+00 | -- | Inf
763.56/763.77 c 764s| 15700 | 232 | 1689k| 106.8 | 45M| 69 | - |4026 | 10k| 0 | 0 | 119k| 20k|6012 | 0.000000e+00 | -- | Inf
767.46/767.66 c 768s| 15800 | 253 | 1697k| 106.7 | 45M| 69 | 790 |4026 | 10k|4026 |9690 | 120k| 20k|6043 | 0.000000e+00 | -- | Inf
769.96/770.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.96/770.16 c 770s| 15900 | 259 | 1702k| 106.3 | 45M| 69 | 588 |4026 | 10k|4026 |9735 | 120k| 20k|6052 | 0.000000e+00 | -- | Inf
772.07/772.28 c 772s| 16000 | 258 | 1706k| 105.9 | 45M| 69 | 492 |4026 | 10k|4026 |9709 | 120k| 20k|6073 | 0.000000e+00 | -- | Inf
774.66/774.80 c 775s| 16100 | 255 | 1710k| 105.5 | 45M| 69 | 619 |4026 | 10k|4026 |9693 | 121k| 20k|6092 | 0.000000e+00 | -- | Inf
778.66/778.88 c 779s| 16200 | 219 | 1718k| 105.3 | 45M| 69 |1642 |4026 | 10k|4026 |9479 | 121k| 20k|6123 | 0.000000e+00 | -- | Inf
784.75/784.93 c 785s| 16300 | 233 | 1733k| 105.6 | 45M| 69 | 878 |4026 | 10k|4026 |9343 | 122k| 21k|6162 | 0.000000e+00 | -- | Inf
787.95/788.11 c 788s| 16400 | 242 | 1740k| 105.4 | 45M| 69 | 686 |4026 | 10k|4026 |9424 | 123k| 21k|6193 | 0.000000e+00 | -- | Inf
790.86/791.06 c 791s| 16500 | 260 | 1746k| 105.1 | 45M| 69 | 355 |4026 | 10k|4026 |9535 | 123k| 21k|6211 | 0.000000e+00 | -- | Inf
794.55/794.77 c 795s| 16600 | 251 | 1754k| 105.0 | 45M| 69 | 881 |4026 | 10k|4026 |9361 | 124k| 21k|6252 | 0.000000e+00 | -- | Inf
798.65/798.85 c 799s| 16700 | 268 | 1763k| 104.9 | 45M| 69 | 541 |4026 | 10k|4026 |9443 | 125k| 21k|6294 | 0.000000e+00 | -- | Inf
802.25/802.43 c 802s| 16800 | 254 | 1771k| 104.7 | 45M| 69 | - |4026 | 10k| 0 | 0 | 125k| 21k|6325 | 0.000000e+00 | -- | Inf
805.35/805.51 c 806s| 16900 | 247 | 1777k| 104.5 | 45M| 69 | - |4026 | 10k| 0 | 0 | 126k| 21k|6355 | 0.000000e+00 | -- | Inf
809.25/809.42 c 809s| 17000 | 246 | 1785k| 104.3 | 45M| 69 | 570 |4026 | 10k|4026 |9453 | 126k| 21k|6384 | 0.000000e+00 | -- | Inf
813.15/813.35 c 813s| 17100 | 241 | 1794k| 104.2 | 45M| 69 | 631 |4026 | 10k|4026 |9474 | 127k| 21k|6432 | 0.000000e+00 | -- | Inf
818.84/819.05 c 819s| 17200 | 252 | 1807k| 104.4 | 45M| 69 | 747 |4026 | 10k|4026 |9460 | 128k| 21k|6478 | 0.000000e+00 | -- | Inf
822.45/822.66 c 823s| 17300 | 250 | 1814k| 104.2 | 46M| 69 | 518 |4026 | 10k|4026 |9482 | 129k| 22k|6522 | 0.000000e+00 | -- | Inf
831.14/831.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.14/831.30 c 831s| 17400 | 250 | 1835k| 104.8 | 46M| 69 | 765 |4026 | 10k|4026 |9650 | 130k| 22k|6607 | 0.000000e+00 | -- | Inf
836.55/836.73 c 837s| 17500 | 248 | 1848k| 104.9 | 45M| 69 | 799 |4026 |9930 |4026 |9604 | 131k| 22k|6665 | 0.000000e+00 | -- | Inf
840.44/840.67 c 841s| 17600 | 272 | 1858k| 104.9 | 46M| 69 | 744 |4026 | 10k|4026 |9647 | 132k| 22k|6696 | 0.000000e+00 | -- | Inf
845.64/845.90 c 846s| 17700 | 260 | 1870k| 105.0 | 46M| 69 | 768 |4026 | 10k|4026 |9546 | 133k| 22k|6745 | 0.000000e+00 | -- | Inf
850.64/850.88 c 851s| 17800 | 258 | 1881k| 105.0 | 46M| 69 | 825 |4026 | 10k|4026 |9550 | 133k| 22k|6785 | 0.000000e+00 | -- | Inf
856.24/856.40 c 856s| 17900 | 275 | 1895k| 105.2 | 46M| 69 | 624 |4026 | 10k|4026 |9786 | 134k| 23k|6826 | 0.000000e+00 | -- | Inf
859.35/859.50 c 860s| 18000 | 273 | 1901k| 105.0 | 46M| 69 | 524 |4026 | 10k|4026 |9786 | 135k| 23k|6867 | 0.000000e+00 | -- | Inf
863.45/863.63 c 864s| 18100 | 263 | 1911k| 104.9 | 46M| 69 | 714 |4026 | 10k|4026 |9772 | 135k| 23k|6896 | 0.000000e+00 | -- | Inf
868.94/869.14 c 869s| 18200 | 261 | 1923k| 105.0 | 46M| 69 | 606 |4026 | 10k|4026 |9785 | 136k| 23k|6947 | 0.000000e+00 | -- | Inf
873.74/873.92 c 874s| 18300 | 261 | 1933k| 105.0 | 46M| 69 | 537 |4026 | 10k|4026 |9783 | 136k| 23k|7007 | 0.000000e+00 | -- | Inf
878.14/878.38 c 878s| 18400 | 279 | 1942k| 104.9 | 46M| 69 | 452 |4026 | 10k|4026 |9644 | 137k| 23k|7047 | 0.000000e+00 | -- | Inf
880.54/880.74 c 881s| 18500 | 273 | 1947k| 104.6 | 46M| 69 | - |4026 | 10k| 0 | 0 | 137k| 23k|7056 | 0.000000e+00 | -- | Inf
882.63/882.88 c 883s| 18600 | 277 | 1952k| 104.3 | 46M| 69 | - |4026 | 10k| 0 | 0 | 138k| 23k|7065 | 0.000000e+00 | -- | Inf
884.84/885.09 c 885s| 18700 | 292 | 1955k| 103.9 | 46M| 69 | 162 |4026 | 10k|4026 |9662 | 138k| 23k|7097 | 0.000000e+00 | -- | Inf
889.93/890.12 c 890s| 18800 | 271 | 1967k| 104.0 | 46M| 69 | 403 |4026 | 10k|4026 |9731 | 139k| 24k|7156 | 0.000000e+00 | -- | Inf
893.24/893.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.24/893.40 c 893s| 18900 | 271 | 1972k| 103.7 | 46M| 69 | 687 |4026 | 10k|4026 |9806 | 139k| 24k|7184 | 0.000000e+00 | -- | Inf
898.23/898.49 c 898s| 19000 | 274 | 1982k| 103.7 | 47M| 69 | 766 |4026 | 10k|4026 |9776 | 140k| 24k|7233 | 0.000000e+00 | -- | Inf
901.13/901.38 c 901s| 19100 | 272 | 1989k| 103.5 | 47M| 69 | 501 |4026 | 10k|4026 |9797 | 140k| 24k|7244 | 0.000000e+00 | -- | Inf
903.04/903.28 c 903s| 19200 | 268 | 1993k| 103.2 | 47M| 69 | 508 |4026 | 10k|4026 |9798 | 141k| 24k|7256 | 0.000000e+00 | -- | Inf
905.93/906.13 c 906s| 19300 | 264 | 1998k| 102.9 | 46M| 69 | 816 |4026 | 11k|4026 |9538 | 141k| 24k|7296 | 0.000000e+00 | -- | Inf
909.23/909.42 c 909s| 19400 | 274 | 2005k| 102.7 | 47M| 69 | 439 |4026 | 11k|4026 |9620 | 141k| 24k|7354 | 0.000000e+00 | -- | Inf
912.94/913.16 c 913s| 19500 | 273 | 2013k| 102.6 | 47M| 69 | 480 |4026 | 11k|4026 |9621 | 142k| 24k|7409 | 0.000000e+00 | -- | Inf
915.73/915.93 c 916s| 19600 | 266 | 2019k| 102.4 | 47M| 69 | 662 |4026 | 11k|4026 |9578 | 142k| 25k|7431 | 0.000000e+00 | -- | Inf
919.03/919.27 c 919s| 19700 | 266 | 2027k| 102.3 | 47M| 69 | - |4026 | 11k| 0 | 0 | 143k| 25k|7459 | 0.000000e+00 | -- | Inf
923.23/923.42 c 923s| 19800 | 271 | 2035k| 102.2 | 47M| 69 | 753 |4026 | 11k|4026 |9566 | 143k| 25k|7493 | 0.000000e+00 | -- | Inf
927.53/927.77 c 928s| 19900 | 265 | 2046k| 102.2 | 47M| 69 | 593 |4026 | 11k|4026 |9805 | 144k| 25k|7540 | 0.000000e+00 | -- | Inf
932.43/932.60 c 933s| 20000 | 268 | 2056k| 102.2 | 47M| 69 | - |4026 | 11k| 0 | 0 | 145k| 25k|7591 | 0.000000e+00 | -- | Inf
937.83/938.04 c 938s| 20100 | 286 | 2071k| 102.5 | 47M| 69 | 825 |4026 | 11k|4026 |9626 | 146k| 25k|7626 | 0.000000e+00 | -- | Inf
942.33/942.55 c 943s| 20200 | 340 | 2083k| 102.6 | 47M| 69 | - |4026 | 11k| 0 | 0 | 147k| 25k|7647 | 0.000000e+00 | -- | Inf
945.93/946.19 c 946s| 20300 | 295 | 2095k| 102.6 | 47M| 69 | - |4026 | 11k| 0 | 0 | 147k| 26k|7654 | 0.000000e+00 | -- | Inf
949.82/950.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.82/950.01 c 950s| 20400 | 281 | 2108k| 102.8 | 47M| 69 | - |4026 | 11k| 0 | 0 | 148k| 26k|7661 | 0.000000e+00 | -- | Inf
954.53/954.72 c 955s| 20500 | 278 | 2124k| 103.0 | 47M| 69 | 722 |4026 | 11k|4026 |9894 | 149k| 26k|7672 | 0.000000e+00 | -- | Inf
968.83/969.01 c 969s| 20600 | 287 | 2144k| 103.5 | 47M| 69 | 850 |4026 | 10k|4026 |9475 | 150k| 26k|7844 | 0.000000e+00 | -- | Inf
972.02/972.22 c 972s| 20700 | 311 | 2153k| 103.4 | 47M| 69 | 531 |4026 | 11k|4026 |9560 | 151k| 26k|7853 | 0.000000e+00 | -- | Inf
975.32/975.57 c 976s| 20800 | 301 | 2165k| 103.5 | 47M| 69 | 950 |4026 | 11k|4026 |9525 | 152k| 26k|7856 | 0.000000e+00 | -- | Inf
978.62/978.86 c 979s| 20900 | 317 | 2176k| 103.6 | 47M| 69 | 307 |4026 | 11k|4026 |9566 | 153k| 27k|7856 | 0.000000e+00 | -- | Inf
981.92/982.11 c 982s| 21000 | 299 | 2188k| 103.6 | 47M| 69 | - |4026 | 11k| 0 | 0 | 153k| 27k|7857 | 0.000000e+00 | -- | Inf
989.11/989.38 c 989s| 21100 | 336 | 2204k| 103.9 | 47M| 69 | 432 |4026 | 11k|4026 |9853 | 155k| 27k|7930 | 0.000000e+00 | -- | Inf
993.42/993.62 c 994s| 21200 | 307 | 2219k| 104.1 | 47M| 69 | - |4026 | 11k| 0 | 0 | 155k| 27k|7930 | 0.000000e+00 | -- | Inf
1007.52/1007.73 c 1008s| 21300 | 312 | 2231k| 104.2 | 47M| 69 | 356 |4026 | 11k|4026 |9599 | 156k| 27k|8096 | 0.000000e+00 | -- | Inf
1012.12/1012.34 c 1012s| 21400 | 302 | 2247k| 104.4 | 47M| 69 |1074 |4026 | 10k|4026 |9688 | 157k| 27k|8107 | 0.000000e+00 | -- | Inf
1014.61/1014.88 c 1015s| 21500 | 317 | 2254k| 104.3 | 47M| 69 | 536 |4026 | 11k|4026 |9829 | 158k| 27k|8109 | 0.000000e+00 | -- | Inf
1017.01/1017.28 c 1017s| 21600 | 315 | 2261k| 104.2 | 47M| 69 | 638 |4026 | 11k|4026 |9852 | 158k| 28k|8109 | 0.000000e+00 | -- | Inf
1020.22/1020.48 c 1020s| 21700 | 318 | 2272k| 104.1 | 47M| 69 | 728 |4026 | 11k|4026 |9770 | 159k| 28k|8111 | 0.000000e+00 | -- | Inf
1022.82/1023.05 c 1023s| 21800 | 323 | 2279k| 104.0 | 47M| 69 | - |4026 | 10k| 0 | 0 | 159k| 28k|8112 | 0.000000e+00 | -- | Inf
1025.91/1026.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.91/1026.13 c 1026s| 21900 | 312 | 2289k| 104.0 | 47M| 69 | 682 |4026 | 10k|4026 |9916 | 159k| 28k|8112 | 0.000000e+00 | -- | Inf
1029.01/1029.29 c 1029s| 22000 | 314 | 2299k| 104.0 | 47M| 69 | - |4026 | 10k| 0 | 0 | 160k| 28k|8115 | 0.000000e+00 | -- | Inf
1032.22/1032.42 c 1032s| 22100 | 326 | 2309k| 104.0 | 47M| 69 | - |4026 | 10k| 0 | 0 | 161k| 28k|8117 | 0.000000e+00 | -- | Inf
1034.91/1035.18 c 1035s| 22200 | 319 | 2317k| 103.8 | 47M| 69 | 765 |4026 | 11k|4026 |9801 | 161k| 28k|8119 | 0.000000e+00 | -- | Inf
1040.42/1040.62 c 1041s| 22300 | 314 | 2331k| 104.0 | 47M| 69 | 516 |4026 | 10k|4026 |9550 | 162k| 28k|8156 | 0.000000e+00 | -- | Inf
1045.01/1045.21 c 1045s| 22400 | 320 | 2344k| 104.1 | 47M| 69 |1265 |4026 | 10k|4026 |9542 | 163k| 29k|8173 | 0.000000e+00 | -- | Inf
1051.42/1051.66 c 1052s| 22500 | 353 | 2367k| 104.7 | 48M| 69 | - |4026 | 10k| 0 | 0 | 164k| 29k|8178 | 0.000000e+00 | -- | Inf
1056.20/1056.44 c 1056s| 22600 | 364 | 2384k| 105.0 | 48M| 69 | - |4026 | 10k| 0 | 0 | 165k| 29k|8178 | 0.000000e+00 | -- | Inf
1060.61/1060.82 c 1061s| 22700 | 355 | 2400k| 105.2 | 48M| 69 | 948 |4026 | 10k|4026 |9711 | 166k| 29k|8178 | 0.000000e+00 | -- | Inf
1064.20/1064.48 c 1064s| 22800 | 367 | 2412k| 105.3 | 48M| 69 | - |4026 | 10k| 0 | 0 | 167k| 29k|8180 | 0.000000e+00 | -- | Inf
1067.81/1068.09 c 1068s| 22900 | 366 | 2425k| 105.4 | 48M| 69 | - |4026 | 10k| 0 | 0 | 168k| 29k|8180 | 0.000000e+00 | -- | Inf
1071.71/1071.92 c 1072s| 23000 | 361 | 2439k| 105.5 | 48M| 69 | - |4026 | 10k| 0 | 0 | 169k| 30k|8180 | 0.000000e+00 | -- | Inf
1075.11/1075.30 c 1075s| 23100 | 361 | 2450k| 105.5 | 48M| 69 | - |4026 | 10k| 0 | 0 | 169k| 30k|8186 | 0.000000e+00 | -- | Inf
1078.81/1079.05 c 1079s| 23200 | 349 | 2460k| 105.5 | 47M| 69 | 904 |4026 | 10k|4026 |9747 | 170k| 30k|8198 | 0.000000e+00 | -- | Inf
1102.80/1103.02 c 1103s| 23300 | 354 | 2474k| 105.7 | 47M| 69 | 800 |4026 | 10k|4026 |9819 | 171k| 30k|8511 | 0.000000e+00 | -- | Inf
1113.40/1113.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.40/1113.60 c 1114s| 23400 | 337 | 2485k| 105.7 | 47M| 69 |1661 |4026 | 10k|4026 |9189 | 172k| 30k|8642 | 0.000000e+00 | -- | Inf
1119.49/1119.79 c 1120s| 23500 | 350 | 2501k| 105.9 | 47M| 69 | 647 |4026 | 10k|4026 |9578 | 173k| 30k|8676 | 0.000000e+00 | -- | Inf
1123.69/1123.90 c 1124s| 23600 | 331 | 2513k| 106.0 | 47M| 69 | 810 |4026 | 10k|4026 |9548 | 174k| 30k|8695 | 0.000000e+00 | -- | Inf
1129.00/1129.30 c 1129s| 23700 | 345 | 2533k| 106.4 | 47M| 69 | 636 |4026 | 10k|4026 |9815 | 175k| 30k|8695 | 0.000000e+00 | -- | Inf
1133.59/1133.86 c 1134s| 23800 | 343 | 2550k| 106.6 | 47M| 69 | - |4026 | 10k| 0 | 0 | 176k| 31k|8695 | 0.000000e+00 | -- | Inf
1139.19/1139.48 c 1139s| 23900 | 327 | 2571k| 107.1 | 47M| 69 | 815 |4026 | 10k|4026 |9861 | 177k| 31k|8695 | 0.000000e+00 | -- | Inf
1143.69/1143.93 c 1144s| 24000 | 321 | 2588k| 107.3 | 47M| 69 | 723 |4026 | 10k|4026 |9790 | 178k| 31k|8696 | 0.000000e+00 | -- | Inf
1146.69/1146.93 c 1147s| 24100 | 366 | 2596k| 107.2 | 47M| 69 | - |4026 | 10k| 0 | 0 | 179k| 31k|8702 | 0.000000e+00 | -- | Inf
1152.99/1153.25 c 1153s| 24200 | 311 | 2620k| 107.8 | 47M| 69 |1104 |4026 | 10k|4026 |9731 | 180k| 31k|8706 | 0.000000e+00 | -- | Inf
1159.69/1159.96 c 1160s| 24300 | 310 | 2635k| 107.9 | 47M| 69 | 555 |4026 |9505 |4026 |9956 | 181k| 31k|8765 | 0.000000e+00 | -- | Inf
1164.79/1165.05 c 1165s| 24400 | 317 | 2653k| 108.3 | 47M| 69 | 634 |4026 |9130 |4026 |9951 | 182k| 31k|8766 | 0.000000e+00 | -- | Inf
1168.59/1168.88 c 1169s| 24500 | 312 | 2666k| 108.3 | 47M| 69 | 707 |4026 |9251 |4026 |9919 | 183k| 31k|8768 | 0.000000e+00 | -- | Inf
1172.89/1173.14 c 1173s| 24600 | 313 | 2680k| 108.5 | 47M| 69 | 622 |4026 |9246 |4026 |9828 | 183k| 32k|8768 | 0.000000e+00 | -- | Inf
1176.99/1177.26 c 1177s| 24700 | 308 | 2696k| 108.7 | 47M| 69 | 466 |4026 |9193 |4026 |9787 | 184k| 32k|8768 | 0.000000e+00 | -- | Inf
1181.59/1181.80 c 1182s| 24800 | 299 | 2709k| 108.8 | 47M| 69 | 785 |4026 |9137 |4026 |9608 | 185k| 32k|8783 | 0.000000e+00 | -- | Inf
1186.08/1186.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.08/1186.33 c 1186s| 24900 | 303 | 2725k| 109.0 | 47M| 69 | 558 |4026 |9047 |4026 |9672 | 186k| 32k|8792 | 0.000000e+00 | -- | Inf
1189.99/1190.22 c 1190s| 25000 | 301 | 2737k| 109.0 | 47M| 69 | - |4026 |9021 | 0 | 0 | 187k| 32k|8803 | 0.000000e+00 | -- | Inf
1193.48/1193.70 c 1194s| 25100 | 294 | 2748k| 109.0 | 46M| 69 | - |4026 |9028 | 0 | 0 | 188k| 32k|8803 | 0.000000e+00 | -- | Inf
1198.49/1198.74 c 1199s| 25200 | 295 | 2767k| 109.3 | 46M| 69 | 596 |4026 |8953 |4026 |9824 | 189k| 32k|8803 | 0.000000e+00 | -- | Inf
1201.98/1202.24 c 1202s| 25300 | 292 | 2778k| 109.3 | 46M| 69 | 871 |4026 |8966 |4026 |9784 | 190k| 32k|8803 | 0.000000e+00 | -- | Inf
1206.08/1206.36 c 1206s| 25400 | 301 | 2793k| 109.5 | 46M| 69 | - |4026 |9005 | 0 | 0 | 191k| 33k|8804 | 0.000000e+00 | -- | Inf
1208.48/1208.71 c 1209s| 25500 | 295 | 2799k| 109.3 | 46M| 69 | 846 |4026 |9064 |4026 |9698 | 191k| 33k|8805 | 0.000000e+00 | -- | Inf
1210.68/1210.92 c 1211s| 25600 | 291 | 2805k| 109.1 | 46M| 69 | - |4026 |9105 | 0 | 0 | 191k| 33k|8805 | 0.000000e+00 | -- | Inf
1213.38/1213.60 c 1214s| 25700 | 299 | 2813k| 109.0 | 46M| 69 | 481 |4026 |9152 |4026 | 10k| 192k| 33k|8805 | 0.000000e+00 | -- | Inf
1217.49/1217.73 c 1218s| 25800 | 297 | 2823k| 109.0 | 46M| 69 | 628 |4026 |9208 |4026 | 10k| 192k| 33k|8834 | 0.000000e+00 | -- | Inf
1220.38/1220.68 c 1221s| 25900 | 290 | 2830k| 108.8 | 46M| 69 | - |4026 |9316 | 0 | 0 | 193k| 33k|8861 | 0.000000e+00 | -- | Inf
1224.78/1225.03 c 1225s| 26000 | 292 | 2839k| 108.7 | 47M| 69 | - |4026 |9422 | 0 | 0 | 194k| 33k|8909 | 0.000000e+00 | -- | Inf
1232.08/1232.34 c 1232s| 26100 | 309 | 2858k| 109.1 | 46M| 69 | 527 |4026 |9285 |4026 |9873 | 195k| 34k|8971 | 0.000000e+00 | -- | Inf
1237.98/1238.26 c 1238s| 26200 | 320 | 2872k| 109.2 | 47M| 69 | 794 |4026 |9358 |4026 |9733 | 196k| 34k|9000 | 0.000000e+00 | -- | Inf
1240.98/1241.20 c 1241s| 26300 | 337 | 2879k| 109.0 | 47M| 69 | - |4026 |9439 | 0 | 0 | 196k| 34k|9018 | 0.000000e+00 | -- | Inf
1246.48/1246.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1246.48/1246.70 c 1247s| 26400 | 307 | 2892k| 109.1 | 47M| 69 | 794 |4026 |9482 |4026 |9769 | 197k| 34k|9067 | 0.000000e+00 | -- | Inf
1253.89/1254.16 c 1254s| 26500 | 316 | 2908k| 109.3 | 47M| 69 | 844 |4026 |9525 |4026 |9861 | 198k| 34k|9131 | 0.000000e+00 | -- | Inf
1259.28/1259.56 c 1260s| 26600 | 309 | 2922k| 109.4 | 47M| 69 | 938 |4026 |9673 |4026 |9743 | 199k| 34k|9167 | 0.000000e+00 | -- | Inf
1265.18/1265.42 c 1265s| 26700 | 297 | 2936k| 109.5 | 47M| 69 | - |4026 |9702 | 0 | 0 | 200k| 34k|9226 | 0.000000e+00 | -- | Inf
1272.07/1272.31 c 1272s| 26800 | 300 | 2955k| 109.8 | 47M| 69 | 756 |4026 |9757 |4026 |9859 | 201k| 35k|9287 | 0.000000e+00 | -- | Inf
1281.17/1281.49 c 1281s| 26900 | 294 | 2979k| 110.3 | 47M| 69 | - |4026 |9814 | 0 | 0 | 202k| 35k|9343 | 0.000000e+00 | -- | Inf
1284.97/1285.26 c 1285s| 27000 | 288 | 2988k| 110.2 | 47M| 69 | - |4026 |9891 |4026 |9898 | 203k| 35k|9361 | 0.000000e+00 | -- | Inf
1288.57/1288.89 c 1289s| 27100 | 288 | 2996k| 110.1 | 47M| 69 | - |4026 |9846 | 0 | 0 | 203k| 35k|9399 | 0.000000e+00 | -- | Inf
1294.07/1294.32 c 1294s| 27200 | 297 | 3009k| 110.2 | 47M| 69 | - |4026 |9839 | 0 | 0 | 204k| 35k|9435 | 0.000000e+00 | -- | Inf
1299.06/1299.32 c 1299s| 27300 | 285 | 3022k| 110.3 | 47M| 69 | 679 |4026 |9798 |4026 |9520 | 205k| 35k|9475 | 0.000000e+00 | -- | Inf
1302.57/1302.82 c 1303s| 27400 | 289 | 3029k| 110.1 | 47M| 69 | 636 |4026 |9872 |4026 |9493 | 206k| 35k|9503 | 0.000000e+00 | -- | Inf
1305.67/1305.96 c 1306s| 27500 | 272 | 3037k| 110.0 | 47M| 69 | - |4026 |9775 | 0 | 0 | 206k| 36k|9523 | 0.000000e+00 | -- | Inf
1313.37/1313.61 c 1314s| 27600 | 293 | 3050k| 110.1 | 47M| 69 | 510 |4026 |9645 |4026 |9792 | 207k| 36k|9577 | 0.000000e+00 | -- | Inf
1318.27/1318.56 c 1319s| 27700 | 298 | 3059k| 110.0 | 47M| 69 | 664 |4026 |9683 |4026 |9769 | 207k| 36k|9612 | 0.000000e+00 | -- | Inf
1320.87/1321.20 c 1321s| 27800 | 283 | 3066k| 109.9 | 47M| 69 | 858 |4026 |9745 |4026 |9685 | 208k| 36k|9612 | 0.000000e+00 | -- | Inf
1323.87/1324.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.87/1324.16 c 1324s| 27900 | 311 | 3075k| 109.8 | 47M| 69 | 700 |4026 |9745 |4026 |9743 | 209k| 36k|9612 | 0.000000e+00 | -- | Inf
1326.97/1327.23 c 1327s| 28000 | 335 | 3082k| 109.7 | 47M| 69 | 777 |4026 |9735 |4026 |9788 | 209k| 36k|9621 | 0.000000e+00 | -- | Inf
1330.06/1330.33 c 1330s| 28100 | 286 | 3088k| 109.5 | 47M| 69 | 622 |4026 |9736 |4026 |9855 | 209k| 36k|9646 | 0.000000e+00 | -- | Inf
1335.27/1335.59 c 1336s| 28200 | 304 | 3101k| 109.6 | 47M| 69 | 600 |4026 |9721 |4026 |9804 | 210k| 36k|9684 | 0.000000e+00 | -- | Inf
1348.26/1348.56 c 1349s| 28300 | 296 | 3124k| 110.0 | 47M| 69 | 602 |4026 |9566 |4026 |9590 | 212k| 36k|9803 | 0.000000e+00 | -- | Inf
1351.36/1351.64 c 1352s| 28400 | 326 | 3134k| 109.9 | 47M| 69 | 674 |4026 |9562 |4026 |9604 | 212k| 36k|9803 | 0.000000e+00 | -- | Inf
1354.06/1354.37 c 1354s| 28500 | 328 | 3143k| 109.9 | 47M| 69 | 553 |4026 |9639 |4026 |9602 | 213k| 36k|9803 | 0.000000e+00 | -- | Inf
1359.16/1359.47 c 1359s| 28600 | 292 | 3157k| 110.0 | 47M| 69 | 693 |4026 |9754 |4026 |9624 | 214k| 36k|9830 | 0.000000e+00 | -- | Inf
1362.76/1363.05 c 1363s| 28700 | 285 | 3165k| 109.9 | 47M| 69 | 782 |4026 |9829 |4026 |9568 | 214k| 37k|9866 | 0.000000e+00 | -- | Inf
1367.65/1367.95 c 1368s| 28800 | 283 | 3178k| 109.9 | 47M| 69 | 941 |4026 |9910 |4026 |9533 | 215k| 37k|9895 | 0.000000e+00 | -- | Inf
1373.76/1374.09 c 1374s| 28900 | 282 | 3193k| 110.1 | 47M| 69 | - |4026 | 10k| 0 | 0 | 216k| 37k|9940 | 0.000000e+00 | -- | Inf
1378.66/1378.99 c 1379s| 29000 | 292 | 3206k| 110.1 | 47M| 69 | - |4026 | 10k| 0 | 0 | 217k| 37k|9971 | 0.000000e+00 | -- | Inf
1384.95/1385.24 c 1385s| 29100 | 291 | 3222k| 110.3 | 47M| 69 | 674 |4026 |9991 |4026 |9891 | 218k| 37k| 10k| 0.000000e+00 | -- | Inf
1392.36/1392.68 c 1393s| 29200 | 284 | 3243k| 110.6 | 47M| 69 | 633 |4026 | 10k|4026 |9888 | 219k| 37k| 10k| 0.000000e+00 | -- | Inf
1401.16/1401.46 c 1401s| 29300 | 285 | 3267k| 111.1 | 47M| 69 |1018 |4026 | 10k|4026 |9849 | 220k| 37k| 10k| 0.000000e+00 | -- | Inf
1408.16/1408.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.16/1408.48 c 1408s| 29400 | 280 | 3283k| 111.3 | 47M| 69 | 796 |4026 |9945 |4026 |9715 | 221k| 38k| 10k| 0.000000e+00 | -- | Inf
1414.56/1414.85 c 1415s| 29500 | 300 | 3300k| 111.5 | 47M| 69 | 913 |4026 |9921 |4026 |9537 | 222k| 38k| 10k| 0.000000e+00 | -- | Inf
1421.25/1421.56 c 1422s| 29600 | 352 | 3316k| 111.6 | 48M| 69 | 971 |4026 |9969 |4026 |9569 | 223k| 38k| 10k| 0.000000e+00 | -- | Inf
1427.45/1427.73 c 1428s| 29700 | 357 | 3332k| 111.8 | 48M| 69 | 544 |4026 | 10k|4026 |9570 | 224k| 38k| 10k| 0.000000e+00 | -- | Inf
1434.65/1434.93 c 1435s| 29800 | 347 | 3349k| 112.0 | 48M| 69 | 729 |4026 | 10k|4026 |9576 | 225k| 38k| 10k| 0.000000e+00 | -- | Inf
1441.15/1441.45 c 1441s| 29900 | 318 | 3367k| 112.2 | 48M| 69 | - |4026 | 10k| 0 | 0 | 226k| 38k| 10k| 0.000000e+00 | -- | Inf
1453.24/1453.55 c 1454s| 30000 | 344 | 3399k| 112.9 | 48M| 69 | 822 |4026 | 10k|4026 |9385 | 228k| 38k| 10k| 0.000000e+00 | -- | Inf
1461.84/1462.15 c 1462s| 30100 | 352 | 3428k| 113.5 | 48M| 69 |1007 |4026 | 10k|4026 |9363 | 230k| 39k| 10k| 0.000000e+00 | -- | Inf
1473.65/1473.95 c 1474s| 30200 | 327 | 3456k| 114.0 | 48M| 69 | 904 |4026 | 10k|4026 |9479 | 232k| 39k| 10k| 0.000000e+00 | -- | Inf
1477.44/1477.71 c 1478s| 30300 | 293 | 3469k| 114.1 | 47M| 69 | 903 |4026 |9965 |4026 |9573 | 232k| 39k| 10k| 0.000000e+00 | -- | Inf
1484.04/1484.31 c 1484s| 30400 | 310 | 3484k| 114.2 | 48M| 69 | 723 |4026 |9980 |4026 |9600 | 234k| 39k| 10k| 0.000000e+00 | -- | Inf
1487.44/1487.75 c 1488s| 30500 | 302 | 3494k| 114.2 | 48M| 69 | 686 |4026 | 10k|4026 |9665 | 234k| 39k| 10k| 0.000000e+00 | -- | Inf
1490.54/1490.88 c 1491s| 30600 | 310 | 3501k| 114.0 | 48M| 69 | - |4026 | 10k| 0 | 0 | 235k| 39k| 10k| 0.000000e+00 | -- | Inf
1497.84/1498.16 c 1498s| 30700 | 300 | 3518k| 114.2 | 48M| 69 | 625 |4026 |9923 |4026 |9801 | 236k| 39k| 10k| 0.000000e+00 | -- | Inf
1503.34/1503.62 c 1504s| 30800 | 289 | 3532k| 114.3 | 47M| 69 | 974 |4026 |9850 |4026 |9434 | 237k| 40k| 11k| 0.000000e+00 | -- | Inf
1508.23/1508.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.23/1508.59 c 1509s| 30900 | 295 | 3544k| 114.3 | 47M| 69 | - |4026 |9860 | 0 | 0 | 238k| 40k| 11k| 0.000000e+00 | -- | Inf
1514.54/1514.85 c 1515s| 31000 | 301 | 3557k| 114.4 | 47M| 69 | 981 |4026 |9756 |4026 |9549 | 239k| 40k| 11k| 0.000000e+00 | -- | Inf
1518.84/1519.20 c 1519s| 31100 | 301 | 3569k| 114.4 | 47M| 69 | 625 |4026 |9792 |4026 |9553 | 240k| 40k| 11k| 0.000000e+00 | -- | Inf
1527.44/1527.70 c 1528s| 31200 | 290 | 3592k| 114.8 | 47M| 69 | 789 |4026 |9710 |4026 |9520 | 241k| 40k| 11k| 0.000000e+00 | -- | Inf
1533.03/1533.37 c 1533s| 31300 | 288 | 3606k| 114.8 | 47M| 69 | 624 |4026 |9663 |4026 |9750 | 242k| 40k| 11k| 0.000000e+00 | -- | Inf
1536.44/1536.71 c 1537s| 31400 | 310 | 3613k| 114.7 | 47M| 69 | 437 |4026 |9694 |4026 |9744 | 243k| 40k| 11k| 0.000000e+00 | -- | Inf
1540.54/1540.83 c 1541s| 31500 | 320 | 3623k| 114.7 | 47M| 69 | - |4026 |9698 | 0 | 0 | 244k| 40k| 11k| 0.000000e+00 | -- | Inf
1545.93/1546.26 c 1546s| 31600 | 310 | 3638k| 114.8 | 47M| 69 | 876 |4026 |9679 |4026 |9715 | 245k| 40k| 11k| 0.000000e+00 | -- | Inf
1550.93/1551.28 c 1551s| 31700 | 288 | 3647k| 114.7 | 47M| 69 | - |4026 |9783 | 0 | 0 | 245k| 41k| 11k| 0.000000e+00 | -- | Inf
1553.43/1553.76 c 1554s| 31800 | 293 | 3652k| 114.5 | 47M| 69 | 677 |4026 |9858 |4026 |9677 | 245k| 41k| 11k| 0.000000e+00 | -- | Inf
1556.03/1556.31 c 1556s| 31900 | 294 | 3658k| 114.3 | 47M| 69 | - |4026 |9979 | 0 | 0 | 246k| 41k| 11k| 0.000000e+00 | -- | Inf
1558.33/1558.68 c 1559s| 32000 | 294 | 3663k| 114.1 | 47M| 69 | - |4026 | 10k| 0 | 0 | 246k| 41k| 11k| 0.000000e+00 | -- | Inf
1560.83/1561.14 c 1561s| 32100 | 284 | 3669k| 113.9 | 47M| 69 | - |4026 | 10k| 0 | 0 | 246k| 41k| 11k| 0.000000e+00 | -- | Inf
1566.72/1567.04 c 1567s| 32200 | 299 | 3682k| 114.0 | 47M| 69 | 694 |4026 | 10k|4026 |9587 | 247k| 41k| 11k| 0.000000e+00 | -- | Inf
1569.33/1569.66 c 1570s| 32300 | 298 | 3687k| 113.8 | 47M| 69 | - |4026 | 10k| 0 | 0 | 248k| 41k| 11k| 0.000000e+00 | -- | Inf
1572.32/1572.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.32/1572.64 c 1573s| 32400 | 294 | 3696k| 113.7 | 48M| 69 | - |4026 | 10k| 0 | 0 | 248k| 41k| 11k| 0.000000e+00 | -- | Inf
1576.33/1576.68 c 1577s| 32500 | 290 | 3706k| 113.7 | 48M| 69 | 835 |4026 | 10k|4026 |9542 | 249k| 42k| 11k| 0.000000e+00 | -- | Inf
1579.02/1579.31 c 1579s| 32600 | 290 | 3713k| 113.5 | 48M| 69 | 584 |4026 | 10k|4026 |9574 | 249k| 42k| 11k| 0.000000e+00 | -- | Inf
1581.53/1581.86 c 1582s| 32700 | 284 | 3719k| 113.4 | 47M| 69 | 792 |4026 | 10k|4026 |9569 | 250k| 42k| 11k| 0.000000e+00 | -- | Inf
1584.53/1584.88 c 1585s| 32800 | 295 | 3727k| 113.3 | 47M| 69 | 777 |4026 | 10k|4026 |9579 | 250k| 42k| 11k| 0.000000e+00 | -- | Inf
1586.92/1587.20 c 1587s| 32900 | 301 | 3733k| 113.1 | 48M| 69 | 655 |4026 | 10k|4026 |9610 | 251k| 42k| 11k| 0.000000e+00 | -- | Inf
1589.02/1589.40 c 1589s| 33000 | 294 | 3739k| 113.0 | 48M| 69 | 559 |4026 | 10k|4026 |9618 | 251k| 42k| 11k| 0.000000e+00 | -- | Inf
1590.82/1591.14 c 1591s| 33100 | 289 | 3744k| 112.8 | 48M| 69 | 712 |4026 | 10k|4026 |9564 | 251k| 42k| 11k| 0.000000e+00 | -- | Inf
1599.02/1599.34 c 1599s| 33200 | 273 | 3759k| 112.9 | 47M| 69 | 934 |4026 | 10k|4026 |9781 | 253k| 42k| 11k| 0.000000e+00 | -- | Inf
1614.22/1614.53 c 1615s| 33300 | 295 | 3781k| 113.2 | 47M| 69 | 873 |4026 | 10k|4026 |9540 | 255k| 42k| 11k| 0.000000e+00 | -- | Inf
1620.82/1621.11 c 1621s| 33400 | 276 | 3800k| 113.4 | 47M| 69 | 616 |4026 |9898 |4026 |9882 | 256k| 43k| 11k| 0.000000e+00 | -- | Inf
1626.92/1627.29 c 1627s| 33500 | 285 | 3823k| 113.8 | 47M| 69 | 404 |4026 |9910 |4026 |9905 | 257k| 43k| 11k| 0.000000e+00 | -- | Inf
1632.72/1633.08 c 1633s| 33600 | 284 | 3838k| 113.9 | 47M| 69 | 656 |4026 |9927 |4026 |9605 | 258k| 43k| 11k| 0.000000e+00 | -- | Inf
1635.82/1636.19 c 1636s| 33700 | 287 | 3847k| 113.8 | 47M| 69 | 655 |4026 | 10k|4026 |9583 | 259k| 43k| 11k| 0.000000e+00 | -- | Inf
1639.01/1639.35 c 1639s| 33800 | 285 | 3858k| 113.8 | 47M| 69 | 689 |4026 | 10k|4026 |9633 | 259k| 43k| 11k| 0.000000e+00 | -- | Inf
1641.82/1642.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.82/1642.19 c 1642s| 33900 | 289 | 3867k| 113.7 | 48M| 69 | 659 |4026 | 10k|4026 |9645 | 260k| 43k| 11k| 0.000000e+00 | -- | Inf
1645.61/1645.95 c 1646s| 34000 | 292 | 3881k| 113.8 | 48M| 69 | 559 |4026 | 10k|4026 |9650 | 260k| 44k| 11k| 0.000000e+00 | -- | Inf
1648.82/1649.14 c 1649s| 34100 | 280 | 3892k| 113.8 | 48M| 69 | 641 |4026 | 10k|4026 |9558 | 261k| 44k| 11k| 0.000000e+00 | -- | Inf
1653.12/1653.45 c 1653s| 34200 | 284 | 3901k| 113.7 | 48M| 69 | 447 |4026 | 10k|4026 |9530 | 262k| 44k| 11k| 0.000000e+00 | -- | Inf
1655.81/1656.10 c 1656s| 34300 | 277 | 3908k| 113.6 | 48M| 69 | 593 |4026 | 10k|4026 |9511 | 262k| 44k| 11k| 0.000000e+00 | -- | Inf
1658.11/1658.47 c 1658s| 34400 | 273 | 3915k| 113.5 | 48M| 69 | 620 |4026 | 10k|4026 |9519 | 263k| 44k| 11k| 0.000000e+00 | -- | Inf
1660.82/1661.19 c 1661s| 34500 | 278 | 3923k| 113.4 | 48M| 69 | - |4026 | 10k| 0 | 0 | 263k| 44k| 11k| 0.000000e+00 | -- | Inf
1664.12/1664.43 c 1664s| 34600 | 291 | 3933k| 113.3 | 48M| 69 | 625 |4026 | 10k|4026 |9629 | 264k| 45k| 11k| 0.000000e+00 | -- | Inf
1667.22/1667.50 c 1667s| 34700 | 306 | 3944k| 113.3 | 48M| 69 | - |4026 | 10k| 0 | 0 | 265k| 45k| 11k| 0.000000e+00 | -- | Inf
1670.51/1670.83 c 1671s| 34800 | 311 | 3955k| 113.3 | 48M| 69 | 815 |4026 | 10k|4026 |9449 | 265k| 45k| 11k| 0.000000e+00 | -- | Inf
1674.01/1674.37 c 1674s| 34900 | 309 | 3967k| 113.3 | 48M| 69 | - |4026 | 10k| 0 | 0 | 266k| 45k| 11k| 0.000000e+00 | -- | Inf
1676.31/1676.62 c 1677s| 35000 | 315 | 3973k| 113.2 | 48M| 69 | 673 |4026 | 10k|4026 |9597 | 267k| 45k| 11k| 0.000000e+00 | -- | Inf
1679.01/1679.35 c 1679s| 35100 | 293 | 3982k| 113.1 | 48M| 69 | 822 |4026 | 10k|4026 |9474 | 267k| 45k| 11k| 0.000000e+00 | -- | Inf
1681.91/1682.26 c 1682s| 35200 | 306 | 3992k| 113.1 | 48M| 69 | - |4026 | 11k| 0 | 0 | 268k| 46k| 11k| 0.000000e+00 | -- | Inf
1683.82/1684.17 c 1684s| 35300 | 282 | 3997k| 112.9 | 48M| 69 | - |4026 | 11k| 0 | 0 | 268k| 46k| 11k| 0.000000e+00 | -- | Inf
1686.41/1686.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.41/1686.79 c 1687s| 35400 | 286 | 4005k| 112.8 | 48M| 69 | 505 |4026 | 11k|4026 |9435 | 269k| 46k| 11k| 0.000000e+00 | -- | Inf
1688.71/1689.04 c 1689s| 35500 | 294 | 4011k| 112.6 | 48M| 69 | 332 |4026 | 11k|4026 |9456 | 269k| 46k| 11k| 0.000000e+00 | -- | Inf
1690.90/1691.21 c 1691s| 35600 | 282 | 4017k| 112.5 | 48M| 69 | - |4026 | 11k| 0 | 0 | 270k| 46k| 11k| 0.000000e+00 | -- | Inf
1693.21/1693.59 c 1694s| 35700 | 287 | 4024k| 112.4 | 48M| 69 | 610 |4026 | 11k|4026 |9410 | 270k| 47k| 11k| 0.000000e+00 | -- | Inf
1696.01/1696.35 c 1696s| 35800 | 287 | 4032k| 112.3 | 48M| 69 | - |4026 | 11k| 0 | 0 | 271k| 47k| 11k| 0.000000e+00 | -- | Inf
1698.31/1698.60 c 1699s| 35900 | 286 | 4039k| 112.2 | 48M| 69 | 658 |4026 | 11k|4026 |9417 | 271k| 47k| 11k| 0.000000e+00 | -- | Inf
1700.60/1700.91 c 1701s| 36000 | 292 | 4045k| 112.0 | 48M| 69 | 487 |4026 | 11k|4026 |9441 | 271k| 47k| 11k| 0.000000e+00 | -- | Inf
1702.71/1703.05 c 1703s| 36100 | 291 | 4051k| 111.9 | 48M| 69 | 616 |4026 | 11k|4026 |9641 | 272k| 47k| 11k| 0.000000e+00 | -- | Inf
1705.40/1705.78 c 1706s| 36200 | 284 | 4059k| 111.8 | 48M| 69 | - |4026 | 11k| 0 | 0 | 272k| 47k| 11k| 0.000000e+00 | -- | Inf
1707.51/1707.80 c 1708s| 36300 | 278 | 4065k| 111.7 | 48M| 69 | 642 |4026 | 11k|4026 |9412 | 273k| 47k| 11k| 0.000000e+00 | -- | Inf
1710.01/1710.32 c 1710s| 36400 | 273 | 4073k| 111.6 | 48M| 69 | 731 |4026 | 11k|4026 |9420 | 273k| 47k| 11k| 0.000000e+00 | -- | Inf
1712.91/1713.29 c 1713s| 36500 | 282 | 4082k| 111.5 | 48M| 69 | 401 |4026 | 11k|4026 |9530 | 274k| 48k| 11k| 0.000000e+00 | -- | Inf
1715.60/1715.94 c 1716s| 36600 | 265 | 4090k| 111.4 | 48M| 69 | 711 |4026 | 11k|4026 |9540 | 275k| 48k| 11k| 0.000000e+00 | -- | Inf
1718.81/1719.16 c 1719s| 36700 | 287 | 4101k| 111.4 | 48M| 69 | - |4026 | 11k| 0 | 0 | 275k| 48k| 11k| 0.000000e+00 | -- | Inf
1721.21/1721.54 c 1722s| 36800 | 272 | 4107k| 111.3 | 48M| 69 | - |4026 | 11k| 0 | 0 | 276k| 48k| 11k| 0.000000e+00 | -- | Inf
1724.71/1725.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.71/1725.08 c 1725s| 36900 | 264 | 4118k| 111.3 | 48M| 69 | - |4026 | 11k| 0 | 0 | 277k| 48k| 11k| 0.000000e+00 | -- | Inf
1729.21/1729.57 c 1730s| 37000 | 260 | 4135k| 111.5 | 48M| 69 | 821 |4026 | 11k|4026 |9601 | 278k| 48k| 12k| 0.000000e+00 | -- | Inf
1746.40/1746.76 c 1747s| 37100 | 272 | 4153k| 111.6 | 48M| 69 | 384 |4026 | 11k|4026 |9868 | 279k| 48k| 12k| 0.000000e+00 | -- | Inf
1753.80/1754.16 c 1754s| 37200 | 264 | 4165k| 111.7 | 48M| 69 | 438 |4026 | 11k|4026 |9911 | 280k| 48k| 12k| 0.000000e+00 | -- | Inf
1768.99/1769.30 c 1769s| 37300 | 257 | 4184k| 111.9 | 48M| 69 | 622 |4026 | 10k|4026 |9680 | 281k| 49k| 12k| 0.000000e+00 | -- | Inf
1778.80/1779.13 c 1779s| 37400 | 260 | 4196k| 111.9 | 47M| 69 | - |4026 | 10k| 0 | 0 | 282k| 49k| 12k| 0.000000e+00 | -- | Inf
1787.20/1787.56 c 1788s| 37500 | 253 | 4209k| 111.9 | 47M| 69 | 615 |4026 | 10k|4026 |9679 | 283k| 49k| 12k| 0.000000e+00 | -- | Inf
1791.29/1791.68 c 1792s| 37600 | 238 | 4224k| 112.0 | 47M| 69 | 890 |4026 | 10k|4026 |9807 | 284k| 49k| 12k| 0.000000e+00 | -- | Inf
1795.60/1795.98 c 1796s| 37700 | 239 | 4239k| 112.1 | 47M| 69 | 805 |4026 | 10k|4026 |9850 | 285k| 49k| 12k| 0.000000e+00 | -- | Inf
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 37710
1796.69/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01 c Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 s UNKNOWN
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.74 (included in solving)
1796.69/1797.01 c reading : 0.04 (included in solving)
1796.69/1797.01 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3690509-1338016948.opb
1796.69/1797.01 c Variables : 4622 (4622 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 12569 initial, 12569 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3690509-1338016948.opb
1796.69/1797.01 c Variables : 4026 (4026 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 4295 initial, 11721 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 24 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.03 0.00 0 0 0 0 0 10645 3547 0 0
1796.69/1797.01 c implics : 0.02 0.00 0 295 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c knapsack : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.03 0.00 0 2 0 0 0 44 0 0 0
1796.69/1797.01 c and : 0.39 0.00 12 113 0 0 0 483 438 0 11
1796.69/1797.01 c linear : 0.16 0.00 144 6 0 144 0 1067 0 408 868
1796.69/1797.01 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 194 - - 194 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 29928 0 1 0 113 2077 0 0 57878
1796.69/1797.01 c knapsack : 810 810 6 388568 0 0 0 139316 3982 432456 1203 0 0
1796.69/1797.01 c setppc : 453 453 6 384586 0 0 0 381993 1602 368887 0 0 0
1796.69/1797.01 c and : 3029 3029 29157 382984 0 0 0 3141191 7583 2436221 331958 0 0
1796.69/1797.01 c linear : 0+ 352 5 375370 0 0 0 2826 5 1945 2 0 0
1796.69/1797.01 c logicor : 3+ 7208 6 189632 0 0 0 341385 2955 153882 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 542.23 0.00 0.00 0.00 542.23 0.00 0.00 0.00
1796.69/1797.01 c knapsack : 9.20 0.00 0.01 9.06 0.00 0.00 0.00 0.13
1796.69/1797.01 c setppc : 3.12 0.00 0.00 2.88 0.00 0.00 0.00 0.24
1796.69/1797.01 c and : 26.89 0.00 11.59 13.54 0.00 0.00 0.00 1.76
1796.69/1797.01 c linear : 0.47 0.00 0.00 0.47 0.00 0.00 0.00 0.01
1796.69/1797.01 c logicor : 5.35 0.00 0.00 4.88 0.00 0.00 0.00 0.47
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 0 0 0 0
1796.69/1797.01 c pseudoobj : 0 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 53131 0 0 0
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.12 0.00 0.00 0.12 0.00
1796.69/1797.01 c pseudoobj : 0.11 0.00 0.00 0.11 0.00
1796.69/1797.01 c vbounds : 0.10 0.00 0.00 0.10 0.00
1796.69/1797.01 c redcost : 3.23 0.00 0.00 3.23 0.00
1796.69/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 4.84 16127 15862 126210 51.3 4390 21.4 -
1796.69/1797.01 c infeasible LP : 0.40 296 296 1756 58.0 81 18.4 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 49466 34.7 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.00 4 - - 262 - (maximal pool size: 5463)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.02 0.00 5 0 0 6375 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.05 0.00 5 0 0 250 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 0.39 0.00 5 0 0 2500 0
1796.69/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c clique : 0.20 0.00 5 0 0 36 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.47 0.00 1 0 24 0 352
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 542.15 0.00 29928 113 2077 0 0 57878
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 1 0
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 0.00 0.00 0 0
1796.69/1797.01 c zirounding : 0.00 0.00 0 0
1796.69/1797.01 c rounding : 0.00 0.00 0 0
1796.69/1797.01 c shifting : 0.00 0.00 0 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c oneopt : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c coefdiving : 0.00 0.00 0 0
1796.69/1797.01 c pscostdiving : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c fracdiving : 0.00 0.00 0 0
1796.69/1797.01 c veclendiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.69/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.69/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.69/1797.01 c guideddiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.00 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c crossover : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.00 0.00 0 0
1796.69/1797.01 c trysol : 0.00 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.69/1797.01 c dual LP : 1078.12 53428 4241361 79.42 3934.04 0.07 24
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.69/1797.01 c strong branching : 535.52 12716 1703387 133.96 3180.81
1796.69/1797.01 c (at root node) : - 11 5515 501.36 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 37710
1796.69/1797.01 c nodes (total) : 37710
1796.69/1797.01 c nodes left : 234
1796.69/1797.01 c max depth : 69
1796.69/1797.01 c max depth (total): 69
1796.69/1797.01 c backtracks : 8894 (23.6%)
1796.69/1797.01 c delayed cutoffs : 19935
1796.69/1797.01 c repropagations : 35904 (1174219 domain reductions, 7937 cutoffs)
1796.69/1797.01 c avg switch length: 3.78
1796.69/1797.01 c switching time : 19.15
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 0 (0 improvements)
1796.69/1797.01 c Primal Bound : -
1796.69/1797.01 c Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Root Iterations : 12384
1796.69/1797.08 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-3690509-1338016948/watcher-3690509-1338016948 -o /tmp/evaluation-result-3690509-1338016948/solver-3690509-1338016948 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690509-1338016948.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/176 32648
/proc/meminfo: memFree=28777840/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=10464 CPUtime=0 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 1 0 267823349 10715136 1307 33554432000 4194304 10173063 140735850890000 140735914734376 8886411 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 2616 1307 413 1460 0 1147 0
[startup+0.104983 s]
/proc/loadavg: 0.08 0.02 0.01 3/176 32648
/proc/meminfo: memFree=28777840/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=44456 CPUtime=0.09 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 9620 0 0 0 8 1 0 0 20 0 1 0 267823349 45522944 9575 33554432000 4194304 10173063 140735850890000 140735914734376 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 11114 9575 566 1460 0 9645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44456
[startup+0.200338 s]
/proc/loadavg: 0.08 0.02 0.01 3/176 32648
/proc/meminfo: memFree=28777840/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=51344 CPUtime=0.19 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 11565 0 0 0 16 3 0 0 20 0 1 0 267823349 52576256 11263 33554432000 4194304 10173063 140735850890000 140735850887624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 12836 11263 567 1460 0 11367 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51344
[startup+0.300341 s]
/proc/loadavg: 0.08 0.02 0.01 3/176 32648
/proc/meminfo: memFree=28777840/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=56096 CPUtime=0.28 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 13326 0 0 0 24 4 0 0 20 0 1 0 267823349 57442304 12483 33554432000 4194304 10173063 140735850890000 140735850887624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 14024 12483 599 1460 0 12555 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 56096
[startup+0.700284 s]
/proc/loadavg: 0.08 0.02 0.01 3/176 32648
/proc/meminfo: memFree=28777840/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=60852 CPUtime=0.69 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 14539 0 0 0 53 16 0 0 20 0 1 0 267823349 62312448 13696 33554432000 4194304 10173063 140735850890000 140735850887624 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 15213 13696 612 1460 0 13744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60852
[startup+1.50026 s]
/proc/loadavg: 0.08 0.02 0.01 3/177 32649
/proc/meminfo: memFree=28685212/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=1.49 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28240 0 0 0 123 26 0 0 20 0 1 0 267823349 117121024 27044 33554432000 4194304 10173063 140735850890000 140735850884040 5088149 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27044 840 1460 0 27125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114376
[startup+3.10025 s]
/proc/loadavg: 0.23 0.05 0.02 3/177 32649
/proc/meminfo: memFree=28672340/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=3.09 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28524 0 0 0 281 28 0 0 20 0 1 0 267823349 117121024 27227 33554432000 4194304 10173063 140735850890000 140735850886488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27227 842 1460 0 27125 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114376
[startup+6.30028 s]
/proc/loadavg: 0.23 0.05 0.02 3/177 32649
/proc/meminfo: memFree=28672100/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=6.29 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28528 0 0 0 600 29 0 0 20 0 1 0 267823349 117121024 27231 33554432000 4194304 10173063 140735850890000 140735850883448 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27231 845 1460 0 27125 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114376
[startup+12.7003 s]
/proc/loadavg: 0.43 0.10 0.03 3/177 32687
/proc/meminfo: memFree=28430312/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=12.69 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28531 0 0 0 1237 32 0 0 20 0 1 0 267823349 117121024 27234 33554432000 4194304 10173063 140735850890000 140735850883832 8033045 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27234 846 1460 0 27125 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114376
[startup+25.5004 s]
/proc/loadavg: 0.67 0.16 0.05 3/177 32687
/proc/meminfo: memFree=28389896/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=25.48 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28534 0 0 0 2512 36 0 0 20 0 1 0 267823349 117121024 27286 33554432000 4194304 10173063 140735850890000 140735850882712 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27286 846 1460 0 27125 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 114376
[startup+51.1004 s]
/proc/loadavg: 1.12 0.31 0.10 3/177 455
/proc/meminfo: memFree=28610620/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=51.07 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28547 0 0 0 5061 46 0 0 20 0 1 0 267823349 117121024 27300 33554432000 4194304 10173063 140735850890000 140735850883832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27300 847 1460 0 27125 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 114376
[startup+102.3 s]
/proc/loadavg: 1.65 0.59 0.21 3/177 455
/proc/meminfo: memFree=28543176/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=102.26 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28555 0 0 0 10157 69 0 0 20 0 1 0 267823349 117121024 27847 33554432000 4194304 10173063 140735850890000 140735850883176 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27847 849 1460 0 27125 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 114376
[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 3/177 455
/proc/meminfo: memFree=28541472/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=162.25 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28555 0 0 0 16127 98 0 0 20 0 1 0 267823349 117121024 27847 33554432000 4194304 10173063 140735850890000 140735850883544 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27847 849 1460 0 27125 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 114376
[startup+222.307 s]
/proc/loadavg: 1.95 1.05 0.42 3/177 493
/proc/meminfo: memFree=28699704/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=222.24 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28558 0 0 0 22100 124 0 0 20 0 1 0 267823349 117121024 27849 33554432000 4194304 10173063 140735850890000 140735850883304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27849 850 1460 0 27125 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 114376
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.51 3/177 493
/proc/meminfo: memFree=28698032/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=282.23 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28559 0 0 0 28070 153 0 0 20 0 1 0 267823349 117121024 27850 33554432000 4194304 10173063 140735850890000 140735850883496 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27850 850 1460 0 27125 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 114376
[startup+342.3 s]
/proc/loadavg: 1.99 1.35 0.60 3/177 494
/proc/meminfo: memFree=28697536/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=342.23 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28559 0 0 0 34039 184 0 0 20 0 1 0 267823349 117121024 27850 33554432000 4194304 10173063 140735850890000 140735850883448 8047293 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27850 850 1460 0 27125 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 114376
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.68 3/177 494
/proc/meminfo: memFree=28696668/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=402.21 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28559 0 0 0 40005 216 0 0 20 0 1 0 267823349 117121024 27850 33554432000 4194304 10173063 140735850890000 140735850885368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27850 850 1460 0 27125 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 114376
[startup+462.3 s]
/proc/loadavg: 1.99 1.56 0.76 3/178 497
/proc/meminfo: memFree=28696272/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=114376 CPUtime=462.21 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 28559 0 0 0 45972 249 0 0 20 0 1 0 267823349 117121024 27850 33554432000 4194304 10173063 140735850890000 140735850883368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 28594 27850 850 1460 0 27125 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 114376
[startup+522.3 s]
/proc/loadavg: 1.99 1.64 0.84 3/177 497
/proc/meminfo: memFree=28693388/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=116752 CPUtime=522.19 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 29153 0 0 0 51938 281 0 0 20 0 1 0 267823349 119554048 28444 33554432000 4194304 10173063 140735850890000 140735850883640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 29188 28444 850 1460 0 27719 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 116752
[startup+582.3 s]
/proc/loadavg: 1.99 1.70 0.91 3/177 497
/proc/meminfo: memFree=28691588/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=117900 CPUtime=582.18 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 46625 0 0 0 57899 319 0 0 20 0 1 0 267823349 120729600 28586 33554432000 4194304 10173063 140735850890000 140735850883640 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 29475 28586 850 1460 0 28006 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 117900
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28674964/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=129888 CPUtime=1062.11 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 359639 0 0 0 105578 633 0 0 20 0 1 0 267823349 133005312 31712 33554432000 4194304 10173063 140735850890000 140735850883352 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 32472 31712 850 1460 0 31003 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 129888
[startup+1122.3 s]
/proc/loadavg: 2.08 1.99 1.39 3/177 502
/proc/meminfo: memFree=28674016/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=130060 CPUtime=1122.1 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 397860 0 0 0 111542 668 0 0 20 0 1 0 267823349 133181440 31612 33554432000 4194304 10173063 140735850890000 140735850883272 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 32515 31612 850 1460 0 31046 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 130060
[startup+1182.3 s]
/proc/loadavg: 2.03 1.99 1.43 3/177 502
/proc/meminfo: memFree=28671288/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=130856 CPUtime=1182.08 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 452847 0 0 0 117498 710 0 0 20 0 1 0 267823349 133996544 31845 33554432000 4194304 10173063 140735850890000 140735850886440 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 32714 31845 850 1460 0 31245 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 130856
[startup+1242.3 s]
/proc/loadavg: 2.01 1.99 1.46 3/177 503
/proc/meminfo: memFree=28671100/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=131864 CPUtime=1242.08 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 611801 0 0 0 123435 773 0 0 20 0 1 0 267823349 135028736 31756 33554432000 4194304 10173063 140735850890000 140735850883256 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 32966 31756 850 1460 0 31497 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 131864
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.50 3/177 503
/proc/meminfo: memFree=28668308/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=133372 CPUtime=1302.07 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 667027 0 0 0 129392 815 0 0 20 0 1 0 267823349 136572928 32593 33554432000 4194304 10173063 140735850890000 140735850883672 7576751 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 33343 32593 850 1460 0 31874 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 133372
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.53 3/177 503
/proc/meminfo: memFree=28667560/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=133968 CPUtime=1362.06 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 714168 0 0 0 135350 856 0 0 20 0 1 0 267823349 137183232 32589 33554432000 4194304 10173063 140735850890000 140735850883640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 33492 32589 850 1460 0 32023 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 133968
[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 1.56 3/177 503
/proc/meminfo: memFree=28663840/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=135156 CPUtime=1422.06 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 748835 0 0 0 141315 891 0 0 20 0 1 0 267823349 138399744 33047 33554432000 4194304 10173063 140735850890000 140735850883672 8047326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 33789 33047 850 1460 0 32320 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 135156
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.58 3/177 503
/proc/meminfo: memFree=28662476/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=136540 CPUtime=1482.04 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 782157 0 0 0 147277 927 0 0 20 0 1 0 267823349 139816960 33384 33554432000 4194304 10173063 140735850890000 140735850887368 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 34135 33384 850 1460 0 32666 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 136540
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 1.61 3/177 504
/proc/meminfo: memFree=28663156/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=137084 CPUtime=1542.04 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 817743 0 0 0 153241 963 0 0 20 0 1 0 267823349 140374016 33356 33554432000 4194304 10173063 140735850890000 140735850883304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 34271 33356 850 1460 0 32802 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 137084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.63 3/177 504
/proc/meminfo: memFree=28660548/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=138848 CPUtime=1602.02 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 931468 0 0 0 159187 1015 0 0 20 0 1 0 267823349 142180352 33823 33554432000 4194304 10173063 140735850890000 140735850883640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 34712 33823 850 1460 0 33243 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 138848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.65 3/178 507
/proc/meminfo: memFree=28659412/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=139552 CPUtime=1662.01 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1041885 0 0 0 165132 1069 0 0 20 0 1 0 267823349 142901248 33696 33554432000 4194304 10173063 140735850890000 140735850883256 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 34888 33696 850 1460 0 33419 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 139552
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/177 507
/proc/meminfo: memFree=28654900/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=140328 CPUtime=1722.01 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1250246 0 0 0 171054 1147 0 0 20 0 1 0 267823349 143695872 34159 33554432000 4194304 10173063 140735850890000 140735850883256 8038543 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 35082 34159 850 1460 0 33613 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 140328
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 507
/proc/meminfo: memFree=28652480/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=142812 CPUtime=1781.99 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1369641 0 0 0 177009 1190 0 0 20 0 1 0 267823349 146239488 34782 33554432000 4194304 10173063 140735850890000 140735850883816 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 35703 34782 850 1460 0 34234 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 142812
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 507
/proc/meminfo: memFree=28652664/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=142724 CPUtime=1785.29 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1372270 0 0 0 177337 1192 0 0 20 0 1 0 267823349 146149376 34834 33554432000 4194304 10173063 140735850890000 140735850883256 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 35681 34834 850 1460 0 34212 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 142724
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 507
/proc/meminfo: memFree=28653036/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=142508 CPUtime=1791.7 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1384106 0 0 0 177972 1198 0 0 20 0 1 0 267823349 145928192 34693 33554432000 4194304 10173063 140735850890000 140735850883256 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 35627 34693 850 1460 0 34158 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 142508
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 507
/proc/meminfo: memFree=28652168/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=142956 CPUtime=1794.9 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1394049 0 0 0 178288 1202 0 0 20 0 1 0 267823349 146386944 34809 33554432000 4194304 10173063 140735850890000 140735850882984 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 35739 34809 850 1460 0 34270 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 142956
[startup+1796 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 507
/proc/meminfo: memFree=28652168/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=142672 CPUtime=1795.69 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1398070 0 0 0 178366 1203 0 0 20 0 1 0 267823349 146096128 34718 33554432000 4194304 10173063 140735850890000 140735850882984 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 35668 34718 850 1460 0 34199 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (KiB) 142672
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 507
/proc/meminfo: memFree=28652168/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=143224 CPUtime=1796.49 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1400450 0 0 0 178444 1205 0 0 20 0 1 0 267823349 146661376 34912 33554432000 4194304 10173063 140735850890000 140735850883304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 35806 34912 850 1460 0 34337 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 143224
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 507
/proc/meminfo: memFree=28652168/32873844 swapFree=7100/7100
[pid=32648] ppid=32646 vsize=143224 CPUtime=1796.69 cores=1,3,5,7
/proc/32648/stat : 32648 (scip-2.1.1.4fix) R 32646 32648 32565 0 -1 4202496 1400510 0 0 0 178464 1205 0 0 20 0 1 0 267823349 146661376 34972 33554432000 4194304 10173063 140735850890000 140735850883304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32648/statm: 35806 34972 850 1460 0 34337 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 143224
Child status: 0
Real time (s): 1797.09
CPU time (s): 1796.79
CPU user time (s): 1784.73
CPU system time (s): 12.0582
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 143224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.73
system time used= 12.0582
maximum resident set size= 139900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1400515
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= 38
involuntary context switches= 1844
runsolver used 2.58861 second user time and 7.29089 second system time
The end