0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693257-1338029668.opb>
1.29/1.38 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
1.29/1.38 c problem read in 1.39
3.38/3.48 c presolving:
8.18/8.29 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
11.19/11.29 c (11.3s) probing: 51/10000 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
11.19/11.29 c (11.3s) probing aborted: 50/50 successive totally useless probings
11.39/11.49 c presolving (2 rounds):
11.39/11.49 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
11.39/11.49 c 1313400 implications, 0 cliques
11.39/11.49 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
11.39/11.49 c 656700 constraints of type <setppc>
11.39/11.49 c 200 constraints of type <logicor>
11.39/11.49 c transformed objective value is always integral (scale: 1)
11.39/11.49 c Presolving Time: 9.63
11.39/11.49 c - non default parameters ----------------------------------------------------------------------
11.39/11.49 c # SCIP version 2.1.1.4
11.39/11.49 c
11.39/11.49 c # maximal time in seconds to run
11.39/11.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.39/11.49 c limits/time = 1797
11.39/11.49 c
11.39/11.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.39/11.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.39/11.49 c limits/memory = 13950
11.39/11.49 c
11.39/11.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
11.39/11.49 c # [type: int, range: [1,2], default: 1]
11.39/11.49 c timing/clocktype = 2
11.39/11.49 c
11.39/11.49 c # belongs reading time to solving time?
11.39/11.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.39/11.49 c timing/reading = TRUE
11.39/11.49 c
11.39/11.49 c -----------------------------------------------------------------------------------------------
11.39/11.49 c start solving
11.49/11.53 c
25.68/25.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.68/25.75 c 25.7s| 1 | 0 | 1326 | - | 830M| 0 | 274 | 10k| 656k| 10k| 656k| 0 | 42 | 0 | 1.541506e+02 | -- | Inf
307.24/307.32 c 307s| 1 | 0 | 25485 | - | 850M| 0 | 279 | 10k| 656k| 10k| 656k| 10 | 42 | 0 | 1.593784e+02 | -- | Inf
349.93/350.07 c 350s| 1 | 0 | 26388 | - | 863M| 0 | 281 | 10k| 656k| 10k| 656k| 20 | 42 | 0 | 1.629134e+02 | -- | Inf
406.83/406.92 c 407s| 1 | 0 | 27035 | - | 864M| 0 | 287 | 10k| 656k| 10k| 656k| 28 | 42 | 0 | 1.658089e+02 | -- | Inf
595.29/595.40 c 595s| 1 | 0 | 27791 | - | 864M| 0 | 286 | 10k| 656k| 10k| 656k| 35 | 42 | 0 | 1.687598e+02 | -- | Inf
1025.23/1025.49 c 1025s| 1 | 0 | 28185 | - | 864M| 0 | 278 | 10k| 656k| 10k| 656k| 41 | 42 | 0 | 1.696107e+02 | -- | Inf
1448.26/1448.56 c 1449s| 1 | 0 | 28515 | - | 864M| 0 | 288 | 10k| 656k| 10k| 656k| 47 | 42 | 0 | 1.709419e+02 | -- | Inf
1796.70/1797.08 c 1797s| 1 | 2 | 28515 | - | 864M| 0 | 288 | 10k| 656k| 10k| 656k| 47 | 42 | 0 | 1.709419e+02 | -- | Inf
1796.70/1797.08 c
1796.70/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.08 c Solving Time (sec) : 1797.05
1796.70/1797.08 c Solving Nodes : 1
1796.70/1797.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.08 c Dual Bound : +1.70941918109741e+02
1796.70/1797.08 c Gap : infinite
1796.70/1797.08 s UNKNOWN
1796.70/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.08 c Total Time : 1797.05
1796.70/1797.08 c solving : 1797.05
1796.70/1797.08 c presolving : 9.63 (included in solving)
1796.70/1797.08 c reading : 1.39 (included in solving)
1796.70/1797.08 c copying : 0.00 (0 times copied the problem)
1796.70/1797.08 c Original Problem :
1796.70/1797.08 c Problem name : HOME/instance-3693257-1338029668.opb
1796.70/1797.08 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.08 c Constraints : 656900 initial, 656900 maximal
1796.70/1797.08 c Objective sense : minimize
1796.70/1797.08 c Presolved Problem :
1796.70/1797.08 c Problem name : t_HOME/instance-3693257-1338029668.opb
1796.70/1797.08 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.08 c Constraints : 656900 initial, 656942 maximal
1796.70/1797.08 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.08 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c gateextraction : 0.28 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c components : 0.19 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c probing : 1.94 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c setppc : 0.78 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c linear : 4.20 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c logicor : 0.01 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c root node : - - 0 - - 0 - - - - -
1796.70/1797.08 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.08 c integral : 0 0 0 0 1 0 4 0 0 0 0 0 2
1796.70/1797.08 c setppc : 656700 656700 7 269 0 0 3 16554 2 0 0 0 0
1796.70/1797.08 c logicor : 200+ 242 7 202 0 0 2 242 13 0 0 0 0
1796.70/1797.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.08 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.08 c integral : 0.02 0.00 0.00 0.00 0.02 0.00 0.00 0.00
1796.70/1797.08 c setppc : 4.61 0.00 0.30 4.20 0.00 0.00 0.10 0.01
1796.70/1797.08 c logicor : 0.23 0.01 0.00 0.21 0.00 0.00 0.00 0.00
1796.70/1797.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.08 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.08 c rootredcost : 0 0 0 0
1796.70/1797.08 c pseudoobj : 169 0 0 0
1796.70/1797.08 c vbounds : 0 0 0 0
1796.70/1797.08 c redcost : 7 0 0 0
1796.70/1797.08 c probing : 0 0 0 0
1796.70/1797.08 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.08 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.08 c pseudoobj : 0.02 0.02 0.00 0.00 0.00
1796.70/1797.08 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.08 c redcost : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.08 c probing : 1.94 0.00 1.94 0.00 0.00
1796.70/1797.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.08 c propagation : 0.22 15 15 1004 532.9 0 0.0 -
1796.70/1797.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.08 c applied globally : - - - 42 97.8 - - -
1796.70/1797.08 c applied locally : - - - 0 0.0 - - -
1796.70/1797.08 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.08 c cut pool : 0.02 6 - - 0 - (maximal pool size: 158)
1796.70/1797.08 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c impliedbounds : 0.01 0.00 7 0 0 0 0
1796.70/1797.08 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c gomory : 629.96 0.00 7 0 0 200 0
1796.70/1797.08 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c strongcg : 714.68 0.00 7 0 0 2000 0
1796.70/1797.08 c cmir : 10.59 0.00 6 0 0 0 0
1796.70/1797.08 c flowcover : 120.35 0.00 6 0 0 0 0
1796.70/1797.08 c clique : 0.60 0.00 6 0 0 37 0
1796.70/1797.08 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c mcf : 0.33 0.00 1 0 0 0 0
1796.70/1797.08 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.08 c problem variables: 0.00 - 0 0
1796.70/1797.08 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.08 c relpscost : 0.02 0.00 1 0 0 0 0 2
1796.70/1797.08 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.08 c LP solutions : 0.00 - - 0
1796.70/1797.08 c pseudo solutions : 0.00 - - 0
1796.70/1797.08 c oneopt : 0.00 0.00 0 0
1796.70/1797.08 c crossover : 0.00 0.00 0 0
1796.70/1797.08 c smallcard : 0.00 0.00 0 0
1796.70/1797.08 c trivial : 0.23 0.00 2 0
1796.70/1797.08 c shiftandpropagate: 4.04 0.00 1 0
1796.70/1797.08 c simplerounding : 0.00 0.00 0 0
1796.70/1797.08 c zirounding : 0.03 0.00 1 0
1796.70/1797.08 c rounding : 0.17 0.00 7 0
1796.70/1797.08 c shifting : 0.28 0.00 7 0
1796.70/1797.08 c intshifting : 0.00 0.00 0 0
1796.70/1797.08 c twoopt : 0.00 0.00 0 0
1796.70/1797.08 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.08 c indoneopt : 0.00 0.00 0 0
1796.70/1797.08 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.08 c feaspump : 237.19 0.00 1 0
1796.70/1797.08 c clique : 0.00 0.00 0 0
1796.70/1797.08 c indrounding : 0.00 0.00 0 0
1796.70/1797.08 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.08 c coefdiving : 0.00 0.00 0 0
1796.70/1797.08 c pscostdiving : 0.00 0.00 0 0
1796.70/1797.08 c fracdiving : 0.00 0.00 0 0
1796.70/1797.08 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.08 c veclendiving : 0.00 0.00 0 0
1796.70/1797.08 c intdiving : 0.00 0.00 0 0
1796.70/1797.08 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.08 c objpscostdiving : 0.00 0.00 0 0
1796.70/1797.08 c rootsoldiving : 0.00 0.00 0 0
1796.70/1797.08 c linesearchdiving : 0.00 0.00 0 0
1796.70/1797.08 c guideddiving : 0.00 0.00 0 0
1796.70/1797.08 c octane : 0.00 0.00 0 0
1796.70/1797.08 c rens : 0.00 0.00 0 0
1796.70/1797.08 c rins : 0.00 0.00 0 0
1796.70/1797.08 c localbranching : 0.00 0.00 0 0
1796.70/1797.08 c mutation : 0.00 0.00 0 0
1796.70/1797.08 c dins : 0.00 0.00 0 0
1796.70/1797.08 c vbounds : 0.00 0.00 0 0
1796.70/1797.08 c undercover : 0.00 0.00 0 0
1796.70/1797.08 c subnlp : 0.00 0.00 0 0
1796.70/1797.08 c trysol : 0.00 0.00 0 0
1796.70/1797.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.08 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.08 c dual LP : 66.25 8 5165 737.86 77.96 0.13 1
1796.70/1797.08 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.08 c diving/probing LP: 236.82 4 23350 5837.50 98.60
1796.70/1797.08 c strong branching : 0.00 0 0 0.00 -
1796.70/1797.08 c (at root node) : - 0 0 0.00 -
1796.70/1797.08 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.08 c B&B Tree :
1796.70/1797.08 c number of runs : 1
1796.70/1797.08 c nodes : 1
1796.70/1797.08 c nodes (total) : 1
1796.70/1797.08 c nodes left : 2
1796.70/1797.08 c max depth : 0
1796.70/1797.08 c max depth (total): 0
1796.70/1797.08 c backtracks : 0 (0.0%)
1796.70/1797.08 c delayed cutoffs : 0
1796.70/1797.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.08 c avg switch length: 1.00
1796.70/1797.08 c switching time : 0.00
1796.70/1797.08 c Solution :
1796.70/1797.08 c Solutions found : 0 (0 improvements)
1796.70/1797.08 c Primal Bound : -
1796.70/1797.08 c Dual Bound : +1.70941918109741e+02
1796.70/1797.08 c Gap : infinite
1796.70/1797.08 c Root Dual Bound : +1.70941918109741e+02
1796.70/1797.08 c Root Iterations : 28515
1799.31/1799.62 c Time complete: 1799.33.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3693257-1338029668/watcher-3693257-1338029668 -o /tmp/evaluation-result-3693257-1338029668/solver-3693257-1338029668 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693257-1338029668.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: 1.00 1.00 1.14 3/175 2068
/proc/meminfo: memFree=27925344/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=11636 CPUtime=0 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 1660 0 0 0 0 0 0 0 20 0 1 0 269093702 11915264 1615 33554432000 4194304 10169799 140733235114752 140733329536488 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 2909 1615 403 1459 0 1441 0
[startup+0.0243529 s]
/proc/loadavg: 1.00 1.00 1.14 3/175 2068
/proc/meminfo: memFree=27925344/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=19372 CPUtime=0.01 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 3615 0 0 0 1 0 0 0 20 0 1 0 269093702 19836928 3568 33554432000 4194304 10169799 140733235114752 140733329536488 5477139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 4843 3568 412 1459 0 3375 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19372
[startup+0.100264 s]
/proc/loadavg: 1.00 1.00 1.14 3/175 2068
/proc/meminfo: memFree=27925344/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=29764 CPUtime=0.09 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 6233 0 0 0 9 0 0 0 20 0 1 0 269093702 30478336 6186 33554432000 4194304 10169799 140733235114752 140733329536488 7169299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 7441 6186 412 1459 0 5973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29764
[startup+0.300213 s]
/proc/loadavg: 1.00 1.00 1.14 3/175 2068
/proc/meminfo: memFree=27925344/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=56944 CPUtime=0.29 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 12988 0 0 0 27 2 0 0 20 0 1 0 269093702 58310656 12941 33554432000 4194304 10169799 140733235114752 140733329536488 8823768 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 14236 12941 412 1459 0 12768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56944
[startup+0.700211 s]
/proc/loadavg: 1.00 1.00 1.14 3/175 2068
/proc/meminfo: memFree=27925344/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=110972 CPUtime=0.69 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 26533 0 0 0 65 4 0 0 20 0 1 0 269093702 113635328 26486 33554432000 4194304 10169799 140733235114752 140733234981080 8821234 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 27743 26486 412 1459 0 26275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110972
[startup+1.50024 s]
/proc/loadavg: 1.00 1.00 1.14 4/177 2070
/proc/meminfo: memFree=27638632/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=246604 CPUtime=1.48 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 60168 0 0 0 139 9 0 0 20 0 1 0 269093702 252522496 60398 33554432000 4194304 10169799 140733235114752 140733234980440 4898223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 61651 60398 463 1459 0 60183 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 246604
[startup+3.10027 s]
/proc/loadavg: 1.08 1.02 1.15 4/177 2070
/proc/meminfo: memFree=26930816/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=832020 CPUtime=3.08 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 205563 0 0 0 279 29 0 0 20 0 1 0 269093702 851988480 205178 33554432000 4194304 10169799 140733235114752 140733235111720 4195320 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 208005 205178 499 1459 0 206537 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 832020
[startup+6.30023 s]
/proc/loadavg: 1.08 1.02 1.15 4/177 2070
/proc/meminfo: memFree=26455420/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=778168 CPUtime=6.28 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 223941 0 0 0 567 61 0 0 20 0 1 0 269093702 796844032 191777 33554432000 4194304 10169799 140733235114752 140733235112904 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 194542 191777 554 1459 0 193074 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 778168
[startup+12.7003 s]
/proc/loadavg: 1.22 1.05 1.15 4/177 2070
/proc/meminfo: memFree=25975580/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1293580 CPUtime=12.68 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 367695 0 0 0 1156 112 0 0 20 0 1 0 269093702 1324625920 309037 33554432000 4194304 10169799 140733235114752 140733235111048 6800561 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 323395 309037 661 1459 0 321927 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1293580
[startup+25.5002 s]
/proc/loadavg: 1.34 1.08 1.16 4/177 2070
/proc/meminfo: memFree=24842724/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1585524 CPUtime=25.48 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 448182 0 0 0 2415 133 0 0 20 0 1 0 269093702 1623576576 381938 33554432000 4194304 10169799 140733235114752 140733235109160 7990187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 396381 381938 752 1459 0 394913 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1585524
[startup+51.1003 s]
/proc/loadavg: 1.56 1.15 1.18 4/176 2070
/proc/meminfo: memFree=24884152/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1563596 CPUtime=51.07 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 451729 0 0 0 4968 139 0 0 20 0 1 0 269093702 1601122304 379842 33554432000 4194304 10169799 140733235114752 140733235107160 8009306 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 390899 379842 763 1459 0 389431 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1563596
[startup+102.307 s]
/proc/loadavg: 1.82 1.29 1.23 4/177 2071
/proc/meminfo: memFree=24877004/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1566740 CPUtime=102.27 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 453740 0 0 0 10068 159 0 0 20 0 1 0 269093702 1604341760 380552 33554432000 4194304 10169799 140733235114752 140733235107064 7978034 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 391685 380552 763 1459 0 390217 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1566740
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.27 4/177 2071
/proc/meminfo: memFree=24875916/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1566740 CPUtime=162.26 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 456063 0 0 0 16042 184 0 0 20 0 1 0 269093702 1604341760 380650 33554432000 4194304 10169799 140733235114752 140733235107064 8004350 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 391685 380650 763 1459 0 390217 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1566740
[startup+222.3 s]
/proc/loadavg: 2.11 1.55 1.33 4/177 2071
/proc/meminfo: memFree=24757280/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1589468 CPUtime=222.25 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 459391 0 0 0 22020 205 0 0 20 0 1 0 269093702 1627615232 385747 33554432000 4194304 10169799 140733235114752 140733235107064 8004337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 397367 385747 766 1459 0 395899 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1589468
[startup+282.3 s]
/proc/loadavg: 2.04 1.63 1.37 4/177 2071
/proc/meminfo: memFree=24698916/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1583292 CPUtime=282.24 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 465135 0 0 0 28001 223 0 0 20 0 1 0 269093702 1621291008 383499 33554432000 4194304 10169799 140733235114752 140733235110760 7280659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 395823 383499 780 1459 0 394355 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1583292
[startup+342.3 s]
/proc/loadavg: 2.01 1.70 1.40 4/178 2074
/proc/meminfo: memFree=24512328/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1772856 CPUtime=342.24 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 481895 0 0 0 33984 240 0 0 20 0 1 0 269093702 1815404544 423217 33554432000 4194304 10169799 140733235114752 140733235109544 8009399 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 443214 423217 799 1459 0 441746 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1772856
[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.44 4/178 2098
/proc/meminfo: memFree=24483784/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1798520 CPUtime=402.22 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 482871 0 0 0 39978 244 0 0 20 0 1 0 269093702 1841684480 430150 33554432000 4194304 10169799 140733235114752 140733235109160 8004347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 449630 430150 799 1459 0 448162 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1798520
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.47 4/177 2098
/proc/meminfo: memFree=24479632/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1798520 CPUtime=462.21 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 482981 0 0 0 45970 251 0 0 20 0 1 0 269093702 1841684480 430150 33554432000 4194304 10169799 140733235114752 140733235110744 8844157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 449630 430150 799 1459 0 448162 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1798520
[startup+522.3 s]
/proc/loadavg: 2.00 1.83 1.50 4/177 2098
/proc/meminfo: memFree=24477980/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1798520 CPUtime=522.21 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 482981 0 0 0 51964 257 0 0 20 0 1 0 269093702 1841684480 430150 33554432000 4194304 10169799 140733235114752 140733235110792 7651916 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 449630 430150 799 1459 0 448162 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1798520
[startup+582.3 s]
/proc/loadavg: 2.00 1.86 1.53 4/177 2098
/proc/meminfo: memFree=24477496/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1798520 CPUtime=582.2 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 482981 0 0 0 57960 260 0 0 20 0 1 0 269093702 1841684480 430150 33554432000 4194304 10169799 140733235114752 140733235111064 7280659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 449630 430150 799 1459 0 448162 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1798520
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24485008/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1795952 CPUtime=1122.11 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 483660 0 0 0 111902 309 0 0 20 0 1 0 269093702 1839054848 429596 33554432000 4194304 10169799 140733235114752 140733235110776 8884339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 448988 429596 799 1459 0 447520 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1795952
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.74 4/177 2103
/proc/meminfo: memFree=24484928/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1795952 CPUtime=1182.11 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 483661 0 0 0 117896 315 0 0 20 0 1 0 269093702 1839054848 429596 33554432000 4194304 10169799 140733235114752 140733235110824 7654896 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 448988 429596 799 1459 0 447520 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1795952
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.75 4/177 2103
/proc/meminfo: memFree=24485080/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1795952 CPUtime=1242.09 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 483668 0 0 0 123889 320 0 0 20 0 1 0 269093702 1839054848 429596 33554432000 4194304 10169799 140733235114752 140733235110744 8844137 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 448988 429596 799 1459 0 447520 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1795952
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.76 4/177 2104
/proc/meminfo: memFree=24484224/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1795952 CPUtime=1302.09 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 483671 0 0 0 129882 327 0 0 20 0 1 0 269093702 1839054848 429596 33554432000 4194304 10169799 140733235114752 140733235110744 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 448988 429596 799 1459 0 447520 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1795952
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.77 4/177 2104
/proc/meminfo: memFree=24480136/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1795952 CPUtime=1362.08 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 483672 0 0 0 135876 332 0 0 20 0 1 0 269093702 1839054848 430851 33554432000 4194304 10169799 140733235114752 140733235110744 8844157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 448988 430851 799 1459 0 447520 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1795952
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.78 4/177 2104
/proc/meminfo: memFree=24435784/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1795952 CPUtime=1422.08 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 483672 0 0 0 141870 338 0 0 20 0 1 0 269093702 1839054848 430851 33554432000 4194304 10169799 140733235114752 140733235111288 7271366 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 448988 430851 799 1459 0 447520 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1795952
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.80 4/177 2104
/proc/meminfo: memFree=24408140/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1482.06 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484663 0 0 0 147862 344 0 0 20 0 1 0 269093702 1865334784 437877 33554432000 4194304 10169799 140733235114752 140733235110856 8844137 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 437877 799 1459 0 453936 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1821616
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.81 4/178 2107
/proc/meminfo: memFree=24407788/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1542.04 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484665 0 0 0 153855 349 0 0 20 0 1 0 269093702 1865334784 437878 33554432000 4194304 10169799 140733235114752 140733235110776 8844142 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 437878 799 1459 0 453936 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1821616
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.82 4/177 2108
/proc/meminfo: memFree=24454872/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1602.03 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484667 0 0 0 159848 355 0 0 20 0 1 0 269093702 1865334784 439702 33554432000 4194304 10169799 140733235114752 140733235110856 8884276 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 439702 799 1459 0 453936 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1821616
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.82 4/177 2108
/proc/meminfo: memFree=24454336/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1662.03 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484667 0 0 0 165843 360 0 0 20 0 1 0 269093702 1865334784 439829 33554432000 4194304 10169799 140733235114752 140733235110824 7651888 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 439829 799 1459 0 453936 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1821616
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/177 2108
/proc/meminfo: memFree=24453552/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1722.02 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484667 0 0 0 171836 366 0 0 20 0 1 0 269093702 1865334784 440029 33554432000 4194304 10169799 140733235114752 140733235110744 7651888 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 440029 799 1459 0 453936 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1821616
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2108
/proc/meminfo: memFree=24452216/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1782.01 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484669 0 0 0 177831 370 0 0 20 0 1 0 269093702 1865334784 440198 33554432000 4194304 10169799 140733235114752 140733235110744 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 440198 799 1459 0 453936 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1821616
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2108
/proc/meminfo: memFree=24452644/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1791.61 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484669 0 0 0 178790 371 0 0 20 0 1 0 269093702 1865334784 440198 33554432000 4194304 10169799 140733235114752 140733235110744 7651918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 440198 799 1459 0 453936 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 1821616
[startup+1795.1 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2108
/proc/meminfo: memFree=24452380/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1794.81 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484669 0 0 0 179110 371 0 0 20 0 1 0 269093702 1865334784 440261 33554432000 4194304 10169799 140733235114752 140733235110792 7654911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 440261 799 1459 0 453936 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 1821616
[startup+1796.7 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2108
/proc/meminfo: memFree=24452380/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1821616 CPUtime=1796.4 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484669 0 0 0 179269 371 0 0 20 0 1 0 269093702 1865334784 440261 33554432000 4194304 10169799 140733235114752 140733235110744 8844152 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 455404 440261 799 1459 0 453936 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 1821616
[startup+1798.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2108
/proc/meminfo: memFree=24452380/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1809108 CPUtime=1798.01 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484687 0 0 0 179429 372 0 0 20 0 1 0 269093702 1852526592 437152 33554432000 4194304 10169799 140733235114752 140733235113656 4950556 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 452277 437152 817 1459 0 450809 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 1809108
[startup+1799.1 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2108
/proc/meminfo: memFree=24474204/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1800000 CPUtime=1798.81 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484687 0 0 0 179509 372 0 0 20 0 1 0 269093702 1843200000 434875 33554432000 4194304 10169799 140733235114752 140733235113816 5281809 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 450000 434875 817 1459 0 448532 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 1800000
[startup+1799.5 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2108
/proc/meminfo: memFree=24846496/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1393156 CPUtime=1799.21 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484689 0 0 0 179548 373 0 0 20 0 1 0 269093702 1426591744 344529 33554432000 4194304 10169799 140733235114752 140733235113816 7547375 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 348289 344529 819 1459 0 346821 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 1393156
[startup+1799.61 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 2108
/proc/meminfo: memFree=24846496/32873648 swapFree=6848/6848
[pid=2068] ppid=2064 vsize=1213408 CPUtime=1799.31 cores=0,2,4,6
/proc/2068/stat : 2068 (scip-2.1.1.4sfi) R 2064 2068 911 0 -1 4202496 484691 0 0 0 179557 374 0 0 20 0 1 0 269093702 1242529792 300764 33554432000 4194304 10169799 140733235114752 140733235113816 8989847 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2068/statm: 303352 300339 821 1459 0 301884 0
Current children cumulated CPU time (s) 1799.31
Current children cumulated vsize (KiB) 1213408
Child status: 0
Real time (s): 1799.62
CPU time (s): 1799.34
CPU user time (s): 1795.58
CPU system time (s): 3.76043
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1878072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.58
system time used= 3.76043
maximum resident set size= 1776084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484701
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= 31
involuntary context switches= 1873
runsolver used 5.74313 second user time and 11.7672 second system time
The end