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-3451323-1307070067.opb>
18.59/18.63 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
18.59/18.63 c problem read
18.59/18.63 c No objective function, only one solution is needed.
18.59/18.63 c presolving settings loaded
22.29/22.39 c presolving:
37.90/37.99 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2559500 upgd conss, 4000 impls, 100 clqs
40.49/40.56 c presolving (2 rounds):
40.49/40.56 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5041 changed coefficients
40.49/40.56 c 4000 implications, 100 cliques
40.49/40.56 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
40.49/40.56 c 4950 constraints of type <knapsack>
40.49/40.56 c 2100 constraints of type <setppc>
40.49/40.56 c 1 constraints of type <linear>
40.49/40.56 c 2552450 constraints of type <logicor>
40.49/40.56 c transformed objective value is always integral (scale: 1)
40.49/40.56 c Presolving Time: 18.78
40.49/40.56 c - non default parameters ----------------------------------------------------------------------
40.49/40.56 c # SCIP version 2.0.1.5
40.49/40.56 c
40.49/40.56 c # frequency for displaying node information lines
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 100]
40.49/40.56 c display/freq = 10000
40.49/40.56 c
40.49/40.56 c # maximal time in seconds to run
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
40.49/40.56 c limits/time = 1800
40.49/40.56 c
40.49/40.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
40.49/40.56 c limits/memory = 13950
40.49/40.56 c
40.49/40.56 c # solving stops, if the given number of solutions were found (-1: no limit)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: -1]
40.49/40.56 c limits/solutions = 1
40.49/40.56 c
40.49/40.56 c # maximal number of separation rounds per node (-1: unlimited)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 5]
40.49/40.56 c separating/maxrounds = 1
40.49/40.56 c
40.49/40.56 c # maximal number of separation rounds in the root node (-1: unlimited)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: -1]
40.49/40.56 c separating/maxroundsroot = 5
40.49/40.56 c
40.49/40.56 c # default clock type (1: CPU user seconds, 2: wall clock time)
40.49/40.56 c # [type: int, range: [1,2], default: 1]
40.49/40.56 c timing/clocktype = 2
40.49/40.56 c
40.49/40.56 c # belongs reading time to solving time?
40.49/40.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
40.49/40.56 c timing/reading = TRUE
40.49/40.56 c
40.49/40.56 c # should presolving try to simplify inequalities
40.49/40.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
40.49/40.56 c constraints/linear/simplifyinequalities = TRUE
40.49/40.56 c
40.49/40.56 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
40.49/40.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
40.49/40.56 c constraints/indicator/addCouplingCons = TRUE
40.49/40.56 c
40.49/40.56 c # should disaggregation of knapsack constraints be allowed in preprocessing?
40.49/40.56 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
40.49/40.56 c constraints/knapsack/disaggregation = FALSE
40.49/40.56 c
40.49/40.56 c # should presolving try to simplify knapsacks
40.49/40.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
40.49/40.56 c constraints/knapsack/simplifyinequalities = TRUE
40.49/40.56 c
40.49/40.56 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: -1]
40.49/40.56 c presolving/probing/maxrounds = 0
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 10]
40.49/40.56 c heuristics/coefdiving/freq = -1
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to node LP iterations
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.49/40.56 c heuristics/coefdiving/maxlpiterquot = 0.075
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/coefdiving/maxlpiterofs = 1500
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 30]
40.49/40.56 c heuristics/crossover/freq = -1
40.49/40.56 c
40.49/40.56 c # number of nodes added to the contingent of the total nodes
40.49/40.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
40.49/40.56 c heuristics/crossover/nodesofs = 750
40.49/40.56 c
40.49/40.56 c # number of nodes without incumbent change that heuristic should wait
40.49/40.56 c # [type: longint, range: [0,9223372036854775807], default: 200]
40.49/40.56 c heuristics/crossover/nwaitingnodes = 100
40.49/40.56 c
40.49/40.56 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
40.49/40.56 c # [type: real, range: [0,1], default: 0.1]
40.49/40.56 c heuristics/crossover/nodesquot = 0.15
40.49/40.56 c
40.49/40.56 c # minimum percentage of integer variables that have to be fixed
40.49/40.56 c # [type: real, range: [0,1], default: 0.666]
40.49/40.56 c heuristics/crossover/minfixingrate = 0.5
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 20]
40.49/40.56 c heuristics/feaspump/freq = -1
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/feaspump/maxlpiterofs = 2000
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 10]
40.49/40.56 c heuristics/fracdiving/freq = -1
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to node LP iterations
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.49/40.56 c heuristics/fracdiving/maxlpiterquot = 0.075
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/fracdiving/maxlpiterofs = 1500
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 10]
40.49/40.56 c heuristics/guideddiving/freq = -1
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to node LP iterations
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.49/40.56 c heuristics/guideddiving/maxlpiterquot = 0.075
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/guideddiving/maxlpiterofs = 1500
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to node LP iterations
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.49/40.56 c heuristics/intdiving/maxlpiterquot = 0.075
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 10]
40.49/40.56 c heuristics/intshifting/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 10]
40.49/40.56 c heuristics/linesearchdiving/freq = -1
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to node LP iterations
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.49/40.56 c heuristics/linesearchdiving/maxlpiterquot = 0.075
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/linesearchdiving/maxlpiterofs = 1500
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 20]
40.49/40.56 c heuristics/objpscostdiving/freq = -1
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to total iteration number
40.49/40.56 c # [type: real, range: [0,1], default: 0.01]
40.49/40.56 c heuristics/objpscostdiving/maxlpiterquot = 0.015
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/objpscostdiving/maxlpiterofs = 1500
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 1]
40.49/40.56 c heuristics/oneopt/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 10]
40.49/40.56 c heuristics/pscostdiving/freq = -1
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to node LP iterations
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.49/40.56 c heuristics/pscostdiving/maxlpiterquot = 0.075
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/pscostdiving/maxlpiterofs = 1500
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 0]
40.49/40.56 c heuristics/rens/freq = -1
40.49/40.56 c
40.49/40.56 c # minimum percentage of integer variables that have to be fixable
40.49/40.56 c # [type: real, range: [0,1], default: 0.5]
40.49/40.56 c heuristics/rens/minfixingrate = 0.3
40.49/40.56 c
40.49/40.56 c # number of nodes added to the contingent of the total nodes
40.49/40.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
40.49/40.56 c heuristics/rens/nodesofs = 2000
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 20]
40.49/40.56 c heuristics/rootsoldiving/freq = -1
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to node LP iterations
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
40.49/40.56 c heuristics/rootsoldiving/maxlpiterquot = 0.015
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/rootsoldiving/maxlpiterofs = 1500
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 1]
40.49/40.56 c heuristics/rounding/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 0]
40.49/40.56 c heuristics/shiftandpropagate/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 10]
40.49/40.56 c heuristics/shifting/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 1]
40.49/40.56 c heuristics/simplerounding/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 1]
40.49/40.56 c heuristics/subnlp/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 0]
40.49/40.56 c heuristics/trivial/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 1]
40.49/40.56 c heuristics/trysol/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 0]
40.49/40.56 c heuristics/undercover/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 10]
40.49/40.56 c heuristics/veclendiving/freq = -1
40.49/40.56 c
40.49/40.56 c # maximal fraction of diving LP iterations compared to node LP iterations
40.49/40.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.49/40.56 c heuristics/veclendiving/maxlpiterquot = 0.075
40.49/40.56 c
40.49/40.56 c # additional number of allowed LP iterations
40.49/40.56 c # [type: int, range: [0,2147483647], default: 1000]
40.49/40.56 c heuristics/veclendiving/maxlpiterofs = 1500
40.49/40.56 c
40.49/40.56 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 1]
40.49/40.56 c heuristics/zirounding/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 0]
40.49/40.56 c separating/cmir/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: 0]
40.49/40.56 c separating/flowcover/freq = -1
40.49/40.56 c
40.49/40.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
40.49/40.56 c # [type: int, range: [-1,2147483647], default: -1]
40.49/40.56 c separating/rapidlearning/freq = 0
40.49/40.56 c
40.49/40.56 c -----------------------------------------------------------------------------------------------
40.49/40.56 c start solving
40.71/40.77 c
120.19/120.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.19/120.23 c 120s| 1 | 0 | 2206 | - |3200M| 0 | 204 |4500 |2559k|4500 |2559k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
209.80/209.87 c 210s| 1 | 0 | 3144 | - |3200M| 0 | 316 |4500 |2559k|4500 |2559k| 26 | 0 | 0 | 0.000000e+00 | -- | Inf
408.00/408.07 c 408s| 1 | 0 | 5337 | - |3200M| 0 | 620 |4500 |2559k|4500 |2559k| 51 | 0 | 0 | 0.000000e+00 | -- | Inf
654.52/654.52 c 655s| 1 | 0 | 8266 | - |3201M| 0 | 589 |4500 |2559k|4500 |2559k| 81 | 0 | 0 | 0.000000e+00 | -- | Inf
1055.92/1055.96 c 1056s| 1 | 0 | 13175 | - |3201M| 0 | 569 |4500 |2559k|4500 |2559k| 101 | 0 | 0 | 0.000000e+00 | -- | Inf
1800.44/1800.44 c 1800s| 1 | 0 | 22749 | - |3201M| 0 | - |4500 |2559k|4500 |2559k| 125 | 0 | 0 | 0.000000e+00 | -- | Inf
1800.54/1800.54 c 1801s| 1 | 2 | 22749 | - |3201M| 0 | - |4500 |2559k|4500 |2559k| 125 | 0 | 0 | 0.000000e+00 | -- | Inf
1800.54/1800.54 c
1800.54/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.54/1800.54 c Solving Time (sec) : 1800.53
1800.54/1800.54 c Solving Nodes : 1
1800.54/1800.54 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.54/1800.54 c Dual Bound : +0.00000000000000e+00
1800.54/1800.54 c Gap : infinite
1800.54/1800.54 s UNKNOWN
1800.54/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.54/1800.54 c Total Time : 1800.53
1800.54/1800.54 c solving : 1800.53
1800.54/1800.54 c presolving : 18.78 (included in solving)
1800.54/1800.54 c reading : 18.63 (included in solving)
1800.54/1800.54 c Original Problem :
1800.54/1800.54 c Problem name : HOME/instance-3451323-1307070067.opb
1800.54/1800.54 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.54/1800.54 c Constraints : 2559501 initial, 2559501 maximal
1800.54/1800.54 c Presolved Problem :
1800.54/1800.54 c Problem name : t_HOME/instance-3451323-1307070067.opb
1800.54/1800.54 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.54/1800.54 c Constraints : 2559501 initial, 2559501 maximal
1800.54/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.54/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c knapsack : 0.74 0 0 0 0 0 0 0 0 5041
1800.54/1800.54 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c linear : 10.35 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c logicor : 3.95 0 0 0 0 0 0 0 0 0
1800.54/1800.54 c root node : - 0 - - 0 - - - - -
1800.54/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.54/1800.54 c integral : 0 0 0 0 0 1 0 0 0 0 0 0
1800.54/1800.54 c knapsack : 4950 5 1 0 1 0 0 0 0 529 0 0
1800.54/1800.54 c setppc : 2100 5 1 0 1 0 0 0 0 0 0 0
1800.54/1800.54 c linear : 1 5 1 0 1 0 0 0 0 0 0 0
1800.54/1800.54 c logicor : 2552450 5 1 0 1 0 0 0 0 0 0 0
1800.54/1800.54 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.54/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.54/1800.54 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.54/1800.54 c knapsack : 0.30 0.07 0.23 0.00 0.00 0.00 0.00
1800.54/1800.54 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.54/1800.54 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.54/1800.54 c logicor : 1.31 0.40 0.82 0.00 0.09 0.00 0.00
1800.54/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.54/1800.54 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.54/1800.54 c vbounds : 0 0 0 0
1800.54/1800.54 c rootredcost : 0 0 0 0
1800.54/1800.54 c pseudoobj : 0 0 0 0
1800.54/1800.54 c Propagator Timings : TotalTime Propagate Resprop
1800.54/1800.54 c vbounds : 0.00 0.00 0.00
1800.54/1800.54 c rootredcost : 0.00 0.00 0.00
1800.54/1800.54 c pseudoobj : 0.00 0.00 0.00
1800.54/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.54/1800.54 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.54/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.54/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.54/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.54/1800.54 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.54/1800.54 c applied globally : - - - 0 0.0 - - -
1800.54/1800.54 c applied locally : - - - 0 0.0 - - -
1800.54/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.54/1800.54 c cut pool : 0.00 4 - - 0 - (maximal pool size: 193)
1800.54/1800.54 c redcost : 0.00 5 0 0 0 0
1800.54/1800.54 c impliedbounds : 0.00 5 0 0 0 0
1800.54/1800.54 c intobj : 0.00 0 0 0 0 0
1800.54/1800.54 c gomory : 170.77 5 0 0 2500 0
1800.54/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.54/1800.54 c closecuts : 0.00 0 0 0 0 0
1800.54/1800.54 c strongcg : 301.92 5 0 0 2500 0
1800.54/1800.54 c cmir : 0.00 0 0 0 0 0
1800.54/1800.54 c flowcover : 0.00 0 0 0 0 0
1800.54/1800.54 c clique : 0.03 5 0 0 0 0
1800.54/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.54/1800.54 c mcf : 0.00 0 0 0 0 0
1800.54/1800.54 c oddcycle : 0.00 0 0 0 0 0
1800.54/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.54/1800.54 c Pricers : Time Calls Vars
1800.54/1800.54 c problem variables: 0.00 0 0
1800.54/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.54/1800.54 c relpscost : 0.00 0 0 0 0 0 0
1800.54/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.54/1800.54 c inference : 0.00 1 0 0 0 0 2
1800.54/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.54/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.54/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.54/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.54/1800.54 c random : 0.00 0 0 0 0 0 0
1800.54/1800.54 c Primal Heuristics : Time Calls Found
1800.54/1800.54 c LP solutions : 0.00 - 0
1800.54/1800.54 c pseudo solutions : 0.00 - 0
1800.54/1800.54 c trivial : 0.61 1 0
1800.54/1800.54 c shiftandpropagate: 0.00 0 0
1800.54/1800.54 c simplerounding : 0.00 0 0
1800.54/1800.54 c zirounding : 0.00 0 0
1800.54/1800.54 c rounding : 0.00 0 0
1800.54/1800.54 c shifting : 0.00 0 0
1800.54/1800.54 c intshifting : 0.00 0 0
1800.54/1800.54 c oneopt : 0.00 0 0
1800.54/1800.54 c twoopt : 0.00 0 0
1800.54/1800.54 c fixandinfer : 0.00 0 0
1800.54/1800.54 c feaspump : 0.00 0 0
1800.54/1800.54 c clique : 0.00 0 0
1800.54/1800.54 c coefdiving : 0.00 0 0
1800.54/1800.54 c pscostdiving : 0.00 0 0
1800.54/1800.54 c fracdiving : 0.00 0 0
1800.54/1800.54 c veclendiving : 0.00 0 0
1800.54/1800.54 c intdiving : 0.00 0 0
1800.54/1800.54 c actconsdiving : 0.00 0 0
1800.54/1800.54 c objpscostdiving : 0.00 0 0
1800.54/1800.54 c rootsoldiving : 0.00 0 0
1800.54/1800.54 c linesearchdiving : 0.00 0 0
1800.54/1800.54 c guideddiving : 0.00 0 0
1800.54/1800.54 c octane : 0.00 0 0
1800.54/1800.54 c rens : 0.00 0 0
1800.54/1800.54 c rins : 0.00 0 0
1800.54/1800.54 c localbranching : 0.00 0 0
1800.54/1800.54 c mutation : 0.00 0 0
1800.54/1800.54 c crossover : 0.00 0 0
1800.54/1800.54 c dins : 0.00 0 0
1800.54/1800.54 c vbounds : 0.00 0 0
1800.54/1800.54 c undercover : 0.00 0 0
1800.54/1800.54 c subnlp : 0.00 0 0
1800.54/1800.54 c trysol : 0.00 0 0
1800.54/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.54/1800.54 c primal LP : 0.00 0 0 0.00 -
1800.54/1800.54 c dual LP : 1278.87 6 22749 3791.50 17.79
1800.54/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.54/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.54/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.54/1800.54 c strong branching : 0.00 0 0 0.00 -
1800.54/1800.54 c (at root node) : - 0 0 0.00 -
1800.54/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.54/1800.54 c B&B Tree :
1800.54/1800.54 c number of runs : 1
1800.54/1800.54 c nodes : 1
1800.54/1800.54 c nodes (total) : 1
1800.54/1800.54 c nodes left : 2
1800.54/1800.54 c max depth : 0
1800.54/1800.54 c max depth (total): 0
1800.54/1800.54 c backtracks : 0 (0.0%)
1800.54/1800.54 c delayed cutoffs : 0
1800.54/1800.54 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.54/1800.54 c avg switch length: 1.00
1800.54/1800.54 c switching time : 0.00
1800.54/1800.54 c Solution :
1800.54/1800.54 c Solutions found : 0 (0 improvements)
1800.54/1800.54 c Primal Bound : -
1800.54/1800.54 c Dual Bound : +0.00000000000000e+00
1800.54/1800.54 c Gap : infinite
1800.54/1800.54 c Root Dual Bound : +0.00000000000000e+00
1800.54/1800.54 c Root Iterations : 22749
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-3451323-1307070067/watcher-3451323-1307070067 -o /tmp/evaluation-result-3451323-1307070067/solver-3451323-1307070067 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451323-1307070067.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.11 2.06 2.01 3/505 31762
/proc/meminfo: memFree=29463376/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=15624 CPUtime=0.01 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2877 0 0 0 1 0 0 0 23 0 1 0 818609573 15998976 2831 33554432000 4194304 9163163 140735924381952 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 3906 2831 392 1214 0 2688 0
[startup+0.100576 s]
/proc/loadavg: 2.11 2.06 2.01 3/505 31762
/proc/meminfo: memFree=29463376/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=21560 CPUtime=0.09 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 4381 0 0 0 9 0 0 0 23 0 1 0 818609573 22077440 4335 33554432000 4194304 9163163 140735924381952 18446744073709551615 7937088 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 5390 4335 392 1214 0 4172 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21560
[startup+0.200563 s]
/proc/loadavg: 2.11 2.06 2.01 3/505 31762
/proc/meminfo: memFree=29463376/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=27612 CPUtime=0.19 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 5891 0 0 0 19 0 0 0 24 0 1 0 818609573 28274688 5845 33554432000 4194304 9163163 140735924381952 18446744073709551615 4338904 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 6903 5845 392 1214 0 5685 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27612
[startup+0.300555 s]
/proc/loadavg: 2.11 2.06 2.01 3/505 31762
/proc/meminfo: memFree=29463376/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=32564 CPUtime=0.29 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 7131 0 0 0 29 0 0 0 25 0 1 0 818609573 33345536 7085 33554432000 4194304 9163163 140735924381952 18446744073709551615 4667565 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 8141 7085 392 1214 0 6923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32564
[startup+0.700482 s]
/proc/loadavg: 2.11 2.06 2.01 3/505 31762
/proc/meminfo: memFree=29463376/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=54840 CPUtime=0.69 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 12682 0 0 0 68 1 0 0 25 0 1 0 818609573 56156160 12636 33554432000 4194304 9163163 140735924381952 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 13710 12636 392 1214 0 12492 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54840
[startup+1.50037 s]
/proc/loadavg: 2.11 2.06 2.01 3/506 31763
/proc/meminfo: memFree=29395540/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=97296 CPUtime=1.48 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 23278 0 0 0 146 2 0 0 25 0 1 0 818609573 99631104 23232 33554432000 4194304 9163163 140735924381952 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 24324 23232 392 1214 0 23106 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 97296
[startup+3.10109 s]
/proc/loadavg: 2.11 2.06 2.01 3/506 31763
/proc/meminfo: memFree=29336764/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=182652 CPUtime=3.09 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 44565 0 0 0 304 5 0 0 25 0 1 0 818609573 187035648 44519 33554432000 4194304 9163163 140735924381952 18446744073709551615 8034182 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 45663 44519 392 1214 0 44445 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 182652
[startup+6.30054 s]
/proc/loadavg: 2.10 2.06 2.01 3/506 31763
/proc/meminfo: memFree=29160920/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=352104 CPUtime=6.29 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 86788 0 0 0 619 10 0 0 25 0 1 0 818609573 360554496 86742 33554432000 4194304 9163163 140735924381952 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 88026 86742 392 1214 0 86808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 352104
[startup+12.7004 s]
/proc/loadavg: 2.10 2.05 2.01 3/506 31763
/proc/meminfo: memFree=28811352/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=692584 CPUtime=12.69 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 171544 0 0 0 1248 21 0 0 25 0 1 0 818609573 709206016 171498 33554432000 4194304 9163163 140735924381952 18446744073709551615 8031329 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 173146 171498 392 1214 0 171928 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 692584
[startup+25.5012 s]
/proc/loadavg: 2.07 2.05 2.01 3/506 31764
/proc/meminfo: memFree=26491104/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=3016164 CPUtime=25.49 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 757028 0 0 0 2459 90 0 0 25 0 1 0 818609573 3088551936 745798 33554432000 4194304 9163163 140735924381952 18446744073709551615 4337765 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 754041 745798 500 1214 0 752823 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3016164
[startup+51.1006 s]
/proc/loadavg: 2.11 2.06 2.01 3/506 31764
/proc/meminfo: memFree=23748748/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6145244 CPUtime=51.09 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2030879 0 0 0 4869 240 0 0 25 0 1 0 818609573 6292729856 1431598 33554432000 4194304 9163163 140735924381952 18446744073709551615 7414184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1536311 1431598 5655 1214 0 1535093 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 6145244
[startup+102.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/506 31766
/proc/meminfo: memFree=23664120/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6199824 CPUtime=102.31 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2051252 0 0 0 9987 244 0 0 25 0 1 0 818609573 6348619776 1443582 33554432000 4194304 9163163 140735924381952 18446744073709551615 7345752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1549956 1443582 1264 1214 0 1548738 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 6199824
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 31770
/proc/meminfo: memFree=24027864/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=5831684 CPUtime=162.29 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2238533 0 0 0 15960 269 0 0 25 0 1 0 818609573 5971644416 1367096 33554432000 4194304 9163163 140735924381952 18446744073709551615 6966399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1457921 1367096 6115 1214 0 1456703 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 5831684
[startup+222.319 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 31772
/proc/meminfo: memFree=23907732/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=5954324 CPUtime=222.31 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2259844 0 0 0 21959 272 0 0 25 0 1 0 818609573 6097227776 1383068 33554432000 4194304 9163163 140735924381952 18446744073709551615 8041935 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1488581 1383068 2770 1214 0 1487363 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 5954324
[startup+282.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/506 31773
/proc/meminfo: memFree=23900716/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=5966416 CPUtime=282.29 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2308145 0 0 0 27949 280 0 0 25 0 1 0 818609573 6109609984 1384507 33554432000 4194304 9163163 140735924381952 18446744073709551615 7311820 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1491604 1384507 2720 1214 0 1490386 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 5966416
[startup+342.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/506 31775
/proc/meminfo: memFree=23860500/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6015324 CPUtime=342.3 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2337266 0 0 0 33945 285 0 0 25 0 1 0 818609573 6159691776 1394264 33554432000 4194304 9163163 140735924381952 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1503831 1394264 2720 1214 0 1502613 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 6015324
[startup+402.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/506 31777
/proc/meminfo: memFree=23836640/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6051836 CPUtime=402.3 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2354542 0 0 0 39941 289 0 0 25 0 1 0 818609573 6197080064 1400036 33554432000 4194304 9163163 140735924381952 18446744073709551615 7348329 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1512959 1400036 2899 1214 0 1511741 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 6051836
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 31778
/proc/meminfo: memFree=23831620/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6061276 CPUtime=462.31 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2361352 0 0 0 45940 291 0 0 25 0 1 0 818609573 6206746624 1400885 33554432000 4194304 9163163 140735924381952 18446744073709551615 8045767 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1515319 1400885 2720 1214 0 1514101 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 6061276
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 31780
/proc/meminfo: memFree=23773788/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6155976 CPUtime=522.3 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2461164 0 0 0 51925 305 0 0 25 0 1 0 818609573 6303719424 1415335 33554432000 4194304 9163163 140735924381952 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1538994 1415335 2720 1214 0 1537776 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 6155976
[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/506 31781
/proc/meminfo: memFree=23771988/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6155976 CPUtime=582.3 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2478694 0 0 0 57922 308 0 0 25 0 1 0 818609573 6303719424 1415083 33554432000 4194304 9163163 140735924381952 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1538994 1415083 2720 1214 0 1537776 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 6155976
[startup+642.3 s]
################
# More data... #
################
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2671616 0 0 0 105890 342 0 0 25 0 1 0 818609573 6349680640 1422899 33554432000 4194304 9163163 140735924381952 18446744073709551615 6668738 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1550215 1422899 3903 1214 0 1548997 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 6200860
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 31796
/proc/meminfo: memFree=23739052/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6200860 CPUtime=1122.32 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2671616 0 0 0 111889 343 0 0 25 0 1 0 818609573 6349680640 1422899 33554432000 4194304 9163163 140735924381952 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1550215 1422899 3903 1214 0 1548997 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 6200860
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/506 31797
/proc/meminfo: memFree=23738868/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6200860 CPUtime=1182.32 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2671616 0 0 0 117889 343 0 0 25 0 1 0 818609573 6349680640 1422899 33554432000 4194304 9163163 140735924381952 18446744073709551615 6676863 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1550215 1422899 3903 1214 0 1548997 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 6200860
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/506 31799
/proc/meminfo: memFree=23738952/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6200860 CPUtime=1242.32 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2671616 0 0 0 123888 344 0 0 25 0 1 0 818609573 6349680640 1422899 33554432000 4194304 9163163 140735924381952 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1550215 1422899 3903 1214 0 1548997 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 6200860
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 31801
/proc/meminfo: memFree=23807096/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6089172 CPUtime=1302.32 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2717525 0 0 0 129881 351 0 0 25 0 1 0 818609573 6235312128 1405135 33554432000 4194304 9163163 140735924381952 18446744073709551615 7414048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1522293 1405135 2720 1214 0 1521075 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 6089172
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31829
/proc/meminfo: memFree=24508932/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1362.33 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2761492 0 0 0 135873 360 0 0 25 0 1 0 818609573 6269018112 1415544 33554432000 4194304 9163163 140735924381952 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1415544 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 6122088
[startup+1422.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/506 31831
/proc/meminfo: memFree=22486740/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1422.35 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2793058 0 0 0 141868 367 0 0 25 0 1 0 818609573 6269018112 1415327 33554432000 4194304 9163163 140735924381952 18446744073709551615 7110499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1415327 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 6122088
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/506 31832
/proc/meminfo: memFree=22486932/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1482.33 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2809852 0 0 0 147862 371 0 0 25 0 1 0 818609573 6269018112 1415368 33554432000 4194304 9163163 140735924381952 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1415368 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 6122088
[startup+1542.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/506 31834
/proc/meminfo: memFree=22374864/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1542.35 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2832082 0 0 0 153860 375 0 0 25 0 1 0 818609573 6269018112 1415045 33554432000 4194304 9163163 140735924381952 18446744073709551615 7348176 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1415045 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 6122088
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 31836
/proc/meminfo: memFree=22314792/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1602.33 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2849872 0 0 0 159855 378 0 0 25 0 1 0 818609573 6269018112 1415024 33554432000 4194304 9163163 140735924381952 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1415024 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 6122088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31837
/proc/meminfo: memFree=22313392/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1662.33 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2866288 0 0 0 165852 381 0 0 25 0 1 0 818609573 6269018112 1415407 33554432000 4194304 9163163 140735924381952 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1415407 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 6122088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31839
/proc/meminfo: memFree=22301940/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1722.33 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2890578 0 0 0 171847 386 0 0 25 0 1 0 818609573 6269018112 1418983 33554432000 4194304 9163163 140735924381952 18446744073709551615 7345653 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1418983 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 6122088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 31840
/proc/meminfo: memFree=22297432/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1782.33 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2909303 0 0 0 177843 390 0 0 25 0 1 0 818609573 6269018112 1415281 33554432000 4194304 9163163 140735924381952 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1415281 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 6122088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 31841
/proc/meminfo: memFree=22297408/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6122088 CPUtime=1800.06 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2912327 0 0 0 179615 391 0 0 25 0 1 0 818609573 6269018112 1415449 33554432000 4194304 9163163 140735924381952 18446744073709551615 7347984 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31762/statm: 1530522 1415449 3517 1214 0 1529304 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 6122088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31762
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/507 31842
/proc/meminfo: memFree=22303352/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6132180 CPUtime=1801.53 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2915644 0 0 0 179762 391 0 0 19 0 1 0 818609573 6279352320 1417969 33554432000 4194304 9163163 140735924381952 18446744073709551615 6600295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 1533045 1417969 2732 1214 0 1531827 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 6132180
[startup+1801.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/507 31842
/proc/meminfo: memFree=22301368/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=6132180 CPUtime=1801.95 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4202496 2915644 0 0 0 179804 391 0 0 19 0 1 0 818609573 6279352320 1417969 33554432000 4194304 9163163 140735924381952 18446744073709551615 6600295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31762/statm: 1533045 1417969 2732 1214 0 1531827 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 6132180
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/507 31842
/proc/meminfo: memFree=22301368/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=0 CPUtime=1802.13 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4203524 2915644 0 0 0 179814 399 0 0 20 0 1 0 818609573 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/31762/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/507 31842
/proc/meminfo: memFree=22301368/32951124 swapFree=51712236/67111528
[pid=31762] ppid=31760 vsize=0 CPUtime=1802.23 cores=0,2,4,6
/proc/31762/stat : 31762 (scip-2.0.1.4b.l) R 31760 31762 27258 0 -1 4203524 2915644 0 0 0 179814 409 0 0 20 0 1 0 818609573 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/31762/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.23
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.25
CPU time (s): 1802.29
CPU user time (s): 1798.15
CPU system time (s): 4.14337
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 6536520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.15
system time used= 4.14337
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2915644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2831
runsolver used 9.78451 second user time and 20.3299 second system time
The end