0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451057-1307091788.opb>
0.09/0.16 c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.19/0.20 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.26 c (round 2) 0 del vars, 3094 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 104 upgd conss, 0 impls, 0 clqs
0.19/0.28 c (round 3) 0 del vars, 3094 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 195 upgd conss, 1092 impls, 0 clqs
0.69/0.78 c (0.8s) probing: 113/3297 (3.4%) - 0 fixings, 0 aggregations, 2730 implications, 0 bound changes
0.69/0.78 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.69/0.78 c presolving (4 rounds):
0.69/0.78 c 0 deleted vars, 3094 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
0.69/0.78 c 6552 implications, 0 cliques
0.69/0.78 c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
0.69/0.78 c 195 constraints of type <knapsack>
0.69/0.78 c 3094 constraints of type <linear>
0.69/0.78 c transformed objective value is always integral (scale: 1)
0.69/0.78 c Presolving Time: 0.58
0.69/0.78 c - non default parameters ----------------------------------------------------------------------
0.69/0.78 c # SCIP version 2.0.1.5
0.69/0.78 c
0.69/0.78 c # frequency for displaying node information lines
0.69/0.78 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.78 c display/freq = 10000
0.69/0.78 c
0.69/0.78 c # maximal time in seconds to run
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/time = 1800
0.69/0.78 c
0.69/0.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.78 c limits/memory = 13950
0.69/0.78 c
0.69/0.78 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.78 c # [type: int, range: [1,2], default: 1]
0.69/0.78 c timing/clocktype = 2
0.69/0.78 c
0.69/0.78 c # belongs reading time to solving time?
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c timing/reading = TRUE
0.69/0.78 c
0.69/0.78 c # should presolving try to simplify inequalities
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c constraints/linear/simplifyinequalities = TRUE
0.69/0.78 c
0.69/0.78 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c constraints/indicator/addCouplingCons = TRUE
0.69/0.78 c
0.69/0.78 c # should presolving try to simplify knapsacks
0.69/0.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.78 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.78 c
0.69/0.78 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.78 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.78 c separating/rapidlearning/freq = 0
0.69/0.78 c
0.69/0.78 c -----------------------------------------------------------------------------------------------
0.69/0.78 c start solving
0.69/0.78 c
0.89/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.99 c 1.0s| 1 | 0 | 2553 | - | 27M| 0 |1909 |3297 |3304 |3297 |3289 | 0 | 15 | 0 | 1.300000e+01 | -- | Inf
3.99/4.02 c 4.0s| 1 | 0 | 9219 | - | 29M| 0 |1931 |3297 |3662 |3297 |3364 | 75 | 15 | 0 | 1.300000e+01 | -- | Inf
4.30/4.36 c 4.4s| 1 | 0 | 9476 | - | 30M| 0 |1950 |3297 |3662 |3297 |3496 | 207 | 15 | 0 | 1.300000e+01 | -- | Inf
4.79/4.87 c 4.9s| 1 | 0 | 9820 | - | 30M| 0 |1954 |3297 |3662 |3297 |3619 | 330 | 15 | 0 | 1.300000e+01 | -- | Inf
5.40/5.43 c 5.4s| 1 | 0 | 10074 | - | 31M| 0 |1943 |3297 |3662 |3297 |3733 | 444 | 15 | 0 | 1.300000e+01 | -- | Inf
5.89/5.93 c 5.9s| 1 | 0 | 10549 | - | 31M| 0 |1961 |3297 |3662 |3297 |3867 | 578 | 15 | 0 | 1.300000e+01 | -- | Inf
6.39/6.51 c 6.5s| 1 | 0 | 11121 | - | 32M| 0 |1934 |3297 |3662 |3297 |3984 | 695 | 15 | 0 | 1.300000e+01 | -- | Inf
11.39/11.44 c 11.4s| 1 | 2 | 11121 | - | 32M| 0 |1934 |3297 |3662 |3297 |3984 | 695 | 15 | 31 | 1.300000e+01 | -- | Inf
776.53/776.54 c 777s| 10000 | 8464 | 4063k| 405.3 | 62M| 62 |1171 |3297 |5321 |3297 |3415 | 695 | 10k|6703 | 1.700000e+01 | -- | Inf
1276.05/1276.08 c 1276s| 20000 | 13949 | 7435k| 371.2 | 93M| 64 |1751 |3297 |5737 |3297 |3415 | 695 | 22k| 10k| 1.800000e+01 | -- | Inf
1707.15/1707.12 c 1707s| 30000 | 18179 | 10558k| 351.6 | 122M| 64 | - |3297 |6761 | 0 | 0 | 695 | 38k| 13k| 1.800000e+01 | -- | Inf
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Solving Time (sec) : 1800.01
1800.05/1800.01 c Solving Nodes : 32106
1800.05/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.01 c Dual Bound : +1.85000000000000e+01
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 s UNKNOWN
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Total Time : 1800.01
1800.05/1800.01 c solving : 1800.01
1800.05/1800.01 c presolving : 0.58 (included in solving)
1800.05/1800.01 c reading : 0.16 (included in solving)
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-3451057-1307091788.opb
1800.05/1800.01 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 6383 initial, 6383 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-3451057-1307091788.opb
1800.05/1800.01 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 3289 initial, 6857 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.49 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.07 0 0 0 0 0 3094 0 182 182
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 27217 0 4 0 33 4355 0 0 52036
1800.05/1800.01 c knapsack : 195 6 182040 0 0 3 172068 922 148966 989 0 0
1800.05/1800.01 c linear : 3094+ 7 181118 0 0 0 36096 2363 2196062 0 0 0
1800.05/1800.01 c logicor : 0+ 6 99698 0 0 0 52426 167 93081 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.01 c integral : 477.25 0.00 0.00 477.25 0.00 0.00 0.00
1800.05/1800.01 c knapsack : 11.00 0.01 10.88 0.00 0.00 0.00 0.10
1800.05/1800.01 c linear : 44.20 0.00 44.13 0.00 0.00 0.00 0.07
1800.05/1800.01 c logicor : 3.08 0.00 3.03 0.00 0.00 0.00 0.05
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.01 c vbounds : 0 0 0 0
1800.05/1800.01 c rootredcost : 0 0 0 0
1800.05/1800.01 c pseudoobj : 181812 0 0 0
1800.05/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.01 c vbounds : 0.05 0.05 0.00
1800.05/1800.01 c rootredcost : 0.05 0.05 0.00
1800.05/1800.01 c pseudoobj : 0.13 0.13 0.00
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.24 3452 3427 30813 32.1 188 15.8 -
1800.05/1800.01 c infeasible LP : 4.87 17143 17143 36183 18.2 1232 11.6 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 42230 19.7 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 5 - - 2518 - (maximal pool size: 4005)
1800.05/1800.01 c redcost : 1.30 27388 0 256 0 0
1800.05/1800.01 c impliedbounds : 0.00 6 0 0 41 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.11 6 0 0 49 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.10 6 0 0 3 0
1800.05/1800.01 c cmir : 0.96 6 0 0 3000 0
1800.05/1800.01 c flowcover : 0.67 6 0 0 1200 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 1.89 1 0 0 0 358
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 477.21 27217 33 4355 0 0 52036
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c oneopt : 0.02 0 0
1800.05/1800.01 c crossover : 0.02 0 0
1800.05/1800.01 c feaspump : 28.77 38 0
1800.05/1800.01 c veclendiving : 42.78 128 0
1800.05/1800.01 c pscostdiving : 65.16 178 0
1800.05/1800.01 c linesearchdiving : 71.62 299 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c shiftandpropagate: 0.11 1 0
1800.05/1800.01 c simplerounding : 0.01 0 0
1800.05/1800.01 c zirounding : 0.54 1000 0
1800.05/1800.01 c rounding : 1.96 2295 0
1800.05/1800.01 c shifting : 10.38 706 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c clique : 0.00 0 0
1800.05/1800.01 c coefdiving : 99.07 62 0
1800.05/1800.01 c fracdiving : 79.34 65 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 32.04 19 0
1800.05/1800.01 c rootsoldiving : 15.95 30 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.03 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c vbounds : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c subnlp : 0.01 0 0
1800.05/1800.01 c trysol : 0.01 0 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.01 0 0 0.00 0.00
1800.05/1800.01 c dual LP : 770.39 31843 8441091 265.08 10956.94
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 373.84 49767 2742328 55.10 7335.66
1800.05/1800.01 c strong branching : 468.82 14246 3376952 237.05 7203.11
1800.05/1800.01 c (at root node) : - 31 14824 478.19 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 32106
1800.05/1800.01 c nodes (total) : 32106
1800.05/1800.01 c nodes left : 18862
1800.05/1800.01 c max depth : 64
1800.05/1800.01 c max depth (total): 64
1800.05/1800.01 c backtracks : 5526 (17.2%)
1800.05/1800.01 c delayed cutoffs : 1069
1800.05/1800.01 c repropagations : 23137 (494367 domain reductions, 438 cutoffs)
1800.05/1800.01 c avg switch length: 9.74
1800.05/1800.01 c switching time : 30.61
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 0 (0 improvements)
1800.05/1800.01 c Primal Bound : -
1800.05/1800.01 c Dual Bound : +1.85000000000000e+01
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +1.30000000000000e+01
1800.05/1800.01 c Root Iterations : 11121
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-3451057-1307091788/watcher-3451057-1307091788 -o /tmp/evaluation-result-3451057-1307091788/solver-3451057-1307091788 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451057-1307091788.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.01 2.03 2.00 2/455 16310
/proc/meminfo: memFree=24260912/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=12976 CPUtime=0 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 2216 0 0 0 0 0 0 0 25 0 1 0 801594683 13287424 2169 33554432000 4194304 9163163 140736489550416 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16310/statm: 3244 2169 395 1214 0 2026 0
[startup+0.0272339 s]
/proc/loadavg: 2.01 2.03 2.00 2/455 16310
/proc/meminfo: memFree=24260912/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=14168 CPUtime=0.02 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 2524 0 0 0 2 0 0 0 25 0 1 0 801594683 14508032 2477 33554432000 4194304 9163163 140736489550416 18446744073709551615 7952118 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16310/statm: 3542 2477 395 1214 0 2324 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14168
[startup+0.100233 s]
/proc/loadavg: 2.01 2.03 2.00 2/455 16310
/proc/meminfo: memFree=24260912/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=18176 CPUtime=0.09 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 3531 0 0 0 9 0 0 0 25 0 1 0 801594683 18612224 3484 33554432000 4194304 9163163 140736489550416 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16310/statm: 4544 3484 395 1214 0 3326 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18176
[startup+0.300185 s]
/proc/loadavg: 2.01 2.03 2.00 2/455 16310
/proc/meminfo: memFree=24260912/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=70340 CPUtime=0.29 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 16138 0 0 0 28 1 0 0 25 0 1 0 801594683 72028160 15833 33554432000 4194304 9163163 140736489550416 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 17585 15833 540 1214 0 16367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70340
[startup+0.701114 s]
/proc/loadavg: 2.01 2.03 2.00 2/455 16310
/proc/meminfo: memFree=24260912/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=70340 CPUtime=0.69 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 16138 0 0 0 68 1 0 0 25 0 1 0 801594683 72028160 15833 33554432000 4194304 9163163 140736489550416 18446744073709551615 5150460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 17585 15833 540 1214 0 16367 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70340
[startup+1.50096 s]
/proc/loadavg: 2.09 2.04 2.01 3/456 16312
/proc/meminfo: memFree=24178196/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=92028 CPUtime=1.49 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 22962 0 0 0 144 5 0 0 18 0 1 0 801594683 94236672 21189 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 23007 21189 671 1214 0 21789 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92028
[startup+3.10067 s]
/proc/loadavg: 2.09 2.04 2.01 3/456 16312
/proc/meminfo: memFree=24176476/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=134456 CPUtime=3.09 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 33394 0 0 0 301 8 0 0 21 0 1 0 801594683 137682944 31621 33554432000 4194304 9163163 140736489550416 18446744073709551615 5150168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 33614 31621 705 1214 0 32396 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134456
[startup+6.30107 s]
/proc/loadavg: 2.08 2.04 2.00 3/456 16312
/proc/meminfo: memFree=24130500/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=6.29 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34666 0 0 0 619 10 0 0 25 0 1 0 801594683 140234752 32789 33554432000 4194304 9163163 140736489550416 18446744073709551615 6668738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32789 728 1214 0 33019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136948
[startup+12.7009 s]
/proc/loadavg: 2.07 2.04 2.00 3/456 16312
/proc/meminfo: memFree=24129092/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=12.7 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34687 0 0 0 1249 21 0 0 25 0 1 0 801594683 140234752 32798 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32798 721 1214 0 33019 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 136948
[startup+25.5005 s]
/proc/loadavg: 2.06 2.04 2.00 3/456 16313
/proc/meminfo: memFree=24128788/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=25.49 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34687 0 0 0 2487 62 0 0 25 0 1 0 801594683 140234752 32798 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32798 721 1214 0 33019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136948
[startup+51.1008 s]
/proc/loadavg: 2.11 2.05 2.01 3/456 16313
/proc/meminfo: memFree=24127868/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=51.09 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34691 0 0 0 4990 119 0 0 25 0 1 0 801594683 140234752 32802 33554432000 4194304 9163163 140736489550416 18446744073709551615 7344458 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32802 723 1214 0 33019 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 136948
[startup+102.317 s]
/proc/loadavg: 2.05 2.04 2.00 3/456 16348
/proc/meminfo: memFree=24505424/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=102.31 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34700 0 0 0 9979 252 0 0 25 0 1 0 801594683 140234752 32810 33554432000 4194304 9163163 140736489550416 18446744073709551615 7300304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32810 723 1214 0 33019 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 136948
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 16382
/proc/meminfo: memFree=24277612/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=162.29 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34704 0 0 0 15861 368 0 0 25 0 1 0 801594683 140234752 32814 33554432000 4194304 9163163 140736489550416 18446744073709551615 7348404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32814 723 1214 0 33019 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 136948
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16384
/proc/meminfo: memFree=24276796/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=222.3 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34712 0 0 0 21696 534 0 0 25 0 1 0 801594683 140234752 32822 33554432000 4194304 9163163 140736489550416 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32822 723 1214 0 33019 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 136948
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16386
/proc/meminfo: memFree=24278848/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=282.3 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34713 0 0 0 27513 717 0 0 25 0 1 0 801594683 140234752 32823 33554432000 4194304 9163163 140736489550416 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32823 723 1214 0 33019 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 136948
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16387
/proc/meminfo: memFree=24277908/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=342.3 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34738 0 0 0 33336 894 0 0 25 0 1 0 801594683 140234752 32848 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32848 723 1214 0 33019 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 136948
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16389
/proc/meminfo: memFree=24277724/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=402.3 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34757 0 0 0 39171 1059 0 0 25 0 1 0 801594683 140234752 32867 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32867 723 1214 0 33019 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 136948
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16390
/proc/meminfo: memFree=24277656/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=462.3 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34790 0 0 0 44971 1259 0 0 25 0 1 0 801594683 140234752 32900 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32900 723 1214 0 33019 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 136948
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16392
/proc/meminfo: memFree=24277964/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=136948 CPUtime=522.31 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 34793 0 0 0 50770 1461 0 0 25 0 1 0 801594683 140234752 32903 33554432000 4194304 9163163 140736489550416 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34237 32903 723 1214 0 33019 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 136948
[startup+582.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/456 16394
/proc/meminfo: memFree=24275676/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=138872 CPUtime=582.31 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 35233 0 0 0 56598 1633 0 0 25 0 1 0 801594683 142204928 33343 33554432000 4194304 9163163 140736489550416 18446744073709551615 6687980 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 34718 33343 723 1214 0 33500 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 138872
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 16400
/proc/meminfo: memFree=24267452/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=146804 CPUtime=822.32 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 54008 0 0 0 79809 2423 0 0 25 0 1 0 801594683 150327296 35355 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 36701 35355 723 1214 0 35483 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 146804
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16402
/proc/meminfo: memFree=24261956/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=151824 CPUtime=882.32 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 59152 0 0 0 85598 2634 0 0 25 0 1 0 801594683 155467776 36597 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 37956 36597 723 1214 0 36738 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 151824
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16403
/proc/meminfo: memFree=24254716/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=159100 CPUtime=942.33 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 62886 0 0 0 91401 2832 0 0 25 0 1 0 801594683 162918400 38437 33554432000 4194304 9163163 140736489550416 18446744073709551615 7300315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 39775 38437 723 1214 0 38557 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 159100
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16405
/proc/meminfo: memFree=24250332/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=164124 CPUtime=1002.33 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 65980 0 0 0 97221 3012 0 0 25 0 1 0 801594683 168062976 39525 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 41031 39525 723 1214 0 39813 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 164124
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16406
/proc/meminfo: memFree=24246800/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=166032 CPUtime=1062.32 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 72808 0 0 0 103012 3220 0 0 25 0 1 0 801594683 170016768 40170 33554432000 4194304 9163163 140736489550416 18446744073709551615 7376319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 41508 40170 723 1214 0 40290 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 166032
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/456 16408
/proc/meminfo: memFree=24242284/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=170660 CPUtime=1122.33 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 78134 0 0 0 108811 3422 0 0 25 0 1 0 801594683 174755840 41338 33554432000 4194304 9163163 140736489550416 18446744073709551615 7225318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 42665 41338 723 1214 0 41447 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 170660
[startup+1182.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/456 16411
/proc/meminfo: memFree=24231212/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=177212 CPUtime=1182.32 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 82317 0 0 0 114611 3621 0 0 25 0 1 0 801594683 181465088 42960 33554432000 4194304 9163163 140736489550416 18446744073709551615 7195895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 44303 42960 723 1214 0 43085 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 177212
[startup+1242.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/456 16412
/proc/meminfo: memFree=24222992/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=183960 CPUtime=1242.33 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 92169 0 0 0 120428 3805 0 0 25 0 1 0 801594683 188375040 44556 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 45990 44556 723 1214 0 44772 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 183960
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 16414
/proc/meminfo: memFree=24214636/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=187040 CPUtime=1302.34 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 98023 0 0 0 126237 3997 0 0 25 0 1 0 801594683 191528960 45272 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 46760 45272 723 1214 0 45542 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 187040
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 16418
/proc/meminfo: memFree=24204712/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=192048 CPUtime=1362.33 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 108543 0 0 0 132030 4203 0 0 25 0 1 0 801594683 196657152 46703 33554432000 4194304 9163163 140736489550416 18446744073709551615 6687952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 48012 46703 723 1214 0 46794 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 192048
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16420
/proc/meminfo: memFree=24193020/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=199820 CPUtime=1422.35 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 115688 0 0 0 137836 4399 0 0 25 0 1 0 801594683 204615680 48651 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 49955 48651 723 1214 0 48737 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 199820
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16423
/proc/meminfo: memFree=24192364/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=204736 CPUtime=1482.33 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 126242 0 0 0 143629 4604 0 0 25 0 1 0 801594683 209649664 49553 33554432000 4194304 9163163 140736489550416 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 51184 49553 723 1214 0 49966 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 204736
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16424
/proc/meminfo: memFree=24173956/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=213704 CPUtime=1542.34 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 130593 0 0 0 149423 4811 0 0 25 0 1 0 801594683 218832896 52045 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 53426 52045 723 1214 0 52208 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 213704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16426
/proc/meminfo: memFree=24164492/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=219196 CPUtime=1602.35 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 132012 0 0 0 155207 5028 0 0 25 0 1 0 801594683 224456704 53464 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 54799 53464 723 1214 0 53581 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 219196
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/456 16427
/proc/meminfo: memFree=24153672/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=224984 CPUtime=1662.35 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 137067 0 0 0 160992 5243 0 0 25 0 1 0 801594683 230383616 54956 33554432000 4194304 9163163 140736489550416 18446744073709551615 7376048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 56246 54956 723 1214 0 55028 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 224984
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/456 16429
/proc/meminfo: memFree=24140980/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=233088 CPUtime=1722.35 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 139016 0 0 0 166796 5439 0 0 25 0 1 0 801594683 238682112 56902 33554432000 4194304 9163163 140736489550416 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 58272 56902 723 1214 0 57054 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 233088
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/456 16432
/proc/meminfo: memFree=24127304/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=241084 CPUtime=1782.34 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 152601 0 0 0 172603 5631 0 0 25 0 1 0 801594683 246870016 58993 33554432000 4194304 9163163 140736489550416 18446744073709551615 6706954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 60271 58993 723 1214 0 59053 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 241084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 2.01 3/456 16432
/proc/meminfo: memFree=24134476/32951124 swapFree=60476376/67111528
[pid=16310] ppid=16308 vsize=242356 CPUtime=1800.05 cores=1,3,5,7
/proc/16310/stat : 16310 (scip-2.0.1.4b.l) R 16308 16310 12802 0 -1 4202496 154706 0 0 0 174316 5689 0 0 25 0 1 0 801594683 248172544 59304 33554432000 4194304 9163163 140736489550416 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16310/statm: 60589 59304 723 1214 0 59371 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 242356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1743.18
CPU system time (s): 56.9053
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 242356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.18
system time used= 56.9053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154709
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= 7
involuntary context switches= 2845
runsolver used 7.46186 second user time and 18.7462 second system time
The end