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-3478758-1307436782.opb>
7.19/7.22 c original problem has 44846 variables (44846 bin, 0 int, 0 impl, 0 cont) and 988104 constraints
7.19/7.22 c problem read
7.19/7.22 c No objective function, only one solution is needed.
7.19/7.23 c presolving settings loaded
10.09/10.15 c presolving:
15.10/15.14 c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 988095 upgd conss, 415364 impls, 1772 clqs
16.19/16.25 c presolving (2 rounds):
16.19/16.25 c 1 deleted vars, 22 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
16.19/16.25 c 415364 implications, 1772 cliques
16.19/16.25 c presolved problem has 44845 variables (44845 bin, 0 int, 0 impl, 0 cont) and 988082 constraints
16.19/16.25 c 101519 constraints of type <knapsack>
16.19/16.25 c 198683 constraints of type <setppc>
16.19/16.25 c 1 constraints of type <linear>
16.19/16.25 c 687879 constraints of type <logicor>
16.19/16.25 c transformed objective value is always integral (scale: 1)
16.19/16.25 c Presolving Time: 8.39
16.19/16.25 c - non default parameters ----------------------------------------------------------------------
16.19/16.25 c # SCIP version 2.0.1.4
16.19/16.25 c
16.19/16.25 c # frequency for displaying node information lines
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 100]
16.19/16.25 c display/freq = 10000
16.19/16.25 c
16.19/16.25 c # maximal time in seconds to run
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.19/16.25 c limits/time = 1800
16.19/16.25 c
16.19/16.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.19/16.25 c limits/memory = 13950
16.19/16.25 c
16.19/16.25 c # solving stops, if the given number of solutions were found (-1: no limit)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: -1]
16.19/16.25 c limits/solutions = 1
16.19/16.25 c
16.19/16.25 c # maximal number of separation rounds per node (-1: unlimited)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 5]
16.19/16.25 c separating/maxrounds = 1
16.19/16.25 c
16.19/16.25 c # maximal number of separation rounds in the root node (-1: unlimited)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: -1]
16.19/16.25 c separating/maxroundsroot = 5
16.19/16.25 c
16.19/16.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
16.19/16.25 c # [type: int, range: [1,2], default: 1]
16.19/16.25 c timing/clocktype = 2
16.19/16.25 c
16.19/16.25 c # belongs reading time to solving time?
16.19/16.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.25 c timing/reading = TRUE
16.19/16.25 c
16.19/16.25 c # should presolving try to simplify inequalities
16.19/16.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.25 c constraints/linear/simplifyinequalities = TRUE
16.19/16.25 c
16.19/16.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
16.19/16.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.25 c constraints/indicator/addCouplingCons = TRUE
16.19/16.25 c
16.19/16.25 c # should disaggregation of knapsack constraints be allowed in preprocessing?
16.19/16.25 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
16.19/16.25 c constraints/knapsack/disaggregation = FALSE
16.19/16.25 c
16.19/16.25 c # should presolving try to simplify knapsacks
16.19/16.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.25 c constraints/knapsack/simplifyinequalities = TRUE
16.19/16.25 c
16.19/16.25 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: -1]
16.19/16.25 c presolving/probing/maxrounds = 0
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.25 c heuristics/coefdiving/freq = -1
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.25 c heuristics/coefdiving/maxlpiterquot = 0.075
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/coefdiving/maxlpiterofs = 1500
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 30]
16.19/16.25 c heuristics/crossover/freq = -1
16.19/16.25 c
16.19/16.25 c # number of nodes added to the contingent of the total nodes
16.19/16.25 c # [type: longint, range: [0,9223372036854775807], default: 500]
16.19/16.25 c heuristics/crossover/nodesofs = 750
16.19/16.25 c
16.19/16.25 c # number of nodes without incumbent change that heuristic should wait
16.19/16.25 c # [type: longint, range: [0,9223372036854775807], default: 200]
16.19/16.25 c heuristics/crossover/nwaitingnodes = 100
16.19/16.25 c
16.19/16.25 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
16.19/16.25 c # [type: real, range: [0,1], default: 0.1]
16.19/16.25 c heuristics/crossover/nodesquot = 0.15
16.19/16.25 c
16.19/16.25 c # minimum percentage of integer variables that have to be fixed
16.19/16.25 c # [type: real, range: [0,1], default: 0.666]
16.19/16.25 c heuristics/crossover/minfixingrate = 0.5
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 20]
16.19/16.25 c heuristics/feaspump/freq = -1
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/feaspump/maxlpiterofs = 2000
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.25 c heuristics/fracdiving/freq = -1
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.25 c heuristics/fracdiving/maxlpiterquot = 0.075
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/fracdiving/maxlpiterofs = 1500
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.25 c heuristics/guideddiving/freq = -1
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.25 c heuristics/guideddiving/maxlpiterquot = 0.075
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/guideddiving/maxlpiterofs = 1500
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.25 c heuristics/intdiving/maxlpiterquot = 0.075
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.25 c heuristics/intshifting/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.25 c heuristics/linesearchdiving/freq = -1
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.25 c heuristics/linesearchdiving/maxlpiterquot = 0.075
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/linesearchdiving/maxlpiterofs = 1500
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 20]
16.19/16.25 c heuristics/objpscostdiving/freq = -1
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to total iteration number
16.19/16.25 c # [type: real, range: [0,1], default: 0.01]
16.19/16.25 c heuristics/objpscostdiving/maxlpiterquot = 0.015
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/objpscostdiving/maxlpiterofs = 1500
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.25 c heuristics/oneopt/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.25 c heuristics/pscostdiving/freq = -1
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.25 c heuristics/pscostdiving/maxlpiterquot = 0.075
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/pscostdiving/maxlpiterofs = 1500
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.25 c heuristics/rens/freq = -1
16.19/16.25 c
16.19/16.25 c # minimum percentage of integer variables that have to be fixable
16.19/16.25 c # [type: real, range: [0,1], default: 0.5]
16.19/16.25 c heuristics/rens/minfixingrate = 0.3
16.19/16.25 c
16.19/16.25 c # number of nodes added to the contingent of the total nodes
16.19/16.25 c # [type: longint, range: [0,9223372036854775807], default: 500]
16.19/16.25 c heuristics/rens/nodesofs = 2000
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 20]
16.19/16.25 c heuristics/rootsoldiving/freq = -1
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
16.19/16.25 c heuristics/rootsoldiving/maxlpiterquot = 0.015
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/rootsoldiving/maxlpiterofs = 1500
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.25 c heuristics/rounding/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.25 c heuristics/shiftandpropagate/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.25 c heuristics/shifting/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.25 c heuristics/simplerounding/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.25 c heuristics/subnlp/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.25 c heuristics/trivial/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.25 c heuristics/trysol/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.25 c heuristics/undercover/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.25 c heuristics/veclendiving/freq = -1
16.19/16.25 c
16.19/16.25 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.25 c heuristics/veclendiving/maxlpiterquot = 0.075
16.19/16.25 c
16.19/16.25 c # additional number of allowed LP iterations
16.19/16.25 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.25 c heuristics/veclendiving/maxlpiterofs = 1500
16.19/16.25 c
16.19/16.25 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.25 c heuristics/zirounding/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.25 c separating/cmir/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.25 c separating/flowcover/freq = -1
16.19/16.25 c
16.19/16.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.19/16.25 c # [type: int, range: [-1,2147483647], default: -1]
16.19/16.25 c separating/rapidlearning/freq = 0
16.19/16.25 c
16.19/16.25 c -----------------------------------------------------------------------------------------------
16.19/16.25 c start solving
16.19/16.28 c
56.98/57.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.98/57.07 c 57.1s| 1 | 0 | 6802 | - |1394M| 0 |1248 | 44k| 988k| 44k| 988k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
132.57/132.61 c 133s| 1 | 0 | 16823 | - |1394M| 0 |6006 | 44k| 988k| 44k| 988k| 8 | 0 | 0 | 0.000000e+00 | -- | Inf
219.17/219.24 c 219s| 1 | 0 | 25225 | - |1396M| 0 |7949 | 44k| 988k| 44k| 988k| 23 | 0 | 0 | 0.000000e+00 | -- | Inf
287.37/287.45 c 287s| 1 | 0 | 29807 | - |1397M| 0 |8843 | 44k| 988k| 44k| 988k| 100 | 0 | 0 | 0.000000e+00 | -- | Inf
403.77/403.82 c 404s| 1 | 0 | 34544 | - |1400M| 0 | 10k| 44k| 988k| 44k| 988k| 168 | 0 | 0 | 0.000000e+00 | -- | Inf
513.59/513.63 c 514s| 1 | 0 | 36561 | - |1404M| 0 | 11k| 44k| 988k| 44k| 988k| 226 | 0 | 0 | 0.000000e+00 | -- | Inf
1024.36/1024.42 c 1024s| 1 | 2 | 36561 | - |1404M| 0 | 11k| 44k| 988k| 44k| 988k| 226 | 0 | 34 | 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-3478758-1307436782/watcher-3478758-1307436782 -o /tmp/evaluation-result-3478758-1307436782/solver-3478758-1307436782 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3478758-1307436782.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: 0.16 0.03 0.01 2/521 22638
/proc/meminfo: memFree=21116612/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=10768 CPUtime=0.01 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1685 0 0 0 1 0 0 0 20 0 1 0 836093831 11026432 1638 33554432000 4194304 9128323 140733810302688 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22638/statm: 2692 1638 397 1205 0 1483 0
[startup+0.058439 s]
/proc/loadavg: 0.16 0.03 0.01 2/521 22638
/proc/meminfo: memFree=21116612/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=13732 CPUtime=0.05 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 2430 0 0 0 5 0 0 0 20 0 1 0 836093831 14061568 2382 33554432000 4194304 9128323 140733810302688 18446744073709551615 7998198 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22638/statm: 3433 2382 397 1205 0 2224 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13732
[startup+0.100432 s]
/proc/loadavg: 0.16 0.03 0.01 2/521 22638
/proc/meminfo: memFree=21116612/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=16188 CPUtime=0.09 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 3056 0 0 0 9 0 0 0 20 0 1 0 836093831 16576512 3007 33554432000 4194304 9128323 140733810302688 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22638/statm: 4047 3007 397 1205 0 2838 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16188
[startup+0.300397 s]
/proc/loadavg: 0.16 0.03 0.01 2/521 22638
/proc/meminfo: memFree=21116612/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=25832 CPUtime=0.29 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 5467 0 0 0 29 0 0 0 21 0 1 0 836093831 26451968 5415 33554432000 4194304 9128323 140733810302688 18446744073709551615 4338658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22638/statm: 6458 5415 397 1205 0 5249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25832
[startup+0.700321 s]
/proc/loadavg: 0.16 0.03 0.01 2/521 22638
/proc/meminfo: memFree=21116612/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=45380 CPUtime=0.69 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 10340 0 0 0 68 1 0 0 22 0 1 0 836093831 46469120 10281 33554432000 4194304 9128323 140733810302688 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22638/statm: 11345 10281 397 1205 0 10136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45380
[startup+1.50018 s]
/proc/loadavg: 0.16 0.03 0.01 3/522 22639
/proc/meminfo: memFree=20845788/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=83872 CPUtime=1.49 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 19946 0 0 0 146 3 0 0 25 0 1 0 836093831 85884928 19873 33554432000 4194304 9128323 140733810302688 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22638/statm: 20968 19873 397 1205 0 19759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83872
[startup+3.10088 s]
/proc/loadavg: 0.16 0.03 0.01 3/522 22640
/proc/meminfo: memFree=20763824/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=156060 CPUtime=3.1 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 37964 0 0 0 304 6 0 0 25 0 1 0 836093831 159805440 37865 33554432000 4194304 9128323 140733810302688 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22638/statm: 39015 37865 397 1205 0 37806 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 156060
[startup+6.30029 s]
/proc/loadavg: 0.31 0.07 0.02 3/522 22640
/proc/meminfo: memFree=20280472/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=303852 CPUtime=6.29 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 74781 0 0 0 618 11 0 0 25 0 1 0 836093831 311144448 74629 33554432000 4194304 9128323 140733810302688 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22638/statm: 75963 74639 397 1205 0 74754 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 303852
[startup+12.7011 s]
/proc/loadavg: 0.44 0.10 0.03 3/522 22640
/proc/meminfo: memFree=19221748/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=1262196 CPUtime=12.7 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 398406 0 0 0 1222 48 0 0 25 0 1 0 836093831 1292488704 310854 33554432000 4194304 9128323 140733810302688 18446744073709551615 4815528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 315549 310854 525 1205 0 314340 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1262196
[startup+25.5008 s]
/proc/loadavg: 0.79 0.19 0.06 3/522 22640
/proc/meminfo: memFree=17857260/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=2761132 CPUtime=25.49 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 906146 0 0 0 2446 103 0 0 25 0 1 0 836093831 2827399168 646825 33554432000 4194304 9128323 140733810302688 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 690283 646825 1056 1205 0 689074 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2761132
[startup+51.1011 s]
/proc/loadavg: 1.20 0.33 0.11 3/522 22641
/proc/meminfo: memFree=17710628/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=2896040 CPUtime=51.08 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 990142 0 0 0 4994 114 0 0 25 0 1 0 836093831 2965544960 680686 33554432000 4194304 9128323 140733810302688 18446744073709551615 7077352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 724010 680686 848 1205 0 722801 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2896040
[startup+102.32 s]
/proc/loadavg: 1.69 0.60 0.21 3/522 22642
/proc/meminfo: memFree=17786912/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=2841928 CPUtime=102.29 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1154245 0 0 0 10091 138 0 0 25 0 1 0 836093831 2910134272 659217 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 710482 659217 816 1205 0 709273 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2841928
[startup+162.301 s]
/proc/loadavg: 1.99 0.88 0.33 3/522 22644
/proc/meminfo: memFree=17753096/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=2923140 CPUtime=162.27 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1349913 0 0 0 16061 166 0 0 25 0 1 0 836093831 2993295360 668453 33554432000 4194304 9128323 140733810302688 18446744073709551615 7077352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 730785 668453 733 1205 0 729576 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2923140
[startup+222.301 s]
/proc/loadavg: 2.13 1.12 0.45 3/522 22645
/proc/meminfo: memFree=17784064/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=2943856 CPUtime=222.27 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1492728 0 0 0 22038 189 0 0 25 0 1 0 836093831 3014508544 665969 33554432000 4194304 9128323 140733810302688 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 735964 665969 732 1205 0 734755 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 2943856
[startup+282.301 s]
/proc/loadavg: 2.14 1.31 0.55 3/522 22647
/proc/meminfo: memFree=17805876/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=2972392 CPUtime=282.27 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1614491 0 0 0 28020 207 0 0 25 0 1 0 836093831 3043729408 660592 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 743098 660592 727 1205 0 741889 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 2972392
[startup+342.301 s]
/proc/loadavg: 2.05 1.43 0.64 3/522 22649
/proc/meminfo: memFree=17805968/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=2973024 CPUtime=342.27 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1628980 0 0 0 34015 212 0 0 25 0 1 0 836093831 3044376576 660593 33554432000 4194304 9128323 140733810302688 18446744073709551615 6482032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 743256 660593 721 1205 0 742047 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 2973024
[startup+402.301 s]
/proc/loadavg: 2.02 1.53 0.72 3/522 22650
/proc/meminfo: memFree=17794172/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3005060 CPUtime=402.27 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1775278 0 0 0 39993 234 0 0 25 0 1 0 836093831 3077181440 663410 33554432000 4194304 9128323 140733810302688 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 751265 663410 721 1205 0 750056 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 3005060
[startup+462.301 s]
/proc/loadavg: 2.00 1.61 0.80 3/522 22652
/proc/meminfo: memFree=17791028/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3005060 CPUtime=462.28 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1780461 0 0 0 45991 237 0 0 25 0 1 0 836093831 3077181440 663420 33554432000 4194304 9128323 140733810302688 18446744073709551615 6695049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 751265 663420 718 1205 0 750056 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 3005060
[startup+522.301 s]
/proc/loadavg: 2.00 1.68 0.87 3/522 22662
/proc/meminfo: memFree=17773920/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3017932 CPUtime=522.27 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 1901952 0 0 0 51971 256 0 0 25 0 1 0 836093831 3090362368 667318 33554432000 4194304 9128323 140733810302688 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 754483 667318 721 1205 0 753274 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 3017932
[startup+582.301 s]
/proc/loadavg: 2.11 1.77 0.95 3/522 22664
/proc/meminfo: memFree=17757264/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3016968 CPUtime=582.27 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 2177371 0 0 0 57933 294 0 0 25 0 1 0 836093831 3089375232 667631 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 754242 667631 721 1205 0 753033 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 3016968
[startup+642.301 s]
################
# More data... #
################
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 3826662 0 0 0 99682 544 0 0 25 0 1 0 836093831 3068157952 663335 33554432000 4194304 9128323 140733810302688 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 749062 663335 721 1205 0 747853 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 2996248
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.37 3/522 22677
/proc/meminfo: memFree=17738284/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3033388 CPUtime=1062.26 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 4061233 0 0 0 105645 581 0 0 25 0 1 0 836093831 3106189312 670482 33554432000 4194304 9128323 140733810302688 18446744073709551615 7077567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 758347 670482 727 1205 0 757138 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 3033388
[startup+1122.3 s]
/proc/loadavg: 2.08 1.99 1.41 3/522 22678
/proc/meminfo: memFree=17783640/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3011092 CPUtime=1122.26 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 4285630 0 0 0 111609 617 0 0 25 0 1 0 836093831 3083358208 665993 33554432000 4194304 9128323 140733810302688 18446744073709551615 7315282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 752773 665993 723 1205 0 751564 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 3011092
[startup+1182.3 s]
/proc/loadavg: 2.10 2.00 1.45 3/522 22680
/proc/meminfo: memFree=17740852/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3011092 CPUtime=1182.25 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 4528877 0 0 0 117573 652 0 0 25 0 1 0 836093831 3083358208 666075 33554432000 4194304 9128323 140733810302688 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 752773 666075 723 1205 0 751564 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 3011092
[startup+1242.3 s]
/proc/loadavg: 2.04 2.00 1.48 3/522 22682
/proc/meminfo: memFree=17764276/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3031660 CPUtime=1242.25 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 4766468 0 0 0 123539 686 0 0 25 0 1 0 836093831 3104419840 670518 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 757915 670518 723 1205 0 756706 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 3031660
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.51 3/522 22683
/proc/meminfo: memFree=17716776/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3011092 CPUtime=1302.26 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 4991333 0 0 0 129505 721 0 0 25 0 1 0 836093831 3083358208 665189 33554432000 4194304 9128323 140733810302688 18446744073709551615 7361801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22638/statm: 752773 665191 723 1205 0 751564 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 3011092
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 1.55 3/522 22685
/proc/meminfo: memFree=17766828/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3032412 CPUtime=1362.25 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 5234530 0 0 0 135469 756 0 0 25 0 1 0 836093831 3105189888 669836 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 758103 669836 723 1205 0 756894 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 3032412
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 1.58 3/522 22686
/proc/meminfo: memFree=17765432/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3033908 CPUtime=1422.26 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 5484521 0 0 0 141435 791 0 0 25 0 1 0 836093831 3106721792 670458 33554432000 4194304 9128323 140733810302688 18446744073709551615 6941050 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 758477 670458 723 1205 0 757268 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 3033908
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 1.60 3/522 22688
/proc/meminfo: memFree=17735032/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3011092 CPUtime=1482.25 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 5738523 0 0 0 147394 831 0 0 25 0 1 0 836093831 3083358208 665952 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 752773 665952 723 1205 0 751564 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 3011092
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.63 3/522 22690
/proc/meminfo: memFree=17748408/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3033604 CPUtime=1542.25 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 5977020 0 0 0 153359 866 0 0 25 0 1 0 836093831 3106410496 670729 33554432000 4194304 9128323 140733810302688 18446744073709551615 7342431 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 758401 670729 723 1205 0 757192 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 3033604
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.65 3/522 22691
/proc/meminfo: memFree=17780760/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3014452 CPUtime=1602.26 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 6172801 0 0 0 159328 898 0 0 25 0 1 0 836093831 3086798848 666226 33554432000 4194304 9128323 140733810302688 18446744073709551615 7342525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 753613 666226 723 1205 0 752404 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 3014452
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.66 3/522 22693
/proc/meminfo: memFree=17713032/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3035492 CPUtime=1662.25 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 6411276 0 0 0 165295 930 0 0 25 0 1 0 836093831 3108343808 669997 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 758873 669997 723 1205 0 757664 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 3035492
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 1.69 3/522 22694
/proc/meminfo: memFree=17763860/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3014452 CPUtime=1722.26 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 6638058 0 0 0 171260 966 0 0 25 0 1 0 836093831 3086798848 666342 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 753613 666342 723 1205 0 752404 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 3014452
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 1.71 3/522 22696
/proc/meminfo: memFree=17722560/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3014452 CPUtime=1782.25 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 6894524 0 0 0 177222 1003 0 0 25 0 1 0 836093831 3086798848 666091 33554432000 4194304 9128323 140733810302688 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 753613 666091 723 1205 0 752404 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 3014452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.05 2.03 1.72 3/523 22697
/proc/meminfo: memFree=17738544/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3014452 CPUtime=1800.08 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 6957751 0 0 0 178996 1012 0 0 25 0 1 0 836093831 3086798848 666247 33554432000 4194304 9128323 140733810302688 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 753613 666247 723 1205 0 752404 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3014452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22638
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.05 2.03 1.72 3/524 22698
/proc/meminfo: memFree=17737172/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3035656 CPUtime=1801.36 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 6962183 0 0 0 179123 1013 0 0 25 0 1 0 836093831 3108511744 670679 33554432000 4194304 9128323 140733810302688 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 758914 670679 723 1205 0 757705 0
Current children cumulated CPU time (s) 1801.36
Current children cumulated vsize (KiB) 3035656
[startup+1801.82 s]
/proc/loadavg: 2.05 2.03 1.72 3/523 22725
/proc/meminfo: memFree=18490392/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=3035848 CPUtime=1801.78 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4202496 6967711 0 0 0 179165 1013 0 0 25 0 1 0 836093831 3108708352 670651 33554432000 4194304 9128323 140733810302688 18446744073709551615 6933421 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22638/statm: 758962 670651 723 1205 0 757753 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 3035848
[startup+1802.2 s]
/proc/loadavg: 2.05 2.03 1.72 3/523 22725
/proc/meminfo: memFree=18490392/32951124 swapFree=58800704/67111528
[pid=22638] ppid=22636 vsize=0 CPUtime=1802.16 cores=1,3,5,7
/proc/22638/stat : 22638 (scip-2.0.1.4.li) R 22636 22638 22600 0 -1 4203524 6967726 0 0 0 179195 1021 0 0 25 0 1 0 836093831 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/22638/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.23
CPU time (s): 1802.2
CPU user time (s): 1791.95
CPU system time (s): 10.2454
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 3160376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.95
system time used= 10.2454
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6967726
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= 4
involuntary context switches= 7770
runsolver used 8.41472 second user time and 22.8895 second system time
The end