0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451101-1307084796.opb>
0.10/0.16 c original problem has 1648 variables (1648 bin, 0 int, 0 impl, 0 cont) and 20302 constraints
0.10/0.16 c problem read
0.10/0.16 c presolving settings loaded
0.10/0.19 c presolving:
0.29/0.33 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.29/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.33
0.48/0.51 c - non default parameters ----------------------------------------------------------------------
0.48/0.51 c # SCIP version 2.0.1.5
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.52 c
3.30/3.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.33 c 3.3s| 1 | 0 | 6756 | - | 34M| 0 |1364 |1648 | 20k|1648 | 20k| 0 | 40 | 0 | 4.157500e+02 | -- | Inf
9.69/9.70 c 9.7s| 1 | 0 | 16469 | - | 34M| 0 |1360 |1648 | 20k|1648 | 20k| 4 | 40 | 0 | 4.182983e+02 | -- | Inf
10.48/10.52 c 10.5s| 1 | 0 | 16872 | - | 35M| 0 |1360 |1648 | 20k|1648 | 20k| 9 | 40 | 0 | 4.191127e+02 | -- | Inf
11.49/11.51 c 11.5s| 1 | 0 | 17460 | - | 35M| 0 |1356 |1648 | 20k|1648 | 20k| 14 | 40 | 0 | 4.202777e+02 | -- | Inf
12.39/12.46 c 12.5s| 1 | 0 | 17937 | - | 35M| 0 |1355 |1648 | 20k|1648 | 20k| 19 | 40 | 0 | 4.212569e+02 | -- | Inf
13.39/13.46 c 13.5s| 1 | 0 | 18454 | - | 36M| 0 |1357 |1648 | 20k|1648 | 20k| 25 | 40 | 0 | 4.218821e+02 | -- | Inf
14.49/14.51 c 14.5s| 1 | 0 | 18744 | - | 36M| 0 |1362 |1648 | 20k|1648 | 20k| 31 | 40 | 0 | 4.221453e+02 | -- | Inf
15.79/15.80 c 15.8s| 1 | 0 | 19412 | - | 37M| 0 |1356 |1648 | 20k|1648 | 20k| 35 | 40 | 0 | 4.224900e+02 | -- | Inf
17.09/17.19 c 17.2s| 1 | 0 | 19724 | - | 37M| 0 |1349 |1648 | 20k|1648 | 20k| 41 | 40 | 0 | 4.228697e+02 | -- | Inf
18.49/18.55 c 18.6s| 1 | 0 | 19807 | - | 37M| 0 |1343 |1648 | 20k|1648 | 20k| 44 | 40 | 0 | 4.229235e+02 | -- | Inf
20.09/20.15 c 20.1s| 1 | 0 | 19854 | - | 37M| 0 |1341 |1648 | 20k|1648 | 20k| 45 | 40 | 0 | 4.229329e+02 | -- | Inf
21.59/21.62 c 21.6s| 1 | 0 | 19896 | - | 37M| 0 |1343 |1648 | 20k|1648 | 20k| 46 | 40 | 0 | 4.229409e+02 | -- | Inf
23.10/23.11 c 23.1s| 1 | 0 | 19912 | - | 37M| 0 |1343 |1648 | 20k|1648 | 20k| 47 | 40 | 0 | 4.229433e+02 | -- | Inf
40.08/40.14 c 40.1s| 1 | 2 | 19912 | - | 37M| 0 |1343 |1648 | 20k|1648 | 20k| 47 | 40 | 34 | 4.229433e+02 | -- | Inf
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 1777
1800.03/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.01 c Dual Bound : +4.35928303956360e+02
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 s UNKNOWN
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Total Time : 1800.01
1800.03/1800.01 c solving : 1800.01
1800.03/1800.01 c presolving : 0.33 (included in solving)
1800.03/1800.01 c reading : 0.16 (included in solving)
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-3451101-1307084796.opb
1800.03/1800.01 c Variables : 1648 (1648 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 20302 initial, 20302 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-3451101-1307084796.opb
1800.03/1800.01 c Variables : 1648 (1648 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 20302 initial, 21951 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.13 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c setppc : 0.03 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.12 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 1508 0 4 0 22 478 0 0 2714
1800.03/1800.01 c setppc : 19128 13 20964 0 1 3 103740 250 166258 0 0 0
1800.03/1800.01 c logicor : 1174+ 13 10286 0 1 0 5273 485 9565 0 0 0
1800.03/1800.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.01 c integral : 525.72 0.00 0.00 525.72 0.00 0.00 0.00
1800.03/1800.01 c setppc : 5.94 0.02 5.88 0.00 0.00 0.00 0.04
1800.03/1800.01 c logicor : 0.55 0.00 0.54 0.00 0.00 0.00 0.01
1800.03/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.01 c vbounds : 0 0 0 0
1800.03/1800.01 c rootredcost : 0 0 0 0
1800.03/1800.01 c pseudoobj : 20803 0 0 0
1800.03/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.01 c vbounds : 0.01 0.01 0.00
1800.03/1800.01 c rootredcost : 0.01 0.01 0.00
1800.03/1800.01 c pseudoobj : 0.58 0.58 0.00
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.08 735 735 3037 29.8 194 27.6 -
1800.03/1800.01 c infeasible LP : 0.05 61 61 265 32.6 16 26.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 2875 27.4 - - -
1800.03/1800.01 c applied locally : - - - 0 0.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 12 - - 188 - (maximal pool size: 475)
1800.03/1800.01 c redcost : 0.04 1519 0 0 0 0
1800.03/1800.01 c impliedbounds : 0.03 13 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 5.73 13 0 0 1912 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.01 c strongcg : 5.29 13 0 0 2579 0
1800.03/1800.01 c cmir : 0.77 10 0 0 0 0
1800.03/1800.01 c flowcover : 0.88 10 0 0 0 0
1800.03/1800.01 c clique : 0.04 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.07 2 0 0 0 0
1800.03/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 525.72 1508 22 478 0 0 2714
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c oneopt : 0.00 0 0
1800.03/1800.01 c crossover : 0.00 0 0
1800.03/1800.01 c guideddiving : 0.00 0 0
1800.03/1800.01 c intshifting : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 26.90 4 0
1800.03/1800.01 c rootsoldiving : 26.48 5 0
1800.03/1800.01 c veclendiving : 70.55 22 0
1800.03/1800.01 c linesearchdiving : 43.34 23 0
1800.03/1800.01 c pscostdiving : 54.85 23 0
1800.03/1800.01 c trivial : 0.01 2 0
1800.03/1800.01 c shiftandpropagate: 0.09 1 0
1800.03/1800.01 c simplerounding : 0.00 0 0
1800.03/1800.01 c zirounding : 1.56 1000 0
1800.03/1800.01 c rounding : 0.86 506 0
1800.03/1800.01 c shifting : 1.18 133 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c feaspump : 20.89 12 0
1800.03/1800.01 c clique : 0.00 0 0
1800.03/1800.01 c coefdiving : 82.34 21 0
1800.03/1800.01 c fracdiving : 85.59 19 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.05 0 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c vbounds : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c subnlp : 0.00 0 0
1800.03/1800.01 c trysol : 0.00 0 0
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.01 0 0 0.00 0.00
1800.03/1800.01 c dual LP : 838.43 1521 1584941 1042.04 1890.36
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 391.76 7288 646623 88.72 1650.57
1800.03/1800.01 c strong branching : 525.15 2198 920947 418.99 1753.69
1800.03/1800.01 c (at root node) : - 34 23779 699.38 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 1777
1800.03/1800.01 c nodes (total) : 1777
1800.03/1800.01 c nodes left : 869
1800.03/1800.01 c max depth : 41
1800.03/1800.01 c max depth (total): 41
1800.03/1800.01 c backtracks : 318 (17.9%)
1800.03/1800.01 c delayed cutoffs : 71
1800.03/1800.01 c repropagations : 1094 (19681 domain reductions, 71 cutoffs)
1800.03/1800.01 c avg switch length: 3.54
1800.03/1800.01 c switching time : 1.09
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 0 (0 improvements)
1800.03/1800.01 c Primal Bound : -
1800.03/1800.01 c Dual Bound : +4.35928303956360e+02
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 c Root Dual Bound : +4.22943307429509e+02
1800.03/1800.01 c Root Iterations : 19912
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-3451101-1307084796/watcher-3451101-1307084796 -o /tmp/evaluation-result-3451101-1307084796/solver-3451101-1307084796 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451101-1307084796.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.13 3.09 3.41 3/433 26440
/proc/meminfo: memFree=12525040/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=14092 CPUtime=0 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 2525 0 0 0 0 0 0 0 19 0 1 0 820079225 14430208 2479 33554432000 4194304 9163163 140733450611280 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26439/statm: 3523 2480 395 1214 0 2305 0
[startup+0.117322 s]
/proc/loadavg: 2.13 3.09 3.41 3/433 26440
/proc/meminfo: memFree=12525040/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=20812 CPUtime=0.1 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 4202 0 0 0 10 0 0 0 20 0 1 0 820079225 21311488 4156 33554432000 4194304 9163163 140733450611280 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26439/statm: 5203 4156 395 1214 0 3985 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20812
[startup+0.200262 s]
/proc/loadavg: 2.13 3.09 3.41 3/433 26440
/proc/meminfo: memFree=12525040/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=44564 CPUtime=0.19 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 9861 0 0 0 18 1 0 0 20 0 1 0 820079225 45633536 9814 33554432000 4194304 9163163 140733450611280 18446744073709551615 4317958 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 11141 9814 497 1214 0 9923 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44564
[startup+0.30029 s]
/proc/loadavg: 2.13 3.09 3.41 3/433 26440
/proc/meminfo: memFree=12525040/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=55848 CPUtime=0.29 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 13441 0 0 0 28 1 0 0 20 0 1 0 820079225 57188352 12640 33554432000 4194304 9163163 140733450611280 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 13962 12641 508 1214 0 12744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55848
[startup+0.70018 s]
/proc/loadavg: 2.13 3.09 3.41 3/433 26440
/proc/meminfo: memFree=12525040/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=92244 CPUtime=0.69 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 23559 0 0 0 67 2 0 0 18 0 1 0 820079225 94457856 21276 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 23061 21276 690 1214 0 21843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92244
[startup+1.50107 s]
/proc/loadavg: 2.12 3.07 3.40 2/431 26458
/proc/meminfo: memFree=12436940/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=102768 CPUtime=1.49 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 26916 0 0 0 146 3 0 0 19 0 1 0 820079225 105234432 24144 33554432000 4194304 9163163 140733450611280 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 25692 24144 817 1214 0 24474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102768
[startup+3.10079 s]
/proc/loadavg: 2.12 3.07 3.40 4/431 26458
/proc/meminfo: memFree=12429996/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=110592 CPUtime=3.08 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 28289 0 0 0 305 3 0 0 22 0 1 0 820079225 113246208 25378 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 27648 25378 733 1214 0 26430 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 110592
[startup+6.30027 s]
/proc/loadavg: 2.35 3.10 3.41 2/431 26458
/proc/meminfo: memFree=12434892/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=103228 CPUtime=6.29 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 28573 0 0 0 625 4 0 0 25 0 1 0 820079225 105705472 24572 33554432000 4194304 9163163 140733450611280 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 25807 24572 738 1214 0 24589 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103228
[startup+12.7012 s]
/proc/loadavg: 2.32 3.09 3.40 3/435 26470
/proc/meminfo: memFree=12335880/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=113164 CPUtime=12.69 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 31765 0 0 0 1263 6 0 0 25 0 1 0 820079225 115879936 26522 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 28291 26522 765 1214 0 27073 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113164
[startup+25.5009 s]
/proc/loadavg: 2.32 3.05 3.38 3/435 26470
/proc/meminfo: memFree=12321912/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=127036 CPUtime=25.49 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 42171 0 0 0 2538 11 0 0 25 0 1 0 820079225 130084864 29761 33554432000 4194304 9163163 140733450611280 18446744073709551615 7348390 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 31759 29761 1088 1214 0 30541 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 127036
[startup+51.1005 s]
/proc/loadavg: 2.28 2.98 3.35 3/435 26471
/proc/meminfo: memFree=12321256/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=125344 CPUtime=51.08 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 89842 0 0 0 5086 22 0 0 25 0 1 0 820079225 128352256 29973 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 31336 29973 788 1214 0 30118 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 125344
[startup+102.301 s]
/proc/loadavg: 2.12 2.83 3.28 3/435 26472
/proc/meminfo: memFree=12321980/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=121276 CPUtime=102.3 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 113877 0 0 0 10195 35 0 0 25 0 1 0 820079225 124186624 29163 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 30319 29163 907 1214 0 29101 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 121276
[startup+162.301 s]
/proc/loadavg: 2.04 2.67 3.20 3/435 26474
/proc/meminfo: memFree=12320616/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=122064 CPUtime=162.29 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 116733 0 0 0 16179 50 0 0 25 0 1 0 820079225 124993536 29166 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 30516 29166 789 1214 0 29298 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 122064
[startup+222.317 s]
/proc/loadavg: 2.01 2.55 3.12 3/435 26475
/proc/meminfo: memFree=12320608/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=124136 CPUtime=222.31 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 121068 0 0 0 22168 63 0 0 25 0 1 0 820079225 127115264 29423 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 31034 29423 794 1214 0 29816 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 124136
[startup+282.3 s]
/proc/loadavg: 2.00 2.45 3.05 3/435 26477
/proc/meminfo: memFree=12318240/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=126432 CPUtime=282.29 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 122836 0 0 0 28151 78 0 0 25 0 1 0 820079225 129466368 30000 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 31608 30000 791 1214 0 30390 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 126432
[startup+342.301 s]
/proc/loadavg: 2.05 2.38 2.98 3/435 26478
/proc/meminfo: memFree=12317628/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=127176 CPUtime=342.29 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 122997 0 0 0 34135 94 0 0 25 0 1 0 820079225 130228224 30161 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 31794 30161 791 1214 0 30576 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 127176
[startup+402.301 s]
/proc/loadavg: 2.07 2.32 2.92 3/435 26480
/proc/meminfo: memFree=12318860/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=129928 CPUtime=402.3 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 132399 0 0 0 40121 109 0 0 25 0 1 0 820079225 133046272 29866 33554432000 4194304 9163163 140733450611280 18446744073709551615 7345763 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 32482 29866 791 1214 0 31264 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 129928
[startup+462.3 s]
/proc/loadavg: 2.02 2.26 2.86 3/435 26509
/proc/meminfo: memFree=12368216/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=126748 CPUtime=462.3 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 139256 0 0 0 46106 124 0 0 25 0 1 0 820079225 129789952 29998 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 31687 29998 791 1214 0 30469 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 126748
[startup+522.301 s]
/proc/loadavg: 2.15 2.25 2.82 3/435 26537
/proc/meminfo: memFree=12361304/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=127908 CPUtime=522.3 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 166631 0 0 0 52089 141 0 0 25 0 1 0 820079225 130977792 30224 33554432000 4194304 9163163 140733450611280 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 31977 30224 791 1214 0 30759 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 127908
[startup+582.3 s]
/proc/loadavg: 2.05 2.21 2.77 3/435 26539
/proc/meminfo: memFree=12357572/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=131588 CPUtime=582.3 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 186998 0 0 0 58071 159 0 0 25 0 1 0 820079225 134746112 31293 33554432000 4194304 9163163 140733450611280 18446744073709551615 7225285 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 32897 31293 880 1214 0 31679 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 131588
[startup+642.301 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.02 2.15 2.59 3/435 26574
/proc/meminfo: memFree=12291540/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=133740 CPUtime=882.33 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 314910 0 0 0 87981 252 0 0 25 0 1 0 820079225 136949760 31846 33554432000 4194304 9163163 140733450611280 18446744073709551615 7390903 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 33435 31846 796 1214 0 32217 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 133740
[startup+942.301 s]
/proc/loadavg: 2.00 2.12 2.55 3/435 26575
/proc/meminfo: memFree=12289428/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=134032 CPUtime=942.31 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 350917 0 0 0 93956 275 0 0 25 0 1 0 820079225 137248768 31411 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 33508 31411 796 1214 0 32290 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 134032
[startup+1002.3 s]
/proc/loadavg: 2.00 2.09 2.51 3/435 26577
/proc/meminfo: memFree=12291516/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=136280 CPUtime=1002.31 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 365707 0 0 0 99940 291 0 0 25 0 1 0 820079225 139550720 31575 33554432000 4194304 9163163 140733450611280 18446744073709551615 7348273 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 34070 31575 794 1214 0 32852 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 136280
[startup+1062.3 s]
/proc/loadavg: 2.00 2.07 2.48 3/435 26579
/proc/meminfo: memFree=12280728/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=135052 CPUtime=1062.31 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 385044 0 0 0 105922 309 0 0 25 0 1 0 820079225 138293248 31636 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 33763 31636 789 1214 0 32545 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 135052
[startup+1122.3 s]
/proc/loadavg: 2.00 2.06 2.44 3/435 26580
/proc/meminfo: memFree=12281596/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=138484 CPUtime=1122.31 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 403772 0 0 0 111902 329 0 0 25 0 1 0 820079225 141807616 32802 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 34621 32802 789 1214 0 33403 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 138484
[startup+1182.3 s]
/proc/loadavg: 2.12 2.08 2.42 3/435 26582
/proc/meminfo: memFree=12279116/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=137244 CPUtime=1182.32 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 413268 0 0 0 117884 348 0 0 25 0 1 0 820079225 140537856 32684 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 34311 32684 789 1214 0 33093 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 137244
[startup+1242.3 s]
/proc/loadavg: 2.10 2.08 2.40 3/435 26583
/proc/meminfo: memFree=12276128/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=141280 CPUtime=1242.31 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 441732 0 0 0 123864 367 0 0 25 0 1 0 820079225 144670720 32914 33554432000 4194304 9163163 140733450611280 18446744073709551615 7358912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 35320 32914 789 1214 0 34102 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 141280
[startup+1302.3 s]
/proc/loadavg: 2.08 2.08 2.38 3/435 26585
/proc/meminfo: memFree=12269428/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=141148 CPUtime=1302.32 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 453907 0 0 0 129847 385 0 0 25 0 1 0 820079225 144535552 34026 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 35287 34026 789 1214 0 34069 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 141148
[startup+1362.3 s]
/proc/loadavg: 2.03 2.06 2.35 3/435 26587
/proc/meminfo: memFree=12264712/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=145744 CPUtime=1362.32 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 482330 0 0 0 135828 404 0 0 25 0 1 0 820079225 149241856 34768 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 36436 34768 792 1214 0 35218 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 145744
[startup+1422.3 s]
/proc/loadavg: 2.01 2.05 2.33 3/435 26588
/proc/meminfo: memFree=12266440/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=141816 CPUtime=1422.33 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 494263 0 0 0 141816 417 0 0 25 0 1 0 820079225 145219584 34108 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 35454 34108 789 1214 0 34236 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 141816
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.30 3/435 26590
/proc/meminfo: memFree=12261344/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=144548 CPUtime=1482.32 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 501324 0 0 0 147798 434 0 0 25 0 1 0 820079225 148017152 34451 33554432000 4194304 9163163 140733450611280 18446744073709551615 7085129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 36137 34451 789 1214 0 34919 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 144548
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.28 3/435 26591
/proc/meminfo: memFree=12262080/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=148400 CPUtime=1542.34 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 518079 0 0 0 153779 455 0 0 25 0 1 0 820079225 151961600 34939 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 37100 34939 789 1214 0 35882 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 148400
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.27 3/435 26593
/proc/meminfo: memFree=12254756/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=148644 CPUtime=1602.33 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 544745 0 0 0 159762 471 0 0 25 0 1 0 820079225 152211456 35731 33554432000 4194304 9163163 140733450611280 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 37161 35731 909 1214 0 35943 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 148644
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.25 3/435 26595
/proc/meminfo: memFree=12251408/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=149748 CPUtime=1662.32 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 545183 0 0 0 165746 486 0 0 25 0 1 0 820079225 153341952 36049 33554432000 4194304 9163163 140733450611280 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 37437 36049 789 1214 0 36219 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 149748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.23 3/435 26596
/proc/meminfo: memFree=12249172/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=150880 CPUtime=1722.32 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 546301 0 0 0 171731 501 0 0 25 0 1 0 820079225 154501120 35967 33554432000 4194304 9163163 140733450611280 18446744073709551615 7348249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 37720 35967 789 1214 0 36502 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 150880
[startup+1782.3 s]
/proc/loadavg: 2.16 2.05 2.22 3/435 26598
/proc/meminfo: memFree=12246312/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=150944 CPUtime=1782.32 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 559145 0 0 0 177716 516 0 0 25 0 1 0 820079225 154566656 36379 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 37736 36379 842 1214 0 36518 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 150944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.11 2.04 2.22 3/435 26598
/proc/meminfo: memFree=12245068/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=150712 CPUtime=1800.03 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 560367 0 0 0 179483 520 0 0 25 0 1 0 820079225 154329088 35931 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 37678 35931 807 1214 0 36460 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 150712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.11 2.04 2.22 3/435 26598
/proc/meminfo: memFree=12245068/32951132 swapFree=67093840/67111528
[pid=26439] ppid=26436 vsize=150712 CPUtime=1800.03 cores=0,2,4,6
/proc/26439/stat : 26439 (scip-2.0.1.4b.l) R 26436 26439 22627 0 -1 4202496 560367 0 0 0 179483 520 0 0 25 0 1 0 820079225 154329088 35931 33554432000 4194304 9163163 140733450611280 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26439/statm: 37678 35931 807 1214 0 36460 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 150712
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1794.84
CPU system time (s): 5.21521
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 155684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 5.21521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 560370
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= 6
involuntary context switches= 2889
runsolver used 8.34373 second user time and 17.0514 second system time
The end