0.00/0.00 c SCIP version 2.0.1.5 [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-3451426-1307075141.opb>
0.29/0.34 c original problem has 18069 variables (18069 bin, 0 int, 0 impl, 0 cont) and 52475 constraints
0.29/0.34 c problem read
0.29/0.34 c No objective function, only one solution is needed.
0.29/0.34 c presolving settings loaded
0.39/0.45 c presolving:
0.79/0.85 c (round 1) 1245 del vars, 976 del conss, 0 add conss, 347 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1024988 impls, 0 clqs
0.79/0.88 c (round 2) 1290 del vars, 3093 del conss, 0 add conss, 372 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025120 impls, 0 clqs
0.79/0.88 c (round 3) 1313 del vars, 3138 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025384 impls, 0 clqs
0.79/0.89 c (round 4) 1314 del vars, 3172 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025486 impls, 0 clqs
0.99/1.05 c (round 5) 1314 del vars, 3191 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 49284 upgd conss, 1025486 impls, 0 clqs
1.10/1.11 c presolving (6 rounds):
1.10/1.11 c 1314 deleted vars, 3191 deleted constraints, 0 added constraints, 381 tightened bounds, 0 added holes, 460 changed sides, 1030 changed coefficients
1.10/1.11 c 1025486 implications, 0 cliques
1.10/1.11 c presolved problem has 16755 variables (16755 bin, 0 int, 0 impl, 0 cont) and 49284 constraints
1.10/1.11 c 920 constraints of type <knapsack>
1.10/1.11 c 32261 constraints of type <setppc>
1.10/1.11 c 16103 constraints of type <logicor>
1.10/1.11 c transformed objective value is always integral (scale: 1)
1.10/1.11 c Presolving Time: 0.70
1.10/1.11 c - non default parameters ----------------------------------------------------------------------
1.10/1.11 c # SCIP version 2.0.1.5
1.10/1.11 c
1.10/1.11 c # frequency for displaying node information lines
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.11 c display/freq = 10000
1.10/1.11 c
1.10/1.11 c # maximal time in seconds to run
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11 c limits/time = 1800
1.10/1.11 c
1.10/1.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11 c limits/memory = 13950
1.10/1.11 c
1.10/1.11 c # solving stops, if the given number of solutions were found (-1: no limit)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11 c limits/solutions = 1
1.10/1.11 c
1.10/1.11 c # maximal number of separation rounds per node (-1: unlimited)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 5]
1.10/1.11 c separating/maxrounds = 1
1.10/1.11 c
1.10/1.11 c # maximal number of separation rounds in the root node (-1: unlimited)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11 c separating/maxroundsroot = 5
1.10/1.11 c
1.10/1.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.11 c # [type: int, range: [1,2], default: 1]
1.10/1.11 c timing/clocktype = 2
1.10/1.11 c
1.10/1.11 c # belongs reading time to solving time?
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c timing/reading = TRUE
1.10/1.11 c
1.10/1.11 c # should presolving try to simplify inequalities
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c constraints/linear/simplifyinequalities = TRUE
1.10/1.11 c
1.10/1.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c constraints/indicator/addCouplingCons = TRUE
1.10/1.11 c
1.10/1.11 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.10/1.12 c constraints/knapsack/disaggregation = FALSE
1.10/1.12 c
1.10/1.12 c # should presolving try to simplify knapsacks
1.10/1.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.12 c
1.10/1.12 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.12 c presolving/probing/maxrounds = 0
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.12 c heuristics/coefdiving/freq = -1
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.12 c heuristics/coefdiving/maxlpiterquot = 0.075
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/coefdiving/maxlpiterofs = 1500
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 30]
1.10/1.12 c heuristics/crossover/freq = -1
1.10/1.12 c
1.10/1.12 c # number of nodes added to the contingent of the total nodes
1.10/1.12 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.12 c heuristics/crossover/nodesofs = 750
1.10/1.12 c
1.10/1.12 c # number of nodes without incumbent change that heuristic should wait
1.10/1.12 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.10/1.12 c heuristics/crossover/nwaitingnodes = 100
1.10/1.12 c
1.10/1.12 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.10/1.12 c # [type: real, range: [0,1], default: 0.1]
1.10/1.12 c heuristics/crossover/nodesquot = 0.15
1.10/1.12 c
1.10/1.12 c # minimum percentage of integer variables that have to be fixed
1.10/1.12 c # [type: real, range: [0,1], default: 0.666]
1.10/1.12 c heuristics/crossover/minfixingrate = 0.5
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.12 c heuristics/feaspump/freq = -1
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/feaspump/maxlpiterofs = 2000
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.12 c heuristics/fracdiving/freq = -1
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.12 c heuristics/fracdiving/maxlpiterquot = 0.075
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/fracdiving/maxlpiterofs = 1500
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.12 c heuristics/guideddiving/freq = -1
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.12 c heuristics/guideddiving/maxlpiterquot = 0.075
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/guideddiving/maxlpiterofs = 1500
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.12 c heuristics/intdiving/maxlpiterquot = 0.075
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.12 c heuristics/intshifting/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.12 c heuristics/linesearchdiving/freq = -1
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.12 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.12 c heuristics/objpscostdiving/freq = -1
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to total iteration number
1.10/1.12 c # [type: real, range: [0,1], default: 0.01]
1.10/1.12 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.12 c heuristics/oneopt/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.12 c heuristics/pscostdiving/freq = -1
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.12 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/pscostdiving/maxlpiterofs = 1500
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.12 c heuristics/rens/freq = -1
1.10/1.12 c
1.10/1.12 c # minimum percentage of integer variables that have to be fixable
1.10/1.12 c # [type: real, range: [0,1], default: 0.5]
1.10/1.12 c heuristics/rens/minfixingrate = 0.3
1.10/1.12 c
1.10/1.12 c # number of nodes added to the contingent of the total nodes
1.10/1.12 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.12 c heuristics/rens/nodesofs = 2000
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.12 c heuristics/rootsoldiving/freq = -1
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.10/1.12 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.12 c heuristics/rounding/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.12 c heuristics/shiftandpropagate/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.12 c heuristics/shifting/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.12 c heuristics/simplerounding/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.12 c heuristics/subnlp/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.12 c heuristics/trivial/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.12 c heuristics/trysol/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.12 c heuristics/undercover/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.12 c heuristics/veclendiving/freq = -1
1.10/1.12 c
1.10/1.12 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.12 c heuristics/veclendiving/maxlpiterquot = 0.075
1.10/1.12 c
1.10/1.12 c # additional number of allowed LP iterations
1.10/1.12 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.12 c heuristics/veclendiving/maxlpiterofs = 1500
1.10/1.12 c
1.10/1.12 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.12 c heuristics/zirounding/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.12 c separating/cmir/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.12 c separating/flowcover/freq = -1
1.10/1.12 c
1.10/1.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.12 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.12 c separating/rapidlearning/freq = 0
1.10/1.12 c
1.10/1.12 c -----------------------------------------------------------------------------------------------
1.10/1.12 c start solving
1.10/1.12 c
2.39/2.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.40 c 2.4s| 1 | 0 | 5290 | - | 126M| 0 |2580 | 16k| 49k| 16k| 49k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.61/5.65 c 5.6s| 1 | 0 | 10073 | - | 126M| 0 |3866 | 16k| 49k| 16k| 49k| 86 | 0 | 0 | 0.000000e+00 | -- | Inf
8.48/8.53 c 8.5s| 1 | 0 | 14245 | - | 127M| 0 |3917 | 16k| 49k| 16k| 49k| 188 | 0 | 0 | 0.000000e+00 | -- | Inf
13.49/13.52 c 13.5s| 1 | 0 | 22183 | - | 127M| 0 |4367 | 16k| 49k| 16k| 49k| 334 | 0 | 0 | 0.000000e+00 | -- | Inf
30.80/30.84 c 30.8s| 1 | 0 | 31246 | - | 128M| 0 |4684 | 16k| 49k| 16k| 49k| 471 | 0 | 0 | 0.000000e+00 | -- | Inf
39.60/39.68 c 39.7s| 1 | 0 | 41364 | - | 128M| 0 |4968 | 16k| 49k| 16k| 49k| 611 | 0 | 0 | 0.000000e+00 | -- | Inf
59.69/59.76 c 59.8s| 1 | 2 | 41364 | - | 128M| 0 |4968 | 16k| 49k| 16k| 49k| 611 | 0 | 24 | 0.000000e+00 | -- | Inf
1800.15/1800.25 c
1800.15/1800.25 c SCIP Status : solving was interrupted [user interrupt]
1800.15/1800.25 c Solving Time (sec) : 1800.24
1800.15/1800.25 c Solving Nodes : 3929
1800.15/1800.25 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.15/1800.25 c Dual Bound : +0.00000000000000e+00
1800.15/1800.25 c Gap : infinite
1800.15/1800.25 s UNKNOWN
1800.15/1800.25 c SCIP Status : solving was interrupted [user interrupt]
1800.15/1800.25 c Total Time : 1800.24
1800.15/1800.25 c solving : 1800.24
1800.15/1800.25 c presolving : 0.70 (included in solving)
1800.15/1800.25 c reading : 0.34 (included in solving)
1800.15/1800.25 c Original Problem :
1800.15/1800.25 c Problem name : HOME/instance-3451426-1307075141.opb
1800.15/1800.25 c Variables : 18069 (18069 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.15/1800.25 c Constraints : 52475 initial, 52475 maximal
1800.15/1800.25 c Presolved Problem :
1800.15/1800.25 c Problem name : t_HOME/instance-3451426-1307075141.opb
1800.15/1800.25 c Variables : 16755 (16755 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.15/1800.25 c Constraints : 49284 initial, 52367 maximal
1800.15/1800.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.15/1800.25 c trivial : 0.01 18 0 0 0 0 0 0 0 0
1800.15/1800.25 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c implics : 0.07 0 911 0 0 0 0 0 0 0
1800.15/1800.25 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c setppc : 0.04 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c linear : 0.49 381 4 0 381 0 3191 0 460 1030
1800.15/1800.25 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c root node : - 0 - - 0 - - - - -
1800.15/1800.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.15/1800.25 c integral : 0 0 0 2820 0 1 0 10 139 0 0 5536
1800.15/1800.25 c knapsack : 920 5 98534 0 0 0 0 0 127 1000 0 0
1800.15/1800.25 c setppc : 32261 5 98534 0 0 0 1372570 875 1300308 0 0 0
1800.15/1800.25 c logicor : 16103+ 5 93407 0 0 0 628195 1307 961428 0 0 0
1800.15/1800.25 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.15/1800.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.15/1800.25 c integral : 751.11 0.00 0.00 751.11 0.00 0.00 0.00
1800.15/1800.25 c knapsack : 1.32 0.01 1.31 0.00 0.00 0.00 0.00
1800.15/1800.25 c setppc : 12.50 0.01 11.99 0.00 0.00 0.00 0.50
1800.15/1800.25 c logicor : 3.92 0.00 3.52 0.00 0.00 0.00 0.39
1800.15/1800.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.15/1800.25 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.15/1800.25 c vbounds : 0 0 0 0
1800.15/1800.25 c rootredcost : 0 0 0 0
1800.15/1800.25 c pseudoobj : 0 0 0 0
1800.15/1800.25 c Propagator Timings : TotalTime Propagate Resprop
1800.15/1800.25 c vbounds : 0.01 0.01 0.00
1800.15/1800.25 c rootredcost : 0.01 0.01 0.00
1800.15/1800.25 c pseudoobj : 0.01 0.01 0.00
1800.15/1800.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.15/1800.25 c propagation : 1.81 2182 2006 27378 108.6 364 21.7 -
1800.15/1800.25 c infeasible LP : 0.08 21 21 79 51.3 12 21.9 0
1800.15/1800.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.15/1800.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.15/1800.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.15/1800.25 c applied globally : - - - 7373 68.4 - - -
1800.15/1800.25 c applied locally : - - - 0 0.0 - - -
1800.15/1800.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.15/1800.25 c cut pool : 0.00 4 - - 161 - (maximal pool size: 1460)
1800.15/1800.25 c redcost : 1.12 2790 0 0 0 0
1800.15/1800.25 c impliedbounds : 0.03 5 0 0 0 0
1800.15/1800.25 c intobj : 0.00 0 0 0 0 0
1800.15/1800.25 c gomory : 8.95 5 0 0 2500 0
1800.15/1800.25 c cgmip : 0.00 0 0 0 0 0
1800.15/1800.25 c closecuts : 0.00 0 0 0 0 0
1800.15/1800.25 c strongcg : 7.21 5 0 0 2500 0
1800.15/1800.25 c cmir : 0.00 0 0 0 0 0
1800.15/1800.25 c flowcover : 0.00 0 0 0 0 0
1800.15/1800.25 c clique : 1.39 5 0 0 34 0
1800.15/1800.25 c zerohalf : 0.00 0 0 0 0 0
1800.15/1800.25 c mcf : 0.33 1 0 0 0 0
1800.15/1800.25 c oddcycle : 0.00 0 0 0 0 0
1800.15/1800.25 c rapidlearning : 0.00 0 0 0 0 0
1800.15/1800.25 c Pricers : Time Calls Vars
1800.15/1800.25 c problem variables: 0.00 0 0
1800.15/1800.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.15/1800.25 c relpscost : 751.11 2820 10 139 0 0 5536
1800.15/1800.25 c pscost : 0.00 0 0 0 0 0 0
1800.15/1800.25 c inference : 0.00 0 0 0 0 0 0
1800.15/1800.25 c mostinf : 0.00 0 0 0 0 0 0
1800.15/1800.25 c leastinf : 0.00 0 0 0 0 0 0
1800.15/1800.25 c fullstrong : 0.00 0 0 0 0 0 0
1800.15/1800.25 c allfullstrong : 0.00 0 0 0 0 0 0
1800.15/1800.25 c random : 0.00 0 0 0 0 0 0
1800.15/1800.25 c Primal Heuristics : Time Calls Found
1800.15/1800.25 c LP solutions : 0.00 - 0
1800.15/1800.25 c pseudo solutions : 0.00 - 0
1800.15/1800.25 c trivial : 0.01 1 0
1800.15/1800.25 c shiftandpropagate: 0.00 0 0
1800.15/1800.25 c simplerounding : 0.00 0 0
1800.15/1800.25 c zirounding : 0.00 0 0
1800.15/1800.25 c rounding : 0.00 0 0
1800.15/1800.25 c shifting : 0.00 0 0
1800.15/1800.25 c intshifting : 0.00 0 0
1800.15/1800.25 c oneopt : 0.00 0 0
1800.15/1800.25 c twoopt : 0.00 0 0
1800.15/1800.25 c fixandinfer : 0.00 0 0
1800.15/1800.25 c feaspump : 0.00 0 0
1800.15/1800.25 c clique : 0.00 0 0
1800.15/1800.25 c coefdiving : 0.00 0 0
1800.15/1800.25 c pscostdiving : 0.00 0 0
1800.15/1800.25 c fracdiving : 0.00 0 0
1800.15/1800.25 c veclendiving : 0.00 0 0
1800.15/1800.25 c intdiving : 0.00 0 0
1800.15/1800.25 c actconsdiving : 0.00 0 0
1800.15/1800.25 c objpscostdiving : 0.00 0 0
1800.15/1800.25 c rootsoldiving : 0.00 0 0
1800.15/1800.25 c linesearchdiving : 0.00 0 0
1800.15/1800.25 c guideddiving : 0.00 0 0
1800.15/1800.25 c octane : 0.00 0 0
1800.15/1800.25 c rens : 0.00 0 0
1800.15/1800.25 c rins : 0.00 0 0
1800.15/1800.25 c localbranching : 0.00 0 0
1800.15/1800.25 c mutation : 0.00 0 0
1800.15/1800.25 c crossover : 0.00 0 0
1800.15/1800.25 c dins : 0.00 0 0
1800.15/1800.25 c vbounds : 0.00 0 0
1800.15/1800.25 c undercover : 0.00 0 0
1800.15/1800.25 c subnlp : 0.00 0 0
1800.15/1800.25 c trysol : 0.00 0 0
1800.15/1800.25 c LP : Time Calls Iterations Iter/call Iter/sec
1800.15/1800.25 c primal LP : 0.02 0 0 0.00 0.00
1800.15/1800.25 c dual LP : 982.51 2846 1740642 611.61 1771.63
1800.15/1800.25 c lex dual LP : 0.00 0 0 0.00 -
1800.15/1800.25 c barrier LP : 0.00 0 0 0.00 -
1800.15/1800.25 c diving/probing LP: 0.00 0 0 0.00 -
1800.15/1800.25 c strong branching : 748.99 1534 998436 650.87 1333.04
1800.15/1800.25 c (at root node) : - 24 20926 871.92 -
1800.15/1800.25 c conflict analysis: 0.00 0 0 0.00 -
1800.15/1800.25 c B&B Tree :
1800.15/1800.25 c number of runs : 1
1800.15/1800.25 c nodes : 3929
1800.15/1800.25 c nodes (total) : 3929
1800.15/1800.25 c nodes left : 38
1800.15/1800.25 c max depth : 73
1800.15/1800.25 c max depth (total): 73
1800.15/1800.25 c backtracks : 1144 (29.1%)
1800.15/1800.25 c delayed cutoffs : 1570
1800.15/1800.25 c repropagations : 3208 (776617 domain reductions, 1052 cutoffs)
1800.15/1800.25 c avg switch length: 3.15
1800.15/1800.25 c switching time : 7.09
1800.15/1800.25 c Solution :
1800.15/1800.25 c Solutions found : 0 (0 improvements)
1800.15/1800.25 c Primal Bound : -
1800.15/1800.25 c Dual Bound : +0.00000000000000e+00
1800.15/1800.25 c Gap : infinite
1800.15/1800.25 c Root Dual Bound : +0.00000000000000e+00
1800.15/1800.25 c Root Iterations : 41364
1800.33/1800.43 c Time complete: 1800.36.
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-3451426-1307075141/watcher-3451426-1307075141 -o /tmp/evaluation-result-3451426-1307075141/solver-3451426-1307075141 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451426-1307075141.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: 1.92 2.00 1.99 3/453 14750
/proc/meminfo: memFree=30812580/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=13236 CPUtime=0 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 2302 0 0 0 0 0 0 0 25 0 1 0 819111976 13553664 2255 33554432000 4194304 9163163 140733804896848 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14750/statm: 3309 2256 392 1214 0 2091 0
[startup+0.102966 s]
/proc/loadavg: 1.92 2.00 1.99 3/453 14750
/proc/meminfo: memFree=30812580/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=23592 CPUtime=0.09 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 4864 0 0 0 9 0 0 0 25 0 1 0 819111976 24158208 4817 33554432000 4194304 9163163 140733804896848 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14750/statm: 5898 4817 392 1214 0 4680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23592
[startup+0.200953 s]
/proc/loadavg: 1.92 2.00 1.99 3/453 14750
/proc/meminfo: memFree=30812580/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=33184 CPUtime=0.19 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 7258 0 0 0 18 1 0 0 25 0 1 0 819111976 33980416 7211 33554432000 4194304 9163163 140733804896848 18446744073709551615 6166870 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14750/statm: 8296 7211 392 1214 0 7078 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33184
[startup+0.300934 s]
/proc/loadavg: 1.92 2.00 1.99 3/453 14750
/proc/meminfo: memFree=30812580/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=43460 CPUtime=0.29 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 9843 0 0 0 28 1 0 0 25 0 1 0 819111976 44503040 9796 33554432000 4194304 9163163 140733804896848 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14750/statm: 10865 9796 392 1214 0 9647 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43460
[startup+0.700874 s]
/proc/loadavg: 1.92 2.00 1.99 3/453 14750
/proc/meminfo: memFree=30812580/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=134140 CPUtime=0.69 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 31842 0 0 0 66 3 0 0 25 0 1 0 819111976 137359360 31765 33554432000 4194304 9163163 140733804896848 18446744073709551615 6567844 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 33535 31765 514 1214 0 32317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134140
[startup+1.50072 s]
/proc/loadavg: 1.92 2.00 1.99 3/454 14751
/proc/meminfo: memFree=30657064/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=242132 CPUtime=1.49 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 60218 0 0 0 142 7 0 0 18 0 1 0 819111976 247943168 56383 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 60533 56383 742 1214 0 59315 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 242132
[startup+3.10043 s]
/proc/loadavg: 1.92 2.00 1.99 3/454 14751
/proc/meminfo: memFree=30580308/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=246384 CPUtime=3.09 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 63016 0 0 0 300 9 0 0 20 0 1 0 819111976 252297216 59061 33554432000 4194304 9163163 140733804896848 18446744073709551615 18446744073699066028 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 61596 59061 746 1214 0 60378 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 246384
[startup+6.30084 s]
/proc/loadavg: 2.01 2.01 2.00 3/454 14752
/proc/meminfo: memFree=30573048/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=248224 CPUtime=6.29 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 64134 0 0 0 618 11 0 0 25 0 1 0 819111976 254181376 60147 33554432000 4194304 9163163 140733804896848 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 62056 60147 956 1214 0 60838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 248224
[startup+12.7007 s]
/proc/loadavg: 2.01 2.01 2.00 3/454 14752
/proc/meminfo: memFree=30563692/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=257172 CPUtime=12.69 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 66376 0 0 0 1252 17 0 0 25 0 1 0 819111976 263344128 62189 33554432000 4194304 9163163 140733804896848 18446744073709551615 7051396 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 64293 62189 766 1214 0 63075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 257172
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 14752
/proc/meminfo: memFree=30564040/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=257172 CPUtime=25.49 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 66396 0 0 0 2526 23 0 0 25 0 1 0 819111976 263344128 62209 33554432000 4194304 9163163 140733804896848 18446744073709551615 6213955 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 64293 62209 766 1214 0 63075 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 257172
[startup+51.1007 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 14753
/proc/meminfo: memFree=30555352/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=264936 CPUtime=51.09 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 68559 0 0 0 5070 39 0 0 25 0 1 0 819111976 271294464 64361 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 66234 64361 761 1214 0 65016 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 264936
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/454 14754
/proc/meminfo: memFree=30551976/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=267000 CPUtime=102.3 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 69083 0 0 0 10164 66 0 0 25 0 1 0 819111976 273408000 64885 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 66750 64885 764 1214 0 65532 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 267000
[startup+162.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/454 14756
/proc/meminfo: memFree=30551296/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=267088 CPUtime=162.29 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 98653 0 0 0 16131 98 0 0 25 0 1 0 819111976 273498112 65084 33554432000 4194304 9163163 140733804896848 18446744073709551615 7225490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 66772 65084 764 1214 0 65554 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 267088
[startup+222.318 s]
/proc/loadavg: 2.19 2.08 2.02 3/454 14757
/proc/meminfo: memFree=30560920/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=264308 CPUtime=222.28 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 109676 0 0 0 22104 124 0 0 25 0 1 0 819111976 270651392 63004 33554432000 4194304 9163163 140733804896848 18446744073709551615 8045625 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 66077 63026 764 1214 0 64859 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 264308
[startup+282.301 s]
/proc/loadavg: 2.16 2.09 2.02 3/454 14759
/proc/meminfo: memFree=30542896/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=277372 CPUtime=282.25 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 135321 0 0 0 28056 169 0 0 25 0 1 0 819111976 284028928 67439 33554432000 4194304 9163163 140733804896848 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 69343 67439 748 1214 0 68125 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 277372
[startup+342.301 s]
/proc/loadavg: 2.10 2.09 2.02 3/454 14761
/proc/meminfo: memFree=30543108/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=278596 CPUtime=342.26 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 148568 0 0 0 34011 215 0 0 25 0 1 0 819111976 285282304 67323 33554432000 4194304 9163163 140733804896848 18446744073709551615 7195887 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 69649 67323 740 1214 0 68431 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 278596
[startup+402.301 s]
/proc/loadavg: 2.04 2.07 2.02 3/454 14762
/proc/meminfo: memFree=30537616/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=282844 CPUtime=402.26 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 181957 0 0 0 39961 265 0 0 25 0 1 0 819111976 289632256 68767 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 70711 68767 736 1214 0 69493 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 282844
[startup+462.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/452 14765
/proc/meminfo: memFree=31673556/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=288896 CPUtime=462.25 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 208429 0 0 0 45902 323 0 0 25 0 1 0 819111976 295829504 69750 33554432000 4194304 9163163 140733804896848 18446744073709551615 7225362 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 72224 69750 736 1214 0 71006 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 288896
[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/454 14820
/proc/meminfo: memFree=31640736/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=298236 CPUtime=522.26 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 246829 0 0 0 51851 375 0 0 25 0 1 0 819111976 305393664 72551 33554432000 4194304 9163163 140733804896848 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 74559 72551 832 1214 0 73341 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 298236
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 14822
/proc/meminfo: memFree=31614972/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=306032 CPUtime=582.25 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 304940 0 0 0 57801 424 0 0 25 0 1 0 819111976 313376768 74339 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 76508 74339 766 1214 0 75290 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 306032
[startup+642.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 14832
/proc/meminfo: memFree=31449844/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=332304 CPUtime=942.24 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 638917 0 0 0 93530 694 0 0 25 0 1 0 819111976 340279296 81090 33554432000 4194304 9163163 140733804896848 18446744073709551615 7379259 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 83076 81090 824 1214 0 81858 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 332304
[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/454 14833
/proc/meminfo: memFree=31434284/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=333912 CPUtime=1002.24 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 674934 0 0 0 99486 738 0 0 25 0 1 0 819111976 341925888 80946 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 83478 80946 736 1214 0 82260 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 333912
[startup+1062.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/454 14835
/proc/meminfo: memFree=31407068/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=340584 CPUtime=1062.24 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 765879 0 0 0 105439 785 0 0 25 0 1 0 819111976 348758016 83094 33554432000 4194304 9163163 140733804896848 18446744073709551615 7394649 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 85146 83094 736 1214 0 83928 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 340584
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 14836
/proc/meminfo: memFree=31384684/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=341888 CPUtime=1122.24 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 766409 0 0 0 111401 823 0 0 25 0 1 0 819111976 350093312 83624 33554432000 4194304 9163163 140733804896848 18446744073709551615 7348516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 85472 83624 736 1214 0 84254 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 341888
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 14838
/proc/meminfo: memFree=31368512/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=342112 CPUtime=1182.24 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 766731 0 0 0 117362 862 0 0 25 0 1 0 819111976 350322688 83946 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 85528 83946 736 1214 0 84310 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 342112
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14840
/proc/meminfo: memFree=31360888/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=340664 CPUtime=1242.23 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 776256 0 0 0 123325 898 0 0 25 0 1 0 819111976 348839936 82285 33554432000 4194304 9163163 140733804896848 18446744073709551615 7348259 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 85166 82285 736 1214 0 83948 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 340664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14841
/proc/meminfo: memFree=31334036/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=348912 CPUtime=1302.24 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 787490 0 0 0 129286 938 0 0 25 0 1 0 819111976 357285888 85355 33554432000 4194304 9163163 140733804896848 18446744073709551615 7225310 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 87228 85355 765 1214 0 86010 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 348912
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 14843
/proc/meminfo: memFree=31316384/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=350444 CPUtime=1362.24 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 793891 0 0 0 135248 976 0 0 25 0 1 0 819111976 358854656 85763 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 87611 85763 736 1214 0 86393 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 350444
[startup+1422.3 s]
/proc/loadavg: 2.34 2.11 2.03 3/454 14844
/proc/meminfo: memFree=31299160/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=354128 CPUtime=1422.25 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 814293 0 0 0 141211 1014 0 0 25 0 1 0 819111976 362627072 86587 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 88532 86587 736 1214 0 87314 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 354128
[startup+1482.3 s]
/proc/loadavg: 2.27 2.12 2.03 3/454 14846
/proc/meminfo: memFree=31288672/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=357852 CPUtime=1482.23 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 844515 0 0 0 147165 1058 0 0 25 0 1 0 819111976 366440448 87330 33554432000 4194304 9163163 140733804896848 18446744073709551615 7388784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 89463 87330 735 1214 0 88245 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 357852
[startup+1542.32 s]
/proc/loadavg: 2.10 2.10 2.03 3/454 14848
/proc/meminfo: memFree=31279296/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=359180 CPUtime=1542.25 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 882263 0 0 0 153121 1104 0 0 25 0 1 0 819111976 367800320 87429 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 89795 87429 735 1214 0 88577 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 359180
[startup+1602.3 s]
/proc/loadavg: 2.11 2.11 2.03 3/454 14849
/proc/meminfo: memFree=31270444/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=363112 CPUtime=1602.23 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 950779 0 0 0 159073 1150 0 0 25 0 1 0 819111976 371826688 88875 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 90778 88875 897 1214 0 89560 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 363112
[startup+1662.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/454 14851
/proc/meminfo: memFree=31252904/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=367844 CPUtime=1662.23 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 988814 0 0 0 165028 1195 0 0 25 0 1 0 819111976 376672256 90301 33554432000 4194304 9163163 140733804896848 18446744073709551615 7348432 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 91961 90301 802 1214 0 90743 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 367844
[startup+1722.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/454 14852
/proc/meminfo: memFree=31249380/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=367744 CPUtime=1722.23 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 1056060 0 0 0 170981 1242 0 0 25 0 1 0 819111976 376569856 88967 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 91936 88967 735 1214 0 90718 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 367744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/454 14854
/proc/meminfo: memFree=31228764/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=372176 CPUtime=1782.23 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 1097483 0 0 0 176939 1284 0 0 25 0 1 0 819111976 381108224 90185 33554432000 4194304 9163163 140733804896848 18446744073709551615 7130323 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 93044 90185 735 1214 0 91826 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 372176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.05 2.01 3/454 14854
/proc/meminfo: memFree=31225872/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=373344 CPUtime=1800.04 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 1118373 0 0 0 178704 1300 0 0 25 0 1 0 819111976 382304256 91108 33554432000 4194304 9163163 140733804896848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14750/statm: 93336 91108 735 1214 0 92118 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 373344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/454 14854
/proc/meminfo: memFree=31225872/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=373344 CPUtime=1800.23 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 1118396 0 0 0 178723 1300 0 0 18 0 1 0 819111976 382304256 91114 33554432000 4194304 9163163 140733804896848 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14750/statm: 93336 91114 724 1214 0 92118 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 373344
[startup+1800.4 s]
/proc/loadavg: 2.00 2.05 2.01 3/454 14854
/proc/meminfo: memFree=31225872/32951124 swapFree=55639044/67111528
[pid=14750] ppid=14748 vsize=358168 CPUtime=1800.33 cores=1,3,5,7
/proc/14750/stat : 14750 (scip-2.0.1.4b.l) R 14748 14750 12722 0 -1 4202496 1118398 0 0 0 178733 1300 0 0 18 0 1 0 819111976 366764032 87326 33554432000 4194304 9163163 140733804896848 18446744073709551615 6923170 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14750/statm: 89542 87326 726 1214 0 88324 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 358168
Child status: 0
Real time (s): 1800.44
CPU time (s): 1800.37
CPU user time (s): 1787.36
CPU system time (s): 13.015
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 374216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.36
system time used= 13.015
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1118405
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= 8
involuntary context switches= 4185
runsolver used 7.53685 second user time and 18.6742 second system time
The end