0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452534-1307074121.opb>
4.30/4.33 c original problem has 201731 variables (201731 bin, 0 int, 0 impl, 0 cont) and 592525 constraints
4.30/4.33 c problem read
4.30/4.33 c No objective function, only one solution is needed.
4.30/4.34 c presolving settings loaded
6.61/6.67 c presolving:
12.39/12.42 c (round 1) 8525 del vars, 11075 del conss, 0 add conss, 3521 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13700352 impls, 0 clqs
12.59/12.68 c (round 2) 8801 del vars, 22390 del conss, 0 add conss, 3599 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13703994 impls, 0 clqs
12.79/12.80 c (round 3) 9020 del vars, 22919 del conss, 0 add conss, 3813 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13704530 impls, 0 clqs
12.89/12.91 c (round 4) 9137 del vars, 23196 del conss, 0 add conss, 3925 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13705110 impls, 0 clqs
12.99/13.03 c (round 5) 9346 del vars, 23537 del conss, 0 add conss, 4134 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13705760 impls, 0 clqs
13.09/13.15 c (round 6) 9630 del vars, 24127 del conss, 0 add conss, 4419 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13712071 impls, 0 clqs
13.21/13.28 c (round 7) 9968 del vars, 24870 del conss, 0 add conss, 4754 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13727267 impls, 0 clqs
13.39/13.41 c (round 8) 10295 del vars, 25735 del conss, 0 add conss, 5086 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13735202 impls, 0 clqs
13.49/13.54 c (round 9) 10558 del vars, 26545 del conss, 0 add conss, 5334 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13737858 impls, 0 clqs
13.59/13.67 c (round 10) 10842 del vars, 27197 del conss, 0 add conss, 5618 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13742812 impls, 0 clqs
13.79/13.80 c (round 11) 11002 del vars, 27845 del conss, 0 add conss, 5785 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13754801 impls, 0 clqs
13.89/13.92 c (round 12) 11030 del vars, 28193 del conss, 0 add conss, 5812 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13764139 impls, 0 clqs
13.99/14.03 c (round 13) 11058 del vars, 28261 del conss, 0 add conss, 5834 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13764765 impls, 0 clqs
14.09/14.15 c (round 14) 11086 del vars, 28319 del conss, 0 add conss, 5862 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13764873 impls, 0 clqs
14.19/14.26 c (round 15) 11114 del vars, 28389 del conss, 0 add conss, 5890 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13765493 impls, 0 clqs
14.31/14.37 c (round 16) 11142 del vars, 28459 del conss, 0 add conss, 5918 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13766501 impls, 0 clqs
14.39/14.49 c (round 17) 11171 del vars, 28532 del conss, 0 add conss, 5950 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13768037 impls, 0 clqs
14.59/14.61 c (round 18) 11202 del vars, 28616 del conss, 0 add conss, 5978 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13768879 impls, 0 clqs
14.69/14.73 c (round 19) 11228 del vars, 28681 del conss, 0 add conss, 6004 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13769441 impls, 0 clqs
14.79/14.84 c (round 20) 11252 del vars, 28745 del conss, 0 add conss, 6028 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13769907 impls, 0 clqs
14.89/14.95 c (round 21) 11276 del vars, 28805 del conss, 0 add conss, 6052 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13770213 impls, 0 clqs
15.09/15.13 c (round 22) 11304 del vars, 28899 del conss, 0 add conss, 6080 chg bounds, 6548 chg sides, 14490 chg coeffs, 0 upgd conss, 13770585 impls, 0 clqs
17.39/17.51 c (round 23) 11304 del vars, 29551 del conss, 0 add conss, 6080 chg bounds, 6548 chg sides, 14490 chg coeffs, 562921 upgd conss, 13770843 impls, 0 clqs
18.38/18.47 c presolving (24 rounds):
18.38/18.47 c 11304 deleted vars, 29551 deleted constraints, 0 added constraints, 6080 tightened bounds, 0 added holes, 6548 changed sides, 14490 changed coefficients
18.38/18.47 c 13770843 implications, 0 cliques
18.38/18.47 c presolved problem has 190427 variables (190427 bin, 0 int, 0 impl, 0 cont) and 562974 constraints
18.38/18.47 c 12778 constraints of type <knapsack>
18.38/18.47 c 367323 constraints of type <setppc>
18.38/18.47 c 182873 constraints of type <logicor>
18.38/18.47 c transformed objective value is always integral (scale: 1)
18.38/18.47 c Presolving Time: 13.53
18.38/18.47 c - non default parameters ----------------------------------------------------------------------
18.38/18.47 c # SCIP version 2.0.1.4
18.38/18.47 c
18.38/18.47 c # frequency for displaying node information lines
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 100]
18.38/18.47 c display/freq = 10000
18.38/18.47 c
18.38/18.47 c # maximal time in seconds to run
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.38/18.47 c limits/time = 1800
18.38/18.47 c
18.38/18.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.38/18.47 c limits/memory = 13950
18.38/18.47 c
18.38/18.47 c # solving stops, if the given number of solutions were found (-1: no limit)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: -1]
18.38/18.47 c limits/solutions = 1
18.38/18.47 c
18.38/18.47 c # maximal number of separation rounds per node (-1: unlimited)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 5]
18.38/18.47 c separating/maxrounds = 1
18.38/18.47 c
18.38/18.47 c # maximal number of separation rounds in the root node (-1: unlimited)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: -1]
18.38/18.47 c separating/maxroundsroot = 5
18.38/18.47 c
18.38/18.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
18.38/18.47 c # [type: int, range: [1,2], default: 1]
18.38/18.47 c timing/clocktype = 2
18.38/18.47 c
18.38/18.47 c # belongs reading time to solving time?
18.38/18.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.38/18.47 c timing/reading = TRUE
18.38/18.47 c
18.38/18.47 c # should presolving try to simplify inequalities
18.38/18.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.38/18.47 c constraints/linear/simplifyinequalities = TRUE
18.38/18.47 c
18.38/18.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
18.38/18.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.38/18.47 c constraints/indicator/addCouplingCons = TRUE
18.38/18.47 c
18.38/18.47 c # should disaggregation of knapsack constraints be allowed in preprocessing?
18.38/18.47 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
18.38/18.47 c constraints/knapsack/disaggregation = FALSE
18.38/18.47 c
18.38/18.47 c # should presolving try to simplify knapsacks
18.38/18.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.38/18.47 c constraints/knapsack/simplifyinequalities = TRUE
18.38/18.47 c
18.38/18.47 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: -1]
18.38/18.47 c presolving/probing/maxrounds = 0
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 10]
18.38/18.47 c heuristics/coefdiving/freq = -1
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to node LP iterations
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.38/18.47 c heuristics/coefdiving/maxlpiterquot = 0.075
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/coefdiving/maxlpiterofs = 1500
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 30]
18.38/18.47 c heuristics/crossover/freq = -1
18.38/18.47 c
18.38/18.47 c # number of nodes added to the contingent of the total nodes
18.38/18.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
18.38/18.47 c heuristics/crossover/nodesofs = 750
18.38/18.47 c
18.38/18.47 c # number of nodes without incumbent change that heuristic should wait
18.38/18.47 c # [type: longint, range: [0,9223372036854775807], default: 200]
18.38/18.47 c heuristics/crossover/nwaitingnodes = 100
18.38/18.47 c
18.38/18.47 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
18.38/18.47 c # [type: real, range: [0,1], default: 0.1]
18.38/18.47 c heuristics/crossover/nodesquot = 0.15
18.38/18.47 c
18.38/18.47 c # minimum percentage of integer variables that have to be fixed
18.38/18.47 c # [type: real, range: [0,1], default: 0.666]
18.38/18.47 c heuristics/crossover/minfixingrate = 0.5
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 20]
18.38/18.47 c heuristics/feaspump/freq = -1
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/feaspump/maxlpiterofs = 2000
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 10]
18.38/18.47 c heuristics/fracdiving/freq = -1
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to node LP iterations
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.38/18.47 c heuristics/fracdiving/maxlpiterquot = 0.075
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/fracdiving/maxlpiterofs = 1500
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 10]
18.38/18.47 c heuristics/guideddiving/freq = -1
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to node LP iterations
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.38/18.47 c heuristics/guideddiving/maxlpiterquot = 0.075
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/guideddiving/maxlpiterofs = 1500
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to node LP iterations
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.38/18.47 c heuristics/intdiving/maxlpiterquot = 0.075
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 10]
18.38/18.47 c heuristics/intshifting/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 10]
18.38/18.47 c heuristics/linesearchdiving/freq = -1
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to node LP iterations
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.38/18.47 c heuristics/linesearchdiving/maxlpiterquot = 0.075
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/linesearchdiving/maxlpiterofs = 1500
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 20]
18.38/18.47 c heuristics/objpscostdiving/freq = -1
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to total iteration number
18.38/18.47 c # [type: real, range: [0,1], default: 0.01]
18.38/18.47 c heuristics/objpscostdiving/maxlpiterquot = 0.015
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/objpscostdiving/maxlpiterofs = 1500
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 1]
18.38/18.47 c heuristics/oneopt/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 10]
18.38/18.47 c heuristics/pscostdiving/freq = -1
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to node LP iterations
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.38/18.47 c heuristics/pscostdiving/maxlpiterquot = 0.075
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/pscostdiving/maxlpiterofs = 1500
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 0]
18.38/18.47 c heuristics/rens/freq = -1
18.38/18.47 c
18.38/18.47 c # minimum percentage of integer variables that have to be fixable
18.38/18.47 c # [type: real, range: [0,1], default: 0.5]
18.38/18.47 c heuristics/rens/minfixingrate = 0.3
18.38/18.47 c
18.38/18.47 c # number of nodes added to the contingent of the total nodes
18.38/18.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
18.38/18.47 c heuristics/rens/nodesofs = 2000
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 20]
18.38/18.47 c heuristics/rootsoldiving/freq = -1
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to node LP iterations
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
18.38/18.47 c heuristics/rootsoldiving/maxlpiterquot = 0.015
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/rootsoldiving/maxlpiterofs = 1500
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 1]
18.38/18.47 c heuristics/rounding/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 0]
18.38/18.47 c heuristics/shiftandpropagate/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 10]
18.38/18.47 c heuristics/shifting/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 1]
18.38/18.47 c heuristics/simplerounding/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 1]
18.38/18.47 c heuristics/subnlp/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 0]
18.38/18.47 c heuristics/trivial/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 1]
18.38/18.47 c heuristics/trysol/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 0]
18.38/18.47 c heuristics/undercover/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 10]
18.38/18.47 c heuristics/veclendiving/freq = -1
18.38/18.47 c
18.38/18.47 c # maximal fraction of diving LP iterations compared to node LP iterations
18.38/18.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.38/18.47 c heuristics/veclendiving/maxlpiterquot = 0.075
18.38/18.47 c
18.38/18.47 c # additional number of allowed LP iterations
18.38/18.47 c # [type: int, range: [0,2147483647], default: 1000]
18.38/18.47 c heuristics/veclendiving/maxlpiterofs = 1500
18.38/18.47 c
18.38/18.47 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 1]
18.38/18.47 c heuristics/zirounding/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 0]
18.38/18.47 c separating/cmir/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: 0]
18.38/18.47 c separating/flowcover/freq = -1
18.38/18.47 c
18.38/18.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
18.38/18.47 c # [type: int, range: [-1,2147483647], default: -1]
18.38/18.47 c separating/rapidlearning/freq = 0
18.38/18.47 c
18.38/18.47 c -----------------------------------------------------------------------------------------------
18.38/18.47 c start solving
18.48/18.53 c
131.39/131.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.39/131.43 c 131s| 1 | 0 | 16695 | - |1473M| 0 |8401 | 190k| 562k| 190k| 562k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
440.90/440.92 c 441s| 1 | 0 | 36087 | - |1474M| 0 | 13k| 190k| 562k| 190k| 563k| 214 | 0 | 0 | 0.000000e+00 | -- | Inf
1355.72/1355.73 c 1356s| 1 | 0 | 88593 | - |1474M| 0 | 28k| 190k| 562k| 190k| 563k| 401 | 0 | 0 | 0.000000e+00 | -- | Inf
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-3452534-1307074121/watcher-3452534-1307074121 -o /tmp/evaluation-result-3452534-1307074121/solver-3452534-1307074121 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452534-1307074121.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.00 2.03 2.00 3/527 2490
/proc/meminfo: memFree=24106296/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=6600 CPUtime=0 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 792 0 0 0 0 0 0 0 23 0 1 0 897642867 6758400 746 33554432000 4194304 9128323 140735525009408 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2490/statm: 1650 749 348 1205 0 441 0
[startup+0.0440561 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 2490
/proc/meminfo: memFree=24106296/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=15012 CPUtime=0.03 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 2756 0 0 0 3 0 0 0 23 0 1 0 897642867 15372288 2709 33554432000 4194304 9128323 140735525009408 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2490/statm: 3753 2710 397 1205 0 2544 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15012
[startup+0.101094 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 2490
/proc/meminfo: memFree=24106296/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=19612 CPUtime=0.08 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 3910 0 0 0 8 0 0 0 23 0 1 0 897642867 20082688 3862 33554432000 4194304 9128323 140735525009408 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2490/statm: 4903 3862 397 1205 0 3694 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19612
[startup+0.301053 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 2490
/proc/meminfo: memFree=24106296/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=34624 CPUtime=0.29 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 7660 0 0 0 28 1 0 0 25 0 1 0 897642867 35454976 7609 33554432000 4194304 9128323 140735525009408 18446744073709551615 7904320 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2490/statm: 8656 7609 397 1205 0 7447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34624
[startup+0.700984 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 2490
/proc/meminfo: memFree=24106296/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=63508 CPUtime=0.69 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 14869 0 0 0 67 2 0 0 25 0 1 0 897642867 65032192 14811 33554432000 4194304 9128323 140735525009408 18446744073709551615 7448064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2490/statm: 15877 14811 397 1205 0 14668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63508
[startup+1.50085 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2491
/proc/meminfo: memFree=24024448/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=122516 CPUtime=1.48 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 29617 0 0 0 145 3 0 0 25 0 1 0 897642867 125456384 29545 33554432000 4194304 9128323 140735525009408 18446744073709551615 7929233 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2490/statm: 30629 29545 397 1205 0 29420 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 122516
[startup+3.10053 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2492
/proc/meminfo: memFree=23942216/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=240676 CPUtime=3.09 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 59125 0 0 0 301 8 0 0 25 0 1 0 897642867 246452224 59025 33554432000 4194304 9128323 140735525009408 18446744073709551615 7904101 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2490/statm: 60169 59025 397 1205 0 58960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 240676
[startup+6.30101 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2492
/proc/meminfo: memFree=23350116/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=1048852 CPUtime=6.29 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 257735 0 0 0 595 34 0 0 25 0 1 0 897642867 1074024448 257524 33554432000 4194304 9128323 140735525009408 18446744073709551615 4220105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 262213 257524 466 1205 0 261004 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1048852
[startup+12.7009 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2492
/proc/meminfo: memFree=22724556/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=1415492 CPUtime=12.69 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 380203 0 0 0 1218 51 0 0 25 0 1 0 897642867 1449463808 345409 33554432000 4194304 9128323 140735525009408 18446744073709551615 5966455 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 353873 345409 521 1205 0 352664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1415492
[startup+25.5006 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2492
/proc/meminfo: memFree=21805460/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2402644 CPUtime=25.49 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 685402 0 0 0 2460 89 0 0 25 0 1 0 897642867 2460307456 572787 33554432000 4194304 9128323 140735525009408 18446744073709551615 7363227 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 600661 572787 1068 1205 0 599452 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2402644
[startup+51.1012 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2493
/proc/meminfo: memFree=21769856/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2447644 CPUtime=51.09 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 726880 0 0 0 5011 98 0 0 25 0 1 0 897642867 2506387456 583843 33554432000 4194304 9128323 140735525009408 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 611911 583843 1109 1205 0 610702 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2447644
[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2494
/proc/meminfo: memFree=21745748/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2461700 CPUtime=102.31 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 739965 0 0 0 10130 101 0 0 25 0 1 0 897642867 2520780800 586059 33554432000 4194304 9128323 140735525009408 18446744073709551615 7380742 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 615425 586059 1096 1205 0 614216 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 2461700
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 2496
/proc/meminfo: memFree=21766084/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2432308 CPUtime=162.29 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 769750 0 0 0 16122 107 0 0 25 0 1 0 897642867 2490683392 580062 33554432000 4194304 9128323 140735525009408 18446744073709551615 7018437 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 608077 580062 1216 1205 0 606868 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2432308
[startup+222.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/528 2497
/proc/meminfo: memFree=21753144/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2432308 CPUtime=222.29 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 772970 0 0 0 22122 107 0 0 25 0 1 0 897642867 2490683392 582929 33554432000 4194304 9128323 140735525009408 18446744073709551615 6335323 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 608077 582929 873 1205 0 606868 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2432308
[startup+282.301 s]
/proc/loadavg: 2.17 2.07 2.02 3/528 2499
/proc/meminfo: memFree=21708088/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2462276 CPUtime=282.3 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 827890 0 0 0 28113 117 0 0 25 0 1 0 897642867 2521370624 593089 33554432000 4194304 9128323 140735525009408 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 615569 593089 765 1205 0 614360 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2462276
[startup+342.301 s]
/proc/loadavg: 2.14 2.08 2.02 3/528 2501
/proc/meminfo: memFree=21691764/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2484796 CPUtime=342.3 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 858674 0 0 0 34106 124 0 0 25 0 1 0 897642867 2544431104 596910 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 621199 596910 826 1205 0 619990 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2484796
[startup+402.301 s]
/proc/loadavg: 2.10 2.08 2.02 3/528 2502
/proc/meminfo: memFree=21690852/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2485852 CPUtime=402.3 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 883225 0 0 0 40100 130 0 0 25 0 1 0 897642867 2545512448 597098 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316083 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 621463 597098 826 1205 0 620254 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2485852
[startup+462.301 s]
/proc/loadavg: 2.03 2.06 2.02 3/528 2504
/proc/meminfo: memFree=21674172/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2486416 CPUtime=462.29 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 901432 0 0 0 46095 134 0 0 25 0 1 0 897642867 2546089984 598080 33554432000 4194304 9128323 140735525009408 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 621604 598080 826 1205 0 620395 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2486416
[startup+522.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/528 2505
/proc/meminfo: memFree=21638788/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2561240 CPUtime=522.3 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 910171 0 0 0 52092 138 0 0 25 0 1 0 897642867 2622709760 606758 33554432000 4194304 9128323 140735525009408 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 640310 606758 785 1205 0 639101 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2561240
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/528 2507
/proc/meminfo: memFree=21636768/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2561240 CPUtime=582.3 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 912874 0 0 0 58088 142 0 0 25 0 1 0 897642867 2622709760 607219 33554432000 4194304 9128323 140735525009408 18446744073709551615 7312716 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 640310 607219 782 1205 0 639101 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2561240
[startup+642.301 s]
################
# More data... #
################
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1006666 0 0 0 106063 169 0 0 25 0 1 0 897642867 2586611712 606545 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 631497 606545 782 1205 0 630288 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2525988
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/528 2522
/proc/meminfo: memFree=21625368/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2526492 CPUtime=1122.31 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1035042 0 0 0 112056 175 0 0 25 0 1 0 897642867 2587127808 606718 33554432000 4194304 9128323 140735525009408 18446744073709551615 7241275 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 631623 606718 781 1205 0 630414 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2526492
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2524
/proc/meminfo: memFree=21622712/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2526964 CPUtime=1182.32 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1069457 0 0 0 118050 182 0 0 25 0 1 0 897642867 2587611136 606798 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 631741 606798 781 1205 0 630532 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2526964
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2525
/proc/meminfo: memFree=21625148/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2508424 CPUtime=1242.31 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1098882 0 0 0 124044 187 0 0 25 0 1 0 897642867 2568626176 605321 33554432000 4194304 9128323 140735525009408 18446744073709551615 7241289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 627106 605321 780 1205 0 625897 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2508424
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2527
/proc/meminfo: memFree=21620020/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2527600 CPUtime=1302.32 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1130012 0 0 0 130039 193 0 0 25 0 1 0 897642867 2588262400 606756 33554432000 4194304 9128323 140735525009408 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 631900 606756 780 1205 0 630691 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2527600
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 2529
/proc/meminfo: memFree=21621204/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2527784 CPUtime=1362.32 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1156971 0 0 0 136032 200 0 0 25 0 1 0 897642867 2588450816 606675 33554432000 4194304 9128323 140735525009408 18446744073709551615 7021480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 631946 606675 779 1205 0 630737 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2527784
[startup+1422.32 s]
/proc/loadavg: 2.22 2.07 2.02 3/528 2530
/proc/meminfo: memFree=21620652/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2527784 CPUtime=1422.34 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1157056 0 0 0 142032 202 0 0 25 0 1 0 897642867 2588450816 606760 33554432000 4194304 9128323 140735525009408 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 631946 606760 779 1205 0 630737 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2527784
[startup+1482.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/528 2532
/proc/meminfo: memFree=21620488/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2527784 CPUtime=1482.32 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1157056 0 0 0 148028 204 0 0 25 0 1 0 897642867 2588450816 606760 33554432000 4194304 9128323 140735525009408 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 631946 606760 779 1205 0 630737 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2527784
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/528 2534
/proc/meminfo: memFree=21621048/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2527784 CPUtime=1542.33 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1157056 0 0 0 154026 207 0 0 25 0 1 0 897642867 2588450816 606760 33554432000 4194304 9128323 140735525009408 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 631946 606760 779 1205 0 630737 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2527784
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 2535
/proc/meminfo: memFree=21581824/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2587996 CPUtime=1602.32 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1191925 0 0 0 160019 213 0 0 25 0 1 0 897642867 2650107904 616962 33554432000 4194304 9128323 140735525009408 18446744073709551615 7077370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 646999 616962 767 1205 0 645790 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2587996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2567
/proc/meminfo: memFree=22299500/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2606116 CPUtime=1662.32 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1195943 0 0 0 166016 216 0 0 25 0 1 0 897642867 2668662784 620978 33554432000 4194304 9128323 140735525009408 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 651529 620978 765 1205 0 650320 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2606116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2568
/proc/meminfo: memFree=22072072/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2606116 CPUtime=1722.33 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1195976 0 0 0 172014 219 0 0 25 0 1 0 897642867 2668662784 621011 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 651529 621011 765 1205 0 650320 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2606116
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2570
/proc/meminfo: memFree=22068320/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2606116 CPUtime=1782.33 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1196710 0 0 0 178011 222 0 0 25 0 1 0 897642867 2668662784 621745 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316304 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 651529 621745 765 1205 0 650320 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2606116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2570
/proc/meminfo: memFree=22066444/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2606116 CPUtime=1800.03 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1197040 0 0 0 179781 222 0 0 25 0 1 0 897642867 2668662784 622075 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 651529 622075 765 1205 0 650320 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2606116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2490
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/529 2571
/proc/meminfo: memFree=22066312/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2606116 CPUtime=1801.43 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1197040 0 0 0 179921 222 0 0 25 0 1 0 897642867 2668662784 622075 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 651529 622075 765 1205 0 650320 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2606116
[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 2.00 3/529 2571
/proc/meminfo: memFree=22066804/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2606116 CPUtime=1801.85 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1197040 0 0 0 179963 222 0 0 25 0 1 0 897642867 2668662784 622075 33554432000 4194304 9128323 140735525009408 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 651529 622075 765 1205 0 650320 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2606116
[startup+1802 s]
/proc/loadavg: 2.00 2.02 2.00 3/529 2571
/proc/meminfo: memFree=22066804/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=2606116 CPUtime=1802.03 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4202496 1197040 0 0 0 179981 222 0 0 25 0 1 0 897642867 2668662784 622075 33554432000 4194304 9128323 140735525009408 18446744073709551615 7316083 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2490/statm: 651529 622075 765 1205 0 650320 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2606116
[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/529 2571
/proc/meminfo: memFree=22066804/32951124 swapFree=56241860/67111528
[pid=2490] ppid=2488 vsize=0 CPUtime=1802.13 cores=0,2,4,6
/proc/2490/stat : 2490 (scip-2.0.1.4.li) R 2488 2490 32685 0 -1 4203524 1197040 0 0 0 179983 230 0 0 25 0 1 0 897642867 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/2490/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.15
CPU time (s): 1802.18
CPU user time (s): 1799.83
CPU system time (s): 2.35064
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2606116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 2.35064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1197040
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= 5
involuntary context switches= 21244
runsolver used 10.2064 second user time and 21.2848 second system time
The end