0.00/0.02 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3452761-1307084684.opb>
0.07/0.16 c original problem has 1648 variables (1648 bin, 0 int, 0 impl, 0 cont) and 20302 constraints
0.07/0.16 c problem read
0.07/0.16 c presolving settings loaded
0.17/0.21 c presolving:
0.27/0.34 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 19734 upgd conss, 144784 impls, 0 clqs
0.27/0.37 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20302 upgd conss, 144784 impls, 0 clqs
0.48/0.51 c (0.5s) probing: 101/1648 (6.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.48/0.51 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.48/0.51 c presolving (3 rounds):
0.48/0.51 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.48/0.51 c 144784 implications, 0 cliques
0.48/0.51 c presolved problem has 1648 variables (1648 bin, 0 int, 0 impl, 0 cont) and 20302 constraints
0.48/0.51 c 19128 constraints of type <setppc>
0.48/0.51 c 1174 constraints of type <logicor>
0.48/0.51 c transformed objective value is always integral (scale: 1)
0.48/0.51 c Presolving Time: 0.34
0.48/0.51 c - non default parameters ----------------------------------------------------------------------
0.48/0.51 c # SCIP version 2.0.1.4
0.48/0.51 c
0.48/0.51 c # frequency for displaying node information lines
0.48/0.51 c # [type: int, range: [-1,2147483647], default: 100]
0.48/0.51 c display/freq = 10000
0.48/0.51 c
0.48/0.51 c # maximal time in seconds to run
0.48/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.48/0.51 c limits/time = 1800
0.48/0.51 c
0.48/0.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.48/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.48/0.51 c limits/memory = 13950
0.48/0.51 c
0.48/0.51 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.48/0.51 c # [type: int, range: [1,2], default: 1]
0.48/0.51 c timing/clocktype = 2
0.48/0.51 c
0.48/0.51 c # belongs reading time to solving time?
0.48/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.51 c timing/reading = TRUE
0.48/0.51 c
0.48/0.51 c # should presolving try to simplify inequalities
0.48/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.51 c constraints/linear/simplifyinequalities = TRUE
0.48/0.51 c
0.48/0.51 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.48/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.51 c constraints/indicator/addCouplingCons = TRUE
0.48/0.51 c
0.48/0.51 c # should presolving try to simplify knapsacks
0.48/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.51 c constraints/knapsack/simplifyinequalities = TRUE
0.48/0.51 c
0.48/0.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.48/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.48/0.51 c separating/rapidlearning/freq = 0
0.48/0.51 c
0.48/0.51 c -----------------------------------------------------------------------------------------------
0.48/0.51 c start solving
0.48/0.51 c
2.97/3.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.97/3.05 c 3.0s| 1 | 0 | 6756 | - | 33M| 0 |1364 |1648 | 20k|1648 | 20k| 0 | 40 | 0 | 4.157500e+02 | -- | Inf
8.68/8.78 c 8.8s| 1 | 0 | 16469 | - | 33M| 0 |1360 |1648 | 20k|1648 | 20k| 4 | 40 | 0 | 4.182983e+02 | -- | Inf
9.47/9.54 c 9.5s| 1 | 0 | 16872 | - | 33M| 0 |1360 |1648 | 20k|1648 | 20k| 9 | 40 | 0 | 4.191127e+02 | -- | Inf
10.37/10.45 c 10.4s| 1 | 0 | 17460 | - | 34M| 0 |1356 |1648 | 20k|1648 | 20k| 14 | 40 | 0 | 4.202777e+02 | -- | Inf
11.27/11.32 c 11.3s| 1 | 0 | 17937 | - | 34M| 0 |1355 |1648 | 20k|1648 | 20k| 19 | 40 | 0 | 4.212569e+02 | -- | Inf
12.17/12.22 c 12.2s| 1 | 0 | 18454 | - | 35M| 0 |1357 |1648 | 20k|1648 | 20k| 25 | 40 | 0 | 4.218821e+02 | -- | Inf
13.08/13.19 c 13.2s| 1 | 0 | 18744 | - | 35M| 0 |1362 |1648 | 20k|1648 | 20k| 31 | 40 | 0 | 4.221453e+02 | -- | Inf
14.29/14.37 c 14.4s| 1 | 0 | 19412 | - | 35M| 0 |1356 |1648 | 20k|1648 | 20k| 35 | 40 | 0 | 4.224900e+02 | -- | Inf
15.57/15.65 c 15.6s| 1 | 0 | 19724 | - | 35M| 0 |1349 |1648 | 20k|1648 | 20k| 41 | 40 | 0 | 4.228697e+02 | -- | Inf
16.87/16.92 c 16.9s| 1 | 0 | 19807 | - | 35M| 0 |1343 |1648 | 20k|1648 | 20k| 44 | 40 | 0 | 4.229235e+02 | -- | Inf
18.27/18.38 c 18.4s| 1 | 0 | 19854 | - | 35M| 0 |1341 |1648 | 20k|1648 | 20k| 45 | 40 | 0 | 4.229329e+02 | -- | Inf
19.68/19.73 c 19.7s| 1 | 0 | 19896 | - | 35M| 0 |1343 |1648 | 20k|1648 | 20k| 46 | 40 | 0 | 4.229409e+02 | -- | Inf
20.97/21.09 c 21.1s| 1 | 0 | 19912 | - | 35M| 0 |1343 |1648 | 20k|1648 | 20k| 47 | 40 | 0 | 4.229433e+02 | -- | Inf
36.37/36.42 c 36.4s| 1 | 2 | 19912 | - | 35M| 0 |1343 |1648 | 20k|1648 | 20k| 47 | 40 | 34 | 4.229433e+02 | -- | Inf
1800.02/1800.03 c
1800.02/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.03 c Solving Time (sec) : 1800.01
1800.02/1800.03 c Solving Nodes : 2125
1800.02/1800.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.03 c Dual Bound : +4.36315198164395e+02
1800.02/1800.03 c Gap : infinite
1800.02/1800.03 s UNKNOWN
1800.02/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.03 c Total Time : 1800.01
1800.02/1800.03 c solving : 1800.01
1800.02/1800.03 c presolving : 0.34 (included in solving)
1800.02/1800.03 c reading : 0.14 (included in solving)
1800.02/1800.03 c Original Problem :
1800.02/1800.03 c Problem name : HOME/instance-3452761-1307084684.opb
1800.02/1800.03 c Variables : 1648 (1648 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.03 c Constraints : 20302 initial, 20302 maximal
1800.02/1800.03 c Presolved Problem :
1800.02/1800.03 c Problem name : t_HOME/instance-3452761-1307084684.opb
1800.02/1800.03 c Variables : 1648 (1648 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.03 c Constraints : 20302 initial, 22021 maximal
1800.02/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.02/1800.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c probing : 0.11 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c linear : 0.12 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c root node : - 0 - - 0 - - - - -
1800.02/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c integral : 0 0 0 1777 0 4 0 27 635 0 0 3172
1800.02/1800.03 c setppc : 19128 13 23791 0 0 3 129585 304 203095 0 0 0
1800.02/1800.03 c logicor : 1174+ 13 12003 0 0 0 6790 598 12686 0 0 0
1800.02/1800.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.02/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.02/1800.03 c integral : 526.91 0.00 0.00 526.90 0.00 0.00 0.00
1800.02/1800.03 c setppc : 5.90 0.01 5.83 0.00 0.00 0.00 0.04
1800.02/1800.03 c logicor : 0.61 0.00 0.59 0.00 0.00 0.00 0.01
1800.02/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.02/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.02/1800.03 c vbounds : 0 0 0 0
1800.02/1800.03 c rootredcost : 0 0 0 0
1800.02/1800.03 c pseudoobj : 23634 0 0 0
1800.02/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1800.02/1800.03 c vbounds : 0.01 0.01 0.00
1800.02/1800.03 c rootredcost : 0.01 0.01 0.00
1800.02/1800.03 c pseudoobj : 0.57 0.57 0.00
1800.02/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.03 c propagation : 0.10 902 902 3858 30.7 271 26.9 -
1800.02/1800.03 c infeasible LP : 0.04 61 61 265 32.6 16 26.0 0
1800.02/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.03 c applied globally : - - - 3517 27.5 - - -
1800.02/1800.03 c applied locally : - - - 0 0.0 - - -
1800.02/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.03 c cut pool : 0.00 12 - - 188 - (maximal pool size: 475)
1800.02/1800.03 c redcost : 0.04 1788 0 0 0 0
1800.02/1800.03 c impliedbounds : 0.03 13 0 0 0 0
1800.02/1800.03 c intobj : 0.00 0 0 0 0 0
1800.02/1800.03 c gomory : 5.28 13 0 0 1912 0
1800.02/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.03 c closecuts : 0.00 0 0 0 0 0
1800.02/1800.03 c strongcg : 4.89 13 0 0 2579 0
1800.02/1800.03 c cmir : 0.70 10 0 0 0 0
1800.02/1800.03 c flowcover : 0.79 10 0 0 0 0
1800.02/1800.03 c clique : 0.03 1 0 0 0 0
1800.02/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.03 c mcf : 0.06 2 0 0 0 0
1800.02/1800.03 c oddcycle : 0.00 0 0 0 0 0
1800.02/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.03 c Pricers : Time Calls Vars
1800.02/1800.03 c problem variables: 0.00 0 0
1800.02/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.03 c relpscost : 526.90 1777 27 635 0 0 3172
1800.02/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.03 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.03 c random : 0.00 0 0 0 0 0 0
1800.02/1800.03 c Primal Heuristics : Time Calls Found
1800.02/1800.03 c LP solutions : 0.00 - 0
1800.02/1800.03 c pseudo solutions : 0.00 - 0
1800.02/1800.03 c oneopt : 0.00 0 0
1800.02/1800.03 c crossover : 0.00 0 0
1800.02/1800.03 c trivial : 0.01 2 0
1800.02/1800.03 c shiftandpropagate: 0.08 1 0
1800.02/1800.03 c simplerounding : 0.00 0 0
1800.02/1800.03 c zirounding : 1.36 1000 0
1800.02/1800.03 c rounding : 0.82 551 0
1800.02/1800.03 c shifting : 1.10 145 0
1800.02/1800.03 c intshifting : 0.00 0 0
1800.02/1800.03 c twoopt : 0.00 0 0
1800.02/1800.03 c fixandinfer : 0.00 0 0
1800.02/1800.03 c feaspump : 19.78 13 0
1800.02/1800.03 c clique : 0.00 0 0
1800.02/1800.03 c coefdiving : 79.57 23 0
1800.02/1800.03 c pscostdiving : 52.30 26 0
1800.02/1800.03 c fracdiving : 85.68 20 0
1800.02/1800.03 c veclendiving : 64.77 26 0
1800.02/1800.03 c intdiving : 0.00 0 0
1800.02/1800.03 c actconsdiving : 0.00 0 0
1800.02/1800.03 c objpscostdiving : 24.15 5 0
1800.02/1800.03 c rootsoldiving : 23.64 5 0
1800.02/1800.03 c linesearchdiving : 44.32 26 0
1800.02/1800.03 c guideddiving : 0.00 0 0
1800.02/1800.03 c octane : 0.00 0 0
1800.02/1800.03 c rens : 0.01 0 0
1800.02/1800.03 c rins : 0.00 0 0
1800.02/1800.03 c localbranching : 0.00 0 0
1800.02/1800.03 c mutation : 0.00 0 0
1800.02/1800.03 c dins : 0.00 0 0
1800.02/1800.03 c vbounds : 0.00 0 0
1800.02/1800.03 c undercover : 0.00 0 0
1800.02/1800.03 c subnlp : 0.00 0 0
1800.02/1800.03 c trysol : 0.00 0 0
1800.02/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.03 c primal LP : 0.01 0 0 0.00 -
1800.02/1800.03 c dual LP : 854.97 1789 1803695 1008.21 2109.67
1800.02/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.03 c diving/probing LP: 375.98 7819 690410 88.30 1836.30
1800.02/1800.03 c strong branching : 526.30 2545 1030601 404.95 1958.20
1800.02/1800.03 c (at root node) : - 34 23779 699.38 -
1800.02/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.03 c B&B Tree :
1800.02/1800.03 c number of runs : 1
1800.02/1800.03 c nodes : 2125
1800.02/1800.03 c nodes (total) : 2125
1800.02/1800.03 c nodes left : 948
1800.02/1800.03 c max depth : 41
1800.02/1800.03 c max depth (total): 41
1800.02/1800.03 c backtracks : 382 (18.0%)
1800.02/1800.03 c delayed cutoffs : 100
1800.02/1800.03 c repropagations : 1390 (28748 domain reductions, 99 cutoffs)
1800.02/1800.03 c avg switch length: 3.69
1800.02/1800.03 c switching time : 1.16
1800.02/1800.03 c Solution :
1800.02/1800.03 c Solutions found : 0 (0 improvements)
1800.02/1800.03 c Primal Bound : -
1800.02/1800.03 c Dual Bound : +4.36315198164395e+02
1800.02/1800.03 c Gap : infinite
1800.02/1800.03 c Root Dual Bound : +4.22943307429509e+02
1800.02/1800.03 c Root Iterations : 19912
1800.02/1800.10 c Time complete: 1800.12.
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-3452761-1307084684/watcher-3452761-1307084684 -o /tmp/evaluation-result-3452761-1307084684/solver-3452761-1307084684 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452761-1307084684.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: 1.07 1.07 1.22 4/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=5156 CPUtime=0 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 89 0 0 0 0 0 0 0 21 0 1 0 820066612 5279744 44 33554432000 4194304 9128323 140734470018256 18446744073709551615 7797712 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/6295/statm: 1289 44 33 1205 0 80 0
[startup+0.0526069 s]
/proc/loadavg: 1.07 1.07 1.22 4/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=12752 CPUtime=0.03 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 2181 0 0 0 3 0 0 0 21 0 1 0 820066612 13058048 2134 33554432000 4194304 9128323 140734470018256 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6295/statm: 3188 2134 400 1205 0 1979 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12752
[startup+0.100598 s]
/proc/loadavg: 1.07 1.07 1.22 4/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=15972 CPUtime=0.07 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 2988 0 0 0 7 0 0 0 22 0 1 0 820066612 16355328 2940 33554432000 4194304 9128323 140734470018256 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6295/statm: 3993 2940 400 1205 0 2784 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15972
[startup+0.300566 s]
/proc/loadavg: 1.07 1.07 1.22 4/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=56444 CPUtime=0.27 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 13598 0 0 0 26 1 0 0 22 0 1 0 820066612 57798656 12782 33554432000 4194304 9128323 140734470018256 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 14111 12787 510 1205 0 12902 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 56444
[startup+0.700504 s]
/proc/loadavg: 1.07 1.07 1.22 4/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=95528 CPUtime=0.67 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 24236 0 0 0 64 3 0 0 24 0 1 0 820066612 97820672 21636 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 23882 21636 746 1205 0 22673 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 95528
[startup+1.50036 s]
/proc/loadavg: 1.07 1.07 1.22 4/459 6297
/proc/meminfo: memFree=26162220/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=102812 CPUtime=1.47 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 27234 0 0 0 142 5 0 0 25 0 1 0 820066612 105279488 24212 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 25703 24212 733 1205 0 24494 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 102812
[startup+3.10108 s]
/proc/loadavg: 1.07 1.07 1.22 3/459 6297
/proc/meminfo: memFree=26155264/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=100796 CPUtime=3.07 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 27561 0 0 0 301 6 0 0 25 0 1 0 820066612 103215104 23412 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 25199 23412 744 1205 0 23990 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 100796
[startup+6.30051 s]
/proc/loadavg: 1.14 1.09 1.22 4/459 6298
/proc/meminfo: memFree=26114324/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=100796 CPUtime=6.27 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 27704 0 0 0 619 8 0 0 25 0 1 0 820066612 103215104 23535 33554432000 4194304 9128323 140734470018256 18446744073709551615 7315339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 25199 23535 754 1205 0 23990 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 100796
[startup+12.7004 s]
/proc/loadavg: 1.21 1.10 1.23 3/459 6298
/proc/meminfo: memFree=26098776/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=120364 CPUtime=12.68 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 35924 0 0 0 1257 11 0 0 25 0 1 0 820066612 123252736 28414 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 30091 28414 1202 1205 0 28882 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 120364
[startup+25.5011 s]
/proc/loadavg: 1.38 1.15 1.24 4/459 6298
/proc/meminfo: memFree=26091336/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=120548 CPUtime=25.48 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 61083 0 0 0 2527 21 0 0 25 0 1 0 820066612 123441152 28280 33554432000 4194304 9128323 140734470018256 18446744073709551615 7192414 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 30137 28280 795 1205 0 28928 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 120548
[startup+51.1005 s]
/proc/loadavg: 1.59 1.21 1.26 3/459 6299
/proc/meminfo: memFree=26073140/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=120816 CPUtime=51.08 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 148237 0 0 0 5061 47 0 0 25 0 1 0 820066612 123715584 28091 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 30204 28091 736 1205 0 28995 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 120816
[startup+102.317 s]
/proc/loadavg: 1.82 1.33 1.29 3/459 6300
/proc/meminfo: memFree=26066376/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=119600 CPUtime=102.29 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 178419 0 0 0 10150 79 0 0 25 0 1 0 820066612 122470400 28038 33554432000 4194304 9128323 140734470018256 18446744073709551615 7343104 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 29900 28038 736 1205 0 28691 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 119600
[startup+162.301 s]
/proc/loadavg: 1.93 1.45 1.34 3/459 6302
/proc/meminfo: memFree=26061752/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=122244 CPUtime=162.27 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 185208 0 0 0 16111 116 0 0 25 0 1 0 820066612 125177856 29259 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 30561 29259 724 1205 0 29352 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 122244
[startup+222.301 s]
/proc/loadavg: 1.97 1.55 1.37 3/459 6303
/proc/meminfo: memFree=26062596/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=121884 CPUtime=222.28 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 200464 0 0 0 22074 154 0 0 25 0 1 0 820066612 124809216 28729 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 30471 28729 724 1205 0 29262 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 121884
[startup+282.3 s]
/proc/loadavg: 1.99 1.63 1.41 3/459 6305
/proc/meminfo: memFree=26057860/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=127456 CPUtime=282.28 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 208747 0 0 0 28038 190 0 0 25 0 1 0 820066612 130514944 30577 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 31864 30577 724 1205 0 30655 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 127456
[startup+342.301 s]
/proc/loadavg: 2.05 1.71 1.45 3/459 6307
/proc/meminfo: memFree=26059216/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=126020 CPUtime=342.28 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 217659 0 0 0 34004 224 0 0 25 0 1 0 820066612 129044480 29608 33554432000 4194304 9128323 140734470018256 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 31505 29608 724 1205 0 30296 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 126020
[startup+402.301 s]
/proc/loadavg: 2.30 1.84 1.51 4/459 6308
/proc/meminfo: memFree=26052372/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=125888 CPUtime=402.29 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 229969 0 0 0 39968 261 0 0 25 0 1 0 820066612 128909312 30132 33554432000 4194304 9128323 140734470018256 18446744073709551615 7315232 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 31472 30132 724 1205 0 30263 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 125888
[startup+462.3 s]
/proc/loadavg: 2.22 1.89 1.55 4/459 6310
/proc/meminfo: memFree=26052716/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=126584 CPUtime=462.28 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 246861 0 0 0 45936 292 0 0 25 0 1 0 820066612 129622016 29997 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 31646 29997 724 1205 0 30437 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 126584
[startup+522.301 s]
/proc/loadavg: 2.08 1.91 1.57 4/459 6311
/proc/meminfo: memFree=26048844/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=128364 CPUtime=522.28 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 294418 0 0 0 51895 333 0 0 25 0 1 0 820066612 131444736 30035 33554432000 4194304 9128323 140734470018256 18446744073709551615 7337903 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 32091 30035 722 1205 0 30882 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 128364
[startup+582.301 s]
/proc/loadavg: 2.03 1.92 1.59 4/459 6313
/proc/meminfo: memFree=26053036/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=128056 CPUtime=582.29 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 341487 0 0 0 57860 369 0 0 25 0 1 0 820066612 131129344 30135 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 32014 30135 722 1205 0 30805 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 128056
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.96 1.68 3/459 6319
/proc/meminfo: memFree=26044548/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=136072 CPUtime=822.29 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 468847 0 0 0 81703 526 0 0 25 0 1 0 820066612 139337728 32209 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 34018 32209 875 1205 0 32809 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 136072
[startup+882.301 s]
/proc/loadavg: 2.10 1.99 1.70 4/459 6321
/proc/meminfo: memFree=26040812/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=136420 CPUtime=882.3 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 475577 0 0 0 87665 565 0 0 25 0 1 0 820066612 139694080 32806 33554432000 4194304 9128323 140734470018256 18446744073709551615 7342781 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 34105 32806 762 1205 0 32896 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 136420
[startup+942.301 s]
/proc/loadavg: 2.32 2.05 1.74 4/459 6323
/proc/meminfo: memFree=26044888/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=136176 CPUtime=942.3 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 485292 0 0 0 93628 602 0 0 25 0 1 0 820066612 139444224 32120 33554432000 4194304 9128323 140734470018256 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 34044 32120 748 1205 0 32835 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 136176
[startup+1002.3 s]
/proc/loadavg: 2.26 2.07 1.77 3/459 6324
/proc/meminfo: memFree=26041648/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=139148 CPUtime=1002.3 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 504912 0 0 0 99591 639 0 0 25 0 1 0 820066612 142487552 32683 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 34787 32683 722 1205 0 33578 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 139148
[startup+1062.3 s]
/proc/loadavg: 2.09 2.06 1.78 4/459 6326
/proc/meminfo: memFree=26036684/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=141632 CPUtime=1062.3 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 510995 0 0 0 105555 675 0 0 25 0 1 0 820066612 145031168 33914 33554432000 4194304 9128323 140734470018256 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 35408 33914 722 1205 0 34199 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 141632
[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 1.79 4/459 6327
/proc/meminfo: memFree=26036548/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=141444 CPUtime=1122.3 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 519405 0 0 0 111519 711 0 0 25 0 1 0 820066612 144838656 33944 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 35361 33944 722 1205 0 34152 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 141444
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 1.80 4/459 6329
/proc/meminfo: memFree=26035424/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=141412 CPUtime=1182.3 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 540343 0 0 0 117481 749 0 0 25 0 1 0 820066612 144805888 34053 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 35353 34053 722 1205 0 34144 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 141412
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 1.82 3/459 6331
/proc/meminfo: memFree=26035780/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=143548 CPUtime=1242.3 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 564711 0 0 0 123446 784 0 0 25 0 1 0 820066612 146993152 33989 33554432000 4194304 9128323 140734470018256 18446744073709551615 7315263 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 35887 33989 764 1205 0 34678 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 143548
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.82 4/459 6332
/proc/meminfo: memFree=26032428/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=145548 CPUtime=1302.31 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 579192 0 0 0 129411 820 0 0 25 0 1 0 820066612 149041152 34367 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 36387 34367 722 1205 0 35178 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 145548
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.83 4/459 6334
/proc/meminfo: memFree=26033288/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=146216 CPUtime=1362.31 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 589623 0 0 0 135375 856 0 0 25 0 1 0 820066612 149725184 34829 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 36554 34829 722 1205 0 35345 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 146216
[startup+1422.32 s]
/proc/loadavg: 2.16 2.05 1.85 4/459 6335
/proc/meminfo: memFree=26031780/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=150084 CPUtime=1422.32 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 602844 0 0 0 141341 891 0 0 25 0 1 0 820066612 153686016 35024 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 37521 35024 722 1205 0 36312 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 150084
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 1.85 3/459 6337
/proc/meminfo: memFree=26033364/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=146568 CPUtime=1482.31 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 618474 0 0 0 147302 929 0 0 25 0 1 0 820066612 150085632 34605 33554432000 4194304 9128323 140734470018256 18446744073709551615 7343034 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 36642 34605 794 1205 0 35433 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 146568
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 1.87 3/459 6339
/proc/meminfo: memFree=26030104/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=147576 CPUtime=1542.31 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 632465 0 0 0 153262 969 0 0 25 0 1 0 820066612 151117824 35583 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 36894 35583 759 1205 0 35685 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 147576
[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 1.89 3/459 6340
/proc/meminfo: memFree=26028704/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=150092 CPUtime=1602.31 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 665178 0 0 0 159221 1010 0 0 25 0 1 0 820066612 153694208 36039 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 37523 36039 722 1205 0 36314 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 150092
[startup+1662.3 s]
/proc/loadavg: 2.04 2.06 1.89 3/459 6342
/proc/meminfo: memFree=26026200/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=153668 CPUtime=1662.31 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 685084 0 0 0 165179 1052 0 0 25 0 1 0 820066612 157356032 36533 33554432000 4194304 9128323 140734470018256 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 38417 36533 722 1205 0 37208 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 153668
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.90 4/459 6343
/proc/meminfo: memFree=26023444/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=154900 CPUtime=1722.32 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 691627 0 0 0 171140 1092 0 0 25 0 1 0 820066612 158617600 37232 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 38725 37232 722 1205 0 37516 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 154900
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.90 4/459 6345
/proc/meminfo: memFree=26024896/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=153236 CPUtime=1782.32 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 720762 0 0 0 177100 1132 0 0 25 0 1 0 820066612 156913664 36287 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 38309 36287 722 1205 0 37100 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 153236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 1.91 4/459 6345
/proc/meminfo: memFree=26026124/32951124 swapFree=60688864/67111528
[pid=6295] ppid=6290 vsize=154176 CPUtime=1800.02 cores=1,3,5,7
/proc/6295/stat : 6295 (scip-2.0.1.4.li) R 6290 6295 2978 0 -1 4202496 734878 0 0 0 178855 1147 0 0 25 0 1 0 820066612 157876224 36348 33554432000 4194304 9128323 140734470018256 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6295/statm: 38544 36348 722 1205 0 37335 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 154176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.11
CPU time (s): 1800.13
CPU user time (s): 1788.65
CPU system time (s): 11.4823
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 160020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.65
system time used= 11.4823
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 734889
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= 3
involuntary context switches= 2540
runsolver used 8.20675 second user time and 19.615 second system time
The end