0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3453065-1307073291.opb>
0.39/0.45 c original problem has 23837 variables (23837 bin, 0 int, 0 impl, 0 cont) and 67568 constraints
0.39/0.45 c problem read
0.39/0.45 c No objective function, only one solution is needed.
0.39/0.45 c presolving settings loaded
0.59/0.67 c presolving:
1.10/1.17 c (round 1) 2091 del vars, 2863 del conss, 0 add conss, 908 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1234958 impls, 0 clqs
1.10/1.20 c (round 2) 2111 del vars, 5396 del conss, 0 add conss, 915 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1234960 impls, 0 clqs
1.10/1.21 c (round 3) 2274 del vars, 5697 del conss, 0 add conss, 1062 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1236691 impls, 0 clqs
1.21/1.23 c (round 4) 2341 del vars, 5867 del conss, 0 add conss, 1129 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1236997 impls, 0 clqs
1.21/1.24 c (round 5) 2470 del vars, 6097 del conss, 0 add conss, 1258 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1238088 impls, 0 clqs
1.21/1.25 c (round 6) 2626 del vars, 6423 del conss, 0 add conss, 1411 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1241356 impls, 0 clqs
1.21/1.27 c (round 7) 2796 del vars, 6826 del conss, 0 add conss, 1576 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1246500 impls, 0 clqs
1.21/1.29 c (round 8) 2942 del vars, 7259 del conss, 0 add conss, 1728 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1249534 impls, 0 clqs
1.29/1.30 c (round 9) 3070 del vars, 7623 del conss, 0 add conss, 1839 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1251206 impls, 0 clqs
1.29/1.32 c (round 10) 3170 del vars, 7911 del conss, 0 add conss, 1941 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1253874 impls, 0 clqs
1.29/1.33 c (round 11) 3220 del vars, 8140 del conss, 0 add conss, 1993 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1256162 impls, 0 clqs
1.29/1.34 c (round 12) 3235 del vars, 8252 del conss, 0 add conss, 2005 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1258269 impls, 0 clqs
1.29/1.36 c (round 13) 3249 del vars, 8283 del conss, 0 add conss, 2018 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1258417 impls, 0 clqs
1.29/1.37 c (round 14) 3263 del vars, 8316 del conss, 0 add conss, 2032 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1258501 impls, 0 clqs
1.29/1.38 c (round 15) 3277 del vars, 8351 del conss, 0 add conss, 2046 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1258873 impls, 0 clqs
1.29/1.39 c (round 16) 3289 del vars, 8385 del conss, 0 add conss, 2060 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1259265 impls, 0 clqs
1.39/1.40 c (round 17) 3305 del vars, 8427 del conss, 0 add conss, 2074 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1259743 impls, 0 clqs
1.39/1.41 c (round 18) 3318 del vars, 8460 del conss, 0 add conss, 2087 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260046 impls, 0 clqs
1.39/1.42 c (round 19) 3330 del vars, 8490 del conss, 0 add conss, 2099 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260244 impls, 0 clqs
1.39/1.44 c (round 20) 3340 del vars, 8519 del conss, 0 add conss, 2109 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260402 impls, 0 clqs
1.39/1.45 c (round 21) 3346 del vars, 8542 del conss, 0 add conss, 2115 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260522 impls, 0 clqs
1.39/1.46 c (round 22) 3348 del vars, 8555 del conss, 0 add conss, 2117 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260560 impls, 0 clqs
1.39/1.47 c (round 23) 3350 del vars, 8560 del conss, 0 add conss, 2119 chg bounds, 1585 chg sides, 3428 chg coeffs, 0 upgd conss, 1260608 impls, 0 clqs
1.59/1.67 c (round 24) 3350 del vars, 8627 del conss, 0 add conss, 2119 chg bounds, 1585 chg sides, 3428 chg coeffs, 58879 upgd conss, 1260638 impls, 0 clqs
1.69/1.77 c (round 25) 3350 del vars, 8627 del conss, 0 add conss, 2119 chg bounds, 1585 chg sides, 3428 chg coeffs, 58941 upgd conss, 1260638 impls, 0 clqs
1.79/1.82 c presolving (26 rounds):
1.79/1.82 c 3350 deleted vars, 8627 deleted constraints, 0 added constraints, 2119 tightened bounds, 0 added holes, 1585 changed sides, 3428 changed coefficients
1.79/1.82 c 1260638 implications, 0 cliques
1.79/1.82 c presolved problem has 20487 variables (20487 bin, 0 int, 0 impl, 0 cont) and 58941 constraints
1.79/1.82 c 3170 constraints of type <knapsack>
1.79/1.82 c 37392 constraints of type <setppc>
1.79/1.82 c 18379 constraints of type <logicor>
1.79/1.82 c transformed objective value is always integral (scale: 1)
1.79/1.82 c Presolving Time: 1.31
1.79/1.82 c - non default parameters ----------------------------------------------------------------------
1.79/1.82 c # SCIP version 2.0.1.4
1.79/1.82 c
1.79/1.82 c # frequency for displaying node information lines
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.82 c display/freq = 10000
1.79/1.82 c
1.79/1.82 c # maximal time in seconds to run
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.82 c limits/time = 1800
1.79/1.82 c
1.79/1.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.82 c limits/memory = 13950
1.79/1.82 c
1.79/1.82 c # solving stops, if the given number of solutions were found (-1: no limit)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.82 c limits/solutions = 1
1.79/1.82 c
1.79/1.82 c # maximal number of separation rounds per node (-1: unlimited)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 5]
1.79/1.82 c separating/maxrounds = 1
1.79/1.82 c
1.79/1.82 c # maximal number of separation rounds in the root node (-1: unlimited)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.82 c separating/maxroundsroot = 5
1.79/1.82 c
1.79/1.82 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.79/1.82 c # [type: int, range: [1,2], default: 1]
1.79/1.82 c timing/clocktype = 2
1.79/1.82 c
1.79/1.82 c # belongs reading time to solving time?
1.79/1.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.82 c timing/reading = TRUE
1.79/1.82 c
1.79/1.82 c # should presolving try to simplify inequalities
1.79/1.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.82 c constraints/linear/simplifyinequalities = TRUE
1.79/1.82 c
1.79/1.82 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.79/1.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.82 c constraints/indicator/addCouplingCons = TRUE
1.79/1.82 c
1.79/1.82 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.79/1.82 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.79/1.82 c constraints/knapsack/disaggregation = FALSE
1.79/1.82 c
1.79/1.82 c # should presolving try to simplify knapsacks
1.79/1.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.82 c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.82 c
1.79/1.82 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.82 c presolving/probing/maxrounds = 0
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.82 c heuristics/coefdiving/freq = -1
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.82 c heuristics/coefdiving/maxlpiterquot = 0.075
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/coefdiving/maxlpiterofs = 1500
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 30]
1.79/1.82 c heuristics/crossover/freq = -1
1.79/1.82 c
1.79/1.82 c # number of nodes added to the contingent of the total nodes
1.79/1.82 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.82 c heuristics/crossover/nodesofs = 750
1.79/1.82 c
1.79/1.82 c # number of nodes without incumbent change that heuristic should wait
1.79/1.82 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.79/1.82 c heuristics/crossover/nwaitingnodes = 100
1.79/1.82 c
1.79/1.82 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.79/1.82 c # [type: real, range: [0,1], default: 0.1]
1.79/1.82 c heuristics/crossover/nodesquot = 0.15
1.79/1.82 c
1.79/1.82 c # minimum percentage of integer variables that have to be fixed
1.79/1.82 c # [type: real, range: [0,1], default: 0.666]
1.79/1.82 c heuristics/crossover/minfixingrate = 0.5
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.82 c heuristics/feaspump/freq = -1
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/feaspump/maxlpiterofs = 2000
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.82 c heuristics/fracdiving/freq = -1
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.82 c heuristics/fracdiving/maxlpiterquot = 0.075
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/fracdiving/maxlpiterofs = 1500
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.82 c heuristics/guideddiving/freq = -1
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.82 c heuristics/guideddiving/maxlpiterquot = 0.075
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/guideddiving/maxlpiterofs = 1500
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.82 c heuristics/intdiving/maxlpiterquot = 0.075
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.82 c heuristics/intshifting/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.82 c heuristics/linesearchdiving/freq = -1
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.82 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.82 c heuristics/objpscostdiving/freq = -1
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to total iteration number
1.79/1.82 c # [type: real, range: [0,1], default: 0.01]
1.79/1.82 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.82 c heuristics/oneopt/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.82 c heuristics/pscostdiving/freq = -1
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.82 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/pscostdiving/maxlpiterofs = 1500
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.82 c heuristics/rens/freq = -1
1.79/1.82 c
1.79/1.82 c # minimum percentage of integer variables that have to be fixable
1.79/1.82 c # [type: real, range: [0,1], default: 0.5]
1.79/1.82 c heuristics/rens/minfixingrate = 0.3
1.79/1.82 c
1.79/1.82 c # number of nodes added to the contingent of the total nodes
1.79/1.82 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.82 c heuristics/rens/nodesofs = 2000
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.82 c heuristics/rootsoldiving/freq = -1
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.79/1.82 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.82 c heuristics/rounding/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.82 c heuristics/shiftandpropagate/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.82 c heuristics/shifting/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.82 c heuristics/simplerounding/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.82 c heuristics/subnlp/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.82 c heuristics/trivial/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.82 c heuristics/trysol/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.82 c heuristics/undercover/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.82 c heuristics/veclendiving/freq = -1
1.79/1.82 c
1.79/1.82 c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.82 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.82 c heuristics/veclendiving/maxlpiterquot = 0.075
1.79/1.82 c
1.79/1.82 c # additional number of allowed LP iterations
1.79/1.82 c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.82 c heuristics/veclendiving/maxlpiterofs = 1500
1.79/1.82 c
1.79/1.82 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.82 c heuristics/zirounding/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.82 c separating/cmir/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.82 c separating/flowcover/freq = -1
1.79/1.82 c
1.79/1.82 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.79/1.82 c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.82 c separating/rapidlearning/freq = 0
1.79/1.82 c
1.79/1.82 c -----------------------------------------------------------------------------------------------
1.79/1.82 c start solving
1.79/1.83 c
2.99/3.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.09 c 3.1s| 1 | 0 | 4200 | - | 154M| 0 |2693 | 20k| 58k| 20k| 58k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.79/6.85 c 6.8s| 1 | 0 | 8514 | - | 155M| 0 |3607 | 20k| 58k| 20k| 59k| 188 | 0 | 0 | 0.000000e+00 | -- | Inf
15.99/16.01 c 16.0s| 1 | 0 | 15159 | - | 155M| 0 |4144 | 20k| 58k| 20k| 59k| 327 | 0 | 0 | 0.000000e+00 | -- | Inf
37.89/37.97 c 38.0s| 1 | 0 | 25367 | - | 156M| 0 |4619 | 20k| 58k| 20k| 59k| 453 | 0 | 0 | 0.000000e+00 | -- | Inf
44.99/45.10 c 45.1s| 1 | 0 | 30939 | - | 156M| 0 |4882 | 20k| 58k| 20k| 59k| 551 | 0 | 0 | 0.000000e+00 | -- | Inf
56.30/56.35 c 56.3s| 1 | 0 | 36557 | - | 156M| 0 |5209 | 20k| 58k| 20k| 59k| 681 | 0 | 0 | 0.000000e+00 | -- | Inf
85.91/85.97 c 86.0s| 1 | 2 | 36557 | - | 156M| 0 |5209 | 20k| 58k| 20k| 59k| 681 | 0 | 33 | 0.000000e+00 | -- | Inf
1800.04/1800.03 c
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time (sec) : 1800.03
1800.04/1800.03 c Solving Nodes : 1286
1800.04/1800.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 s UNKNOWN
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Total Time : 1800.03
1800.04/1800.03 c solving : 1800.03
1800.04/1800.03 c presolving : 1.31 (included in solving)
1800.04/1800.03 c reading : 0.45 (included in solving)
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-3453065-1307073291.opb
1800.04/1800.03 c Variables : 23837 (23837 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.03 c Constraints : 67568 initial, 67568 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-3453065-1307073291.opb
1800.04/1800.03 c Variables : 20487 (20487 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.03 c Constraints : 58941 initial, 59702 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.03 31 0 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.02 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.14 0 1213 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c knapsack : 0.02 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c setppc : 0.07 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.77 2100 6 0 2119 0 8627 0 1585 3428
1800.04/1800.03 c logicor : 0.04 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1 - - 1 - - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 1080 0 1 0 75 92 0 0 1944
1800.04/1800.03 c knapsack : 3170 5 9908 0 1 0 3436 96 11199 1002 0 0
1800.04/1800.03 c setppc : 37392 5 9812 0 1 0 29492 44 288997 0 0 0
1800.04/1800.03 c logicor : 18379+ 5 7842 0 1 0 11616 116 93254 0 0 0
1800.04/1800.03 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.03 c integral : 852.85 0.00 0.00 852.85 0.00 0.00 0.00
1800.04/1800.03 c knapsack : 0.81 0.01 0.80 0.00 0.00 0.00 0.00
1800.04/1800.03 c setppc : 4.06 0.01 4.04 0.00 0.01 0.00 0.01
1800.04/1800.03 c logicor : 0.60 0.00 0.58 0.00 0.00 0.00 0.01
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.03 c vbounds : 0 0 0 0
1800.04/1800.03 c rootredcost : 0 0 0 0
1800.04/1800.03 c pseudoobj : 0 0 0 0
1800.04/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.03 c vbounds : 0.00 0.00 0.00
1800.04/1800.03 c rootredcost : 0.00 0.00 0.00
1800.04/1800.03 c pseudoobj : 0.00 0.00 0.00
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 0.03 256 256 1770 23.2 55 8.1 -
1800.04/1800.03 c infeasible LP : 0.33 86 86 260 9.1 22 6.9 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.03 c applied globally : - - - 1116 16.5 - - -
1800.04/1800.03 c applied locally : - - - 0 0.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 4 - - 218 - (maximal pool size: 1789)
1800.04/1800.03 c redcost : 0.59 1054 0 0 0 0
1800.04/1800.03 c impliedbounds : 0.03 5 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 14.25 5 0 0 2500 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.03 c strongcg : 17.05 5 0 0 2500 0
1800.04/1800.03 c cmir : 0.00 0 0 0 0 0
1800.04/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.03 c clique : 1.30 5 0 0 38 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.32 1 0 0 0 0
1800.04/1800.03 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 852.85 1080 75 92 0 0 1944
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.00 - 0
1800.04/1800.03 c pseudo solutions : 0.00 - 0
1800.04/1800.03 c trivial : 0.02 1 0
1800.04/1800.03 c shiftandpropagate: 0.00 0 0
1800.04/1800.03 c simplerounding : 0.00 0 0
1800.04/1800.03 c zirounding : 0.00 0 0
1800.04/1800.03 c rounding : 0.00 0 0
1800.04/1800.03 c shifting : 0.00 0 0
1800.04/1800.03 c intshifting : 0.00 0 0
1800.04/1800.03 c oneopt : 0.00 0 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c feaspump : 0.00 0 0
1800.04/1800.03 c clique : 0.00 0 0
1800.04/1800.03 c coefdiving : 0.00 0 0
1800.04/1800.03 c pscostdiving : 0.00 0 0
1800.04/1800.03 c fracdiving : 0.00 0 0
1800.04/1800.03 c veclendiving : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c objpscostdiving : 0.00 0 0
1800.04/1800.03 c rootsoldiving : 0.00 0 0
1800.04/1800.03 c linesearchdiving : 0.00 0 0
1800.04/1800.03 c guideddiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.00 0 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c crossover : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c vbounds : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c subnlp : 0.00 0 0
1800.04/1800.03 c trysol : 0.00 0 0
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.02 0 0 0.00 0.00
1800.04/1800.03 c dual LP : 892.70 1168 1372887 1175.42 1537.91
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.03 c strong branching : 851.45 1270 819768 645.49 962.79
1800.04/1800.03 c (at root node) : - 33 27988 848.12 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 1286
1800.04/1800.03 c nodes (total) : 1286
1800.04/1800.03 c nodes left : 96
1800.04/1800.03 c max depth : 74
1800.04/1800.03 c max depth (total): 74
1800.04/1800.03 c backtracks : 322 (25.0%)
1800.04/1800.03 c delayed cutoffs : 565
1800.04/1800.03 c repropagations : 1317 (82025 domain reductions, 104 cutoffs)
1800.04/1800.03 c avg switch length: 4.34
1800.04/1800.03 c switching time : 2.99
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 0 (0 improvements)
1800.04/1800.03 c Primal Bound : -
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 36557
1800.23/1800.25 c Time complete: 1800.28.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453065-1307073291/watcher-3453065-1307073291 -o /tmp/evaluation-result-3453065-1307073291/solver-3453065-1307073291 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453065-1307073291.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.00 2.01 2.00 2/535 15172
/proc/meminfo: memFree=29056300/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=10600 CPUtime=0 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 1641 0 0 0 0 0 0 0 25 0 1 0 818927101 10854400 1595 33554432000 4194304 9128323 140733608351024 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15172/statm: 2650 1595 397 1205 0 1441 0
[startup+0.102543 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 15172
/proc/meminfo: memFree=29056300/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=19884 CPUtime=0.09 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 3975 0 0 0 9 0 0 0 25 0 1 0 818927101 20361216 3927 33554432000 4194304 9128323 140733608351024 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15172/statm: 4971 3927 397 1205 0 3762 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19884
[startup+0.200528 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 15172
/proc/meminfo: memFree=29056300/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=28588 CPUtime=0.19 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 6161 0 0 0 19 0 0 0 25 0 1 0 818927101 29274112 6111 33554432000 4194304 9128323 140733608351024 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15172/statm: 7147 6111 397 1205 0 5938 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28588
[startup+0.300521 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 15172
/proc/meminfo: memFree=29056300/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=36760 CPUtime=0.29 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 8190 0 0 0 29 0 0 0 25 0 1 0 818927101 37642240 8138 33554432000 4194304 9128323 140733608351024 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15172/statm: 9190 8138 397 1205 0 7981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36760
[startup+0.700436 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 15172
/proc/meminfo: memFree=29056300/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=135528 CPUtime=0.69 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 34680 0 0 0 65 4 0 0 25 0 1 0 818927101 138780672 31864 33554432000 4194304 9128323 140733608351024 18446744073709551615 6890159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 33882 31864 518 1205 0 32673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135528
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15173
/proc/meminfo: memFree=28883812/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=189448 CPUtime=1.49 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 48562 0 0 0 144 5 0 0 25 0 1 0 818927101 193994752 45195 33554432000 4194304 9128323 140733608351024 18446744073709551615 4337637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 47362 45195 523 1205 0 46153 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189448
[startup+3.10103 s]
/proc/loadavg: 2.00 2.01 2.00 4/536 15173
/proc/meminfo: memFree=28774568/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=310056 CPUtime=3.09 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 80634 0 0 0 299 10 0 0 19 0 1 0 818927101 317497344 73313 33554432000 4194304 9128323 140733608351024 18446744073709551615 4360128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 77514 73313 763 1205 0 76305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 310056
[startup+6.30046 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15173
/proc/meminfo: memFree=28757424/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=310056 CPUtime=6.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 82113 0 0 0 616 14 0 0 25 0 1 0 818927101 317497344 74657 33554432000 4194304 9128323 140733608351024 18446744073709551615 7315568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 77514 74657 725 1205 0 76305 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 310056
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15173
/proc/meminfo: memFree=28756696/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=310056 CPUtime=12.69 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 82243 0 0 0 1253 16 0 0 25 0 1 0 818927101 317497344 74787 33554432000 4194304 9128323 140733608351024 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 77514 74787 725 1205 0 76305 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 310056
[startup+25.5011 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15173
/proc/meminfo: memFree=28756252/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=310784 CPUtime=25.49 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 82412 0 0 0 2527 22 0 0 25 0 1 0 818927101 318242816 74956 33554432000 4194304 9128323 140733608351024 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 77696 74956 725 1205 0 76487 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 310784
[startup+51.1006 s]
/proc/loadavg: 2.15 2.04 2.01 3/536 15174
/proc/meminfo: memFree=28741412/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=322496 CPUtime=51.09 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 85882 0 0 0 5074 35 0 0 25 0 1 0 818927101 330235904 78417 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 80624 78417 741 1205 0 79415 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 322496
[startup+102.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/536 15175
/proc/meminfo: memFree=28736948/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=328940 CPUtime=102.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 87136 0 0 0 10172 58 0 0 25 0 1 0 818927101 336834560 79657 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 82235 79657 733 1205 0 81026 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 328940
[startup+162.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/536 15259
/proc/meminfo: memFree=28738268/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=322568 CPUtime=162.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 117977 0 0 0 16146 84 0 0 25 0 1 0 818927101 330309632 77059 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 80642 77059 733 1205 0 79433 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 322568
[startup+222.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15288
/proc/meminfo: memFree=27921124/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=329388 CPUtime=222.32 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 154791 0 0 0 22120 112 0 0 25 0 1 0 818927101 337293312 79794 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 82347 79794 733 1205 0 81138 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 329388
[startup+282.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/536 15289
/proc/meminfo: memFree=27873884/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=329188 CPUtime=282.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 173940 0 0 0 28089 141 0 0 25 0 1 0 818927101 337088512 79734 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 82297 79734 733 1205 0 81088 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 329188
[startup+342.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/536 15291
/proc/meminfo: memFree=27864900/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=329424 CPUtime=342.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 174310 0 0 0 34057 173 0 0 25 0 1 0 818927101 337330176 80104 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 82356 80104 733 1205 0 81147 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 329424
[startup+402.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 15301
/proc/meminfo: memFree=27863940/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=329704 CPUtime=402.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 253503 0 0 0 40011 219 0 0 25 0 1 0 818927101 337616896 80137 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 82426 80137 740 1205 0 81217 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 329704
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 15303
/proc/meminfo: memFree=27860948/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=332528 CPUtime=462.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 257898 0 0 0 45977 253 0 0 25 0 1 0 818927101 340508672 81061 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 83132 81061 884 1205 0 81923 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 332528
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15305
/proc/meminfo: memFree=27860192/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=334228 CPUtime=522.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 271801 0 0 0 51936 294 0 0 25 0 1 0 818927101 342249472 81056 33554432000 4194304 9128323 140733608351024 18446744073709551615 7192144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 83557 81056 740 1205 0 82348 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 334228
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15309
/proc/meminfo: memFree=27858184/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=336120 CPUtime=582.3 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 304863 0 0 0 57884 346 0 0 25 0 1 0 818927101 344186880 81371 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 84030 81371 739 1205 0 82821 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 336120
[startup+642.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/536 15319
/proc/meminfo: memFree=27842360/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=349920 CPUtime=942.31 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 368293 0 0 0 93587 644 0 0 25 0 1 0 818927101 358318080 85481 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 87480 85481 755 1205 0 86271 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 349920
[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/536 15320
/proc/meminfo: memFree=27844700/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=349256 CPUtime=1002.31 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 372247 0 0 0 99537 694 0 0 25 0 1 0 818927101 357638144 84853 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 87314 84853 781 1205 0 86105 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 349256
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 15322
/proc/meminfo: memFree=27836116/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=351356 CPUtime=1062.31 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 376524 0 0 0 105502 729 0 0 25 0 1 0 818927101 359788544 85267 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 87839 85267 776 1205 0 86630 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 351356
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 15324
/proc/meminfo: memFree=27842664/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=344372 CPUtime=1122.32 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 387257 0 0 0 111462 770 0 0 25 0 1 0 818927101 352636928 82955 33554432000 4194304 9128323 140733608351024 18446744073709551615 7315076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 86093 82955 739 1205 0 84884 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 344372
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15325
/proc/meminfo: memFree=27828264/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=352520 CPUtime=1182.32 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 390225 0 0 0 117421 811 0 0 25 0 1 0 818927101 360980480 85508 33554432000 4194304 9128323 140733608351024 18446744073709551615 7356082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 88130 85508 739 1205 0 86921 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 352520
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15327
/proc/meminfo: memFree=27829096/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=350544 CPUtime=1242.32 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 400128 0 0 0 123376 856 0 0 25 0 1 0 818927101 358957056 85073 33554432000 4194304 9128323 140733608351024 18446744073709551615 7380899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 87636 85073 871 1205 0 86427 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 350544
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 15328
/proc/meminfo: memFree=27823116/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=354584 CPUtime=1302.32 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 413212 0 0 0 129333 899 0 0 25 0 1 0 818927101 363094016 86206 33554432000 4194304 9128323 140733608351024 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 88646 86206 739 1205 0 87437 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 354584
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/536 15330
/proc/meminfo: memFree=27820876/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=356444 CPUtime=1362.32 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 417456 0 0 0 135290 942 0 0 25 0 1 0 818927101 364998656 86660 33554432000 4194304 9128323 140733608351024 18446744073709551615 7315339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 89111 86660 739 1205 0 87902 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 356444
[startup+1422.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/536 15332
/proc/meminfo: memFree=27816748/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=354372 CPUtime=1422.34 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 425276 0 0 0 141256 978 0 0 25 0 1 0 818927101 362876928 86426 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 88593 86426 1063 1205 0 87384 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 354372
[startup+1482.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/536 15333
/proc/meminfo: memFree=27816720/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=356180 CPUtime=1482.33 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 440549 0 0 0 147201 1032 0 0 25 0 1 0 818927101 364728320 86235 33554432000 4194304 9128323 140733608351024 18446744073709551615 7192144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 89045 86235 771 1205 0 87836 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 356180
[startup+1542.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 15335
/proc/meminfo: memFree=27814316/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=357840 CPUtime=1542.34 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 506684 0 0 0 153153 1081 0 0 25 0 1 0 818927101 366428160 86956 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 89460 86956 889 1205 0 88251 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 357840
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 15336
/proc/meminfo: memFree=27813916/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=357676 CPUtime=1602.33 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 521599 0 0 0 159113 1120 0 0 25 0 1 0 818927101 366260224 86970 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 89419 86970 792 1205 0 88210 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 357676
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 15338
/proc/meminfo: memFree=27800124/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=356284 CPUtime=1662.33 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 543021 0 0 0 165064 1169 0 0 25 0 1 0 818927101 364834816 85230 33554432000 4194304 9128323 140733608351024 18446744073709551615 7315311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 89071 85230 739 1205 0 87862 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 356284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15340
/proc/meminfo: memFree=27804560/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=355876 CPUtime=1722.33 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 619618 0 0 0 171012 1221 0 0 25 0 1 0 818927101 364417024 84594 33554432000 4194304 9128323 140733608351024 18446744073709551615 7267311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 88969 84594 739 1205 0 87760 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 355876
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15341
/proc/meminfo: memFree=27792248/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=358924 CPUtime=1782.34 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 679020 0 0 0 176960 1274 0 0 25 0 1 0 818927101 367538176 85407 33554432000 4194304 9128323 140733608351024 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 89731 85407 739 1205 0 88522 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 358924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15342
/proc/meminfo: memFree=27784172/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=367756 CPUtime=1800.04 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 704667 0 0 0 178718 1286 0 0 25 0 1 0 818927101 376582144 89447 33554432000 4194304 9128323 140733608351024 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15172/statm: 91939 89447 739 1205 0 90730 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 367756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.12 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15342
/proc/meminfo: memFree=27784172/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=366156 CPUtime=1800.15 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 704697 0 0 0 178729 1286 0 0 18 0 1 0 818927101 374943744 89058 33554432000 4194304 9128323 140733608351024 18446744073709551615 4815831 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15172/statm: 91539 89058 731 1205 0 90330 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 366156
[startup+1800.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 15342
/proc/meminfo: memFree=27784172/32951124 swapFree=58212616/67111528
[pid=15172] ppid=15170 vsize=363188 CPUtime=1800.23 cores=1,3,5,7
/proc/15172/stat : 15172 (scip-2.0.1.4.li) R 15170 15172 13256 0 -1 4202496 704697 0 0 0 178737 1286 0 0 18 0 1 0 818927101 371904512 88337 33554432000 4194304 9128323 140733608351024 18446744073709551615 4791555 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15172/statm: 90797 88337 731 1205 0 89588 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 363188
Child status: 0
Real time (s): 1800.25
CPU time (s): 1800.29
CPU user time (s): 1787.41
CPU system time (s): 12.884
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 367756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.41
system time used= 12.884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 704705
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= 10
involuntary context switches= 19880
runsolver used 8.81466 second user time and 22.8325 second system time
The end