0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3741022-1338769521.opb>
14.49/14.52 c original problem has 106196 variables (106196 bin, 0 int, 0 impl, 0 cont) and 2493137 constraints
14.49/14.52 c problem read
14.49/14.52 c No objective function, only one solution is needed.
14.49/14.52 c presolving settings loaded
17.69/17.79 c presolving:
22.79/22.84 c (round 1) 22691 del vars, 364560 del conss, 0 add conss, 22691 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1247428 impls, 2696 clqs
25.19/25.25 c (round 2) 38058 del vars, 731007 del conss, 0 add conss, 22691 chg bounds, 33360 chg sides, 41400 chg coeffs, 0 upgd conss, 1435204 impls, 2696 clqs
26.19/26.28 c (round 3) 38564 del vars, 760890 del conss, 0 add conss, 22691 chg bounds, 37532 chg sides, 46596 chg coeffs, 0 upgd conss, 1435660 impls, 2696 clqs
36.59/36.66 c (round 4) 38564 del vars, 760936 del conss, 0 add conss, 22691 chg bounds, 37539 chg sides, 46596 chg coeffs, 1732239 upgd conss, 1435660 impls, 2696 clqs
38.89/38.94 c (round 5) 38564 del vars, 760936 del conss, 0 add conss, 22691 chg bounds, 38210 chg sides, 49775 chg coeffs, 1732239 upgd conss, 1435660 impls, 2696 clqs
40.38/40.46 c presolving (6 rounds):
40.38/40.46 c 38564 deleted vars, 760936 deleted constraints, 0 added constraints, 22691 tightened bounds, 0 added holes, 38284 changed sides, 50711 changed coefficients
40.38/40.46 c 1437332 implications, 2696 cliques
40.38/40.46 c presolved problem has 67632 variables (67632 bin, 0 int, 0 impl, 0 cont) and 1732201 constraints
40.38/40.46 c 224993 constraints of type <knapsack>
40.38/40.46 c 251957 constraints of type <setppc>
40.38/40.46 c 1 constraints of type <linear>
40.38/40.46 c 1255250 constraints of type <logicor>
40.38/40.46 c transformed objective value is always integral (scale: 1)
40.38/40.46 c Presolving Time: 22.84
40.38/40.46 c - non default parameters ----------------------------------------------------------------------
40.38/40.46 c # SCIP version 2.0.1.5
40.38/40.46 c
40.38/40.46 c # frequency for displaying node information lines
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 100]
40.38/40.46 c display/freq = 10000
40.38/40.46 c
40.38/40.46 c # maximal time in seconds to run
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
40.38/40.46 c limits/time = 1797
40.38/40.46 c
40.38/40.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
40.38/40.46 c limits/memory = 13950
40.38/40.46 c
40.38/40.46 c # solving stops, if the given number of solutions were found (-1: no limit)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: -1]
40.38/40.46 c limits/solutions = 1
40.38/40.46 c
40.38/40.46 c # maximal number of separation rounds per node (-1: unlimited)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 5]
40.38/40.46 c separating/maxrounds = 1
40.38/40.46 c
40.38/40.46 c # maximal number of separation rounds in the root node (-1: unlimited)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: -1]
40.38/40.46 c separating/maxroundsroot = 5
40.38/40.46 c
40.38/40.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
40.38/40.46 c # [type: int, range: [1,2], default: 1]
40.38/40.46 c timing/clocktype = 2
40.38/40.46 c
40.38/40.46 c # belongs reading time to solving time?
40.38/40.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
40.38/40.46 c timing/reading = TRUE
40.38/40.46 c
40.38/40.46 c # should presolving try to simplify inequalities
40.38/40.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
40.38/40.46 c constraints/linear/simplifyinequalities = TRUE
40.38/40.46 c
40.38/40.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
40.38/40.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
40.38/40.46 c constraints/indicator/addCouplingCons = TRUE
40.38/40.46 c
40.38/40.46 c # should disaggregation of knapsack constraints be allowed in preprocessing?
40.38/40.46 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
40.38/40.46 c constraints/knapsack/disaggregation = FALSE
40.38/40.46 c
40.38/40.46 c # should presolving try to simplify knapsacks
40.38/40.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
40.38/40.46 c constraints/knapsack/simplifyinequalities = TRUE
40.38/40.46 c
40.38/40.46 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: -1]
40.38/40.46 c presolving/probing/maxrounds = 0
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 10]
40.38/40.46 c heuristics/coefdiving/freq = -1
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to node LP iterations
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.38/40.46 c heuristics/coefdiving/maxlpiterquot = 0.075
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/coefdiving/maxlpiterofs = 1500
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 30]
40.38/40.46 c heuristics/crossover/freq = -1
40.38/40.46 c
40.38/40.46 c # number of nodes added to the contingent of the total nodes
40.38/40.46 c # [type: longint, range: [0,9223372036854775807], default: 500]
40.38/40.46 c heuristics/crossover/nodesofs = 750
40.38/40.46 c
40.38/40.46 c # number of nodes without incumbent change that heuristic should wait
40.38/40.46 c # [type: longint, range: [0,9223372036854775807], default: 200]
40.38/40.46 c heuristics/crossover/nwaitingnodes = 100
40.38/40.46 c
40.38/40.46 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
40.38/40.46 c # [type: real, range: [0,1], default: 0.1]
40.38/40.46 c heuristics/crossover/nodesquot = 0.15
40.38/40.46 c
40.38/40.46 c # minimum percentage of integer variables that have to be fixed
40.38/40.46 c # [type: real, range: [0,1], default: 0.666]
40.38/40.46 c heuristics/crossover/minfixingrate = 0.5
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 20]
40.38/40.46 c heuristics/feaspump/freq = -1
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/feaspump/maxlpiterofs = 2000
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 10]
40.38/40.46 c heuristics/fracdiving/freq = -1
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to node LP iterations
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.38/40.46 c heuristics/fracdiving/maxlpiterquot = 0.075
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/fracdiving/maxlpiterofs = 1500
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 10]
40.38/40.46 c heuristics/guideddiving/freq = -1
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to node LP iterations
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.38/40.46 c heuristics/guideddiving/maxlpiterquot = 0.075
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/guideddiving/maxlpiterofs = 1500
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to node LP iterations
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.38/40.46 c heuristics/intdiving/maxlpiterquot = 0.075
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 10]
40.38/40.46 c heuristics/intshifting/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 10]
40.38/40.46 c heuristics/linesearchdiving/freq = -1
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to node LP iterations
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.38/40.46 c heuristics/linesearchdiving/maxlpiterquot = 0.075
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/linesearchdiving/maxlpiterofs = 1500
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 20]
40.38/40.46 c heuristics/objpscostdiving/freq = -1
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to total iteration number
40.38/40.46 c # [type: real, range: [0,1], default: 0.01]
40.38/40.46 c heuristics/objpscostdiving/maxlpiterquot = 0.015
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/objpscostdiving/maxlpiterofs = 1500
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 1]
40.38/40.46 c heuristics/oneopt/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 10]
40.38/40.46 c heuristics/pscostdiving/freq = -1
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to node LP iterations
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.38/40.46 c heuristics/pscostdiving/maxlpiterquot = 0.075
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/pscostdiving/maxlpiterofs = 1500
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 0]
40.38/40.46 c heuristics/rens/freq = -1
40.38/40.46 c
40.38/40.46 c # minimum percentage of integer variables that have to be fixable
40.38/40.46 c # [type: real, range: [0,1], default: 0.5]
40.38/40.46 c heuristics/rens/minfixingrate = 0.3
40.38/40.46 c
40.38/40.46 c # number of nodes added to the contingent of the total nodes
40.38/40.46 c # [type: longint, range: [0,9223372036854775807], default: 500]
40.38/40.46 c heuristics/rens/nodesofs = 2000
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 20]
40.38/40.46 c heuristics/rootsoldiving/freq = -1
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to node LP iterations
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
40.38/40.46 c heuristics/rootsoldiving/maxlpiterquot = 0.015
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/rootsoldiving/maxlpiterofs = 1500
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 1]
40.38/40.46 c heuristics/rounding/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 0]
40.38/40.46 c heuristics/shiftandpropagate/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 10]
40.38/40.46 c heuristics/shifting/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 1]
40.38/40.46 c heuristics/simplerounding/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 1]
40.38/40.46 c heuristics/subnlp/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 0]
40.38/40.46 c heuristics/trivial/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 1]
40.38/40.46 c heuristics/trysol/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 0]
40.38/40.46 c heuristics/undercover/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 10]
40.38/40.46 c heuristics/veclendiving/freq = -1
40.38/40.46 c
40.38/40.46 c # maximal fraction of diving LP iterations compared to node LP iterations
40.38/40.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
40.38/40.46 c heuristics/veclendiving/maxlpiterquot = 0.075
40.38/40.46 c
40.38/40.46 c # additional number of allowed LP iterations
40.38/40.46 c # [type: int, range: [0,2147483647], default: 1000]
40.38/40.46 c heuristics/veclendiving/maxlpiterofs = 1500
40.38/40.46 c
40.38/40.46 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 1]
40.38/40.46 c heuristics/zirounding/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 0]
40.38/40.46 c separating/cmir/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: 0]
40.38/40.46 c separating/flowcover/freq = -1
40.38/40.46 c
40.38/40.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
40.38/40.46 c # [type: int, range: [-1,2147483647], default: -1]
40.38/40.46 c separating/rapidlearning/freq = 0
40.38/40.46 c
40.38/40.46 c -----------------------------------------------------------------------------------------------
40.38/40.46 c start solving
40.48/40.51 c
261.95/262.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.95/262.07 c 262s| 1 | 0 | 14207 | - |2993M| 0 |1829 | 67k|1732k| 67k|1732k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
400.13/400.25 c 400s| 1 | 0 | 18681 | - |2993M| 0 |2344 | 67k|1732k| 67k|1732k| 27 | 0 | 0 | 0.000000e+00 | -- | Inf
571.40/571.59 c 572s| 1 | 0 | 23842 | - |2993M| 0 |3696 | 67k|1732k| 67k|1732k| 50 | 0 | 0 | 0.000000e+00 | -- | Inf
664.08/664.29 c 664s| 1 | 0 | 26032 | - |2996M| 0 |5648 | 67k|1732k| 67k|1732k| 82 | 0 | 0 | 0.000000e+00 | -- | Inf
867.15/867.32 c 867s| 1 | 0 | 30987 | - |2998M| 0 |9275 | 67k|1732k| 67k|1732k| 105 | 0 | 0 | 0.000000e+00 | -- | Inf
1079.31/1079.54 c 1080s| 1 | 0 | 33479 | - |3000M| 0 |7736 | 67k|1732k| 67k|1732k| 157 | 0 | 0 | 0.000000e+00 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741022-1338769521/watcher-3741022-1338769521 -o /tmp/evaluation-result-3741022-1338769521/solver-3741022-1338769521 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741022-1338769521.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31648
/proc/meminfo: memFree=26120384/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=11980 CPUtime=0 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1885 0 0 0 0 0 0 0 20 0 1 0 343078158 12267520 1839 33554432000 4194304 9016284 140733758993904 140735752298760 7870589 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 2995 1851 340 1178 0 1813 0
[startup+0.0494689 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31648
/proc/meminfo: memFree=26120384/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=17516 CPUtime=0.04 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 3342 0 0 0 4 0 0 0 20 0 1 0 343078158 17936384 3296 33554432000 4194304 9016284 140733758993904 140735752298760 7854980 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 4379 3296 357 1178 0 3197 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17516
[startup+0.100233 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31648
/proc/meminfo: memFree=26120384/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=21552 CPUtime=0.09 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 4377 0 0 0 9 0 0 0 20 0 1 0 343078158 22069248 4331 33554432000 4194304 9016284 140733758993904 140733758857800 7842269 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 5388 4331 357 1178 0 4206 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21552
[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31648
/proc/meminfo: memFree=26120384/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=36860 CPUtime=0.29 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 8205 0 0 0 28 1 0 0 20 0 1 0 343078158 37744640 8159 33554432000 4194304 9016284 140733758993904 140733758857800 7870468 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 9215 8159 357 1178 0 8033 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36860
[startup+0.700237 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31648
/proc/meminfo: memFree=26120384/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=66400 CPUtime=0.69 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 15570 0 0 0 67 2 0 0 20 0 1 0 343078158 67993600 15524 33554432000 4194304 9016284 140733758993904 140733758857800 7842261 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 16600 15524 357 1178 0 15418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66400
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31649
/proc/meminfo: memFree=26037412/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=124792 CPUtime=1.49 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 30150 0 0 0 146 3 0 0 20 0 1 0 343078158 127787008 30104 33554432000 4194304 9016284 140733758993904 140733758857352 5267893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 31198 30104 357 1178 0 30016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124792
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31649
/proc/meminfo: memFree=25956636/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=241044 CPUtime=3.09 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 59169 0 0 0 302 7 0 0 20 0 1 0 343078158 246829056 59123 33554432000 4194304 9016284 140733758993904 140733758857800 7870473 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 60261 59123 357 1178 0 59079 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 241044
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31649
/proc/meminfo: memFree=25676788/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=473800 CPUtime=6.29 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 117203 0 0 0 613 16 0 0 20 0 1 0 343078158 485171200 117157 33554432000 4194304 9016284 140733758993904 140733758857800 7855003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 118450 117157 357 1178 0 117268 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 473800
[startup+12.7066 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31649
/proc/meminfo: memFree=25199992/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=936488 CPUtime=12.69 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 231966 0 0 0 1237 32 0 0 20 0 1 0 343078158 958963712 232431 33554432000 4194304 9016284 140733758993904 140733758857800 4536486 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 234122 232431 357 1178 0 232940 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 936488
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31649
/proc/meminfo: memFree=23283320/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=2877084 CPUtime=25.49 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 710689 0 0 0 2447 102 0 0 20 0 1 0 343078158 2946134016 713674 33554432000 4194304 9016284 140733758993904 140733758991112 6812833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 719271 713674 491 1178 0 718089 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2877084
[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31649
/proc/meminfo: memFree=20964604/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5447452 CPUtime=51.09 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1081465 0 0 0 4917 192 0 0 20 0 1 0 343078158 5578190848 1287534 33554432000 4194304 9016284 140733758993904 140733758988072 7082197 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1361863 1287534 628 1178 0 1360681 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 5447452
[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 31650
/proc/meminfo: memFree=20895176/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5536032 CPUtime=102.28 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1086950 0 0 0 10032 196 0 0 20 0 1 0 343078158 5668896768 1304717 33554432000 4194304 9016284 140733758993904 140733758988072 7214465 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1384008 1304717 629 1178 0 1382826 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5536032
[startup+162.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31650
/proc/meminfo: memFree=20719508/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5698940 CPUtime=162.28 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1096888 0 0 0 16022 206 0 0 20 0 1 0 343078158 5835714560 1348403 33554432000 4194304 9016284 140733758993904 140733758987688 7178135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1424735 1348403 633 1178 0 1423553 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 5698940
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31650
/proc/meminfo: memFree=20614508/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5917236 CPUtime=222.26 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1100842 0 0 0 22008 218 0 0 20 0 1 0 343078158 6059249664 1374682 33554432000 4194304 9016284 140733758993904 140733758987688 7181678 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1479309 1374682 633 1178 0 1478127 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 5917236
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31654
/proc/meminfo: memFree=21016508/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5360344 CPUtime=282.25 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1104190 0 0 0 27991 234 0 0 20 0 1 0 343078158 5488992256 1274592 33554432000 4194304 9016284 140733758993904 140733758989064 7870569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1340086 1274592 667 1178 0 1338904 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 5360344
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31654
/proc/meminfo: memFree=20859912/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5678504 CPUtime=342.24 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1111954 0 0 0 33969 255 0 0 20 0 1 0 343078158 5814788096 1313767 33554432000 4194304 9016284 140733758993904 140733758986584 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1419626 1313767 668 1178 0 1418444 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 5678504
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31654
/proc/meminfo: memFree=20860624/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5697304 CPUtime=402.23 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1115700 0 0 0 39954 269 0 0 20 0 1 0 343078158 5834039296 1313524 33554432000 4194304 9016284 140733758993904 140733758988968 6578056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1424326 1313524 668 1178 0 1423144 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 5697304
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31654
/proc/meminfo: memFree=20898788/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5686520 CPUtime=462.22 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1121047 0 0 0 45936 286 0 0 20 0 1 0 343078158 5822996480 1305245 33554432000 4194304 9016284 140733758993904 140733758987768 7180911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1421630 1305245 668 1178 0 1420448 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 5686520
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31654
/proc/meminfo: memFree=20891868/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5705772 CPUtime=522.21 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1125200 0 0 0 51915 306 0 0 20 0 1 0 343078158 5842710528 1305759 33554432000 4194304 9016284 140733758993904 140733758986584 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1426443 1305759 668 1178 0 1425261 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 5705772
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31654
/proc/meminfo: memFree=20888080/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5716072 CPUtime=582.2 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1129074 0 0 0 57896 324 0 0 20 0 1 0 343078158 5853257728 1306746 33554432000 4194304 9016284 140733758993904 140733758989016 6922753 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1429018 1306746 668 1178 0 1427836 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 5716072
[startup+642.3 s]
################
# More data... #
################
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1158721 0 0 0 105772 440 0 0 20 0 1 0 343078158 6070648832 1345470 33554432000 4194304 9016284 140733758993904 140733758986824 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1482092 1345470 668 1178 0 1480910 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 5928368
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31697
/proc/meminfo: memFree=19605884/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1122.11 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1163255 0 0 0 111751 460 0 0 20 0 1 0 343078158 6066331648 1329717 33554432000 4194304 9016284 140733758993904 140733758987960 7082051 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1329717 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 5924152
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31697
/proc/meminfo: memFree=19561992/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5925436 CPUtime=1182.1 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1168094 0 0 0 117731 479 0 0 20 0 1 0 343078158 6067646464 1330712 33554432000 4194304 9016284 140733758993904 140733758986744 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481359 1330712 669 1178 0 1480177 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 5925436
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31698
/proc/meminfo: memFree=19557244/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924308 CPUtime=1242.09 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1172156 0 0 0 123713 496 0 0 20 0 1 0 343078158 6066491392 1335499 33554432000 4194304 9016284 140733758993904 140733758986472 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481077 1335499 669 1178 0 1479895 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 5924308
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 31698
/proc/meminfo: memFree=19567128/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1302.08 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1177094 0 0 0 129695 513 0 0 20 0 1 0 343078158 6066331648 1333963 33554432000 4194304 9016284 140733758993904 140733758986712 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1333963 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 5924152
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31699
/proc/meminfo: memFree=19521636/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1362.08 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1182135 0 0 0 135676 532 0 0 20 0 1 0 343078158 6066331648 1331915 33554432000 4194304 9016284 140733758993904 140733758987960 7214430 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1331915 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 5924152
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31699
/proc/meminfo: memFree=19557968/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1422.06 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1187220 0 0 0 141657 549 0 0 20 0 1 0 343078158 6066331648 1334612 33554432000 4194304 9016284 140733758993904 140733758986712 7198868 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1334612 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 5924152
[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31702
/proc/meminfo: memFree=19546840/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1482.06 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1192666 0 0 0 147637 569 0 0 20 0 1 0 343078158 6066331648 1332564 33554432000 4194304 9016284 140733758993904 140733758988072 7227408 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1332564 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 5924152
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31703
/proc/meminfo: memFree=19519168/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1542.05 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1196957 0 0 0 153620 585 0 0 20 0 1 0 343078158 6066331648 1333924 33554432000 4194304 9016284 140733758993904 140733758987112 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1333924 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 5924152
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31703
/proc/meminfo: memFree=19465708/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5930076 CPUtime=1602.04 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1201836 0 0 0 159602 602 0 0 20 0 1 0 343078158 6072397824 1335039 33554432000 4194304 9016284 140733758993904 140733758986472 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1482519 1335039 669 1178 0 1481337 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 5930076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31703
/proc/meminfo: memFree=19532028/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1662.02 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1207374 0 0 0 165582 620 0 0 20 0 1 0 343078158 6066331648 1332691 33554432000 4194304 9016284 140733758993904 140733758986744 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1332691 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 5924152
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31703
/proc/meminfo: memFree=19540972/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924936 CPUtime=1722.02 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1211704 0 0 0 171564 638 0 0 20 0 1 0 343078158 6067134464 1334596 33554432000 4194304 9016284 140733758993904 140733758986472 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481234 1334596 669 1178 0 1480052 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 5924936
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31703
/proc/meminfo: memFree=19465248/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924692 CPUtime=1782 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1217014 0 0 0 177544 656 0 0 20 0 1 0 343078158 6066884608 1335108 33554432000 4194304 9016284 140733758993904 140733758986472 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481173 1335108 669 1178 0 1479991 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 5924692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 31703
/proc/meminfo: memFree=19540896/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1800.01 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1219156 0 0 0 179337 664 0 0 20 0 1 0 343078158 6066331648 1334084 33554432000 4194304 9016284 140733758993904 140733758987656 6971592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1334084 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 5924152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31648
Solver just ended. Dumping a history of the last processes samples
[startup+1800.41 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 31703
/proc/meminfo: memFree=19540896/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1800.11 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1219157 0 0 0 179347 664 0 0 20 0 1 0 343078158 6066331648 1334596 33554432000 4194304 9016284 140733758993904 140733758987656 7227419 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1334596 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 5924152
[startup+1801.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31704
/proc/meminfo: memFree=19466044/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1800.91 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1219157 0 0 0 179427 664 0 0 20 0 1 0 343078158 6066331648 1334596 33554432000 4194304 9016284 140733758993904 140733758987960 7080755 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1334596 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 5924152
[startup+1802 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31704
/proc/meminfo: memFree=19466044/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=5924152 CPUtime=1801.7 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4202496 1219158 0 0 0 179506 664 0 0 20 0 1 0 343078158 6066331648 1335108 33554432000 4194304 9016284 140733758993904 140733758987960 7227408 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 1481038 1335108 669 1178 0 1479856 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 5924152
[startup+1802.41 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31704
/proc/meminfo: memFree=19464740/32873660 swapFree=7120/7120
[pid=31648] ppid=31646 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/31648/stat : 31648 (scip-2.0.1.4b_2) R 31646 31648 31309 0 -1 4203524 1219158 0 0 0 179537 674 0 0 20 0 1 0 343078158 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31648/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.46
CPU time (s): 1802.17
CPU user time (s): 1795.38
CPU system time (s): 6.79397
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 6146636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.38
system time used= 6.79397
maximum resident set size= 5575164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1219158
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= 27
involuntary context switches= 1854
runsolver used 4.35234 second user time and 14.0799 second system time
The end