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-3690508-1338016950.opb>
0.01/0.02 c original problem has 2152 variables (2152 bin, 0 int, 0 impl, 0 cont) and 5613 constraints
0.01/0.02 c problem read in 0.02
0.01/0.02 c No objective function, only one solution is needed.
0.01/0.02 c presolving settings loaded
0.01/0.04 c presolving:
0.01/0.09 c (round 1) 232 del vars, 207 del conss, 0 add conss, 74 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs
0.09/0.10 c (round 2) 234 del vars, 543 del conss, 0 add conss, 76 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs
0.09/0.11 c (round 3) 238 del vars, 553 del conss, 0 add conss, 80 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.09/0.11 c (round 4) 241 del vars, 559 del conss, 0 add conss, 83 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.09/0.12 c (round 5) 246 del vars, 568 del conss, 0 add conss, 88 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.09/0.12 c (round 6) 252 del vars, 581 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92422 impls, 0 clqs
0.09/0.13 c (round 7) 252 del vars, 593 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92682 impls, 0 clqs
0.09/0.17 c (round 8) 252 del vars, 607 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 92682 impls, 0 clqs
0.09/0.19 c (round 9) 252 del vars, 608 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 92682 impls, 0 clqs
0.19/0.22 c (round 10) 252 del vars, 5119 del conss, 1503 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 92682 impls, 0 clqs
0.19/0.23 c (round 11) 277 del vars, 5322 del conss, 1706 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 93124 impls, 1 clqs
0.19/0.23 c (round 12) 290 del vars, 5324 del conss, 1706 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5019 upgd conss, 93856 impls, 201 clqs
0.19/0.24 c (round 13) 295 del vars, 5352 del conss, 1733 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5019 upgd conss, 94258 impls, 202 clqs
0.39/0.41 c (round 14) 295 del vars, 5366 del conss, 1737 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5019 upgd conss, 94258 impls, 204 clqs
0.49/0.57 c (round 15) 295 del vars, 5367 del conss, 1737 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5019 upgd conss, 94258 impls, 204 clqs
0.69/0.75 c presolving (16 rounds):
0.69/0.75 c 295 deleted vars, 5367 deleted constraints, 1737 added constraints, 94 tightened bounds, 0 added holes, 238 changed sides, 506 changed coefficients
0.69/0.75 c 94258 implications, 204 cliques
0.69/0.75 c presolved problem has 1857 variables (1857 bin, 0 int, 0 impl, 0 cont) and 1978 constraints
0.69/0.75 c 472 constraints of type <knapsack>
0.69/0.75 c 249 constraints of type <setppc>
0.69/0.75 c 1256 constraints of type <and>
0.69/0.75 c 1 constraints of type <logicor>
0.69/0.75 c transformed objective value is always integral (scale: 1)
0.69/0.75 c Presolving Time: 0.72
0.69/0.75 c - non default parameters ----------------------------------------------------------------------
0.69/0.75 c # SCIP version 2.1.1.4
0.69/0.75 c
0.69/0.75 c # maximal time in seconds to run
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.75 c limits/time = 1797
0.69/0.75 c
0.69/0.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.75 c limits/memory = 13950
0.69/0.75 c
0.69/0.75 c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.75 c limits/solutions = 1
0.69/0.75 c
0.69/0.75 c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.75 c separating/maxrounds = 1
0.69/0.75 c
0.69/0.75 c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.75 c separating/maxroundsroot = 5
0.69/0.75 c
0.69/0.75 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.75 c # [type: int, range: [1,2], default: 1]
0.69/0.75 c timing/clocktype = 2
0.69/0.75 c
0.69/0.75 c # belongs reading time to solving time?
0.69/0.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.75 c timing/reading = TRUE
0.69/0.75 c
0.69/0.75 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.75 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.75 c constraints/knapsack/disaggregation = FALSE
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.75 c heuristics/coefdiving/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.75 c heuristics/coefdiving/maxlpiterquot = 0.075
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/coefdiving/maxlpiterofs = 1500
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.75 c heuristics/crossover/freq = -1
0.69/0.75 c
0.69/0.75 c # number of nodes added to the contingent of the total nodes
0.69/0.75 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.75 c heuristics/crossover/nodesofs = 750
0.69/0.75 c
0.69/0.75 c # number of nodes without incumbent change that heuristic should wait
0.69/0.75 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.75 c heuristics/crossover/nwaitingnodes = 100
0.69/0.75 c
0.69/0.75 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.75 c # [type: real, range: [0,1], default: 0.1]
0.69/0.75 c heuristics/crossover/nodesquot = 0.15
0.69/0.75 c
0.69/0.75 c # minimum percentage of integer variables that have to be fixed
0.69/0.75 c # [type: real, range: [0,1], default: 0.666]
0.69/0.75 c heuristics/crossover/minfixingrate = 0.5
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.75 c heuristics/feaspump/freq = -1
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/feaspump/maxlpiterofs = 2000
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.75 c heuristics/fracdiving/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.75 c heuristics/fracdiving/maxlpiterquot = 0.075
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/fracdiving/maxlpiterofs = 1500
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.75 c heuristics/guideddiving/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.75 c heuristics/guideddiving/maxlpiterquot = 0.075
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/guideddiving/maxlpiterofs = 1500
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.75 c heuristics/intdiving/maxlpiterquot = 0.075
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.75 c heuristics/intshifting/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.75 c heuristics/linesearchdiving/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.75 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.75 c heuristics/objpscostdiving/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.75 c # [type: real, range: [0,1], default: 0.01]
0.69/0.75 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.75 c heuristics/oneopt/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.75 c heuristics/pscostdiving/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.75 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/pscostdiving/maxlpiterofs = 1500
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.75 c heuristics/rens/freq = -1
0.69/0.75 c
0.69/0.75 c # minimum percentage of integer variables that have to be fixable
0.69/0.75 c # [type: real, range: [0,1], default: 0.5]
0.69/0.75 c heuristics/rens/minfixingrate = 0.3
0.69/0.75 c
0.69/0.75 c # number of nodes added to the contingent of the total nodes
0.69/0.75 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.75 c heuristics/rens/nodesofs = 2000
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.75 c heuristics/rootsoldiving/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.75 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.75 c heuristics/rounding/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.75 c heuristics/shiftandpropagate/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.75 c heuristics/shifting/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.75 c heuristics/simplerounding/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.75 c heuristics/subnlp/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.75 c heuristics/trivial/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.75 c heuristics/trysol/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.75 c heuristics/undercover/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.75 c heuristics/veclendiving/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.75 c heuristics/veclendiving/maxlpiterquot = 0.075
0.69/0.75 c
0.69/0.75 c # additional number of allowed LP iterations
0.69/0.75 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.75 c heuristics/veclendiving/maxlpiterofs = 1500
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.75 c heuristics/zirounding/freq = -1
0.69/0.75 c
0.69/0.75 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.75 c propagating/probing/maxprerounds = 0
0.69/0.75 c
0.69/0.75 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.75 c separating/cmir/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.75 c separating/flowcover/freq = -1
0.69/0.75 c
0.69/0.75 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.75 c separating/rapidlearning/freq = 0
0.69/0.75 c
0.69/0.75 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.69/0.75 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.75 c heuristics/indoneopt/freq = -1
0.69/0.75 c
0.69/0.75 c -----------------------------------------------------------------------------------------------
0.69/0.75 c start solving
0.69/0.75 c
0.69/0.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.78 c 0.8s| 1 | 0 | 444 | - | 14M| 0 | 364 |1857 |1978 |1857 |3234 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.12 c 1.1s| 1 | 0 | 1192 | - | 14M| 0 | 583 |1857 |2229 |1857 |3653 | 431 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.28 c 1.3s| 1 | 0 | 2222 | - | 15M| 0 | 708 |1857 |2229 |1857 |4112 | 890 | 0 | 0 | 0.000000e+00 | -- | Inf
1.48/1.59 c 1.6s| 1 | 0 | 3917 | - | 16M| 0 | 736 |1857 |2229 |1857 |4716 |1494 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.03 c 2.0s| 1 | 0 | 5514 | - | 17M| 0 | 892 |1857 |2229 |1857 |5345 |2123 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.38 c 2.4s| 1 | 0 | 6720 | - | 17M| 0 | 961 |1857 |2229 |1857 |5841 |2619 | 0 | 0 | 0.000000e+00 | -- | Inf
3.19/3.23 c 3.2s| 1 | 2 | 6720 | - | 17M| 0 | 961 |1857 |2229 |1857 |5841 |2619 | 0 | 10 | 0.000000e+00 | -- | Inf
24.59/24.65 c 24.6s| 100 | 33 | 18000 | 113.9 | 18M| 32 | 614 |1857 |2252 |1857 |4433 |3687 | 23 |1144 | 0.000000e+00 | -- | Inf
27.19/27.26 c 27.3s| 200 | 37 | 27525 | 104.5 | 18M| 44 | 422 |1857 |2305 |1857 |4784 |4343 | 76 |1188 | 0.000000e+00 | -- | Inf
28.49/28.60 c 28.6s| 300 | 38 | 31705 | 83.6 | 18M| 44 | 365 |1857 |2429 |1857 |4788 |4545 | 200 |1206 | 0.000000e+00 | -- | Inf
30.28/30.34 c 30.3s| 400 | 59 | 38301 | 79.2 | 19M| 44 | 226 |1857 |2584 |1857 |4799 |4823 | 355 |1232 | 0.000000e+00 | -- | Inf
31.08/31.18 c 31.2s| 500 | 55 | 40279 | 67.3 | 19M| 58 | 259 |1857 |2648 |1857 |4792 |4872 | 419 |1268 | 0.000000e+00 | -- | Inf
33.39/33.41 c 33.4s| 600 | 57 | 48867 | 70.4 | 19M| 58 | 383 |1857 |2867 |1857 |4788 |5238 | 638 |1304 | 0.000000e+00 | -- | Inf
35.38/35.40 c 35.4s| 700 | 52 | 55696 | 70.1 | 19M| 58 | - |1857 |3031 | 0 | 0 |5546 | 802 |1338 | 0.000000e+00 | -- | Inf
37.69/37.76 c 37.8s| 800 | 53 | 64730 | 72.6 | 19M| 58 | 429 |1857 |3134 |1857 |4692 |6102 | 905 |1363 | 0.000000e+00 | -- | Inf
38.99/39.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.99/39.05 c 39.0s| 900 | 65 | 69013 | 69.3 | 19M| 58 | 349 |1857 |3215 |1857 |4710 |6305 | 986 |1390 | 0.000000e+00 | -- | Inf
40.39/40.48 c 40.5s| 1000 | 44 | 73458 | 66.8 | 19M| 58 | - |1857 |3317 | 0 | 0 |6489 |1088 |1413 | 0.000000e+00 | -- | Inf
42.08/42.15 c 42.2s| 1100 | 48 | 79368 | 66.1 | 19M| 58 | - |1857 |3430 | 0 | 0 |6769 |1215 |1438 | 0.000000e+00 | -- | Inf
43.79/43.88 c 43.9s| 1200 | 95 | 84802 | 65.1 | 19M| 58 | 83 |1857 |3509 |1857 |4631 |7103 |1305 |1476 | 0.000000e+00 | -- | Inf
45.09/45.16 c 45.2s| 1300 | 51 | 89014 | 63.4 | 19M| 60 | 351 |1857 |3582 |1857 |4594 |7328 |1401 |1493 | 0.000000e+00 | -- | Inf
47.09/47.17 c 47.2s| 1400 | 60 | 96187 | 64.0 | 19M| 60 | 430 |1857 |3736 |1857 |4609 |7745 |1562 |1542 | 0.000000e+00 | -- | Inf
48.98/49.00 c 49.0s| 1500 | 52 |102587 | 64.0 | 19M| 60 | 189 |1857 |3765 |1857 |4768 |8055 |1684 |1583 | 0.000000e+00 | -- | Inf
50.78/50.85 c 50.9s| 1600 | 56 |108907 | 63.9 | 19M| 60 | 263 |1857 |3760 |1857 |4699 |8477 |1745 |1607 | 0.000000e+00 | -- | Inf
52.29/52.33 c 52.3s| 1700 | 68 |113694 | 63.0 | 19M| 60 | 259 |1857 |3891 |1857 |4712 |8707 |1928 |1648 | 0.000000e+00 | -- | Inf
53.78/53.81 c 53.8s| 1800 | 82 |118905 | 62.4 | 20M| 60 | - |1857 |3948 | 0 | 0 |8889 |2055 |1696 | 0.000000e+00 | -- | Inf
55.68/55.76 c 55.8s| 1900 | 52 |125032 | 62.3 | 19M| 60 | - |1857 |3957 | 0 | 0 |9178 |2169 |1752 | 0.000000e+00 | -- | Inf
57.38/57.42 c 57.4s| 2000 | 49 |130294 | 61.8 | 19M| 60 | - |1857 |3981 | 0 | 0 |9469 |2278 |1786 | 0.000000e+00 | -- | Inf
59.38/59.48 c 59.5s| 2100 | 61 |137827 | 62.5 | 19M| 60 | 314 |1857 |3866 |1857 |4423 | 10k|2403 |1826 | 0.000000e+00 | -- | Inf
60.88/60.93 c 60.9s| 2200 | 54 |142754 | 61.9 | 19M| 60 | 405 |1857 |3927 |1857 |4407 | 10k|2490 |1874 | 0.000000e+00 | -- | Inf
62.88/62.90 c 62.9s| 2300 | 57 |149766 | 62.2 | 19M| 60 | 332 |1857 |3942 |1857 |4682 | 10k|2568 |1922 | 0.000000e+00 | -- | Inf
64.38/64.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.38/64.46 c 64.5s| 2400 | 58 |155010 | 61.8 | 20M| 60 | 381 |1857 |3936 |1857 |4632 | 11k|2632 |1954 | 0.000000e+00 | -- | Inf
66.58/66.61 c 66.6s| 2500 | 62 |161721 | 62.0 | 20M| 60 | 856 |1857 |3945 |1857 |4570 | 11k|2708 |1994 | 0.000000e+00 | -- | Inf
69.98/70.06 c 70.1s| 2600 | 79 |174282 | 64.5 | 20M| 60 | 835 |1857 |3954 |1857 |4698 | 12k|2797 |2058 | 0.000000e+00 | -- | Inf
72.17/72.23 c 72.2s| 2700 | 91 |181429 | 64.7 | 20M| 60 | 375 |1857 |3988 |1857 |4611 | 12k|2903 |2106 | 0.000000e+00 | -- | Inf
74.28/74.36 c 74.4s| 2800 | 99 |189131 | 65.2 | 20M| 60 | 262 |1857 |4046 |1857 |4636 | 13k|3043 |2154 | 0.000000e+00 | -- | Inf
76.48/76.56 c 76.6s| 2900 | 105 |196858 | 65.6 | 20M| 60 | 258 |1857 |4087 |1857 |4401 | 13k|3162 |2208 | 0.000000e+00 | -- | Inf
78.38/78.48 c 78.5s| 3000 | 111 |203515 | 65.6 | 20M| 60 | 405 |1857 |4135 |1857 |4379 | 14k|3264 |2271 | 0.000000e+00 | -- | Inf
79.78/79.84 c 79.8s| 3100 | 111 |208483 | 65.1 | 20M| 60 | 352 |1857 |4217 |1857 |4353 | 14k|3365 |2314 | 0.000000e+00 | -- | Inf
81.39/81.43 c 81.4s| 3200 | 103 |215379 | 65.2 | 20M| 60 | 245 |1857 |4328 |1857 |4350 | 14k|3499 |2348 | 0.000000e+00 | -- | Inf
83.58/83.62 c 83.6s| 3300 | 122 |222454 | 65.4 | 20M| 60 | 234 |1857 |4367 |1857 |4399 | 15k|3583 |2393 | 0.000000e+00 | -- | Inf
84.28/84.38 c 84.4s| 3400 | 108 |225421 | 64.3 | 20M| 60 | - |1857 |4406 | 0 | 0 | 15k|3660 |2403 | 0.000000e+00 | -- | Inf
85.69/85.72 c 85.7s| 3500 | 113 |229229 | 63.6 | 20M| 60 | 337 |1857 |4457 |1857 |4412 | 15k|3742 |2438 | 0.000000e+00 | -- | Inf
86.98/87.07 c 87.1s| 3600 | 102 |233410 | 63.0 | 20M| 60 | 333 |1857 |4498 |1857 |4738 | 16k|3825 |2471 | 0.000000e+00 | -- | Inf
89.37/89.43 c 89.4s| 3700 | 105 |241458 | 63.5 | 20M| 60 | 566 |1857 |4565 |1857 |4685 | 16k|3973 |2516 | 0.000000e+00 | -- | Inf
91.08/91.17 c 91.2s| 3800 | 106 |247970 | 63.5 | 20M| 60 | 291 |1857 |4705 |1857 |4690 | 16k|4192 |2550 | 0.000000e+00 | -- | Inf
92.08/92.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.08/92.19 c 92.2s| 3900 | 104 |251946 | 62.9 | 20M| 60 | 468 |1857 |4760 |1857 |4456 | 17k|4300 |2560 | 0.000000e+00 | -- | Inf
94.59/94.66 c 94.7s| 4000 | 114 |258891 | 63.1 | 20M| 60 | 502 |1857 |4811 |1857 |4363 | 17k|4426 |2613 | 0.000000e+00 | -- | Inf
95.47/95.53 c 95.5s| 4100 | 110 |262723 | 62.5 | 20M| 60 | 475 |1857 |4915 |1857 |4341 | 17k|4563 |2613 | 0.000000e+00 | -- | Inf
96.48/96.50 c 96.5s| 4200 | 123 |267371 | 62.1 | 21M| 60 | 460 |1857 |5058 |1857 |4370 | 18k|4721 |2614 | 0.000000e+00 | -- | Inf
97.17/97.29 c 97.3s| 4300 | 115 |270765 | 61.4 | 21M| 60 | 401 |1857 |5188 |1857 |4379 | 18k|4870 |2614 | 0.000000e+00 | -- | Inf
97.88/97.92 c 97.9s| 4400 | 105 |273259 | 60.6 | 21M| 60 | 421 |1857 |5311 |1857 |4357 | 18k|5005 |2614 | 0.000000e+00 | -- | Inf
98.67/98.74 c 98.7s| 4500 | 117 |276648 | 60.0 | 21M| 60 | 319 |1857 |5415 |1857 |4363 | 18k|5126 |2616 | 0.000000e+00 | -- | Inf
100.08/100.13 c 100s| 4600 | 118 |281483 | 59.7 | 21M| 60 | 411 |1857 |5594 |1857 |4685 | 18k|5329 |2638 | 0.000000e+00 | -- | Inf
102.77/102.84 c 103s| 4700 | 118 |291102 | 60.5 | 21M| 60 | 870 |1857 |5698 |1857 |4701 | 19k|5510 |2689 | 0.000000e+00 | -- | Inf
104.18/104.20 c 104s| 4800 | 142 |297702 | 60.6 | 21M| 60 | 210 |1857 |5781 |1857 |4380 | 19k|5623 |2691 | 0.000000e+00 | -- | Inf
105.07/105.14 c 105s| 4900 | 143 |301859 | 60.2 | 21M| 60 | 221 |1857 |5853 |1857 |4398 | 20k|5728 |2694 | 0.000000e+00 | -- | Inf
105.78/105.88 c 106s| 5000 | 134 |304965 | 59.7 | 21M| 60 | 230 |1857 |5972 |1857 |4372 | 20k|5877 |2694 | 0.000000e+00 | -- | Inf
106.68/106.74 c 107s| 5100 | 126 |308779 | 59.2 | 21M| 60 | 450 |1857 |6068 |1857 |4329 | 20k|6003 |2696 | 0.000000e+00 | -- | Inf
108.07/108.17 c 108s| 5200 | 128 |316210 | 59.5 | 21M| 60 | 355 |1857 |6140 |1857 |4394 | 21k|6145 |2699 | 0.000000e+00 | -- | Inf
109.28/109.37 c 109s| 5300 | 135 |322130 | 59.5 | 21M| 60 | - |1857 |6277 | 0 | 0 | 21k|6332 |2700 | 0.000000e+00 | -- | Inf
110.37/110.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.37/110.49 c 110s| 5400 | 125 |327279 | 59.4 | 21M| 60 | 266 |1857 |6361 |1857 |4672 | 21k|6477 |2700 | 0.000000e+00 | -- | Inf
112.48/112.57 c 113s| 5500 | 134 |335167 | 59.7 | 21M| 60 | 361 |1857 |6381 |1857 |4701 | 22k|6579 |2729 | 0.000000e+00 | -- | Inf
113.77/113.87 c 114s| 5600 | 125 |341560 | 59.8 | 21M| 60 | 286 |1857 |6422 |1857 |4641 | 22k|6727 |2733 | 0.000000e+00 | -- | Inf
115.67/115.74 c 116s| 5700 | 136 |349749 | 60.2 | 21M| 60 | - |1857 |6398 | 0 | 0 | 22k|6822 |2756 | 0.000000e+00 | -- | Inf
117.77/117.86 c 118s| 5800 | 135 |357683 | 60.5 | 21M| 60 | 384 |1857 |6408 |1857 |4360 | 23k|6926 |2814 | 0.000000e+00 | -- | Inf
119.17/119.27 c 119s| 5900 | 154 |362181 | 60.3 | 21M| 60 | 312 |1857 |6516 |1857 |4362 | 23k|7080 |2846 | 0.000000e+00 | -- | Inf
121.37/121.41 c 121s| 6000 | 138 |370112 | 60.6 | 21M| 60 | 568 |1857 |6461 |1857 |4357 | 23k|7208 |2878 | 0.000000e+00 | -- | Inf
122.47/122.59 c 123s| 6100 | 149 |373854 | 60.2 | 21M| 60 | 246 |1857 |6491 |1857 |4410 | 24k|7316 |2921 | 0.000000e+00 | -- | Inf
123.77/123.85 c 124s| 6200 | 159 |377956 | 59.9 | 21M| 60 | - |1857 |6581 | 0 | 0 | 24k|7417 |2955 | 0.000000e+00 | -- | Inf
124.97/125.03 c 125s| 6300 | 157 |382109 | 59.6 | 21M| 60 | 188 |1857 |6615 |1857 |4414 | 24k|7527 |2979 | 0.000000e+00 | -- | Inf
126.97/127.04 c 127s| 6400 | 144 |389815 | 59.9 | 21M| 60 | 586 |1857 |6590 |1857 |4725 | 25k|7612 |3028 | 0.000000e+00 | -- | Inf
128.68/128.76 c 129s| 6500 | 134 |395564 | 59.8 | 21M| 60 | - |1857 |6505 | 0 | 0 | 25k|7721 |3078 | 0.000000e+00 | -- | Inf
130.57/130.64 c 131s| 6600 | 145 |402707 | 60.0 | 21M| 60 | 347 |1857 |6474 |1857 |4370 | 26k|7856 |3133 | 0.000000e+00 | -- | Inf
131.56/131.65 c 132s| 6700 | 146 |405772 | 59.6 | 21M| 60 | - |1857 |6551 | 0 | 0 | 26k|7991 |3151 | 0.000000e+00 | -- | Inf
132.87/132.99 c 133s| 6800 | 145 |410563 | 59.4 | 21M| 60 | 416 |1857 |6623 |1857 |4346 | 26k|8102 |3182 | 0.000000e+00 | -- | Inf
134.37/134.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.37/134.42 c 134s| 6900 | 151 |414938 | 59.2 | 21M| 60 | 354 |1857 |6645 |1857 |4434 | 26k|8182 |3212 | 0.000000e+00 | -- | Inf
135.67/135.74 c 136s| 7000 | 133 |419927 | 59.0 | 21M| 60 | 313 |1857 |6605 |1857 |4370 | 26k|8294 |3229 | 0.000000e+00 | -- | Inf
137.07/137.10 c 137s| 7100 | 129 |424481 | 58.8 | 21M| 60 | 455 |1857 |6629 |1857 |4685 | 27k|8420 |3261 | 0.000000e+00 | -- | Inf
138.37/138.49 c 138s| 7200 | 131 |429401 | 58.7 | 21M| 60 | 425 |1857 |6652 |1857 |4682 | 27k|8502 |3286 | 0.000000e+00 | -- | Inf
140.26/140.34 c 140s| 7300 | 136 |436085 | 58.8 | 22M| 60 | 605 |1857 |6718 |1857 |4614 | 27k|8645 |3330 | 0.000000e+00 | -- | Inf
143.07/143.14 c 143s| 7400 | 156 |446292 | 59.4 | 22M| 60 | 712 |1857 |6785 |1857 |4640 | 28k|8768 |3384 | 0.000000e+00 | -- | Inf
145.37/145.46 c 145s| 7500 | 162 |454855 | 59.8 | 22M| 60 | 369 |1857 |6884 |1857 |4694 | 28k|8919 |3417 | 0.000000e+00 | -- | Inf
150.07/150.15 c 150s| 7600 | 142 |471022 | 61.1 | 22M| 60 | 497 |1857 |6738 |1857 |4381 | 29k|9077 |3518 | 0.000000e+00 | -- | Inf
151.57/151.69 c 152s| 7700 | 138 |479282 | 61.4 | 22M| 60 | 437 |1857 |6708 |1857 |4649 | 30k|9167 |3518 | 0.000000e+00 | -- | Inf
153.06/153.14 c 153s| 7800 | 153 |484728 | 61.3 | 22M| 60 | 264 |1857 |6578 |1857 |4347 | 30k|9220 |3553 | 0.000000e+00 | -- | Inf
153.76/153.81 c 154s| 7900 | 151 |486462 | 60.7 | 22M| 60 | 233 |1857 |6632 |1857 |4338 | 30k|9330 |3578 | 0.000000e+00 | -- | Inf
154.77/154.89 c 155s| 8000 | 151 |489311 | 60.3 | 22M| 60 | 344 |1857 |6717 |1857 |4363 | 30k|9424 |3604 | 0.000000e+00 | -- | Inf
155.87/155.92 c 156s| 8100 | 167 |493187 | 60.1 | 22M| 60 | 295 |1857 |6823 |1857 |4400 | 31k|9546 |3615 | 0.000000e+00 | -- | Inf
157.17/157.23 c 157s| 8200 | 171 |497675 | 59.9 | 22M| 60 | 269 |1857 |6933 |1857 |4374 | 31k|9665 |3642 | 0.000000e+00 | -- | Inf
158.46/158.58 c 159s| 8300 | 148 |502828 | 59.8 | 22M| 60 | 365 |1857 |7087 |1857 |4383 | 31k|9826 |3673 | 0.000000e+00 | -- | Inf
159.47/159.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.47/159.53 c 160s| 8400 | 143 |505092 | 59.3 | 22M| 60 | 540 |1857 |7195 |1857 |4330 | 31k|9941 |3699 | 0.000000e+00 | -- | Inf
161.07/161.15 c 161s| 8500 | 142 |510260 | 59.2 | 22M| 60 | 356 |1857 |7306 |1857 |4365 | 32k| 10k|3736 | 0.000000e+00 | -- | Inf
162.57/162.66 c 163s| 8600 | 145 |515885 | 59.2 | 22M| 60 | - |1857 |7545 | 0 | 0 | 32k| 10k|3775 | 0.000000e+00 | -- | Inf
164.26/164.39 c 164s| 8700 | 155 |522028 | 59.2 | 22M| 60 | 378 |1857 |7590 |1857 |4354 | 33k| 10k|3825 | 0.000000e+00 | -- | Inf
165.97/166.08 c 166s| 8800 | 150 |527931 | 59.2 | 22M| 60 | 365 |1857 |7611 |1857 |4367 | 33k| 10k|3877 | 0.000000e+00 | -- | Inf
167.46/167.54 c 168s| 8900 | 144 |532226 | 59.1 | 22M| 60 | 389 |1857 |7700 |1857 |4738 | 33k| 10k|3929 | 0.000000e+00 | -- | Inf
168.46/168.54 c 169s| 9000 | 145 |536012 | 58.8 | 22M| 60 | 438 |1857 |7781 |1857 |4340 | 33k| 10k|3945 | 0.000000e+00 | -- | Inf
170.47/170.57 c 171s| 9100 | 147 |544217 | 59.1 | 22M| 60 | 337 |1857 |7859 |1857 |4762 | 34k| 11k|3990 | 0.000000e+00 | -- | Inf
172.76/172.80 c 173s| 9200 | 140 |552770 | 59.4 | 22M| 60 | 457 |1857 |7884 |1857 |4727 | 34k| 11k|4040 | 0.000000e+00 | -- | Inf
174.67/174.73 c 175s| 9300 | 139 |560613 | 59.6 | 22M| 60 | 427 |1857 |7984 |1857 |4716 | 35k| 11k|4080 | 0.000000e+00 | -- | Inf
177.16/177.29 c 177s| 9400 | 137 |569593 | 59.9 | 22M| 60 | 361 |1857 |7982 |1857 |4412 | 35k| 11k|4143 | 0.000000e+00 | -- | Inf
178.96/179.06 c 179s| 9500 | 137 |576113 | 59.9 | 22M| 60 | 321 |1857 |8081 |1857 |4716 | 35k| 11k|4176 | 0.000000e+00 | -- | Inf
180.66/180.74 c 181s| 9600 | 133 |582762 | 60.0 | 22M| 60 | 303 |1857 |8106 |1857 |4357 | 36k| 11k|4199 | 0.000000e+00 | -- | Inf
182.46/182.57 c 183s| 9700 | 128 |588272 | 60.0 | 22M| 60 | 362 |1857 |8217 |1857 |4691 | 36k| 11k|4232 | 0.000000e+00 | -- | Inf
184.16/184.22 c 184s| 9800 | 133 |594405 | 60.0 | 22M| 60 | 333 |1857 |8297 |1857 |4673 | 36k| 11k|4264 | 0.000000e+00 | -- | Inf
186.16/186.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.16/186.24 c 186s| 9900 | 130 |601631 | 60.1 | 22M| 60 | 298 |1857 |8202 |1857 |4433 | 37k| 12k|4297 | 0.000000e+00 | -- | Inf
188.76/188.87 c 189s| 10000 | 131 |612178 | 60.6 | 22M| 60 | - |1857 |8250 | 0 | 0 | 37k| 12k|4340 | 0.000000e+00 | -- | Inf
190.86/190.94 c 191s| 10100 | 128 |618547 | 60.6 | 22M| 60 | 409 |1857 |8213 |1857 |4656 | 37k| 12k|4382 | 0.000000e+00 | -- | Inf
193.16/193.29 c 193s| 10200 | 129 |629142 | 61.0 | 22M| 60 | 361 |1857 |8195 |1857 |4764 | 38k| 12k|4414 | 0.000000e+00 | -- | Inf
194.76/194.88 c 195s| 10300 | 123 |634946 | 61.0 | 22M| 60 | 529 |1857 |8214 |1857 |4316 | 38k| 12k|4433 | 0.000000e+00 | -- | Inf
197.56/197.64 c 198s| 10400 | 128 |643019 | 61.2 | 22M| 60 | 219 |1857 |8120 |1857 |4519 | 39k| 12k|4497 | 0.000000e+00 | -- | Inf
198.56/198.64 c 199s| 10500 | 119 |647610 | 61.0 | 22M| 60 | 296 |1857 |8114 |1857 |4695 | 39k| 12k|4498 | 0.000000e+00 | -- | Inf
200.46/200.51 c 201s| 10600 | 115 |655302 | 61.2 | 22M| 60 | - |1857 |8168 | 0 | 0 | 39k| 12k|4518 | 0.000000e+00 | -- | Inf
201.56/201.60 c 202s| 10700 | 118 |661105 | 61.2 | 22M| 60 | 239 |1857 |8193 |1857 |4476 | 40k| 13k|4525 | 0.000000e+00 | -- | Inf
202.66/202.76 c 203s| 10800 | 116 |666768 | 61.1 | 22M| 60 | 408 |1857 |8256 |1857 |4685 | 40k| 13k|4528 | 0.000000e+00 | -- | Inf
204.35/204.44 c 204s| 10900 | 118 |674955 | 61.3 | 22M| 60 | - |1857 |8265 | 0 | 0 | 41k| 13k|4537 | 0.000000e+00 | -- | Inf
206.26/206.32 c 206s| 11000 | 114 |683475 | 61.5 | 22M| 60 | 347 |1857 |8285 |1857 |4711 | 41k| 13k|4550 | 0.000000e+00 | -- | Inf
207.25/207.36 c 207s| 11100 | 110 |687821 | 61.4 | 22M| 60 | - |1857 |8400 | 0 | 0 | 41k| 13k|4553 | 0.000000e+00 | -- | Inf
208.76/208.87 c 209s| 11200 | 121 |695057 | 61.5 | 22M| 60 | 468 |1857 |8528 |1857 |4683 | 42k| 13k|4558 | 0.000000e+00 | -- | Inf
210.35/210.40 c 210s| 11300 | 102 |702981 | 61.6 | 22M| 60 | - |1857 |8556 | 0 | 0 | 42k| 13k|4568 | 0.000000e+00 | -- | Inf
211.46/211.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.46/211.54 c 212s| 11400 | 100 |708486 | 61.6 | 22M| 60 | 284 |1857 |8626 |1857 |4492 | 42k| 13k|4569 | 0.000000e+00 | -- | Inf
213.27/213.40 c 213s| 11500 | 79 |716797 | 61.8 | 22M| 60 | - |1857 |8642 | 0 | 0 | 43k| 14k|4583 | 0.000000e+00 | -- | Inf
214.56/214.62 c 215s| 11600 | 86 |722400 | 61.7 | 22M| 60 | 286 |1857 |8627 |1857 |4350 | 43k| 14k|4587 | 0.000000e+00 | -- | Inf
215.46/215.50 c 216s| 11700 | 78 |726276 | 61.5 | 22M| 60 | 420 |1857 |8688 |1857 |4339 | 43k| 14k|4589 | 0.000000e+00 | -- | Inf
216.25/216.33 c 216s| 11800 | 80 |729832 | 61.3 | 22M| 60 | - |1857 |8742 | 0 | 0 | 44k| 14k|4589 | 0.000000e+00 | -- | Inf
217.45/217.56 c 218s| 11900 | 77 |735588 | 61.3 | 22M| 60 | - |1857 |8808 | 0 | 0 | 44k| 14k|4595 | 0.000000e+00 | -- | Inf
219.36/219.45 c 219s| 12000 | 77 |745246 | 61.5 | 22M| 60 | 326 |1857 |8821 |1857 |4347 | 44k| 14k|4598 | 0.000000e+00 | -- | Inf
220.76/220.89 c 221s| 12100 | 68 |752932 | 61.7 | 22M| 60 | 433 |1857 |8623 |1857 |4343 | 45k| 14k|4603 | 0.000000e+00 | -- | Inf
221.56/221.67 c 222s| 12200 | 66 |755956 | 61.4 | 22M| 60 | 480 |1857 |8733 |1857 |4772 | 45k| 14k|4603 | 0.000000e+00 | -- | Inf
222.46/222.50 c 223s| 12300 | 66 |759474 | 61.2 | 22M| 60 | - |1857 |8745 | 0 | 0 | 45k| 14k|4603 | 0.000000e+00 | -- | Inf
223.76/223.83 c 224s| 12400 | 62 |765666 | 61.2 | 22M| 60 | 486 |1857 |8683 |1857 |4621 | 45k| 15k|4609 | 0.000000e+00 | -- | Inf
226.47/226.56 c 227s| 12500 | 55 |777614 | 61.7 | 22M| 60 | 525 |1857 |8505 |1857 |4699 | 46k| 15k|4651 | 0.000000e+00 | -- | Inf
228.46/228.51 c 229s| 12600 | 50 |784823 | 61.8 | 22M| 60 | - |1857 |8551 | 0 | 0 | 46k| 15k|4688 | 0.000000e+00 | -- | Inf
229.46/229.54 c 230s| 12700 | 50 |787934 | 61.5 | 22M| 60 | 485 |1857 |8608 |1857 |4348 | 47k| 15k|4709 | 0.000000e+00 | -- | Inf
230.96/231.06 c 231s| 12800 | 55 |793345 | 61.5 | 22M| 60 | - |1857 |8658 | 0 | 0 | 47k| 15k|4743 | 0.000000e+00 | -- | Inf
232.65/232.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.65/232.77 c 233s| 12900 | 62 |799006 | 61.4 | 22M| 60 | 506 |1857 |8503 |1857 |4360 | 47k| 15k|4777 | 0.000000e+00 | -- | Inf
233.56/233.64 c 234s| 13000 | 60 |802090 | 61.2 | 22M| 60 | 393 |1857 |8579 |1857 |4383 | 48k| 15k|4787 | 0.000000e+00 | -- | Inf
234.95/235.08 c 235s| 13100 | 65 |807013 | 61.1 | 22M| 60 | 290 |1857 |8617 |1857 |4404 | 48k| 15k|4813 | 0.000000e+00 | -- | Inf
236.75/236.89 c 237s| 13200 | 53 |813673 | 61.1 | 22M| 60 | 438 |1857 |8696 |1857 |4356 | 48k| 16k|4836 | 0.000000e+00 | -- | Inf
239.35/239.40 c 239s| 13300 | 32 |821807 | 61.3 | 22M| 60 | 765 |1857 |8413 |1857 |4368 | 49k| 16k|4885 | 0.000000e+00 | -- | Inf
240.76/240.90 c 241s| 13400 | 35 |828308 | 61.3 | 22M| 60 | - |1857 |8446 | 0 | 0 | 49k| 16k|4895 | 0.000000e+00 | -- | Inf
242.56/242.60 c 243s| 13500 | 40 |834680 | 61.3 | 22M| 60 | 266 |1857 |8548 |1857 |4681 | 50k| 16k|4941 | 0.000000e+00 | -- | Inf
243.95/244.09 c 244s| 13600 | 33 |839579 | 61.2 | 22M| 60 | 357 |1857 |8529 |1857 |4775 | 50k| 16k|4965 | 0.000000e+00 | -- | Inf
245.85/245.90 c 246s| 13700 | 21 |845627 | 61.2 | 22M| 60 | 319 |1857 |8594 |1857 |4467 | 50k| 16k|5004 | 0.000000e+00 | -- | Inf
247.06/247.18 c 247s| 13800 | 29 |851394 | 61.2 | 22M| 60 | - |1857 |8710 | 0 | 0 | 51k| 16k|5020 | 0.000000e+00 | -- | Inf
249.16/249.22 c 249s| 13900 | 38 |859181 | 61.3 | 22M| 60 | - |1857 |8699 | 0 | 0 | 51k| 17k|5059 | 0.000000e+00 | -- | Inf
250.36/250.45 c 250s| 14000 | 34 |863862 | 61.2 | 22M| 60 | - |1857 |8772 | 0 | 0 | 52k| 17k|5080 | 0.000000e+00 | -- | Inf
252.25/252.35 c 252s| 14100 | 35 |870801 | 61.3 | 22M| 60 | 474 |1857 |8813 |1857 |4455 | 52k| 17k|5128 | 0.000000e+00 | -- | Inf
254.66/254.73 c 255s| 14200 | 29 |880406 | 61.5 | 22M| 60 | 488 |1857 |8800 |1857 |4439 | 53k| 17k|5164 | 0.000000e+00 | -- | Inf
257.15/257.23 c 257s| 14300 | 25 |890532 | 61.8 | 22M| 60 | 944 |1857 |8791 |1857 |4805 | 54k| 17k|5206 | 0.000000e+00 | -- | Inf
259.56/259.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.56/259.66 c 260s| 14400 | 29 |899323 | 62.0 | 22M| 60 | 498 |1857 |8683 |1857 |4555 | 54k| 17k|5250 | 0.000000e+00 | -- | Inf
261.95/262.00 c 262s| 14500 | 29 |908862 | 62.2 | 22M| 60 | 507 |1857 |8716 |1857 |4430 | 55k| 17k|5286 | 0.000000e+00 | -- | Inf
264.05/264.18 c 264s| 14600 | 31 |917314 | 62.4 | 22M| 60 | - |1857 |8739 | 0 | 0 | 56k| 18k|5335 | 0.000000e+00 | -- | Inf
265.95/266.06 c 266s| 14700 | 28 |924172 | 62.4 | 22M| 60 | 398 |1857 |8823 |1857 |4513 | 56k| 18k|5381 | 0.000000e+00 | -- | Inf
267.65/267.74 c 268s| 14800 | 33 |930607 | 62.4 | 22M| 60 | 347 |1857 |8919 |1857 |4503 | 57k| 18k|5409 | 0.000000e+00 | -- | Inf
269.55/269.64 c 270s| 14900 | 29 |937833 | 62.5 | 22M| 60 | - |1857 |9007 | 0 | 0 | 57k| 18k|5437 | 0.000000e+00 | -- | Inf
271.95/272.06 c 272s| 15000 | 39 |946922 | 62.7 | 22M| 60 | 402 |1857 |9060 |1857 |4560 | 58k| 18k|5472 | 0.000000e+00 | -- | Inf
274.25/274.32 c 274s| 15100 | 33 |955481 | 62.8 | 22M| 60 | 345 |1857 |9100 |1857 |4475 | 58k| 18k|5514 | 0.000000e+00 | -- | Inf
276.35/276.45 c 276s| 15200 | 37 |963534 | 63.0 | 22M| 60 | - |1857 |9121 | 0 | 0 | 59k| 18k|5571 | 0.000000e+00 | -- | Inf
277.95/278.00 c 278s| 15300 | 47 |970255 | 63.0 | 22M| 60 | 401 |1857 |9128 |1857 |4489 | 59k| 18k|5591 | 0.000000e+00 | -- | Inf
279.15/279.23 c 279s| 15400 | 30 |974253 | 62.8 | 22M| 60 | 474 |1857 |9165 |1857 |4412 | 59k| 19k|5614 | 0.000000e+00 | -- | Inf
281.65/281.72 c 282s| 15500 | 21 |983608 | 63.0 | 22M| 60 | 765 |1857 |9229 |1857 |4365 | 60k| 19k|5657 | 0.000000e+00 | -- | Inf
283.34/283.45 c 283s| 15600 | 32 |989961 | 63.0 | 22M| 60 | - |1857 |9384 | 0 | 0 | 60k| 19k|5697 | 0.000000e+00 | -- | Inf
286.35/286.41 c 286s| 15700 | 22 |999879 | 63.3 | 22M| 60 | 540 |1857 |9472 |1857 |4453 | 61k| 19k|5769 | 0.000000e+00 | -- | Inf
287.94/288.08 c 288s| 15800 | 40 | 1008k| 63.4 | 22M| 60 | - |1857 |9481 | 0 | 0 | 62k| 19k|5783 | 0.000000e+00 | -- | Inf
289.55/289.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.55/289.66 c 290s| 15900 | 38 | 1014k| 63.4 | 22M| 60 | 366 |1857 |9366 |1857 |4421 | 62k| 19k|5806 | 0.000000e+00 | -- | Inf
291.65/291.74 c 292s| 16000 | 43 | 1022k| 63.5 | 22M| 60 | 400 |1857 |9252 |1857 |4396 | 63k| 19k|5842 | 0.000000e+00 | -- | Inf
292.85/292.95 c 293s| 16100 | 36 | 1025k| 63.3 | 22M| 60 | 360 |1857 |9265 |1857 |4380 | 63k| 19k|5891 | 0.000000e+00 | -- | Inf
293.94/294.08 c 294s| 16200 | 31 | 1030k| 63.2 | 22M| 60 | 441 |1857 |9262 |1857 |4370 | 63k| 19k|5903 | 0.000000e+00 | -- | Inf
295.05/295.20 c 295s| 16300 | 30 | 1033k| 63.0 | 22M| 60 | 292 |1857 |9284 |1857 |4427 | 63k| 19k|5924 | 0.000000e+00 | -- | Inf
296.64/296.77 c 297s| 16400 | 28 | 1039k| 63.0 | 22M| 60 | 384 |1857 |9263 |1857 |4428 | 64k| 20k|5950 | 0.000000e+00 | -- | Inf
298.15/298.27 c 298s| 16500 | 35 | 1044k| 62.9 | 22M| 60 | 257 |1857 |9280 |1857 |4444 | 64k| 20k|5976 | 0.000000e+00 | -- | Inf
299.45/299.53 c 300s| 16600 | 27 | 1048k| 62.8 | 22M| 60 | 586 |1857 |9316 |1857 |4493 | 64k| 20k|5995 | 0.000000e+00 | -- | Inf
301.25/301.38 c 301s| 16700 | 31 | 1055k| 62.8 | 22M| 60 | - |1857 |9318 |1857 |4553 | 65k| 20k|6024 | 0.000000e+00 | -- | Inf
303.55/303.67 c 304s| 16800 | 32 | 1064k| 63.0 | 22M| 60 | - |1857 |9434 | 0 | 0 | 65k| 20k|6063 | 0.000000e+00 | -- | Inf
306.04/306.11 c 306s| 16900 | 27 | 1075k| 63.3 | 22M| 60 | 601 |1857 |9479 |1857 |4444 | 66k| 20k|6090 | 0.000000e+00 | -- | Inf
306.75/306.86 c 307s| 17000 | 40 | 1079k| 63.1 | 22M| 60 | 319 |1857 |9554 |1857 |4443 | 66k| 20k|6091 | 0.000000e+00 | -- | Inf
308.54/308.65 c 309s| 17100 | 34 | 1085k| 63.1 | 22M| 60 | 345 |1857 |9581 |1857 |4455 | 66k| 20k|6120 | 0.000000e+00 | -- | Inf
309.74/309.87 c 310s| 17200 | 35 | 1091k| 63.0 | 22M| 60 | 362 |1857 |9667 |1857 |4471 | 67k| 20k|6133 | 0.000000e+00 | -- | Inf
311.15/311.28 c 311s| 17300 | 30 | 1097k| 63.0 | 22M| 60 | 501 |1857 |9744 |1857 |4468 | 67k| 21k|6145 | 0.000000e+00 | -- | Inf
312.74/312.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.74/312.85 c 313s| 17400 | 27 | 1104k| 63.1 | 22M| 60 | - |1857 |9843 | 0 | 0 | 68k| 21k|6160 | 0.000000e+00 | -- | Inf
314.45/314.53 c 315s| 17500 | 59 | 1112k| 63.2 | 22M| 60 | 278 |1857 |9871 |1857 |4510 | 68k| 21k|6178 | 0.000000e+00 | -- | Inf
316.24/316.35 c 316s| 17600 | 38 | 1122k| 63.4 | 22M| 60 | 459 |1857 |9974 |1857 |4415 | 69k| 21k|6185 | 0.000000e+00 | -- | Inf
318.54/318.64 c 319s| 17700 | 31 | 1131k| 63.6 | 22M| 60 | 359 |1857 |9742 |1857 |4464 | 70k| 21k|6210 | 0.000000e+00 | -- | Inf
320.24/320.39 c 320s| 17800 | 24 | 1141k| 63.7 | 22M| 60 | 447 |1857 |9757 |1857 |4497 | 70k| 21k|6210 | 0.000000e+00 | -- | Inf
322.25/322.35 c 322s| 17900 | 18 | 1152k| 64.0 | 22M| 60 | - |1857 |9839 | 0 | 0 | 71k| 21k|6210 | 0.000000e+00 | -- | Inf
324.54/324.67 c 325s| 18000 | 26 | 1164k| 64.3 | 22M| 60 | 411 |1857 |9777 |1857 |4460 | 72k| 22k|6220 | 0.000000e+00 | -- | Inf
326.74/326.81 c 327s| 18100 | 16 | 1172k| 64.4 | 22M| 60 | 402 |1857 |9655 |1857 |4885 | 72k| 22k|6253 | 0.000000e+00 | -- | Inf
328.14/328.28 c 328s| 18200 | 28 | 1178k| 64.4 | 22M| 60 | 364 |1857 |9587 |1857 |4472 | 72k| 22k|6260 | 0.000000e+00 | -- | Inf
329.33/329.46 c 329s| 18300 | 28 | 1184k| 64.4 | 22M| 60 | 243 |1857 |9559 |1857 |4481 | 73k| 22k|6263 | 0.000000e+00 | -- | Inf
330.04/330.14 c 330s| 18400 | 24 | 1187k| 64.2 | 22M| 60 | - |1857 |9651 | 0 | 0 | 73k| 22k|6263 | 0.000000e+00 | -- | Inf
332.04/332.12 c 332s| 18500 | 12 | 1199k| 64.5 | 22M| 60 | - |1857 |9642 | 0 | 0 | 74k| 22k|6263 | 0.000000e+00 | -- | Inf
333.74/333.88 c 334s| 18600 | 30 | 1207k| 64.6 | 22M| 60 | 333 |1857 |9632 |1857 |4492 | 74k| 22k|6274 | 0.000000e+00 | -- | Inf
335.03/335.15 c 335s| 18700 | 13 | 1214k| 64.6 | 22M| 60 | 450 |1857 |9761 |1857 |4485 | 75k| 22k|6274 | 0.000000e+00 | -- | Inf
336.44/336.58 c 337s| 18800 | 27 | 1221k| 64.6 | 22M| 60 | 437 |1857 |9730 |1857 |4447 | 75k| 22k|6276 | 0.000000e+00 | -- | Inf
337.74/337.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.74/337.85 c 338s| 18900 | 21 | 1228k| 64.6 | 22M| 60 | - |1857 |9648 | 0 | 0 | 76k| 23k|6278 | 0.000000e+00 | -- | Inf
339.03/339.16 c 339s| 19000 | 20 | 1235k| 64.7 | 22M| 60 | - |1857 |9684 | 0 | 0 | 76k| 23k|6279 | 0.000000e+00 | -- | Inf
340.14/340.26 c 340s| 19100 | 43 | 1241k| 64.6 | 22M| 60 | 220 |1857 |9728 |1857 |4533 | 77k| 23k|6279 | 0.000000e+00 | -- | Inf
342.14/342.22 c 342s| 19200 | 11 | 1252k| 64.9 | 22M| 60 | 472 |1857 |9789 |1857 |4515 | 77k| 23k|6280 | 0.000000e+00 | -- | Inf
343.83/343.90 c 344s| 19300 | 30 | 1259k| 64.9 | 22M| 60 | 265 |1857 |9703 |1857 |4809 | 78k| 23k|6295 | 0.000000e+00 | -- | Inf
345.54/345.60 c 346s| 19400 | 8 | 1267k| 65.0 | 22M| 60 | 500 |1857 |9741 |1857 |4476 | 78k| 23k|6315 | 0.000000e+00 | -- | Inf
347.84/347.97 c 348s| 19500 | 22 | 1277k| 65.2 | 22M| 60 | 430 |1857 |9836 |1857 |4495 | 79k| 23k|6353 | 0.000000e+00 | -- | Inf
349.54/349.63 c 350s| 19600 | 24 | 1284k| 65.2 | 22M| 60 | - |1857 |9876 | 0 | 0 | 79k| 23k|6381 | 0.000000e+00 | -- | Inf
351.03/351.10 c 351s| 19700 | 27 | 1289k| 65.1 | 22M| 60 | - |1857 |9980 | 0 | 0 | 79k| 24k|6418 | 0.000000e+00 | -- | Inf
353.54/353.62 c 354s| 19800 | 13 | 1300k| 65.4 | 22M| 60 | 245 |1857 |9801 |1857 |4478 | 80k| 24k|6463 | 0.000000e+00 | -- | Inf
354.93/355.02 c 355s| 19900 | 14 | 1305k| 65.3 | 22M| 60 | - |1857 |9973 | 0 | 0 | 80k| 24k|6485 | 0.000000e+00 | -- | Inf
356.13/356.21 c 356s| 20000 | 13 | 1310k| 65.2 | 22M| 60 | - |1857 | 10k| 0 | 0 | 81k| 24k|6503 | 0.000000e+00 | -- | Inf
357.63/357.70 c 358s| 20100 | 6 | 1315k| 65.1 | 22M| 60 | 489 |1857 | 10k|1857 |4496 | 81k| 24k|6534 | 0.000000e+00 | -- | Inf
358.54/358.61 c 359s| 20200 | 49 | 1319k| 65.0 | 22M| 60 | 37 |1857 | 10k|1857 |4496 | 81k| 24k|6549 | 0.000000e+00 | -- | Inf
359.93/360.03 c 360s| 20300 | 7 | 1324k| 64.9 | 22M| 66 | - |1857 | 10k| 0 | 0 | 81k| 24k|6573 | 0.000000e+00 | -- | Inf
361.84/361.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.84/361.91 c 362s| 20400 | 12 | 1332k| 65.0 | 22M| 66 | 458 |1857 | 10k|1857 |4491 | 82k| 24k|6609 | 0.000000e+00 | -- | Inf
363.03/363.14 c
363.03/363.14 c SCIP Status : problem is solved [infeasible]
363.03/363.14 c Solving Time (sec) : 363.14
363.03/363.14 c Solving Nodes : 20479
363.03/363.14 c Primal Bound : +1.00000000000000e+20 (0 solutions)
363.03/363.14 c Dual Bound : +1.00000000000000e+20
363.03/363.14 c Gap : 0.00 %
363.03/363.14 s UNSATISFIABLE
363.03/363.14 c SCIP Status : problem is solved [infeasible]
363.03/363.14 c Total Time : 363.14
363.03/363.14 c solving : 363.14
363.03/363.14 c presolving : 0.72 (included in solving)
363.03/363.14 c reading : 0.02 (included in solving)
363.03/363.14 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
363.03/363.14 c Original Problem :
363.03/363.14 c Problem name : HOME/instance-3690508-1338016950.opb
363.03/363.14 c Variables : 2152 (2152 binary, 0 integer, 0 implicit integer, 0 continuous)
363.03/363.14 c Constraints : 5613 initial, 5613 maximal
363.03/363.14 c Objective sense : minimize
363.03/363.14 c Presolved Problem :
363.03/363.14 c Problem name : t_HOME/instance-3690508-1338016950.opb
363.03/363.14 c Variables : 1857 (1857 binary, 0 integer, 0 implicit integer, 0 continuous)
363.03/363.14 c Constraints : 1978 initial, 10320 maximal
363.03/363.14 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
363.03/363.14 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c trivial : 0.00 0.00 10 0 0 0 0 0 0 0 0
363.03/363.14 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c gateextraction : 0.01 0.00 0 0 0 0 0 4511 1503 0 0
363.03/363.14 c implics : 0.01 0.00 0 152 0 0 0 0 0 0 0
363.03/363.14 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c setppc : 0.02 0.00 0 3 0 0 0 15 0 0 0
363.03/363.14 c and : 0.51 0.00 1 29 0 0 0 234 234 0 0
363.03/363.14 c linear : 0.11 0.00 94 6 0 94 0 607 0 238 506
363.03/363.14 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
363.03/363.14 c root node : - - 9 - - 9 - - - - -
363.03/363.14 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
363.03/363.14 c integral : 0 0 0 0 16380 0 1 0 82 994 0 0 31576
363.03/363.14 c knapsack : 472 472 6 177483 0 0 0 95738 2852 179253 1203 0 0
363.03/363.14 c setppc : 249 249 6 174631 0 0 0 158789 788 175470 0 0 0
363.03/363.14 c and : 1256 1256 15915 173843 0 0 0 881725 3764 959232 80638 0 0
363.03/363.14 c linear : 0+ 255 5 153299 0 0 0 1333 16 1159 1 0 0
363.03/363.14 c logicor : 1+ 8156 6 92883 0 0 0 107627 1304 65618 0 0 0
363.03/363.14 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
363.03/363.14 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
363.03/363.14 c integral : 102.46 0.00 0.00 0.00 102.46 0.00 0.00 0.00
363.03/363.14 c knapsack : 3.31 0.00 0.01 3.16 0.00 0.00 0.00 0.14
363.03/363.14 c setppc : 1.42 0.00 0.00 1.22 0.00 0.00 0.00 0.19
363.03/363.14 c and : 8.40 0.00 2.40 5.03 0.00 0.00 0.00 0.96
363.03/363.14 c linear : 0.25 0.00 0.00 0.24 0.00 0.00 0.00 0.00
363.03/363.14 c logicor : 2.94 0.00 0.00 2.71 0.00 0.00 0.00 0.23
363.03/363.14 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
363.03/363.14 c Propagators : #Propagate #ResProp Cutoffs DomReds
363.03/363.14 c rootredcost : 0 0 0 0
363.03/363.14 c pseudoobj : 0 0 0 0
363.03/363.14 c vbounds : 0 0 0 0
363.03/363.14 c redcost : 27264 0 0 0
363.03/363.14 c probing : 0 0 0 0
363.03/363.14 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
363.03/363.14 c rootredcost : 0.16 0.00 0.00 0.16 0.00
363.03/363.14 c pseudoobj : 0.16 0.00 0.00 0.16 0.00
363.03/363.14 c vbounds : 0.15 0.00 0.00 0.15 0.00
363.03/363.14 c redcost : 0.78 0.00 0.00 0.78 0.00
363.03/363.14 c probing : 0.00 0.00 0.00 0.00 0.00
363.03/363.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
363.03/363.14 c propagation : 2.99 8724 8203 63182 32.5 1912 20.3 -
363.03/363.14 c infeasible LP : 0.03 55 55 184 15.4 16 13.6 0
363.03/363.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
363.03/363.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
363.03/363.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
363.03/363.14 c applied globally : - - - 25061 25.2 - - -
363.03/363.14 c applied locally : - - - 0 0.0 - - -
363.03/363.14 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
363.03/363.14 c cut pool : 0.00 4 - - 87 - (maximal pool size: 3582)
363.03/363.14 c closecuts : 0.00 0.00 0 0 0 0 0
363.03/363.14 c impliedbounds : 0.01 0.00 5 0 0 3715 0
363.03/363.14 c intobj : 0.00 0.00 0 0 0 0 0
363.03/363.14 c gomory : 0.04 0.00 5 0 0 250 0
363.03/363.14 c cgmip : 0.00 0.00 0 0 0 0 0
363.03/363.14 c strongcg : 0.35 0.00 5 0 0 2500 0
363.03/363.14 c cmir : 0.00 0.00 0 0 0 0 0
363.03/363.14 c flowcover : 0.00 0.00 0 0 0 0 0
363.03/363.14 c clique : 0.09 0.00 5 0 0 41 0
363.03/363.14 c zerohalf : 0.00 0.00 0 0 0 0 0
363.03/363.14 c mcf : 0.00 0.00 1 0 0 0 0
363.03/363.14 c oddcycle : 0.00 0.00 0 0 0 0 0
363.03/363.14 c rapidlearning : 0.21 0.00 1 0 8 0 255
363.03/363.14 c Pricers : ExecTime SetupTime Calls Vars
363.03/363.14 c problem variables: 0.00 - 0 0
363.03/363.14 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
363.03/363.14 c relpscost : 102.38 0.00 16380 82 994 0 0 31576
363.03/363.14 c pscost : 0.00 0.00 0 0 0 0 0 0
363.03/363.14 c inference : 0.00 0.00 0 0 0 0 0 0
363.03/363.14 c mostinf : 0.00 0.00 0 0 0 0 0 0
363.03/363.14 c leastinf : 0.00 0.00 0 0 0 0 0 0
363.03/363.14 c fullstrong : 0.00 0.00 0 0 0 0 0 0
363.03/363.14 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
363.03/363.14 c random : 0.00 0.00 0 0 0 0 0 0
363.03/363.14 c Primal Heuristics : ExecTime SetupTime Calls Found
363.03/363.14 c LP solutions : 0.00 - - 0
363.03/363.14 c pseudo solutions : 0.00 - - 0
363.03/363.14 c smallcard : 0.00 0.00 0 0
363.03/363.14 c trivial : 0.00 0.00 1 0
363.03/363.14 c shiftandpropagate: 0.00 0.00 0 0
363.03/363.14 c simplerounding : 0.00 0.00 0 0
363.03/363.14 c zirounding : 0.00 0.00 0 0
363.03/363.14 c rounding : 0.00 0.00 0 0
363.03/363.14 c shifting : 0.00 0.00 0 0
363.03/363.14 c intshifting : 0.00 0.00 0 0
363.03/363.14 c oneopt : 0.00 0.00 0 0
363.03/363.14 c twoopt : 0.00 0.00 0 0
363.03/363.14 c indtwoopt : 0.00 0.00 0 0
363.03/363.14 c indoneopt : 0.00 0.00 0 0
363.03/363.14 c fixandinfer : 0.00 0.00 0 0
363.03/363.14 c feaspump : 0.00 0.00 0 0
363.03/363.14 c clique : 0.00 0.00 0 0
363.03/363.14 c indrounding : 0.00 0.00 0 0
363.03/363.14 c indcoefdiving : 0.00 0.00 0 0
363.03/363.14 c coefdiving : 0.00 0.00 0 0
363.03/363.14 c pscostdiving : 0.00 0.00 0 0
363.03/363.14 c nlpdiving : 0.00 0.00 0 0
363.03/363.14 c fracdiving : 0.00 0.00 0 0
363.03/363.14 c veclendiving : 0.00 0.00 0 0
363.03/363.14 c intdiving : 0.00 0.00 0 0
363.03/363.14 c actconsdiving : 0.00 0.00 0 0
363.03/363.14 c objpscostdiving : 0.00 0.00 0 0
363.03/363.14 c rootsoldiving : 0.00 0.00 0 0
363.03/363.14 c linesearchdiving : 0.00 0.00 0 0
363.03/363.14 c guideddiving : 0.00 0.00 0 0
363.03/363.14 c octane : 0.00 0.00 0 0
363.03/363.14 c rens : 0.00 0.00 0 0
363.03/363.14 c rins : 0.00 0.00 0 0
363.03/363.14 c localbranching : 0.00 0.00 0 0
363.03/363.14 c mutation : 0.00 0.00 0 0
363.03/363.14 c crossover : 0.00 0.00 0 0
363.03/363.14 c dins : 0.00 0.00 0 0
363.03/363.14 c vbounds : 0.00 0.00 0 0
363.03/363.14 c undercover : 0.00 0.00 0 0
363.03/363.14 c subnlp : 0.00 0.00 0 0
363.03/363.14 c trysol : 0.00 0.00 0 0
363.03/363.14 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
363.03/363.14 c primal LP : 0.00 1 0 0.00 - 0.00 1
363.03/363.14 c dual LP : 213.42 27320 1337482 48.98 6266.86 0.01 11
363.03/363.14 c lex dual LP : 0.00 0 0 0.00 -
363.03/363.14 c barrier LP : 0.00 0 0 0.00 - 0.00 0
363.03/363.14 c diving/probing LP: 0.00 0 0 0.00 -
363.03/363.14 c strong branching : 100.36 6627 541002 81.64 5390.62
363.03/363.14 c (at root node) : - 10 4007 400.70 -
363.03/363.14 c conflict analysis: 0.00 0 0 0.00 -
363.03/363.14 c B&B Tree :
363.03/363.14 c number of runs : 1
363.03/363.14 c nodes : 20479
363.03/363.14 c nodes (total) : 20479
363.03/363.14 c nodes left : 0
363.03/363.14 c max depth : 66
363.03/363.14 c max depth (total): 66
363.03/363.14 c backtracks : 4670 (22.8%)
363.03/363.14 c delayed cutoffs : 11098
363.03/363.14 c repropagations : 17564 (480574 domain reductions, 4224 cutoffs)
363.03/363.14 c avg switch length: 3.56
363.03/363.14 c switching time : 6.56
363.03/363.14 c Solution :
363.03/363.14 c Solutions found : 0 (0 improvements)
363.03/363.14 c Primal Bound : infeasible
363.03/363.14 c Dual Bound : -
363.03/363.14 c Gap : 0.00 %
363.03/363.14 c Root Dual Bound : +0.00000000000000e+00
363.03/363.14 c Root Iterations : 6720
363.03/363.19 c Time complete: 363.12.
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-3690508-1338016950/watcher-3690508-1338016950 -o /tmp/evaluation-result-3690508-1338016950/solver-3690508-1338016950 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690508-1338016950.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.33 0.28 0.81 3/176 4296
/proc/meminfo: memFree=28429984/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=10460 CPUtime=0 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 1 0 267819405 10711040 1307 33554432000 4194304 10173063 140737393922944 140736635141912 8886411 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 2615 1307 413 1460 0 1146 0
[startup+0.019236 s]
/proc/loadavg: 0.33 0.28 0.81 3/176 4296
/proc/meminfo: memFree=28429984/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=14980 CPUtime=0.01 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 2501 0 0 0 1 0 0 0 20 0 1 0 267819405 15339520 2455 33554432000 4194304 10173063 140737393922944 140736635141912 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 3745 2455 413 1460 0 2276 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14980
[startup+0.100299 s]
/proc/loadavg: 0.33 0.28 0.81 3/176 4296
/proc/meminfo: memFree=28429984/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=33204 CPUtime=0.09 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 7082 0 0 0 8 1 0 0 20 0 1 0 267819405 34000896 6779 33554432000 4194304 10173063 140737393922944 140736635141912 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 8301 6779 567 1460 0 6832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33204
[startup+0.300296 s]
/proc/loadavg: 0.33 0.28 0.81 3/176 4296
/proc/meminfo: memFree=28429984/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=38940 CPUtime=0.29 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 8756 0 0 0 18 11 0 0 20 0 1 0 267819405 39874560 8265 33554432000 4194304 10173063 140737393922944 140736635141912 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 9735 8265 612 1460 0 8266 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38940
[startup+0.700229 s]
/proc/loadavg: 0.33 0.28 0.81 3/176 4296
/proc/meminfo: memFree=28429984/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=38940 CPUtime=0.69 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 8756 0 0 0 22 47 0 0 20 0 1 0 267819405 39874560 8265 33554432000 4194304 10173063 140737393922944 140737393920200 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 9735 8265 612 1460 0 8266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38940
[startup+1.50028 s]
/proc/loadavg: 0.33 0.28 0.81 3/177 4297
/proc/meminfo: memFree=28282788/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=69688 CPUtime=1.48 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 16659 0 0 0 88 60 0 0 20 0 1 0 267819405 71360512 15992 33554432000 4194304 10173063 140737393922944 140737393920200 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 17422 15992 842 1460 0 15953 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 69688
[startup+3.10027 s]
/proc/loadavg: 0.47 0.31 0.82 3/177 4297
/proc/meminfo: memFree=28190648/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=69688 CPUtime=3.09 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 16749 0 0 0 247 62 0 0 20 0 1 0 267819405 71360512 16082 33554432000 4194304 10173063 140737393922944 140737393916440 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 17422 16082 845 1460 0 15953 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69688
[startup+6.30023 s]
/proc/loadavg: 0.47 0.31 0.82 3/177 4297
/proc/meminfo: memFree=28104936/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=69688 CPUtime=6.29 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 16750 0 0 0 564 65 0 0 20 0 1 0 267819405 71360512 16083 33554432000 4194304 10173063 140737393922944 140737393916808 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 17422 16083 846 1460 0 15953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69688
[startup+12.7003 s]
/proc/loadavg: 0.70 0.37 0.83 3/177 4297
/proc/meminfo: memFree=28104552/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=69688 CPUtime=12.68 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 16750 0 0 0 1199 69 0 0 20 0 1 0 267819405 71360512 16083 33554432000 4194304 10173063 140737393922944 140737393916488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 17422 16083 846 1460 0 15953 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69688
[startup+25.5002 s]
/proc/loadavg: 0.90 0.42 0.84 3/177 4297
/proc/meminfo: memFree=28109808/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=69688 CPUtime=25.48 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 16754 0 0 0 2468 80 0 0 20 0 1 0 267819405 71360512 16087 33554432000 4194304 10173063 140737393922944 140737393916584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 17422 16087 849 1460 0 15953 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69688
[startup+51.1003 s]
/proc/loadavg: 1.27 0.54 0.87 3/177 4297
/proc/meminfo: memFree=27829924/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=69688 CPUtime=51.08 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 17009 0 0 0 4979 129 0 0 20 0 1 0 267819405 71360512 16342 33554432000 4194304 10173063 140737393922944 140737393919416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 17422 16342 849 1460 0 15953 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69688
[startup+102.307 s]
/proc/loadavg: 1.71 0.79 0.94 3/177 4297
/proc/meminfo: memFree=27803980/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=69688 CPUtime=102.28 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 17011 0 0 0 9994 234 0 0 20 0 1 0 267819405 71360512 16344 33554432000 4194304 10173063 140737393922944 140737393916584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 17422 16344 849 1460 0 15953 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69688
[startup+162.3 s]
/proc/loadavg: 1.89 1.00 1.00 3/177 4297
/proc/meminfo: memFree=27802408/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=70624 CPUtime=162.26 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 17245 0 0 0 15870 356 0 0 20 0 1 0 267819405 72318976 16578 33554432000 4194304 10173063 140737393922944 140737393916856 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 17656 16578 849 1460 0 16187 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 70624
[startup+222.3 s]
/proc/loadavg: 1.96 1.18 1.06 3/177 4298
/proc/meminfo: memFree=27798912/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=74440 CPUtime=222.25 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 19717 0 0 0 21745 480 0 0 20 0 1 0 267819405 76226560 17541 33554432000 4194304 10173063 140737393922944 140737393916584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 18610 17541 850 1460 0 17141 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 74440
[startup+282.3 s]
/proc/loadavg: 1.98 1.32 1.11 3/177 4298
/proc/meminfo: memFree=27797760/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=75520 CPUtime=282.25 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 28426 0 0 0 27630 595 0 0 20 0 1 0 267819405 77332480 17782 33554432000 4194304 10173063 140737393922944 140737393919464 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 18880 17782 850 1460 0 17411 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 75520
[startup+342.3 s]
/proc/loadavg: 1.99 1.45 1.17 3/177 4298
/proc/meminfo: memFree=27789896/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=77148 CPUtime=342.24 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 29339 0 0 0 33525 699 0 0 20 0 1 0 267819405 78999552 18208 33554432000 4194304 10173063 140737393922944 140737393918296 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 19287 18208 850 1460 0 17818 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 77148
Solver just ended. Dumping a history of the last processes samples
[startup+345.5 s]
/proc/loadavg: 1.99 1.45 1.17 3/177 4298
/proc/meminfo: memFree=27789896/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=77148 CPUtime=345.43 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 29341 0 0 0 33838 705 0 0 20 0 1 0 267819405 78999552 18210 33554432000 4194304 10173063 140737393922944 140737393915464 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 19287 18210 850 1460 0 17818 0
Current children cumulated CPU time (s) 345.43
Current children cumulated vsize (KiB) 77148
[startup+351.9 s]
/proc/loadavg: 1.99 1.47 1.18 3/177 4298
/proc/meminfo: memFree=27788144/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=77148 CPUtime=351.84 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 29357 0 0 0 34467 717 0 0 20 0 1 0 267819405 78999552 18226 33554432000 4194304 10173063 140737393922944 140737393916440 7931971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 19287 18226 850 1460 0 17818 0
Current children cumulated CPU time (s) 351.84
Current children cumulated vsize (KiB) 77148
[startup+358.3 s]
/proc/loadavg: 1.99 1.48 1.18 3/177 4298
/proc/meminfo: memFree=27787880/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=77280 CPUtime=358.24 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 29386 0 0 0 35093 731 0 0 20 0 1 0 267819405 79134720 18255 33554432000 4194304 10173063 140737393922944 140737393916760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 19320 18255 850 1460 0 17851 0
Current children cumulated CPU time (s) 358.24
Current children cumulated vsize (KiB) 77280
[startup+361.5 s]
/proc/loadavg: 1.99 1.48 1.18 3/177 4298
/proc/meminfo: memFree=27787880/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=77280 CPUtime=361.44 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 29386 0 0 0 35406 738 0 0 20 0 1 0 267819405 79134720 18255 33554432000 4194304 10173063 140737393922944 140737393916776 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 19320 18255 850 1460 0 17851 0
Current children cumulated CPU time (s) 361.44
Current children cumulated vsize (KiB) 77280
[startup+362.3 s]
/proc/loadavg: 1.99 1.48 1.19 3/177 4298
/proc/meminfo: memFree=27787880/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=77024 CPUtime=362.24 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 29847 0 0 0 35484 740 0 0 20 0 1 0 267819405 78872576 18172 33554432000 4194304 10173063 140737393922944 140737393916584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 19256 18172 850 1460 0 17787 0
Current children cumulated CPU time (s) 362.24
Current children cumulated vsize (KiB) 77024
[startup+362.7 s]
/proc/loadavg: 1.99 1.48 1.19 3/177 4298
/proc/meminfo: memFree=27787880/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=77348 CPUtime=362.63 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 30398 0 0 0 35522 741 0 0 20 0 1 0 267819405 79204352 18183 33554432000 4194304 10173063 140737393922944 140737393915928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 19337 18183 850 1460 0 17868 0
Current children cumulated CPU time (s) 362.63
Current children cumulated vsize (KiB) 77348
[startup+363.1 s]
/proc/loadavg: 1.99 1.48 1.19 3/177 4298
/proc/meminfo: memFree=27788252/32873844 swapFree=7620/7620
[pid=4296] ppid=4294 vsize=77348 CPUtime=363.03 cores=1,3,5,7
/proc/4296/stat : 4296 (scip-2.1.1.4fix) R 4294 4296 3948 0 -1 4202496 30421 0 0 0 35562 741 0 0 20 0 1 0 267819405 79204352 18206 33554432000 4194304 10173063 140737393922944 140737393915928 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4296/statm: 19337 18206 850 1460 0 17868 0
Current children cumulated CPU time (s) 363.03
Current children cumulated vsize (KiB) 77348
Child status: 0
Real time (s): 363.191
CPU time (s): 363.135
CPU user time (s): 355.71
CPU system time (s): 7.42487
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 77476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.71
system time used= 7.42487
maximum resident set size= 73024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30427
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= 3
involuntary context switches= 374
runsolver used 0.606907 second user time and 1.73374 second system time
The end