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-3451058-1307092333.opb>
0.09/0.12 c original problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 4744 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.15 c presolving:
0.29/0.36 c (round 1) 0 del vars, 2366 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 0 impls, 0 clqs
0.49/0.54 c (0.5s) probing: 113/2470 (4.6%) - 0 fixings, 0 aggregations, 745 implications, 0 bound changes
0.49/0.54 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.54 c presolving (2 rounds):
0.49/0.54 c 0 deleted vars, 2366 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.54 c 4888 implications, 0 cliques
0.49/0.54 c presolved problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 2378 constraints
0.49/0.54 c 12 constraints of type <knapsack>
0.49/0.54 c 2366 constraints of type <linear>
0.49/0.54 c transformed objective value is always integral (scale: 1)
0.49/0.54 c Presolving Time: 0.39
0.49/0.54 c - non default parameters ----------------------------------------------------------------------
0.49/0.54 c # SCIP version 2.0.1.5
0.49/0.54 c
0.49/0.54 c # frequency for displaying node information lines
0.49/0.54 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.54 c display/freq = 10000
0.49/0.54 c
0.49/0.54 c # maximal time in seconds to run
0.49/0.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54 c limits/time = 1800
0.49/0.54 c
0.49/0.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54 c limits/memory = 13950
0.49/0.54 c
0.49/0.54 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.54 c # [type: int, range: [1,2], default: 1]
0.49/0.54 c timing/clocktype = 2
0.49/0.54 c
0.49/0.54 c # belongs reading time to solving time?
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c timing/reading = TRUE
0.49/0.54 c
0.49/0.54 c # should presolving try to simplify inequalities
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c constraints/linear/simplifyinequalities = TRUE
0.49/0.54 c
0.49/0.54 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c constraints/indicator/addCouplingCons = TRUE
0.49/0.54 c
0.49/0.54 c # should presolving try to simplify knapsacks
0.49/0.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.54 c
0.49/0.54 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.54 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.54 c separating/rapidlearning/freq = 0
0.49/0.54 c
0.49/0.54 c -----------------------------------------------------------------------------------------------
0.49/0.54 c start solving
0.49/0.54 c
0.59/0.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.67 c 0.7s| 1 | 0 | 1918 | - | 20M| 0 |1440 |2470 |2398 |2470 |2378 | 0 | 20 | 0 | 1.200000e+01 | -- | Inf
1.79/1.88 c 1.9s| 1 | 0 | 4734 | - | 22M| 0 |1451 |2470 |3001 |2470 |2426 | 48 | 20 | 0 | 1.200000e+01 | -- | Inf
1.99/2.06 c 2.1s| 1 | 0 | 4782 | - | 23M| 0 |1452 |2470 |3001 |2470 |2479 | 101 | 20 | 0 | 1.200000e+01 | -- | Inf
2.21/2.29 c 2.3s| 1 | 0 | 4985 | - | 23M| 0 |1458 |2470 |3001 |2470 |2542 | 164 | 20 | 0 | 1.200000e+01 | -- | Inf
2.49/2.56 c 2.6s| 1 | 0 | 5282 | - | 24M| 0 |1453 |2470 |3001 |2470 |2611 | 233 | 20 | 0 | 1.200000e+01 | -- | Inf
2.68/2.79 c 2.8s| 1 | 0 | 5537 | - | 24M| 0 |1445 |2470 |3001 |2470 |2676 | 298 | 20 | 0 | 1.200000e+01 | -- | Inf
2.99/3.04 c 3.0s| 1 | 0 | 5818 | - | 25M| 0 |1472 |2470 |3001 |2470 |2729 | 351 | 20 | 0 | 1.200014e+01 | -- | Inf
4.18/4.22 c 4.2s| 1 | 2 | 5818 | - | 25M| 0 |1472 |2470 |3001 |2470 |2729 | 351 | 20 | 21 | 1.200014e+01 | -- | Inf
325.98/326.00 c 326s| 10000 | 9258 | 2457k| 245.2 | 43M| 45 |1216 |2470 |4391 |2470 |2439 | 351 |5300 |5651 | 1.700000e+01 | -- | Inf
698.28/698.36 c 698s| 20000 | 17401 | 6133k| 306.4 | 74M| 47 | - |2470 |4409 |2470 |2439 | 351 | 16k|9516 | 1.800000e+01 | -- | Inf
1076.80/1076.88 c 1077s| 30000 | 24784 | 10069k| 335.5 | 112M| 47 |1326 |2470 |4715 |2470 |2439 | 351 | 30k| 12k| 1.800000e+01 | -- | Inf
1420.51/1420.50 c 1420s| 40000 | 30547 | 13548k| 338.6 | 146M| 47 |1035 |2470 |5395 |2470 |2439 | 351 | 44k| 16k| 1.900000e+01 | -- | Inf
1692.41/1692.49 c 1692s| 50000 | 35316 | 16442k| 328.7 | 177M| 47 | - |2470 |5590 |2470 |2439 | 351 | 58k| 17k| 1.900000e+01 | -- | Inf
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.00 c Solving Time (sec) : 1800.00
1800.02/1800.00 c Solving Nodes : 54036
1800.02/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.00 c Dual Bound : +1.90000000000000e+01
1800.02/1800.00 c Gap : infinite
1800.02/1800.00 s UNKNOWN
1800.02/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.00 c Total Time : 1800.00
1800.02/1800.00 c solving : 1800.00
1800.02/1800.00 c presolving : 0.39 (included in solving)
1800.02/1800.00 c reading : 0.12 (included in solving)
1800.02/1800.00 c Original Problem :
1800.02/1800.00 c Problem name : HOME/instance-3451058-1307092333.opb
1800.02/1800.00 c Variables : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.00 c Constraints : 4744 initial, 4744 maximal
1800.02/1800.00 c Presolved Problem :
1800.02/1800.00 c Problem name : t_HOME/instance-3451058-1307092333.opb
1800.02/1800.00 c Variables : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.00 c Constraints : 2378 initial, 6045 maximal
1800.02/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.02/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c probing : 0.33 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c linear : 0.05 0 0 0 0 0 2366 0 0 0
1800.02/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c root node : - 0 - - 0 - - - - -
1800.02/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.02/1800.00 c integral : 0 0 0 47725 0 4 0 13 6563 0 0 92184
1800.02/1800.00 c knapsack : 12 6 310763 0 1 3 115455 701 75048 119 0 0
1800.02/1800.00 c linear : 2366+ 7 310092 0 0 0 121307 4447 3174835 0 0 0
1800.02/1800.00 c logicor : 0+ 6 197479 0 0 0 103092 428 339337 0 0 0
1800.02/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.02/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.02/1800.00 c integral : 376.43 0.00 0.00 376.43 0.00 0.00 0.00
1800.02/1800.00 c knapsack : 9.92 0.00 9.85 0.00 0.00 0.00 0.06
1800.02/1800.00 c linear : 65.89 0.00 65.73 0.00 0.00 0.00 0.16
1800.02/1800.00 c logicor : 7.53 0.00 7.45 0.00 0.00 0.00 0.08
1800.02/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.02/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.02/1800.00 c vbounds : 0 0 0 0
1800.02/1800.00 c rootredcost : 0 0 0 0
1800.02/1800.00 c pseudoobj : 310568 0 0 0
1800.02/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.02/1800.00 c vbounds : 0.07 0.07 0.00
1800.02/1800.00 c rootredcost : 0.08 0.08 0.00
1800.02/1800.00 c pseudoobj : 0.20 0.20 0.00
1800.02/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.00 c propagation : 0.30 5576 5432 35710 26.8 330 10.8 -
1800.02/1800.00 c infeasible LP : 5.15 26970 26970 49875 13.6 2054 8.3 0
1800.02/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.00 c applied globally : - - - 64523 16.1 - - -
1800.02/1800.00 c applied locally : - - - 0 0.0 - - -
1800.02/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.00 c cut pool : 0.00 5 - - 2489 - (maximal pool size: 4016)
1800.02/1800.00 c redcost : 1.63 47956 0 299 0 0
1800.02/1800.00 c impliedbounds : 0.00 6 0 0 56 0
1800.02/1800.00 c intobj : 0.00 0 0 0 0 0
1800.02/1800.00 c gomory : 0.03 6 0 0 28 0
1800.02/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.02/1800.00 c strongcg : 0.03 6 0 0 18 0
1800.02/1800.00 c cmir : 0.61 6 0 0 3000 0
1800.02/1800.00 c flowcover : 0.31 6 0 0 1200 0
1800.02/1800.00 c clique : 0.00 1 0 0 0 0
1800.02/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.00 c mcf : 0.00 1 0 0 0 0
1800.02/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.02/1800.00 c rapidlearning : 0.81 1 0 0 0 603
1800.02/1800.00 c Pricers : Time Calls Vars
1800.02/1800.00 c problem variables: 0.00 0 0
1800.02/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.00 c relpscost : 376.37 47725 13 6563 0 0 92184
1800.02/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.02/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.00 c random : 0.00 0 0 0 0 0 0
1800.02/1800.00 c Primal Heuristics : Time Calls Found
1800.02/1800.00 c LP solutions : 0.00 - 0
1800.02/1800.00 c pseudo solutions : 0.00 - 0
1800.02/1800.00 c oneopt : 0.03 0 0
1800.02/1800.00 c crossover : 0.02 0 0
1800.02/1800.00 c guideddiving : 0.00 0 0
1800.02/1800.00 c coefdiving : 96.72 103 0
1800.02/1800.00 c rootsoldiving : 14.45 52 0
1800.02/1800.00 c objpscostdiving : 28.70 54 0
1800.02/1800.00 c feaspump : 31.32 60 0
1800.02/1800.00 c fracdiving : 99.66 129 0
1800.02/1800.00 c pscostdiving : 69.61 266 0
1800.02/1800.00 c veclendiving : 48.13 266 0
1800.02/1800.00 c linesearchdiving : 73.33 413 0
1800.02/1800.00 c trivial : 0.00 2 0
1800.02/1800.00 c shiftandpropagate: 0.07 1 0
1800.02/1800.00 c simplerounding : 0.02 0 0
1800.02/1800.00 c zirounding : 0.34 1000 0
1800.02/1800.00 c rounding : 1.85 3042 0
1800.02/1800.00 c shifting : 10.29 939 0
1800.02/1800.00 c intshifting : 0.00 0 0
1800.02/1800.00 c twoopt : 0.00 0 0
1800.02/1800.00 c fixandinfer : 0.00 0 0
1800.02/1800.00 c clique : 0.00 0 0
1800.02/1800.00 c intdiving : 0.00 0 0
1800.02/1800.00 c actconsdiving : 0.00 0 0
1800.02/1800.00 c octane : 0.00 0 0
1800.02/1800.00 c rens : 0.02 0 0
1800.02/1800.00 c rins : 0.00 0 0
1800.02/1800.00 c localbranching : 0.00 0 0
1800.02/1800.00 c mutation : 0.00 0 0
1800.02/1800.00 c dins : 0.00 0 0
1800.02/1800.00 c vbounds : 0.00 0 0
1800.02/1800.00 c undercover : 0.00 0 0
1800.02/1800.00 c subnlp : 0.02 0 0
1800.02/1800.00 c trysol : 0.02 0 0
1800.02/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.00 c dual LP : 803.76 53558 13389132 249.99 16658.21
1800.02/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.00 c diving/probing LP: 391.22 78462 4071969 51.90 10408.37
1800.02/1800.00 c strong branching : 364.08 19091 4328742 226.74 11889.59
1800.02/1800.00 c (at root node) : - 21 6350 302.38 -
1800.02/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.00 c B&B Tree :
1800.02/1800.00 c number of runs : 1
1800.02/1800.00 c nodes : 54036
1800.02/1800.00 c nodes (total) : 54036
1800.02/1800.00 c nodes left : 36997
1800.02/1800.00 c max depth : 47
1800.02/1800.00 c max depth (total): 47
1800.02/1800.00 c backtracks : 11129 (20.6%)
1800.02/1800.00 c delayed cutoffs : 1154
1800.02/1800.00 c repropagations : 21496 (418497 domain reductions, 398 cutoffs)
1800.02/1800.00 c avg switch length: 8.91
1800.02/1800.00 c switching time : 47.09
1800.02/1800.00 c Solution :
1800.02/1800.00 c Solutions found : 0 (0 improvements)
1800.02/1800.00 c Primal Bound : -
1800.02/1800.00 c Dual Bound : +1.90000000000000e+01
1800.02/1800.00 c Gap : infinite
1800.02/1800.00 c Root Dual Bound : +1.20001448255886e+01
1800.02/1800.00 c Root Iterations : 5818
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-3451058-1307092333/watcher-3451058-1307092333 -o /tmp/evaluation-result-3451058-1307092333/solver-3451058-1307092333 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451058-1307092333.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: 3.86 3.86 3.04 3/505 2222
/proc/meminfo: memFree=30387992/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=9316 CPUtime=0 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 1424 0 0 0 0 0 0 0 23 0 1 0 820835968 9539584 1377 33554432000 4194304 9163163 140734408793200 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2222/statm: 2329 1382 314 1214 0 1111 0
[startup+0.050179 s]
/proc/loadavg: 3.86 3.86 3.04 3/505 2222
/proc/meminfo: memFree=30387992/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=15632 CPUtime=0.04 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 2879 0 0 0 4 0 0 0 23 0 1 0 820835968 16007168 2832 33554432000 4194304 9163163 140734408793200 18446744073709551615 6165461 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2222/statm: 3908 2832 395 1214 0 2690 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15632
[startup+0.100182 s]
/proc/loadavg: 3.86 3.86 3.04 3/505 2222
/proc/meminfo: memFree=30387992/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=18428 CPUtime=0.09 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 3593 0 0 0 9 0 0 0 23 0 1 0 820835968 18870272 3546 33554432000 4194304 9163163 140734408793200 18446744073709551615 7938002 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2222/statm: 4607 3546 395 1214 0 3389 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18428
[startup+0.301136 s]
/proc/loadavg: 3.86 3.86 3.04 3/505 2222
/proc/meminfo: memFree=30387992/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=58980 CPUtime=0.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 13571 0 0 0 28 1 0 0 25 0 1 0 820835968 60395520 13266 33554432000 4194304 9163163 140734408793200 18446744073709551615 5183240 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2222/statm: 14745 13266 539 1214 0 13527 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58980
[startup+0.701065 s]
/proc/loadavg: 3.86 3.86 3.04 3/505 2222
/proc/meminfo: memFree=30387992/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=73568 CPUtime=0.69 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 18321 0 0 0 67 2 0 0 18 0 1 0 820835968 75333632 16900 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2222/statm: 18392 16900 683 1214 0 17174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73568
[startup+1.50092 s]
/proc/loadavg: 3.86 3.86 3.04 3/506 2223
/proc/meminfo: memFree=30146804/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=106540 CPUtime=1.49 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 26428 0 0 0 145 4 0 0 19 0 1 0 820835968 109096960 25002 33554432000 4194304 9163163 140734408793200 18446744073709551615 5181672 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2222/statm: 26635 25002 717 1214 0 25417 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106540
[startup+3.10065 s]
/proc/loadavg: 3.71 3.83 3.03 3/506 2223
/proc/meminfo: memFree=30110484/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=3.09 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27625 0 0 0 303 6 0 0 22 0 1 0 820835968 111833088 26140 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2222/statm: 27303 26140 733 1214 0 26085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109212
[startup+6.30107 s]
/proc/loadavg: 3.71 3.83 3.03 3/506 2223
/proc/meminfo: memFree=30001608/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=6.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27627 0 0 0 607 22 0 0 25 0 1 0 820835968 111833088 26140 33554432000 4194304 9163163 140734408793200 18446744073709551615 7249695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2222/statm: 27303 26140 731 1214 0 26085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109212
[startup+12.7009 s]
/proc/loadavg: 3.45 3.77 3.02 3/506 2223
/proc/meminfo: memFree=30001784/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=12.69 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27627 0 0 0 1219 50 0 0 25 0 1 0 820835968 111833088 26140 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2222/statm: 27303 26140 731 1214 0 26085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109212
[startup+25.5007 s]
/proc/loadavg: 3.22 3.71 3.01 4/506 2223
/proc/meminfo: memFree=29967444/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=25.49 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27631 0 0 0 2446 103 0 0 25 0 1 0 820835968 111833088 26144 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2222/statm: 27303 26144 734 1214 0 26085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109212
[startup+51.1002 s]
/proc/loadavg: 2.81 3.57 2.98 3/506 2224
/proc/meminfo: memFree=29956044/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=51.07 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27632 0 0 0 4934 173 0 0 25 0 1 0 820835968 111833088 26145 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 27303 26145 734 1214 0 26085 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 109212
[startup+102.319 s]
/proc/loadavg: 2.32 3.30 2.92 3/506 2225
/proc/meminfo: memFree=29934104/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=102.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27640 0 0 0 9861 368 0 0 25 0 1 0 820835968 111833088 26153 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 27303 26153 734 1214 0 26085 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 109212
[startup+162.301 s]
/proc/loadavg: 2.12 3.06 2.86 3/506 2227
/proc/meminfo: memFree=29930352/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=162.28 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27649 0 0 0 15642 586 0 0 25 0 1 0 820835968 111833088 26162 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 27303 26162 734 1214 0 26085 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 109212
[startup+222.301 s]
/proc/loadavg: 2.04 2.87 2.80 3/506 2229
/proc/meminfo: memFree=29936400/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=222.27 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27656 0 0 0 21380 847 0 0 25 0 1 0 820835968 111833088 26169 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 27303 26169 734 1214 0 26085 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 109212
[startup+282.3 s]
/proc/loadavg: 2.12 2.74 2.76 3/506 2230
/proc/meminfo: memFree=29931172/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=109212 CPUtime=282.28 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27663 0 0 0 27130 1098 0 0 25 0 1 0 820835968 111833088 26174 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 27303 26174 732 1214 0 26085 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 109212
[startup+342.301 s]
/proc/loadavg: 2.09 2.61 2.72 3/506 2232
/proc/meminfo: memFree=29950016/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=110140 CPUtime=342.28 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 27921 0 0 0 32880 1348 0 0 25 0 1 0 820835968 112783360 26432 33554432000 4194304 9163163 140734408793200 18446744073709551615 7376033 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 27535 26432 732 1214 0 26317 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 110140
[startup+402.3 s]
/proc/loadavg: 2.16 2.53 2.68 3/506 2233
/proc/meminfo: memFree=29921588/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=115088 CPUtime=402.28 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 29164 0 0 0 38637 1591 0 0 25 0 1 0 820835968 117850112 27675 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 28772 27675 732 1214 0 27554 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 115088
[startup+462.301 s]
/proc/loadavg: 2.11 2.45 2.64 3/506 2235
/proc/meminfo: memFree=29923784/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=119956 CPUtime=462.28 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 30389 0 0 0 44349 1879 0 0 25 0 1 0 820835968 122834944 28895 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 29989 28895 732 1214 0 28771 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 119956
[startup+522.301 s]
/proc/loadavg: 2.04 2.36 2.60 3/506 2237
/proc/meminfo: memFree=29912948/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=123980 CPUtime=522.28 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 31406 0 0 0 50061 2167 0 0 25 0 1 0 820835968 126955520 29912 33554432000 4194304 9163163 140734408793200 18446744073709551615 5183672 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 30995 29912 732 1214 0 29777 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 123980
[startup+582.3 s]
/proc/loadavg: 2.01 2.29 2.56 3/506 2238
/proc/meminfo: memFree=29935724/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=130160 CPUtime=582.28 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 32945 0 0 0 55752 2476 0 0 25 0 1 0 820835968 133283840 31451 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 32540 31451 732 1214 0 31322 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 130160
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.15 2.16 2.43 3/506 2245
/proc/meminfo: memFree=29894052/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=158180 CPUtime=822.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 40014 0 0 0 78596 3633 0 0 25 0 1 0 820835968 161976320 38495 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379342 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 39545 38495 732 1214 0 38327 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 158180
[startup+882.3 s]
/proc/loadavg: 2.12 2.14 2.41 3/506 2246
/proc/meminfo: memFree=29885720/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=166136 CPUtime=882.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 41838 0 0 0 84296 3933 0 0 25 0 1 0 820835968 170123264 40319 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 41534 40319 732 1214 0 40316 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 166136
[startup+942.301 s]
/proc/loadavg: 2.04 2.11 2.38 3/506 2248
/proc/meminfo: memFree=29859520/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=171792 CPUtime=942.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 43325 0 0 0 90000 4229 0 0 25 0 1 0 820835968 175915008 41788 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 42948 41788 732 1214 0 41730 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 171792
[startup+1002.3 s]
/proc/loadavg: 2.16 2.13 2.36 3/506 2249
/proc/meminfo: memFree=29846216/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=178992 CPUtime=1002.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 45251 0 0 0 95718 4511 0 0 25 0 1 0 820835968 183287808 43714 33554432000 4194304 9163163 140734408793200 18446744073709551615 5842232 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 44748 43714 732 1214 0 43530 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 178992
[startup+1062.3 s]
/proc/loadavg: 2.06 2.11 2.34 3/506 2251
/proc/meminfo: memFree=29854112/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=190416 CPUtime=1062.3 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 48133 0 0 0 101421 4809 0 0 25 0 1 0 820835968 194985984 46566 33554432000 4194304 9163163 140734408793200 18446744073709551615 5150168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 47604 46566 732 1214 0 46386 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 190416
[startup+1122.3 s]
/proc/loadavg: 2.02 2.08 2.32 3/506 2253
/proc/meminfo: memFree=29829656/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=200700 CPUtime=1122.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 50576 0 0 0 107114 5115 0 0 25 0 1 0 820835968 205516800 48995 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 50175 48995 732 1214 0 48957 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 200700
[startup+1182.3 s]
/proc/loadavg: 2.00 2.07 2.29 3/506 2254
/proc/meminfo: memFree=29821444/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=207708 CPUtime=1182.29 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 52434 0 0 0 112811 5418 0 0 25 0 1 0 820835968 212692992 50853 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 51927 50853 732 1214 0 50709 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 207708
[startup+1242.3 s]
/proc/loadavg: 2.00 2.05 2.27 3/506 2256
/proc/meminfo: memFree=29812468/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=216160 CPUtime=1242.3 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 54462 0 0 0 118526 5704 0 0 25 0 1 0 820835968 221347840 52877 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 54040 52877 732 1214 0 52822 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 216160
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.25 3/506 2257
/proc/meminfo: memFree=29804508/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=222896 CPUtime=1302.3 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 56381 0 0 0 124246 5984 0 0 25 0 1 0 820835968 228245504 54717 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 55724 54717 732 1214 0 54506 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 222896
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.24 3/506 2259
/proc/meminfo: memFree=29799008/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=231052 CPUtime=1362.31 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 58277 0 0 0 129965 6266 0 0 25 0 1 0 820835968 236597248 56613 33554432000 4194304 9163163 140734408793200 18446744073709551615 6553328 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 57763 56613 732 1214 0 56545 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 231052
[startup+1422.32 s]
/proc/loadavg: 2.07 2.05 2.23 3/506 2261
/proc/meminfo: memFree=29810012/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=238948 CPUtime=1422.32 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 60389 0 0 0 135666 6566 0 0 25 0 1 0 820835968 244682752 58725 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 59737 58725 732 1214 0 58519 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 238948
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.22 3/506 2262
/proc/meminfo: memFree=29774764/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=249960 CPUtime=1482.3 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 63009 0 0 0 141377 6853 0 0 25 0 1 0 820835968 255959040 61327 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 62490 61327 732 1214 0 61272 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 249960
[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 2.20 3/506 2264
/proc/meminfo: memFree=29773604/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=259348 CPUtime=1542.31 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 65480 0 0 0 147100 7131 0 0 25 0 1 0 820835968 265572352 63732 33554432000 4194304 9163163 140734408793200 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 64837 63732 732 1214 0 63619 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 259348
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.19 3/506 2265
/proc/meminfo: memFree=29757088/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=268800 CPUtime=1602.3 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 67920 0 0 0 152813 7417 0 0 25 0 1 0 820835968 275251200 66161 33554432000 4194304 9163163 140734408793200 18446744073709551615 7209767 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 67200 66161 732 1214 0 65982 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 268800
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.18 3/506 2267
/proc/meminfo: memFree=29740048/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=278640 CPUtime=1662.31 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 70298 0 0 0 158539 7692 0 0 25 0 1 0 820835968 285327360 68539 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 69660 68539 732 1214 0 68442 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 278640
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.16 3/506 2278
/proc/meminfo: memFree=29737284/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=288132 CPUtime=1722.31 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 72719 0 0 0 164263 7968 0 0 25 0 1 0 820835968 295047168 70957 33554432000 4194304 9163163 140734408793200 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 72033 70957 732 1214 0 70815 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 288132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.15 3/506 2279
/proc/meminfo: memFree=29717784/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=298244 CPUtime=1782.31 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 75212 0 0 0 169983 8248 0 0 25 0 1 0 820835968 305401856 73442 33554432000 4194304 9163163 140734408793200 18446744073709551615 7375435 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 74561 73442 732 1214 0 73343 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 298244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.15 2/504 2281
/proc/meminfo: memFree=30107392/32951124 swapFree=51712236/67111528
[pid=2222] ppid=2220 vsize=300744 CPUtime=1800.02 cores=1,3,5,7
/proc/2222/stat : 2222 (scip-2.0.1.4b.l) R 2220 2222 2157 0 -1 4202496 75882 0 0 0 171678 8324 0 0 25 0 1 0 820835968 307961856 74112 33554432000 4194304 9163163 140734408793200 18446744073709551615 6557653 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2222/statm: 75186 74112 732 1214 0 73968 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 300744
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.05
CPU user time (s): 1716.8
CPU system time (s): 83.2523
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 300744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.8
system time used= 83.2523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75886
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= 2486
runsolver used 8.28574 second user time and 21.2008 second system time
The end