0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691601-1338021783.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.00/0.04 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.05/0.06 c presolving (4 rounds):
0.05/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.06 c 242 implications, 22 cliques
0.05/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.05/0.06 c 1 constraints of type <knapsack>
0.05/0.06 c 22 constraints of type <setppc>
0.05/0.06 c 2420 constraints of type <logicor>
0.05/0.06 c transformed objective value is always integral (scale: 1)
0.05/0.06 c Presolving Time: 0.05
0.05/0.06 c - non default parameters ----------------------------------------------------------------------
0.05/0.06 c # SCIP version 2.1.1.4
0.05/0.06 c
0.05/0.06 c # maximal time in seconds to run
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/time = 1797
0.05/0.06 c
0.05/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/memory = 13950
0.05/0.06 c
0.05/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c limits/solutions = 1
0.05/0.06 c
0.05/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.05/0.06 c separating/maxrounds = 1
0.05/0.06 c
0.05/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c separating/maxroundsroot = 5
0.05/0.06 c
0.05/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.06 c # [type: int, range: [1,2], default: 1]
0.05/0.06 c timing/clocktype = 2
0.05/0.06 c
0.05/0.06 c # belongs reading time to solving time?
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c timing/reading = TRUE
0.05/0.06 c
0.05/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.05/0.06 c constraints/knapsack/disaggregation = FALSE
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.06 c heuristics/coefdiving/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.05/0.06 c heuristics/crossover/freq = -1
0.05/0.06 c
0.05/0.06 c # number of nodes added to the contingent of the total nodes
0.05/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.05/0.06 c heuristics/crossover/nodesofs = 750
0.05/0.06 c
0.05/0.06 c # number of nodes without incumbent change that heuristic should wait
0.05/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.05/0.06 c heuristics/crossover/nwaitingnodes = 100
0.05/0.06 c
0.05/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.05/0.06 c # [type: real, range: [0,1], default: 0.1]
0.05/0.06 c heuristics/crossover/nodesquot = 0.15
0.05/0.06 c
0.05/0.06 c # minimum percentage of integer variables that have to be fixed
0.05/0.06 c # [type: real, range: [0,1], default: 0.666]
0.05/0.06 c heuristics/crossover/minfixingrate = 0.5
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.06 c heuristics/feaspump/freq = -1
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.06 c heuristics/fracdiving/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.06 c heuristics/guideddiving/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.06 c heuristics/intshifting/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.06 c heuristics/linesearchdiving/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.06 c heuristics/objpscostdiving/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.05/0.06 c # [type: real, range: [0,1], default: 0.01]
0.05/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c heuristics/oneopt/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.06 c heuristics/pscostdiving/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.06 c heuristics/rens/freq = -1
0.05/0.06 c
0.05/0.06 c # minimum percentage of integer variables that have to be fixable
0.05/0.06 c # [type: real, range: [0,1], default: 0.5]
0.05/0.06 c heuristics/rens/minfixingrate = 0.3
0.05/0.06 c
0.05/0.06 c # number of nodes added to the contingent of the total nodes
0.05/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.05/0.06 c heuristics/rens/nodesofs = 2000
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.06 c heuristics/rootsoldiving/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.05/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c heuristics/rounding/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.06 c heuristics/shiftandpropagate/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.06 c heuristics/shifting/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c heuristics/simplerounding/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c heuristics/subnlp/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.06 c heuristics/trivial/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c heuristics/trysol/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.06 c heuristics/undercover/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.06 c heuristics/veclendiving/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.05/0.06 c
0.05/0.06 c # additional number of allowed LP iterations
0.05/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c heuristics/zirounding/freq = -1
0.05/0.06 c
0.05/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c propagating/probing/maxprerounds = 0
0.05/0.06 c
0.05/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.06 c separating/cmir/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.06 c separating/flowcover/freq = -1
0.05/0.06 c
0.05/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c separating/rapidlearning/freq = 0
0.05/0.06 c
0.05/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c heuristics/indoneopt/freq = -1
0.05/0.06 c
0.05/0.06 c -----------------------------------------------------------------------------------------------
0.05/0.06 c start solving
0.05/0.06 c
0.05/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 90 | - |4672k| 0 | 39 | 231 |2706 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 105 | - |4997k| 0 | 45 | 231 |2706 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 120 | - |5440k| 0 | 46 | 231 |2706 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 139 | - |5884k| 0 | 47 | 231 |2706 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.49 c 0.5s| 1 | 0 | 146 | - |6224k| 0 | 51 | 231 |2706 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.72 c 0.7s| 1 | 2 | 146 | - |6225k| 0 | 51 | 231 |2706 | 231 |2460 | 17 | 0 | 11 | 0.000000e+00 | -- | Inf
9.38/9.47 c 9.5s| 100 | 13 | 5082 | 49.9 |6372k| 14 | 34 | 231 |2741 | 231 |2453 | 17 | 35 |1607 | 0.000000e+00 | -- | Inf
9.98/10.07 c 10.1s| 200 | 12 | 6990 | 34.4 |6404k| 20 | - | 231 |2807 | 0 | 0 | 17 | 101 |1704 | 0.000000e+00 | -- | Inf
10.28/10.34 c 10.3s| 300 | 11 | 8553 | 28.1 |6427k| 35 | - | 231 |2873 | 231 |2453 | 17 | 167 |1720 | 0.000000e+00 | -- | Inf
10.68/10.78 c 10.8s| 400 | 15 | 10344 | 25.6 |6461k| 35 | 36 | 231 |2947 | 231 |2453 | 17 | 241 |1776 | 0.000000e+00 | -- | Inf
10.99/11.04 c 11.0s| 500 | 15 | 12098 | 24.0 |6493k| 35 | - | 231 |3024 | 231 |2453 | 17 | 318 |1788 | 0.000000e+00 | -- | Inf
11.28/11.36 c 11.4s| 600 | 16 | 13949 | 23.0 |6520k| 35 | 35 | 231 |3095 | 231 |2453 | 17 | 389 |1812 | 0.000000e+00 | -- | Inf
11.58/11.65 c 11.7s| 700 | 16 | 15567 | 22.1 |6537k| 35 | 30 | 231 |3148 | 231 |2453 | 17 | 443 |1836 | 0.000000e+00 | -- | Inf
11.78/11.88 c 11.9s| 800 | 14 | 17081 | 21.2 |6554k| 35 | - | 231 |3202 | 231 |2453 | 17 | 498 |1844 | 0.000000e+00 | -- | Inf
12.09/12.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.09/12.14 c 12.1s| 900 | 18 | 18767 | 20.7 |6590k| 35 | - | 231 |3268 | 0 | 0 | 17 | 564 |1857 | 0.000000e+00 | -- | Inf
12.28/12.38 c 12.4s| 1000 | 17 | 20440 | 20.3 |6614k| 35 | - | 231 |3331 | 231 |2453 | 17 | 628 |1863 | 0.000000e+00 | -- | Inf
12.58/12.62 c 12.6s| 1100 | 16 | 22032 | 19.9 |6625k| 35 | 31 | 231 |3387 | 231 |2453 | 17 | 684 |1873 | 0.000000e+00 | -- | Inf
12.78/12.87 c 12.9s| 1200 | 15 | 23899 | 19.8 |6652k| 35 | 35 | 231 |3465 | 231 |2453 | 17 | 765 |1881 | 0.000000e+00 | -- | Inf
13.09/13.13 c 13.1s| 1300 | 14 | 25570 | 19.6 |6680k| 35 | - | 231 |3535 | 231 |2453 | 17 | 835 |1890 | 0.000000e+00 | -- | Inf
13.28/13.37 c 13.4s| 1400 | 14 | 27153 | 19.3 |6709k| 35 | - | 231 |3611 | 231 |2453 | 17 | 914 |1900 | 0.000000e+00 | -- | Inf
13.58/13.64 c 13.6s| 1500 | 17 | 29233 | 19.4 |6735k| 35 | - | 231 |3658 | 231 |2453 | 17 | 970 |1905 | 0.000000e+00 | -- | Inf
13.78/13.87 c 13.9s| 1600 | 17 | 31055 | 19.3 |6763k| 35 | 32 | 231 |3722 | 231 |2453 | 17 |1038 |1905 | 0.000000e+00 | -- | Inf
14.08/14.11 c 14.1s| 1700 | 16 | 32969 | 19.3 |6779k| 35 | 28 | 231 |3789 | 231 |2453 | 17 |1108 |1906 | 0.000000e+00 | -- | Inf
14.28/14.31 c 14.3s| 1800 | 18 | 34432 | 19.1 |6816k| 35 | - | 231 |3858 | 231 |2453 | 17 |1181 |1907 | 0.000000e+00 | -- | Inf
14.58/14.61 c 14.6s| 1900 | 16 | 36352 | 19.1 |6826k| 35 | - | 231 |3922 | 231 |2453 | 17 |1247 |1924 | 0.000000e+00 | -- | Inf
14.78/14.89 c 14.9s| 2000 | 16 | 38143 | 19.0 |6859k| 35 | - | 231 |4001 | 231 |2453 | 17 |1326 |1939 | 0.000000e+00 | -- | Inf
15.18/15.24 c 15.2s| 2100 | 16 | 40252 | 19.1 |6894k| 35 | 36 | 231 |4078 | 231 |2453 | 17 |1413 |1962 | 0.000000e+00 | -- | Inf
15.48/15.58 c 15.6s| 2200 | 16 | 42329 | 19.2 |6918k| 35 | 38 | 231 |4144 | 231 |2453 | 17 |1493 |1982 | 0.000000e+00 | -- | Inf
15.88/15.91 c 15.9s| 2300 | 14 | 44539 | 19.3 |6939k| 35 | 40 | 231 |4216 | 231 |2453 | 17 |1589 |2000 | 0.000000e+00 | -- | Inf
16.17/16.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.17/16.20 c 16.2s| 2400 | 18 | 46252 | 19.2 |6980k| 35 | 24 | 231 |4292 | 231 |2453 | 17 |1673 |2021 | 0.000000e+00 | -- | Inf
16.39/16.49 c 16.5s| 2500 | 18 | 48067 | 19.2 |7001k| 35 | 33 | 231 |4354 | 231 |2453 | 17 |1738 |2042 | 0.000000e+00 | -- | Inf
16.68/16.73 c 16.7s| 2600 | 19 | 49770 | 19.1 |7027k| 35 | 32 | 231 |4418 | 231 |2453 | 17 |1803 |2048 | 0.000000e+00 | -- | Inf
16.87/16.94 c 16.9s| 2700 | 20 | 51395 | 19.0 |7065k| 35 | - | 231 |4489 | 231 |2453 | 17 |1886 |2051 | 0.000000e+00 | -- | Inf
17.08/17.17 c 17.2s| 2800 | 18 | 53178 | 18.9 |7084k| 35 | 31 | 231 |4555 | 231 |2453 | 17 |1957 |2052 | 0.000000e+00 | -- | Inf
17.28/17.37 c 17.4s| 2900 | 21 | 54596 | 18.8 |7115k| 35 | - | 231 |4618 | 231 |2453 | 17 |2021 |2056 | 0.000000e+00 | -- | Inf
17.58/17.60 c 17.6s| 3000 | 17 | 56370 | 18.7 |7121k| 35 | 40 | 231 |4689 | 231 |2453 | 17 |2094 |2058 | 0.000000e+00 | -- | Inf
17.88/17.90 c 17.9s| 3100 | 15 | 58762 | 18.9 |7140k| 35 | - | 231 |4752 | 231 |2453 | 17 |2169 |2061 | 0.000000e+00 | -- | Inf
18.08/18.15 c 18.1s| 3200 | 13 | 60745 | 18.9 |7165k| 35 | - | 231 |4817 | 231 |2453 | 17 |2255 |2064 | 0.000000e+00 | -- | Inf
18.38/18.42 c 18.4s| 3300 | 17 | 62924 | 19.0 |7188k| 35 | 44 | 231 |4842 | 231 |2453 | 17 |2320 |2067 | 0.000000e+00 | -- | Inf
18.58/18.69 c 18.7s| 3400 | 17 | 64952 | 19.1 |7224k| 35 | - | 231 |4913 | 231 |2453 | 17 |2406 |2071 | 0.000000e+00 | -- | Inf
18.88/18.92 c 18.9s| 3500 | 17 | 66741 | 19.0 |7244k| 35 | 27 | 231 |4989 | 231 |2453 | 17 |2493 |2072 | 0.000000e+00 | -- | Inf
19.08/19.19 c 19.2s| 3600 | 18 | 68976 | 19.1 |7269k| 35 | 26 | 231 |5051 | 231 |2453 | 17 |2580 |2073 | 0.000000e+00 | -- | Inf
19.38/19.41 c 19.4s| 3700 | 20 | 70739 | 19.1 |7285k| 35 | 28 | 231 |5094 | 231 |2453 | 17 |2648 |2073 | 0.000000e+00 | -- | Inf
19.58/19.64 c 19.6s| 3800 | 22 | 72419 | 19.0 |7310k| 35 | 21 | 231 |5133 | 231 |2453 | 17 |2723 |2077 | 0.000000e+00 | -- | Inf
19.78/19.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.78/19.88 c 19.9s| 3900 | 23 | 74316 | 19.0 |7332k| 35 | 37 | 231 |5179 | 231 |2453 | 17 |2796 |2078 | 0.000000e+00 | -- | Inf
20.08/20.17 c 20.2s| 4000 | 21 | 76379 | 19.1 |7351k| 35 | - | 231 |5232 | 231 |2453 | 17 |2870 |2091 | 0.000000e+00 | -- | Inf
20.38/20.48 c 20.5s| 4100 | 23 | 78324 | 19.1 |7358k| 35 | 32 | 231 |5247 | 231 |2453 | 17 |2935 |2108 | 0.000000e+00 | -- | Inf
20.68/20.79 c 20.8s| 4200 | 25 | 80224 | 19.1 |7373k| 35 | 38 | 231 |5269 | 231 |2453 | 17 |3002 |2123 | 0.000000e+00 | -- | Inf
20.98/21.07 c 21.1s| 4300 | 25 | 81904 | 19.0 |7392k| 35 | 35 | 231 |5318 | 231 |2453 | 17 |3080 |2138 | 0.000000e+00 | -- | Inf
21.27/21.35 c 21.4s| 4400 | 25 | 83574 | 19.0 |7414k| 35 | 39 | 231 |5380 | 231 |2453 | 17 |3170 |2155 | 0.000000e+00 | -- | Inf
21.58/21.60 c 21.6s| 4500 | 27 | 85088 | 18.9 |7439k| 35 | 33 | 231 |5431 | 231 |2453 | 17 |3243 |2165 | 0.000000e+00 | -- | Inf
21.88/21.91 c 21.9s| 4600 | 27 | 86952 | 18.9 |7463k| 35 | 30 | 231 |5489 | 231 |2453 | 17 |3331 |2183 | 0.000000e+00 | -- | Inf
22.07/22.17 c 22.2s| 4700 | 28 | 88590 | 18.8 |7487k| 35 | 25 | 231 |5536 | 231 |2453 | 17 |3400 |2195 | 0.000000e+00 | -- | Inf
22.37/22.42 c 22.4s| 4800 | 27 | 90053 | 18.7 |7506k| 35 | - | 231 |5592 | 0 | 0 | 17 |3465 |2212 | 0.000000e+00 | -- | Inf
22.58/22.64 c 22.6s| 4900 | 29 | 91333 | 18.6 |7524k| 35 | 25 | 231 |5641 | 231 |2453 | 17 |3541 |2224 | 0.000000e+00 | -- | Inf
22.77/22.87 c 22.9s| 5000 | 29 | 92935 | 18.6 |7539k| 35 | 31 | 231 |5677 | 231 |2453 | 17 |3592 |2231 | 0.000000e+00 | -- | Inf
23.09/23.13 c 23.1s| 5100 | 26 | 94885 | 18.6 |7565k| 35 | - | 231 |5738 | 231 |2453 | 17 |3664 |2239 | 0.000000e+00 | -- | Inf
23.38/23.40 c 23.4s| 5200 | 28 | 96970 | 18.6 |7586k| 35 | - | 231 |5777 | 231 |2453 | 17 |3723 |2245 | 0.000000e+00 | -- | Inf
23.57/23.68 c 23.7s| 5300 | 25 | 98999 | 18.7 |7606k| 36 | - | 231 |5834 | 231 |2453 | 17 |3793 |2251 | 0.000000e+00 | -- | Inf
23.88/23.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.88/23.93 c 23.9s| 5400 | 25 |100801 | 18.6 |7626k| 36 | 32 | 231 |5892 | 231 |2453 | 17 |3868 |2256 | 0.000000e+00 | -- | Inf
24.08/24.18 c 24.2s| 5500 | 25 |102755 | 18.7 |7640k| 36 | 31 | 231 |5937 | 231 |2453 | 17 |3931 |2259 | 0.000000e+00 | -- | Inf
24.38/24.43 c 24.4s| 5600 | 24 |104676 | 18.7 |7664k| 36 | 44 | 231 |5991 | 231 |2453 | 17 |4005 |2261 | 0.000000e+00 | -- | Inf
24.57/24.67 c 24.7s| 5700 | 29 |106709 | 18.7 |7699k| 36 | 25 | 231 |6052 | 231 |2453 | 17 |4076 |2261 | 0.000000e+00 | -- | Inf
24.88/24.91 c 24.9s| 5800 | 27 |108642 | 18.7 |7720k| 36 | - | 231 |6118 | 231 |2453 | 17 |4163 |2265 | 0.000000e+00 | -- | Inf
25.08/25.18 c 25.2s| 5900 | 29 |110687 | 18.7 |7748k| 36 | 36 | 231 |6170 | 231 |2453 | 17 |4243 |2268 | 0.000000e+00 | -- | Inf
25.38/25.48 c 25.5s| 6000 | 29 |113235 | 18.9 |7776k| 36 | - | 231 |6226 | 231 |2453 | 17 |4323 |2269 | 0.000000e+00 | -- | Inf
25.68/25.75 c 25.8s| 6100 | 31 |115460 | 18.9 |7803k| 36 | 36 | 231 |6246 | 231 |2453 | 17 |4399 |2269 | 0.000000e+00 | -- | Inf
25.87/25.96 c 26.0s| 6200 | 36 |117044 | 18.9 |7839k| 36 | - | 231 |6299 | 231 |2453 | 17 |4492 |2270 | 0.000000e+00 | -- | Inf
26.18/26.20 c 26.2s| 6300 | 35 |118944 | 18.9 |7858k| 36 | 41 | 231 |6363 | 231 |2453 | 17 |4588 |2271 | 0.000000e+00 | -- | Inf
26.38/26.44 c 26.4s| 6400 | 40 |120877 | 18.9 |7893k| 36 | 37 | 231 |6401 | 231 |2453 | 17 |4673 |2273 | 0.000000e+00 | -- | Inf
26.67/26.70 c 26.7s| 6500 | 42 |122990 | 18.9 |7916k| 36 | 35 | 231 |6431 | 231 |2453 | 17 |4761 |2273 | 0.000000e+00 | -- | Inf
26.98/27.02 c 27.0s| 6600 | 42 |124731 | 18.9 |7922k| 36 | 39 | 231 |6441 | 231 |2453 | 17 |4818 |2295 | 0.000000e+00 | -- | Inf
27.27/27.30 c 27.3s| 6700 | 42 |126805 | 18.9 |7939k| 36 | - | 231 |6467 | 231 |2453 | 17 |4882 |2301 | 0.000000e+00 | -- | Inf
27.58/27.61 c 27.6s| 6800 | 47 |128658 | 18.9 |7973k| 36 | - | 231 |6508 | 231 |2453 | 17 |4938 |2318 | 0.000000e+00 | -- | Inf
27.88/27.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.88/27.93 c 27.9s| 6900 | 47 |130785 | 18.9 |7991k| 36 | 27 | 231 |6560 | 231 |2453 | 17 |4995 |2335 | 0.000000e+00 | -- | Inf
28.18/28.25 c 28.2s| 7000 | 47 |132874 | 19.0 |8014k| 36 | - | 231 |6619 | 231 |2453 | 17 |5069 |2349 | 0.000000e+00 | -- | Inf
28.48/28.54 c 28.5s| 7100 | 49 |134660 | 18.9 |8039k| 36 | 30 | 231 |6676 | 231 |2453 | 17 |5137 |2365 | 0.000000e+00 | -- | Inf
28.77/28.86 c 28.9s| 7200 | 48 |136787 | 19.0 |8068k| 36 | - | 231 |6746 | 231 |2453 | 17 |5216 |2381 | 0.000000e+00 | -- | Inf
29.08/29.19 c 29.2s| 7300 | 48 |138985 | 19.0 |8083k| 36 | 39 | 231 |6797 | 231 |2453 | 17 |5280 |2394 | 0.000000e+00 | -- | Inf
29.38/29.49 c 29.5s| 7400 | 46 |140963 | 19.0 |8094k| 37 | - | 231 |6829 | 231 |2453 | 17 |5373 |2407 | 0.000000e+00 | -- | Inf
29.77/29.80 c 29.8s| 7500 | 52 |143039 | 19.1 |8122k| 37 | 29 | 231 |6826 | 231 |2453 | 17 |5450 |2420 | 0.000000e+00 | -- | Inf
29.98/30.05 c 30.0s| 7600 | 47 |144949 | 19.1 |8127k| 37 | 38 | 231 |6874 | 231 |2453 | 17 |5534 |2422 | 0.000000e+00 | -- | Inf
30.18/30.29 c 30.3s| 7700 | 54 |146818 | 19.1 |8153k| 37 | - | 231 |6884 | 231 |2453 | 17 |5591 |2424 | 0.000000e+00 | -- | Inf
30.48/30.56 c 30.6s| 7800 | 51 |148912 | 19.1 |8154k| 37 | - | 231 |6897 | 231 |2453 | 17 |5665 |2425 | 0.000000e+00 | -- | Inf
30.78/30.82 c 30.8s| 7900 | 51 |151117 | 19.1 |8184k| 37 | - | 231 |6962 | 231 |2453 | 17 |5749 |2425 | 0.000000e+00 | -- | Inf
30.98/31.09 c 31.1s| 8000 | 50 |153178 | 19.1 |8187k| 37 | 41 | 231 |6979 | 231 |2453 | 17 |5811 |2429 | 0.000000e+00 | -- | Inf
31.28/31.35 c 31.3s| 8100 | 51 |155187 | 19.1 |8204k| 37 | - | 231 |6956 | 231 |2453 | 17 |5885 |2430 | 0.000000e+00 | -- | Inf
31.58/31.60 c 31.6s| 8200 | 51 |157158 | 19.2 |8228k| 37 | - | 231 |7007 | 231 |2453 | 17 |5970 |2433 | 0.000000e+00 | -- | Inf
31.78/31.87 c 31.9s| 8300 | 47 |159272 | 19.2 |8224k| 37 | - | 231 |7017 | 231 |2453 | 17 |6045 |2433 | 0.000000e+00 | -- | Inf
32.08/32.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.08/32.11 c 32.1s| 8400 | 48 |161129 | 19.2 |8227k| 37 | - | 231 |7011 | 231 |2453 | 17 |6121 |2434 | 0.000000e+00 | -- | Inf
32.28/32.34 c 32.3s| 8500 | 49 |162945 | 19.2 |8240k| 37 | 32 | 231 |7038 | 231 |2453 | 17 |6200 |2435 | 0.000000e+00 | -- | Inf
32.48/32.59 c 32.6s| 8600 | 47 |165007 | 19.2 |8243k| 37 | 43 | 231 |7041 | 231 |2453 | 17 |6266 |2435 | 0.000000e+00 | -- | Inf
32.77/32.85 c 32.9s| 8700 | 48 |167223 | 19.2 |8230k| 37 | 34 | 231 |6979 | 231 |2453 | 17 |6356 |2435 | 0.000000e+00 | -- | Inf
33.08/33.12 c 33.1s| 8800 | 47 |169472 | 19.2 |8225k| 37 | 40 | 231 |6985 | 231 |2453 | 17 |6425 |2435 | 0.000000e+00 | -- | Inf
33.38/33.41 c 33.4s| 8900 | 47 |171879 | 19.3 |8210k| 37 | - | 231 |6919 | 231 |2453 | 17 |6495 |2435 | 0.000000e+00 | -- | Inf
33.67/33.75 c 33.7s| 9000 | 46 |174173 | 19.3 |8199k| 37 | - | 231 |6878 | 231 |2453 | 17 |6569 |2451 | 0.000000e+00 | -- | Inf
33.98/34.07 c 34.1s| 9100 | 47 |176132 | 19.3 |8177k| 37 | - | 231 |6812 | 231 |2453 | 17 |6651 |2466 | 0.000000e+00 | -- | Inf
34.37/34.44 c 34.4s| 9200 | 45 |178448 | 19.4 |8169k| 37 | 48 | 231 |6823 | 231 |2453 | 17 |6730 |2483 | 0.000000e+00 | -- | Inf
34.67/34.76 c 34.8s| 9300 | 45 |180750 | 19.4 |8180k| 37 | - | 231 |6833 | 231 |2453 | 17 |6794 |2492 | 0.000000e+00 | -- | Inf
34.98/35.10 c 35.1s| 9400 | 45 |182822 | 19.4 |8184k| 37 | - | 231 |6828 | 231 |2453 | 17 |6849 |2512 | 0.000000e+00 | -- | Inf
35.38/35.40 c 35.4s| 9500 | 47 |184798 | 19.4 |8189k| 37 | - | 231 |6816 | 231 |2453 | 17 |6915 |2523 | 0.000000e+00 | -- | Inf
35.57/35.69 c 35.7s| 9600 | 48 |186695 | 19.4 |8200k| 37 | - | 231 |6813 | 231 |2453 | 17 |6992 |2536 | 0.000000e+00 | -- | Inf
35.97/36.07 c 36.1s| 9700 | 48 |189328 | 19.5 |8219k| 37 | - | 231 |6845 | 231 |2453 | 17 |7067 |2554 | 0.000000e+00 | -- | Inf
36.37/36.40 c 36.4s| 9800 | 53 |191646 | 19.5 |8247k| 37 | 34 | 231 |6883 | 231 |2453 | 17 |7138 |2568 | 0.000000e+00 | -- | Inf
36.57/36.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.57/36.69 c 36.7s| 9900 | 50 |193790 | 19.6 |8272k| 37 | 37 | 231 |6963 | 231 |2453 | 17 |7226 |2574 | 0.000000e+00 | -- | Inf
36.87/36.99 c 37.0s| 10000 | 52 |196322 | 19.6 |8301k| 37 | 40 | 231 |7019 | 231 |2453 | 17 |7307 |2577 | 0.000000e+00 | -- | Inf
37.17/37.27 c 37.3s| 10100 | 51 |198514 | 19.6 |8334k| 37 | 36 | 231 |7101 | 231 |2453 | 17 |7398 |2580 | 0.000000e+00 | -- | Inf
37.48/37.55 c 37.6s| 10200 | 53 |200829 | 19.7 |8359k| 37 | - | 231 |7121 | 231 |2453 | 17 |7480 |2581 | 0.000000e+00 | -- | Inf
37.78/37.82 c 37.8s| 10300 | 47 |202920 | 19.7 |8352k| 38 | - | 231 |7129 | 231 |2453 | 17 |7547 |2582 | 0.000000e+00 | -- | Inf
38.07/38.12 c 38.1s| 10400 | 50 |205354 | 19.7 |8364k| 38 | - | 231 |7096 | 231 |2453 | 17 |7625 |2583 | 0.000000e+00 | -- | Inf
38.27/38.38 c 38.4s| 10500 | 52 |207452 | 19.7 |8385k| 38 | - | 231 |7111 | 231 |2453 | 17 |7692 |2583 | 0.000000e+00 | -- | Inf
38.58/38.64 c 38.6s| 10600 | 52 |209510 | 19.8 |8382k| 38 | 38 | 231 |7076 | 231 |2453 | 17 |7761 |2583 | 0.000000e+00 | -- | Inf
38.78/38.89 c 38.9s| 10700 | 53 |211489 | 19.8 |8397k| 38 | - | 231 |7089 | 231 |2453 | 17 |7849 |2583 | 0.000000e+00 | -- | Inf
39.08/39.13 c 39.1s| 10800 | 53 |213305 | 19.7 |8408k| 38 | - | 231 |7108 | 231 |2453 | 17 |7936 |2584 | 0.000000e+00 | -- | Inf
39.27/39.36 c 39.4s| 10900 | 54 |215114 | 19.7 |8426k| 38 | 40 | 231 |7105 | 231 |2453 | 17 |7999 |2584 | 0.000000e+00 | -- | Inf
39.58/39.62 c 39.6s| 11000 | 54 |217193 | 19.7 |8429k| 38 | 41 | 231 |7105 | 231 |2453 | 17 |8080 |2584 | 0.000000e+00 | -- | Inf
39.77/39.85 c 39.8s| 11100 | 55 |218862 | 19.7 |8431k| 38 | 41 | 231 |7095 | 231 |2453 | 17 |8149 |2584 | 0.000000e+00 | -- | Inf
40.08/40.11 c 40.1s| 11200 | 54 |221028 | 19.7 |8444k| 38 | - | 231 |7086 | 0 | 0 | 17 |8220 |2584 | 0.000000e+00 | -- | Inf
40.37/40.40 c 40.4s| 11300 | 54 |223534 | 19.8 |8443k| 38 | - | 231 |7111 | 231 |2453 | 17 |8296 |2584 | 0.000000e+00 | -- | Inf
40.58/40.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.58/40.65 c 40.6s| 11400 | 55 |225518 | 19.8 |8461k| 38 | 35 | 231 |7155 | 231 |2453 | 17 |8369 |2585 | 0.000000e+00 | -- | Inf
40.88/40.92 c 40.9s| 11500 | 54 |227800 | 19.8 |8458k| 38 | 41 | 231 |7116 | 231 |2453 | 17 |8451 |2585 | 0.000000e+00 | -- | Inf
41.17/41.20 c 41.2s| 11600 | 58 |230055 | 19.8 |8455k| 38 | - | 231 |7065 | 231 |2453 | 17 |8518 |2586 | 0.000000e+00 | -- | Inf
41.37/41.44 c 41.4s| 11700 | 60 |231977 | 19.8 |8474k| 38 | - | 231 |7090 | 231 |2453 | 17 |8572 |2587 | 0.000000e+00 | -- | Inf
41.57/41.66 c 41.7s| 11800 | 59 |233755 | 19.8 |8487k| 38 | 37 | 231 |7138 | 231 |2453 | 17 |8635 |2587 | 0.000000e+00 | -- | Inf
41.87/41.93 c 41.9s| 11900 | 59 |235892 | 19.8 |8507k| 38 | 22 | 231 |7163 | 231 |2453 | 17 |8718 |2588 | 0.000000e+00 | -- | Inf
42.17/42.20 c 42.2s| 12000 | 56 |238151 | 19.8 |8522k| 38 | - | 231 |7211 | 231 |2453 | 17 |8806 |2589 | 0.000000e+00 | -- | Inf
42.37/42.47 c 42.5s| 12100 | 58 |240311 | 19.8 |8526k| 38 | - | 231 |7207 | 231 |2453 | 17 |8878 |2589 | 0.000000e+00 | -- | Inf
42.68/42.73 c 42.7s| 12200 | 58 |242289 | 19.8 |8502k| 38 | - | 231 |7128 | 231 |2453 | 17 |8943 |2589 | 0.000000e+00 | -- | Inf
42.97/43.00 c 43.0s| 12300 | 58 |244492 | 19.9 |8495k| 38 | 34 | 231 |7104 | 231 |2453 | 17 |9019 |2589 | 0.000000e+00 | -- | Inf
43.17/43.27 c 43.3s| 12400 | 56 |246819 | 19.9 |8510k| 38 | 38 | 231 |7165 | 231 |2453 | 17 |9113 |2589 | 0.000000e+00 | -- | Inf
43.48/43.52 c 43.5s| 12500 | 54 |248772 | 19.9 |8507k| 38 | - | 231 |7168 | 0 | 0 | 17 |9191 |2589 | 0.000000e+00 | -- | Inf
43.77/43.80 c 43.8s| 12600 | 52 |251157 | 19.9 |8496k| 38 | 42 | 231 |7161 | 231 |2453 | 17 |9262 |2589 | 0.000000e+00 | -- | Inf
43.99/44.07 c 44.1s| 12700 | 52 |253212 | 19.9 |8487k| 38 | 34 | 231 |7129 | 231 |2453 | 17 |9329 |2589 | 0.000000e+00 | -- | Inf
44.27/44.30 c 44.3s| 12800 | 50 |255040 | 19.9 |8496k| 38 | - | 231 |7162 | 231 |2453 | 17 |9395 |2589 | 0.000000e+00 | -- | Inf
44.48/44.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.48/44.56 c 44.6s| 12900 | 50 |257134 | 19.9 |8507k| 38 | - | 231 |7197 | 231 |2453 | 17 |9463 |2589 | 0.000000e+00 | -- | Inf
44.77/44.83 c 44.8s| 13000 | 50 |259295 | 19.9 |8527k| 38 | - | 231 |7232 | 231 |2453 | 17 |9538 |2589 | 0.000000e+00 | -- | Inf
44.98/45.07 c 45.1s| 13100 | 52 |261229 | 19.9 |8521k| 38 | 34 | 231 |7218 | 231 |2453 | 17 |9615 |2589 | 0.000000e+00 | -- | Inf
45.18/45.29 c 45.3s| 13200 | 50 |262952 | 19.9 |8517k| 38 | - | 231 |7208 | 231 |2453 | 17 |9690 |2589 | 0.000000e+00 | -- | Inf
45.47/45.51 c 45.5s| 13300 | 50 |264612 | 19.9 |8531k| 38 | - | 231 |7233 | 231 |2453 | 17 |9759 |2589 | 0.000000e+00 | -- | Inf
45.68/45.77 c 45.8s| 13400 | 52 |266749 | 19.9 |8533k| 38 | 42 | 231 |7238 | 231 |2453 | 17 |9817 |2589 | 0.000000e+00 | -- | Inf
45.98/46.05 c 46.0s| 13500 | 52 |269016 | 19.9 |8547k| 38 | - | 231 |7257 | 231 |2453 | 17 |9894 |2589 | 0.000000e+00 | -- | Inf
46.18/46.29 c 46.3s| 13600 | 52 |270867 | 19.9 |8548k| 38 | 46 | 231 |7264 | 231 |2453 | 17 |9973 |2589 | 0.000000e+00 | -- | Inf
46.47/46.54 c 46.5s| 13700 | 53 |272759 | 19.9 |8560k| 38 | 26 | 231 |7316 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
46.68/46.79 c 46.8s| 13800 | 52 |274717 | 19.9 |8553k| 38 | 38 | 231 |7294 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
46.97/47.03 c 47.0s| 13900 | 51 |276661 | 19.9 |8557k| 38 | 48 | 231 |7323 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
47.28/47.31 c 47.3s| 14000 | 49 |278975 | 19.9 |8549k| 38 | 36 | 231 |7349 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
47.47/47.57 c 47.6s| 14100 | 49 |281105 | 19.9 |8556k| 38 | - | 231 |7359 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
47.78/47.84 c 47.8s| 14200 | 47 |283426 | 20.0 |8559k| 38 | 40 | 231 |7402 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
48.07/48.11 c 48.1s| 14300 | 49 |285671 | 20.0 |8573k| 38 | 35 | 231 |7424 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
48.28/48.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.28/48.33 c 48.3s| 14400 | 49 |287350 | 19.9 |8596k| 38 | - | 231 |7470 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
48.47/48.59 c 48.6s| 14500 | 48 |289438 | 20.0 |8609k| 38 | - | 231 |7522 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
48.77/48.85 c 48.9s| 14600 | 48 |291628 | 20.0 |8627k| 38 | - | 231 |7574 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
49.08/49.11 c 49.1s| 14700 | 46 |293686 | 20.0 |8634k| 38 | - | 231 |7590 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
49.27/49.39 c 49.4s| 14800 | 47 |296060 | 20.0 |8660k| 38 | 43 | 231 |7661 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
49.57/49.66 c 49.7s| 14900 | 45 |298247 | 20.0 |8692k| 39 | - | 231 |7741 | 231 |2453 | 17 | 10k|2589 | 0.000000e+00 | -- | Inf
49.88/49.92 c 49.9s| 15000 | 45 |300343 | 20.0 |8711k| 39 | - | 231 |7780 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
50.07/50.15 c 50.2s| 15100 | 45 |302169 | 20.0 |8722k| 39 | 41 | 231 |7824 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
50.37/50.42 c 50.4s| 15200 | 45 |304391 | 20.0 |8746k| 39 | - | 231 |7875 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
50.58/50.69 c 50.7s| 15300 | 44 |306767 | 20.0 |8767k| 39 | - | 231 |7928 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
50.87/50.96 c 51.0s| 15400 | 42 |308966 | 20.1 |8761k| 39 | 25 | 231 |7991 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
51.17/51.22 c 51.2s| 15500 | 40 |311064 | 20.1 |8779k| 39 | - | 231 |8026 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
51.38/51.49 c 51.5s| 15600 | 40 |313162 | 20.1 |8773k| 39 | - | 231 |8003 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
51.68/51.74 c 51.7s| 15700 | 39 |315086 | 20.1 |8763k| 39 | - | 231 |7958 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
51.87/51.98 c 52.0s| 15800 | 39 |317039 | 20.1 |8772k| 39 | 39 | 231 |7988 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
52.17/52.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.17/52.24 c 52.2s| 15900 | 39 |319108 | 20.1 |8767k| 39 | - | 231 |7970 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
52.47/52.52 c 52.5s| 16000 | 39 |321346 | 20.1 |8737k| 39 | 36 | 231 |7911 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
52.68/52.76 c 52.8s| 16100 | 39 |323244 | 20.1 |8753k| 39 | 36 | 231 |7951 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
52.97/53.03 c 53.0s| 16200 | 39 |325427 | 20.1 |8761k| 39 | 42 | 231 |7975 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
53.27/53.30 c 53.3s| 16300 | 39 |327595 | 20.1 |8763k| 39 | 45 | 231 |7981 | 231 |2453 | 17 | 11k|2589 | 0.000000e+00 | -- | Inf
53.48/53.57 c 53.6s| 16400 | 37 |329799 | 20.1 |8763k| 39 | 45 | 231 |8002 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
53.78/53.86 c 53.9s| 16500 | 38 |332255 | 20.1 |8778k| 39 | 45 | 231 |8039 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
54.07/54.15 c 54.1s| 16600 | 36 |334671 | 20.2 |8798k| 39 | 42 | 231 |8101 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
54.37/54.40 c 54.4s| 16700 | 35 |336811 | 20.2 |8778k| 39 | 35 | 231 |8139 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
54.57/54.65 c 54.7s| 16800 | 33 |338763 | 20.2 |8789k| 39 | - | 231 |8178 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
54.88/54.92 c 54.9s| 16900 | 31 |340911 | 20.2 |8794k| 39 | - | 231 |8236 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
55.07/55.18 c 55.2s| 17000 | 30 |343078 | 20.2 |8810k| 39 | - | 231 |8276 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
55.37/55.47 c 55.5s| 17100 | 30 |345445 | 20.2 |8780k| 39 | 39 | 231 |8207 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
55.67/55.75 c 55.7s| 17200 | 27 |347718 | 20.2 |8791k| 39 | - | 231 |8243 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
55.87/56.00 c 56.0s| 17300 | 26 |349564 | 20.2 |8741k| 39 | 41 | 231 |8144 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
56.17/56.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.17/56.26 c 56.3s| 17400 | 25 |351663 | 20.2 |8748k| 39 | - | 231 |8153 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
56.48/56.54 c 56.5s| 17500 | 29 |354035 | 20.2 |8767k| 39 | 36 | 231 |8169 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
56.77/56.80 c 56.8s| 17600 | 28 |356122 | 20.2 |8785k| 39 | - | 231 |8219 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
56.97/57.05 c 57.0s| 17700 | 28 |358085 | 20.2 |8803k| 39 | - | 231 |8260 | 231 |2453 | 17 | 12k|2589 | 0.000000e+00 | -- | Inf
57.27/57.32 c 57.3s| 17800 | 26 |360298 | 20.2 |8807k| 39 | - | 231 |8300 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
57.47/57.59 c 57.6s| 17900 | 28 |362568 | 20.2 |8824k| 39 | 39 | 231 |8355 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
57.77/57.89 c 57.9s| 18000 | 26 |365141 | 20.3 |8851k| 39 | - | 231 |8425 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
58.07/58.19 c 58.2s| 18100 | 28 |367692 | 20.3 |8864k| 39 | 35 | 231 |8461 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
58.37/58.46 c 58.5s| 18200 | 28 |369928 | 20.3 |8894k| 39 | 35 | 231 |8538 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
58.67/58.75 c 58.7s| 18300 | 26 |372396 | 20.3 |8901k| 39 | 44 | 231 |8563 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
58.98/59.03 c 59.0s| 18400 | 30 |374759 | 20.4 |8918k| 39 | 32 | 231 |8576 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
59.17/59.30 c 59.3s| 18500 | 27 |376993 | 20.4 |8933k| 39 | - | 231 |8619 | 0 | 0 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
59.47/59.54 c 59.5s| 18600 | 29 |378967 | 20.4 |8930k| 39 | - | 231 |8620 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
59.77/59.81 c 59.8s| 18700 | 30 |381150 | 20.4 |8942k| 39 | 41 | 231 |8656 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
59.97/60.07 c 60.1s| 18800 | 28 |383363 | 20.4 |8960k| 39 | - | 231 |8714 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
60.27/60.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.27/60.33 c 60.3s| 18900 | 31 |385438 | 20.4 |8961k| 39 | - | 231 |8670 | 231 |2453 | 17 | 13k|2589 | 0.000000e+00 | -- | Inf
60.57/60.62 c 60.6s| 19000 | 31 |387864 | 20.4 |8974k| 39 | - | 231 |8708 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
60.78/60.89 c 60.9s| 19100 | 33 |390041 | 20.4 |8995k| 39 | 30 | 231 |8748 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
61.07/61.14 c 61.1s| 19200 | 33 |392080 | 20.4 |9003k| 39 | - | 231 |8758 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
61.37/61.40 c 61.4s| 19300 | 30 |394239 | 20.4 |9010k| 39 | 44 | 231 |8798 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
61.58/61.66 c 61.7s| 19400 | 31 |396281 | 20.4 |9029k| 39 | - | 231 |8835 | 0 | 0 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
61.77/61.89 c 61.9s| 19500 | 29 |398075 | 20.4 |9044k| 39 | - | 231 |8889 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
62.08/62.18 c 62.2s| 19600 | 29 |400584 | 20.4 |9052k| 39 | - | 231 |8934 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
62.47/62.50 c 62.5s| 19700 | 29 |403228 | 20.5 |9070k| 39 | 39 | 231 |8988 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
62.68/62.76 c 62.8s| 19800 | 29 |405305 | 20.5 |9090k| 39 | 39 | 231 |9042 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
62.98/63.06 c 63.1s| 19900 | 28 |407950 | 20.5 |9116k| 39 | 46 | 231 |9109 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
63.27/63.34 c 63.3s| 20000 | 24 |410230 | 20.5 |9100k| 39 | - | 231 |9064 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
63.58/63.64 c 63.6s| 20100 | 24 |412698 | 20.5 |9100k| 39 | 39 | 231 |9085 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
63.87/63.95 c 64.0s| 20200 | 28 |415433 | 20.6 |9141k| 39 | 44 | 231 |9133 | 231 |2453 | 17 | 14k|2589 | 0.000000e+00 | -- | Inf
64.17/64.26 c 64.3s| 20300 | 27 |418163 | 20.6 |9173k| 39 | 37 | 231 |9221 | 231 |2453 | 17 | 15k|2589 | 0.000000e+00 | -- | Inf
64.47/64.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.47/64.56 c 64.6s| 20400 | 25 |420849 | 20.6 |9223k| 39 | - | 231 |9329 | 0 | 0 | 17 | 15k|2589 | 0.000000e+00 | -- | Inf
64.78/64.87 c 64.9s| 20500 | 29 |423506 | 20.7 |9267k| 39 | 34 | 231 |9441 | 231 |2453 | 17 | 15k|2589 | 0.000000e+00 | -- | Inf
65.17/65.20 c 65.2s| 20600 | 29 |426412 | 20.7 |9310k| 39 | 36 | 231 |9534 | 231 |2453 | 17 | 15k|2589 | 0.000000e+00 | -- | Inf
65.47/65.54 c 65.5s| 20700 | 21 |428876 | 20.7 |9310k| 39 | 33 | 231 |9604 | 231 |2453 | 17 | 15k|2599 | 0.000000e+00 | -- | Inf
65.78/65.88 c 65.9s| 20800 | 18 |431112 | 20.7 |9297k| 39 | - | 231 |9576 | 231 |2453 | 17 | 15k|2611 | 0.000000e+00 | -- | Inf
66.17/66.21 c 66.2s| 20900 | 18 |433318 | 20.7 |9317k| 39 | 26 | 231 |9606 | 231 |2453 | 17 | 15k|2623 | 0.000000e+00 | -- | Inf
66.47/66.52 c 66.5s| 21000 | 16 |435337 | 20.7 |9311k| 39 | - | 231 |9588 | 231 |2453 | 17 | 15k|2633 | 0.000000e+00 | -- | Inf
66.77/66.88 c 66.9s| 21100 | 17 |437738 | 20.7 |9320k| 39 | 24 | 231 |9610 | 231 |2453 | 17 | 15k|2649 | 0.000000e+00 | -- | Inf
67.17/67.25 c 67.3s| 21200 | 12 |440300 | 20.8 |9310k| 39 | 47 | 231 |9635 | 231 |2453 | 17 | 15k|2663 | 0.000000e+00 | -- | Inf
67.57/67.61 c 67.6s| 21300 | 12 |442622 | 20.8 |9305k| 39 | - | 231 |9623 | 231 |2453 | 17 | 16k|2678 | 0.000000e+00 | -- | Inf
67.87/67.94 c 67.9s| 21400 | 12 |444819 | 20.8 |9311k| 39 | - | 231 |9630 | 231 |2453 | 17 | 16k|2691 | 0.000000e+00 | -- | Inf
68.27/68.31 c 68.3s| 21500 | 12 |447317 | 20.8 |9323k| 39 | 27 | 231 |9664 | 231 |2453 | 17 | 16k|2708 | 0.000000e+00 | -- | Inf
68.57/68.63 c 68.6s| 21600 | 13 |449517 | 20.8 |9337k| 39 | 33 | 231 |9714 | 231 |2453 | 17 | 16k|2721 | 0.000000e+00 | -- | Inf
68.97/69.02 c 69.0s| 21700 | 11 |452176 | 20.8 |9367k| 39 | 40 | 231 |9807 | 231 |2453 | 17 | 16k|2742 | 0.000000e+00 | -- | Inf
69.27/69.35 c 69.4s| 21800 | 9 |454423 | 20.8 |9336k| 39 | 34 | 231 |9779 | 231 |2453 | 17 | 16k|2755 | 0.000000e+00 | -- | Inf
69.57/69.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.57/69.65 c 69.7s| 21900 | 9 |456485 | 20.8 |9304k| 39 | 37 | 231 |9688 | 231 |2453 | 17 | 16k|2765 | 0.000000e+00 | -- | Inf
69.87/69.96 c 70.0s| 22000 | 8 |458653 | 20.8 |9283k| 39 | 37 | 231 |9648 | 231 |2453 | 17 | 16k|2773 | 0.000000e+00 | -- | Inf
70.17/70.24 c 70.2s| 22100 | 5 |460791 | 20.8 |9287k| 39 | - | 231 |9672 | 231 |2453 | 17 | 16k|2778 | 0.000000e+00 | -- | Inf
70.47/70.55 c 70.6s| 22200 | 8 |463169 | 20.9 |9146k| 39 | 34 | 231 |9509 | 231 |2453 | 17 | 16k|2781 | 0.000000e+00 | -- | Inf
70.77/70.83 c 70.8s| 22300 | 9 |465444 | 20.9 |9142k| 39 | - | 231 |9474 | 231 |2453 | 17 | 16k|2782 | 0.000000e+00 | -- | Inf
71.07/71.10 c 71.1s| 22400 | 9 |467685 | 20.9 |9136k| 39 | - | 231 |9442 | 231 |2453 | 17 | 16k|2782 | 0.000000e+00 | -- | Inf
71.28/71.37 c 71.4s| 22500 | 7 |469781 | 20.9 |9128k| 39 | 46 | 231 |9458 | 231 |2453 | 17 | 17k|2782 | 0.000000e+00 | -- | Inf
71.57/71.66 c 71.7s| 22600 | 5 |472224 | 20.9 |9143k| 39 | 44 | 231 |9513 | 231 |2453 | 17 | 17k|2782 | 0.000000e+00 | -- | Inf
71.87/71.95 c 71.9s| 22700 | 3 |474554 | 20.9 |9149k| 39 | - | 231 |9530 | 231 |2453 | 17 | 17k|2783 | 0.000000e+00 | -- | Inf
72.17/72.22 c 72.2s| 22800 | 4 |476793 | 20.9 |9140k| 39 | 33 | 231 |9519 | 231 |2453 | 17 | 17k|2783 | 0.000000e+00 | -- | Inf
72.48/72.53 c 72.5s| 22900 | 4 |479336 | 20.9 |9154k| 39 | - | 231 |9547 | 231 |2453 | 17 | 17k|2784 | 0.000000e+00 | -- | Inf
72.68/72.73 c
72.68/72.73 c SCIP Status : problem is solved [infeasible]
72.68/72.73 c Solving Time (sec) : 72.73
72.68/72.73 c Solving Nodes : 22965
72.68/72.73 c Primal Bound : +1.00000000000000e+20 (0 solutions)
72.68/72.73 c Dual Bound : +1.00000000000000e+20
72.68/72.73 c Gap : 0.00 %
72.68/72.73 s UNSATISFIABLE
72.68/72.73 c SCIP Status : problem is solved [infeasible]
72.68/72.73 c Total Time : 72.73
72.68/72.73 c solving : 72.73
72.68/72.73 c presolving : 0.05 (included in solving)
72.68/72.73 c reading : 0.01 (included in solving)
72.68/72.73 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
72.68/72.73 c Original Problem :
72.68/72.73 c Problem name : HOME/instance-3691601-1338021783.opb
72.68/72.73 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
72.68/72.73 c Constraints : 2707 initial, 2707 maximal
72.68/72.73 c Objective sense : minimize
72.68/72.73 c Presolved Problem :
72.68/72.73 c Problem name : t_HOME/instance-3691601-1338021783.opb
72.68/72.73 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
72.68/72.73 c Constraints : 2443 initial, 9847 maximal
72.68/72.73 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
72.68/72.73 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
72.68/72.73 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
72.68/72.73 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
72.68/72.73 c root node : - - 1 - - 1 - - - - -
72.68/72.73 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
72.68/72.73 c integral : 0 0 0 0 12152 0 1 0 54 1119 0 0 23094
72.68/72.73 c knapsack : 1 1 5 97833 0 0 0 7012 134 46224 0 0 0
72.68/72.73 c setppc : 22 22 5 97786 0 0 0 227070 457 134078 0 0 0
72.68/72.73 c linear : 0+ 263 5 96457 0 0 0 200 0 1930 0 0 0
72.68/72.73 c logicor : 2420+ 9810 5 41864 0 0 0 95655 138 129291 0 0 0
72.68/72.73 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
72.68/72.73 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
72.68/72.73 c integral : 12.98 0.00 0.00 0.00 12.98 0.00 0.00 0.00
72.68/72.73 c knapsack : 0.11 0.00 0.00 0.11 0.00 0.00 0.00 0.01
72.68/72.73 c setppc : 0.40 0.00 0.00 0.33 0.00 0.00 0.00 0.07
72.68/72.73 c linear : 0.19 0.00 0.00 0.19 0.00 0.00 0.00 0.00
72.68/72.73 c logicor : 1.45 0.00 0.00 1.38 0.00 0.00 0.00 0.06
72.68/72.73 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.68/72.73 c Propagators : #Propagate #ResProp Cutoffs DomReds
72.68/72.73 c rootredcost : 0 0 0 0
72.68/72.73 c pseudoobj : 0 0 0 0
72.68/72.73 c vbounds : 0 0 0 0
72.68/72.73 c redcost : 12157 0 0 0
72.68/72.73 c probing : 0 0 0 0
72.68/72.73 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
72.68/72.73 c rootredcost : 0.02 0.00 0.00 0.02 0.00
72.68/72.73 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
72.68/72.73 c vbounds : 0.02 0.00 0.00 0.02 0.00
72.68/72.73 c redcost : 0.05 0.00 0.00 0.05 0.00
72.68/72.73 c probing : 0.00 0.00 0.00 0.00 0.00
72.68/72.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
72.68/72.73 c propagation : 0.03 729 722 3464 16.4 5 14.4 -
72.68/72.73 c infeasible LP : 0.86 10764 10727 60865 26.6 48 14.6 0
72.68/72.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
72.68/72.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
72.68/72.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
72.68/72.73 c applied globally : - - - 17369 17.0 - - -
72.68/72.73 c applied locally : - - - 1 38.0 - - -
72.68/72.73 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
72.68/72.73 c cut pool : 0.00 4 - - 304 - (maximal pool size: 515)
72.68/72.73 c closecuts : 0.00 0.00 0 0 0 0 0
72.68/72.73 c impliedbounds : 0.00 0.00 5 0 0 0 0
72.68/72.73 c intobj : 0.00 0.00 0 0 0 0 0
72.68/72.73 c gomory : 0.10 0.00 5 0 0 200 0
72.68/72.73 c cgmip : 0.00 0.00 0 0 0 0 0
72.68/72.73 c strongcg : 0.19 0.00 5 0 0 2500 0
72.68/72.73 c cmir : 0.00 0.00 0 0 0 0 0
72.68/72.73 c flowcover : 0.00 0.00 0 0 0 0 0
72.68/72.73 c clique : 0.00 0.00 5 0 0 0 0
72.68/72.73 c zerohalf : 0.00 0.00 0 0 0 0 0
72.68/72.73 c mcf : 0.00 0.00 1 0 0 0 0
72.68/72.73 c oddcycle : 0.00 0.00 0 0 0 0 0
72.68/72.73 c rapidlearning : 0.11 0.00 1 0 0 0 263
72.68/72.73 c Pricers : ExecTime SetupTime Calls Vars
72.68/72.73 c problem variables: 0.00 - 0 0
72.68/72.73 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
72.68/72.73 c relpscost : 12.97 0.00 12152 54 1119 0 0 23094
72.68/72.73 c pscost : 0.00 0.00 0 0 0 0 0 0
72.68/72.73 c inference : 0.00 0.00 0 0 0 0 0 0
72.68/72.73 c mostinf : 0.00 0.00 0 0 0 0 0 0
72.68/72.73 c leastinf : 0.00 0.00 0 0 0 0 0 0
72.68/72.73 c fullstrong : 0.00 0.00 0 0 0 0 0 0
72.68/72.73 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
72.68/72.73 c random : 0.00 0.00 0 0 0 0 0 0
72.68/72.73 c Primal Heuristics : ExecTime SetupTime Calls Found
72.68/72.73 c LP solutions : 0.00 - - 0
72.68/72.73 c pseudo solutions : 0.00 - - 0
72.68/72.73 c smallcard : 0.00 0.00 0 0
72.68/72.73 c trivial : 0.00 0.00 1 0
72.68/72.73 c shiftandpropagate: 0.00 0.00 0 0
72.68/72.73 c simplerounding : 0.00 0.00 0 0
72.68/72.73 c zirounding : 0.00 0.00 0 0
72.68/72.73 c rounding : 0.00 0.00 0 0
72.68/72.73 c shifting : 0.00 0.00 0 0
72.68/72.73 c intshifting : 0.00 0.00 0 0
72.68/72.73 c oneopt : 0.00 0.00 0 0
72.68/72.73 c twoopt : 0.00 0.00 0 0
72.68/72.73 c indtwoopt : 0.00 0.00 0 0
72.68/72.73 c indoneopt : 0.00 0.00 0 0
72.68/72.73 c fixandinfer : 0.00 0.00 0 0
72.68/72.73 c feaspump : 0.00 0.00 0 0
72.68/72.73 c clique : 0.00 0.00 0 0
72.68/72.73 c indrounding : 0.00 0.00 0 0
72.68/72.73 c indcoefdiving : 0.00 0.00 0 0
72.68/72.73 c coefdiving : 0.00 0.00 0 0
72.68/72.73 c pscostdiving : 0.00 0.00 0 0
72.68/72.73 c nlpdiving : 0.00 0.00 0 0
72.68/72.73 c fracdiving : 0.00 0.00 0 0
72.68/72.73 c veclendiving : 0.00 0.00 0 0
72.68/72.73 c intdiving : 0.00 0.00 0 0
72.68/72.73 c actconsdiving : 0.00 0.00 0 0
72.68/72.73 c objpscostdiving : 0.00 0.00 0 0
72.68/72.73 c rootsoldiving : 0.00 0.00 0 0
72.68/72.73 c linesearchdiving : 0.00 0.00 0 0
72.68/72.73 c guideddiving : 0.00 0.00 0 0
72.68/72.73 c octane : 0.00 0.00 0 0
72.68/72.73 c rens : 0.00 0.00 0 0
72.68/72.73 c rins : 0.00 0.00 0 0
72.68/72.73 c localbranching : 0.00 0.00 0 0
72.68/72.73 c mutation : 0.00 0.00 0 0
72.68/72.73 c crossover : 0.00 0.00 0 0
72.68/72.73 c dins : 0.00 0.00 0 0
72.68/72.73 c vbounds : 0.00 0.00 0 0
72.68/72.73 c undercover : 0.00 0.00 0 0
72.68/72.73 c subnlp : 0.00 0.00 0 0
72.68/72.73 c trysol : 0.00 0.00 0 0
72.68/72.73 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
72.68/72.73 c primal LP : 0.00 1 0 0.00 - 0.00 1
72.68/72.73 c dual LP : 50.76 22921 481082 21.04 9478.17 0.02 59
72.68/72.73 c lex dual LP : 0.00 0 0 0.00 -
72.68/72.73 c barrier LP : 0.00 0 0 0.00 - 0.00 0
72.68/72.73 c diving/probing LP: 0.00 0 0 0.00 -
72.68/72.73 c strong branching : 12.75 2784 114383 41.09 8971.25
72.68/72.73 c (at root node) : - 11 2362 214.73 -
72.68/72.73 c conflict analysis: 0.00 0 0 0.00 -
72.68/72.73 c B&B Tree :
72.68/72.73 c number of runs : 1
72.68/72.73 c nodes : 22965
72.68/72.73 c nodes (total) : 22965
72.68/72.73 c nodes left : 0
72.68/72.73 c max depth : 39
72.68/72.73 c max depth (total): 39
72.68/72.73 c backtracks : 2397 (10.4%)
72.68/72.73 c delayed cutoffs : 130
72.68/72.73 c repropagations : 45861 (45142 domain reductions, 130 cutoffs)
72.68/72.73 c avg switch length: 5.53
72.68/72.73 c switching time : 1.83
72.68/72.73 c Solution :
72.68/72.73 c Solutions found : 0 (0 improvements)
72.68/72.73 c Primal Bound : infeasible
72.68/72.73 c Dual Bound : -
72.68/72.73 c Gap : 0.00 %
72.68/72.73 c Root Dual Bound : +0.00000000000000e+00
72.68/72.73 c Root Iterations : 146
72.68/72.75 c Time complete: 72.73.
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-3691601-1338021783/watcher-3691601-1338021783 -o /tmp/evaluation-result-3691601-1338021783/solver-3691601-1338021783 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691601-1338021783.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: 2.07 2.02 2.00 3/174 2887
/proc/meminfo: memFree=29503388/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=12032 CPUtime=0 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 1797 0 0 0 0 0 0 0 20 0 1 0 268303806 12320768 1752 33554432000 4194304 10219143 140737207441280 140737207440152 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 3008 1760 398 1471 0 1528 0
[startup+0.0612799 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 2887
/proc/meminfo: memFree=29503388/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=23660 CPUtime=0.05 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 4734 0 0 0 5 0 0 0 20 0 1 0 268303806 24227840 4432 33554432000 4194304 10219143 140737207441280 140737207306296 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 5915 4436 589 1471 0 4435 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23660
[startup+0.100277 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 2887
/proc/meminfo: memFree=29503388/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=30612 CPUtime=0.08 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 6799 0 0 0 8 0 0 0 20 0 1 0 268303806 31346688 6452 33554432000 4194304 10219143 140737207441280 140737207306296 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 7653 6452 761 1471 0 6173 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30612
[startup+0.300279 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 2887
/proc/meminfo: memFree=29503388/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48500 CPUtime=0.29 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11703 0 0 0 27 2 0 0 20 0 1 0 268303806 49664000 10648 33554432000 4194304 10219143 140737207441280 140737207306296 5100638 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12125 10648 814 1471 0 10645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48500
[startup+0.700227 s]
/proc/loadavg: 2.07 2.02 2.00 3/174 2887
/proc/meminfo: memFree=29503388/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=0.69 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11821 0 0 0 66 3 0 0 20 0 1 0 268303806 49836032 10766 33554432000 4194304 10219143 140737207441280 140737207434408 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 10766 817 1471 0 10687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48668
[startup+1.50023 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2888
/proc/meminfo: memFree=29463584/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=1.49 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11823 0 0 0 145 4 0 0 20 0 1 0 268303806 49836032 10768 33554432000 4194304 10219143 140737207441280 140737207434408 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 10768 819 1471 0 10687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48668
[startup+3.10023 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2888
/proc/meminfo: memFree=29463064/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=3.09 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11827 0 0 0 304 5 0 0 20 0 1 0 268303806 49836032 10772 33554432000 4194304 10219143 140737207441280 140737207435112 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 10772 823 1471 0 10687 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48668
[startup+6.30027 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2888
/proc/meminfo: memFree=29462940/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=6.28 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11828 0 0 0 620 8 0 0 20 0 1 0 268303806 49836032 10773 33554432000 4194304 10219143 140737207441280 140737207434728 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 10773 824 1471 0 10687 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48668
[startup+12.7002 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 2888
/proc/meminfo: memFree=29462568/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=12.68 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11835 0 0 0 1250 18 0 0 20 0 1 0 268303806 49836032 10774 33554432000 4194304 10219143 140737207441280 140737207434536 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 10774 824 1471 0 10687 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48668
[startup+25.5003 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 2888
/proc/meminfo: memFree=29461932/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=25.48 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11838 0 0 0 2510 38 0 0 20 0 1 0 268303806 49836032 11029 33554432000 4194304 10219143 140737207441280 140737207434536 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 11029 824 1471 0 10687 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48668
[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 2888
/proc/meminfo: memFree=29462116/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=51.07 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11838 0 0 0 5030 77 0 0 20 0 1 0 268303806 49836032 11029 33554432000 4194304 10219143 140737207441280 140737207434920 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 11029 824 1471 0 10687 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48668
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.02 2.02 2.00 3/174 2888
/proc/meminfo: memFree=29462000/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=63.87 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11838 0 0 0 6288 99 0 0 20 0 1 0 268303806 49836032 11029 33554432000 4194304 10219143 140737207441280 140737207434904 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 11029 824 1471 0 10687 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 48668
[startup+67.1065 s]
/proc/loadavg: 2.02 2.02 2.00 3/174 2888
/proc/meminfo: memFree=29462000/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=67.08 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11838 0 0 0 6604 104 0 0 20 0 1 0 268303806 49836032 11029 33554432000 4194304 10219143 140737207441280 140737207434136 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 11029 824 1471 0 10687 0
Current children cumulated CPU time (s) 67.08
Current children cumulated vsize (KiB) 48668
[startup+70.3003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2889
/proc/meminfo: memFree=29461868/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=70.28 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11839 0 0 0 6919 109 0 0 20 0 1 0 268303806 49836032 11030 33554432000 4194304 10219143 140737207441280 140737207434536 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 11030 825 1471 0 10687 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 48668
[startup+71.9003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2889
/proc/meminfo: memFree=29461868/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=71.87 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11839 0 0 0 7076 111 0 0 20 0 1 0 268303806 49836032 11030 33554432000 4194304 10219143 140737207441280 140737207434920 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 11030 825 1471 0 10687 0
Current children cumulated CPU time (s) 71.87
Current children cumulated vsize (KiB) 48668
[startup+72.3003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2889
/proc/meminfo: memFree=29461868/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=72.27 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11839 0 0 0 7115 112 0 0 20 0 1 0 268303806 49836032 11030 33554432000 4194304 10219143 140737207441280 140737207434920 7750281 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 11030 825 1471 0 10687 0
Current children cumulated CPU time (s) 72.27
Current children cumulated vsize (KiB) 48668
[startup+72.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2889
/proc/meminfo: memFree=29461868/32873852 swapFree=7616/7616
[pid=2887] ppid=2885 vsize=48668 CPUtime=72.68 cores=1,3,5,7
/proc/2887/stat : 2887 (scip-2.1.1.4exp) R 2885 2887 403 0 -1 4202496 11839 0 0 0 7155 113 0 0 20 0 1 0 268303806 49836032 11030 33554432000 4194304 10219143 140737207441280 140737207434264 8077153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2887/statm: 12167 11030 825 1471 0 10687 0
Current children cumulated CPU time (s) 72.68
Current children cumulated vsize (KiB) 48668
Child status: 0
Real time (s): 72.7547
CPU time (s): 72.7349
CPU user time (s): 71.6021
CPU system time (s): 1.13283
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 50620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.6021
system time used= 1.13283
maximum resident set size= 45052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11844
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= 12
involuntary context switches= 77
runsolver used 0.184971 second user time and 0.412937 second system time
The end