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-3693255-1338029663.opb>
1.28/1.39 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
1.28/1.39 c problem read in 1.39
3.49/3.52 c presolving:
8.28/8.36 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.38/11.41 c (11.4s) probing: 51/10000 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
11.38/11.41 c (11.4s) probing aborted: 50/50 successive totally useless probings
11.58/11.61 c presolving (2 rounds):
11.58/11.61 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
11.58/11.61 c 1313400 implications, 0 cliques
11.58/11.61 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
11.58/11.61 c 656700 constraints of type <setppc>
11.58/11.61 c 200 constraints of type <logicor>
11.58/11.61 c transformed objective value is always integral (scale: 1)
11.58/11.61 c Presolving Time: 9.73
11.58/11.61 c - non default parameters ----------------------------------------------------------------------
11.58/11.61 c # SCIP version 2.1.1.4
11.58/11.61 c
11.58/11.61 c # maximal time in seconds to run
11.58/11.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.58/11.61 c limits/time = 1797
11.58/11.61 c
11.58/11.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.58/11.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.58/11.61 c limits/memory = 13950
11.58/11.61 c
11.58/11.61 c # default clock type (1: CPU user seconds, 2: wall clock time)
11.58/11.61 c # [type: int, range: [1,2], default: 1]
11.58/11.61 c timing/clocktype = 2
11.58/11.61 c
11.58/11.61 c # belongs reading time to solving time?
11.58/11.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.58/11.61 c timing/reading = TRUE
11.58/11.61 c
11.58/11.61 c -----------------------------------------------------------------------------------------------
11.58/11.61 c start solving
11.58/11.65 c
24.88/24.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.88/24.95 c 24.9s| 1 | 0 | 1145 | - | 830M| 0 | 257 | 10k| 656k| 10k| 656k| 0 | 42 | 0 | 1.722431e+02 | -- | Inf
273.25/273.31 c 273s| 1 | 0 | 21966 | - | 854M| 0 | 289 | 10k| 656k| 10k| 656k| 9 | 42 | 0 | 1.779507e+02 | -- | Inf
364.83/364.92 c 365s| 1 | 0 | 22403 | - | 854M| 0 | 277 | 10k| 656k| 10k| 656k| 16 | 42 | 0 | 1.826713e+02 | -- | Inf
461.83/462.00 c 462s| 1 | 0 | 23342 | - | 854M| 0 | 296 | 10k| 656k| 10k| 656k| 25 | 42 | 0 | 1.878607e+02 | -- | Inf
561.80/561.97 c 562s| 1 | 0 | 24111 | - | 854M| 0 | 289 | 10k| 656k| 10k| 656k| 33 | 42 | 0 | 1.908037e+02 | -- | Inf
1030.54/1030.76 c 1031s| 1 | 0 | 24604 | - | 854M| 0 | 288 | 10k| 656k| 10k| 656k| 39 | 42 | 0 | 1.927468e+02 | -- | Inf
1487.46/1487.77 c 1488s| 1 | 0 | 24889 | - | 854M| 0 | 293 | 10k| 656k| 10k| 656k| 45 | 42 | 0 | 1.938378e+02 | -- | Inf
1656.93/1657.24 c 1657s| 1 | 0 | 25296 | - | 854M| 0 | 296 | 10k| 656k| 10k| 656k| 52 | 42 | 0 | 1.956282e+02 | -- | Inf
1796.71/1797.08 c 1797s| 1 | 2 | 25296 | - | 854M| 0 | 296 | 10k| 656k| 10k| 656k| 52 | 42 | 0 | 1.956282e+02 | -- | Inf
1796.71/1797.08 c
1796.71/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.08 c Solving Time (sec) : 1797.05
1796.71/1797.08 c Solving Nodes : 1
1796.71/1797.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.08 c Dual Bound : +1.95628187320578e+02
1796.71/1797.08 c Gap : infinite
1796.71/1797.08 s UNKNOWN
1796.71/1797.08 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.08 c Total Time : 1797.05
1796.71/1797.08 c solving : 1797.05
1796.71/1797.08 c presolving : 9.73 (included in solving)
1796.71/1797.08 c reading : 1.39 (included in solving)
1796.71/1797.08 c copying : 0.00 (0 times copied the problem)
1796.71/1797.08 c Original Problem :
1796.71/1797.08 c Problem name : HOME/instance-3693255-1338029663.opb
1796.71/1797.08 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.08 c Constraints : 656900 initial, 656900 maximal
1796.71/1797.08 c Objective sense : minimize
1796.71/1797.08 c Presolved Problem :
1796.71/1797.08 c Problem name : t_HOME/instance-3693255-1338029663.opb
1796.71/1797.08 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.08 c Constraints : 656900 initial, 656942 maximal
1796.71/1797.08 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.08 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c gateextraction : 0.28 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c components : 0.19 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c probing : 1.97 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c setppc : 0.79 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c linear : 4.23 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c logicor : 0.01 0.01 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c root node : - - 0 - - 0 - - - - -
1796.71/1797.08 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.08 c integral : 0 0 0 0 1 0 4 0 0 0 0 0 2
1796.71/1797.08 c setppc : 656700 656700 8 269 0 0 3 16554 2 0 0 0 0
1796.71/1797.08 c logicor : 200+ 242 8 202 0 0 2 242 13 0 0 0 0
1796.71/1797.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.08 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.08 c integral : 0.02 0.00 0.00 0.00 0.02 0.00 0.00 0.00
1796.71/1797.08 c setppc : 4.72 0.00 0.35 4.26 0.00 0.00 0.10 0.01
1796.71/1797.08 c logicor : 0.23 0.01 0.00 0.21 0.00 0.00 0.00 0.00
1796.71/1797.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.08 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.08 c rootredcost : 0 0 0 0
1796.71/1797.08 c pseudoobj : 169 0 0 0
1796.71/1797.08 c vbounds : 0 0 0 0
1796.71/1797.08 c redcost : 8 0 0 0
1796.71/1797.08 c probing : 0 0 0 0
1796.71/1797.08 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.08 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.08 c pseudoobj : 0.02 0.02 0.00 0.00 0.00
1796.71/1797.08 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.08 c redcost : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.08 c probing : 1.97 0.00 1.97 0.00 0.00
1796.71/1797.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.08 c propagation : 0.22 15 15 1004 532.9 0 0.0 -
1796.71/1797.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.08 c applied globally : - - - 42 97.8 - - -
1796.71/1797.08 c applied locally : - - - 0 0.0 - - -
1796.71/1797.08 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.08 c cut pool : 0.01 7 - - 0 - (maximal pool size: 109)
1796.71/1797.08 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.08 c impliedbounds : 0.01 0.00 8 0 0 0 0
1796.71/1797.08 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.08 c gomory : 601.51 0.00 8 0 0 250 0
1796.71/1797.08 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.08 c strongcg : 734.88 0.00 7 0 0 2500 0
1796.71/1797.08 c cmir : 13.39 0.00 7 0 0 0 0
1796.71/1797.08 c flowcover : 144.21 0.00 7 0 0 0 0
1796.71/1797.08 c clique : 0.61 0.00 7 0 0 42 0
1796.71/1797.08 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.08 c mcf : 0.31 0.00 1 0 0 0 0
1796.71/1797.08 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.08 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.08 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.08 c problem variables: 0.00 - 0 0
1796.71/1797.08 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.08 c relpscost : 0.02 0.00 1 0 0 0 0 2
1796.71/1797.08 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.08 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.08 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.08 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.08 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.08 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.08 c LP solutions : 0.00 - - 0
1796.71/1797.08 c pseudo solutions : 0.00 - - 0
1796.71/1797.08 c oneopt : 0.00 0.00 0 0
1796.71/1797.08 c crossover : 0.00 0.00 0 0
1796.71/1797.08 c smallcard : 0.00 0.00 0 0
1796.71/1797.08 c trivial : 0.24 0.00 2 0
1796.71/1797.08 c shiftandpropagate: 4.09 0.00 1 0
1796.71/1797.08 c simplerounding : 0.00 0.00 0 0
1796.71/1797.08 c zirounding : 0.03 0.00 1 0
1796.71/1797.08 c rounding : 0.21 0.00 8 0
1796.71/1797.08 c shifting : 0.35 0.00 8 0
1796.71/1797.08 c intshifting : 0.00 0.00 0 0
1796.71/1797.08 c twoopt : 0.00 0.00 0 0
1796.71/1797.08 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.08 c indoneopt : 0.00 0.00 0 0
1796.71/1797.08 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.08 c feaspump : 208.85 0.00 1 0
1796.71/1797.08 c clique : 0.00 0.00 0 0
1796.71/1797.08 c indrounding : 0.00 0.00 0 0
1796.71/1797.08 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.08 c coefdiving : 0.00 0.00 0 0
1796.71/1797.08 c pscostdiving : 0.00 0.00 0 0
1796.71/1797.08 c fracdiving : 0.00 0.00 0 0
1796.71/1797.08 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.08 c veclendiving : 0.00 0.00 0 0
1796.71/1797.08 c intdiving : 0.00 0.00 0 0
1796.71/1797.08 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.08 c objpscostdiving : 0.00 0.00 0 0
1796.71/1797.08 c rootsoldiving : 0.00 0.00 0 0
1796.71/1797.08 c linesearchdiving : 0.00 0.00 0 0
1796.71/1797.08 c guideddiving : 0.00 0.00 0 0
1796.71/1797.08 c octane : 0.00 0.00 0 0
1796.71/1797.08 c rens : 0.00 0.00 0 0
1796.71/1797.08 c rins : 0.00 0.00 0 0
1796.71/1797.08 c localbranching : 0.00 0.00 0 0
1796.71/1797.08 c mutation : 0.00 0.00 0 0
1796.71/1797.08 c dins : 0.00 0.00 0 0
1796.71/1797.08 c vbounds : 0.00 0.00 0 0
1796.71/1797.08 c undercover : 0.00 0.00 0 0
1796.71/1797.08 c subnlp : 0.00 0.00 0 0
1796.71/1797.08 c trysol : 0.00 0.00 0 0
1796.71/1797.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.08 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.08 c dual LP : 75.81 9 5296 662.00 69.85 0.13 1
1796.71/1797.08 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.08 c diving/probing LP: 208.53 3 20000 6666.67 95.91
1796.71/1797.08 c strong branching : 0.00 0 0 0.00 -
1796.71/1797.08 c (at root node) : - 0 0 0.00 -
1796.71/1797.08 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.08 c B&B Tree :
1796.71/1797.08 c number of runs : 1
1796.71/1797.08 c nodes : 1
1796.71/1797.08 c nodes (total) : 1
1796.71/1797.08 c nodes left : 2
1796.71/1797.08 c max depth : 0
1796.71/1797.08 c max depth (total): 0
1796.71/1797.08 c backtracks : 0 (0.0%)
1796.71/1797.08 c delayed cutoffs : 0
1796.71/1797.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.08 c avg switch length: 1.00
1796.71/1797.08 c switching time : 0.00
1796.71/1797.08 c Solution :
1796.71/1797.08 c Solutions found : 0 (0 improvements)
1796.71/1797.08 c Primal Bound : -
1796.71/1797.08 c Dual Bound : +1.95628187320578e+02
1796.71/1797.08 c Gap : infinite
1796.71/1797.08 c Root Dual Bound : +1.95628187320578e+02
1796.71/1797.08 c Root Iterations : 25296
1799.21/1799.59 c Time complete: 1799.3.
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-3693255-1338029663/watcher-3693255-1338029663 -o /tmp/evaluation-result-3693255-1338029663/solver-3693255-1338029663 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693255-1338029663.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: 0.92 0.98 1.14 3/176 8167
/proc/meminfo: memFree=28895092/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=11136 CPUtime=0 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 1524 0 0 0 0 0 0 0 20 0 1 0 269091748 11403264 1479 33554432000 4194304 10169799 140734097413760 140736116422376 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 2784 1479 403 1459 0 1316 0
[startup+0.0822261 s]
/proc/loadavg: 0.92 0.98 1.14 3/176 8167
/proc/meminfo: memFree=28895092/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=27380 CPUtime=0.07 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 5632 0 0 0 7 0 0 0 20 0 1 0 269091748 28037120 5585 33554432000 4194304 10169799 140734097413760 140736116422376 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 6845 5585 412 1459 0 5377 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27380
[startup+0.100266 s]
/proc/loadavg: 0.92 0.98 1.14 3/176 8167
/proc/meminfo: memFree=28895092/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=29772 CPUtime=0.09 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 6231 0 0 0 9 0 0 0 20 0 1 0 269091748 30486528 6184 33554432000 4194304 10169799 140734097413760 140736116422376 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 7443 6184 412 1459 0 5975 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29772
[startup+0.300236 s]
/proc/loadavg: 0.92 0.98 1.14 3/176 8167
/proc/meminfo: memFree=28895092/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=56952 CPUtime=0.29 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 12986 0 0 0 28 1 0 0 20 0 1 0 269091748 58318848 12939 33554432000 4194304 10169799 140734097413760 140734097280088 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 14238 12939 412 1459 0 12770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56952
[startup+0.700229 s]
/proc/loadavg: 0.92 0.98 1.14 3/176 8167
/proc/meminfo: memFree=28895092/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=109044 CPUtime=0.68 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 26044 0 0 0 66 2 0 0 20 0 1 0 269091748 111661056 25997 33554432000 4194304 10169799 140734097413760 140734097280088 7409245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 27261 25997 412 1459 0 25793 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 109044
[startup+1.50026 s]
/proc/loadavg: 1.01 1.00 1.15 3/177 8168
/proc/meminfo: memFree=28619436/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=245380 CPUtime=1.48 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 59877 0 0 0 141 7 0 0 20 0 1 0 269091748 251269120 59801 33554432000 4194304 10169799 140734097413760 140734097280088 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 61345 59801 463 1459 0 59877 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 245380
[startup+3.10025 s]
/proc/loadavg: 1.01 1.00 1.15 3/177 8168
/proc/meminfo: memFree=27914496/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=822276 CPUtime=3.09 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 203012 0 0 0 282 27 0 0 20 0 1 0 269091748 842010624 202322 33554432000 4194304 10169799 140734097413760 140734097410728 7546686 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 205569 202322 499 1459 0 204101 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 822276
[startup+6.30025 s]
/proc/loadavg: 1.01 1.00 1.15 3/177 8168
/proc/meminfo: memFree=27446048/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=771312 CPUtime=6.28 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 222445 0 0 0 572 56 0 0 20 0 1 0 269091748 789823488 189976 33554432000 4194304 10169799 140734097413760 140734097411752 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 192828 189976 554 1459 0 191360 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 771312
[startup+12.7003 s]
/proc/loadavg: 1.16 1.03 1.16 3/177 8168
/proc/meminfo: memFree=27042292/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1247560 CPUtime=12.69 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 359523 0 0 0 1165 104 0 0 20 0 1 0 269091748 1277501440 293515 33554432000 4194304 10169799 140734097413760 140734097410232 7987124 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 311890 293515 657 1459 0 310422 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1247560
[startup+25.5002 s]
/proc/loadavg: 1.29 1.06 1.16 3/177 8168
/proc/meminfo: memFree=25819412/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1565296 CPUtime=25.48 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 452230 0 0 0 2418 130 0 0 20 0 1 0 269091748 1602863104 381208 33554432000 4194304 10169799 140734097413760 140734097406072 8061104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 391324 381208 763 1459 0 389856 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1565296
[startup+51.1003 s]
/proc/loadavg: 1.53 1.14 1.19 3/177 8168
/proc/meminfo: memFree=25861828/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1565296 CPUtime=51.08 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 452691 0 0 0 4970 138 0 0 20 0 1 0 269091748 1602863104 381267 33554432000 4194304 10169799 140734097413760 140734097406168 7708213 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 391324 381267 763 1459 0 389856 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1565296
[startup+102.307 s]
/proc/loadavg: 1.81 1.28 1.23 3/177 8168
/proc/meminfo: memFree=25854924/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1568440 CPUtime=102.28 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 453697 0 0 0 10076 152 0 0 20 0 1 0 269091748 1606082560 381990 33554432000 4194304 10169799 140734097413760 140734097406072 8004370 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 392110 381990 763 1459 0 390642 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1568440
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.28 3/177 8169
/proc/meminfo: memFree=25853588/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1568440 CPUtime=162.26 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 454984 0 0 0 16055 171 0 0 20 0 1 0 269091748 1606082560 382070 33554432000 4194304 10169799 140734097413760 140734097406072 7978034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 392110 382070 763 1459 0 390642 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1568440
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.32 3/177 8169
/proc/meminfo: memFree=25839288/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1568440 CPUtime=222.25 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 457055 0 0 0 22033 192 0 0 20 0 1 0 269091748 1606082560 382083 33554432000 4194304 10169799 140734097413760 140734097406072 8009677 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 392110 382083 763 1459 0 390642 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1568440
[startup+282.3 s]
/proc/loadavg: 2.04 1.61 1.36 3/177 8169
/proc/meminfo: memFree=25716052/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1712012 CPUtime=282.25 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 476285 0 0 0 28007 218 0 0 20 0 1 0 269091748 1753100288 409072 33554432000 4194304 10169799 140734097413760 140734097409752 7652047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 428003 409072 797 1459 0 426535 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1712012
[startup+342.3 s]
/proc/loadavg: 2.01 1.68 1.40 3/178 8172
/proc/meminfo: memFree=25626296/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1712012 CPUtime=342.24 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 476285 0 0 0 34001 223 0 0 20 0 1 0 269091748 1753100288 409072 33554432000 4194304 10169799 140734097413760 140734097410072 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 428003 409072 797 1459 0 426535 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1712012
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.43 3/178 8194
/proc/meminfo: memFree=25560256/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1778728 CPUtime=402.22 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 476617 0 0 0 39994 228 0 0 20 0 1 0 269091748 1821417472 420135 33554432000 4194304 10169799 140734097413760 140734097409800 8884231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 444682 420135 799 1459 0 443214 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1778728
[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.47 3/177 8195
/proc/meminfo: memFree=25594956/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1724328 CPUtime=462.22 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 477693 0 0 0 45984 238 0 0 20 0 1 0 269091748 1765711872 411744 33554432000 4194304 10169799 140734097413760 140734097409784 8884238 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 431082 411744 799 1459 0 429614 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1724328
[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.50 3/177 8195
/proc/meminfo: memFree=25568792/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1724328 CPUtime=522.21 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 477693 0 0 0 51977 244 0 0 20 0 1 0 269091748 1765711872 411744 33554432000 4194304 10169799 140734097413760 140734097409752 8844127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 431082 411744 799 1459 0 429614 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1724328
[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.53 3/177 8195
/proc/meminfo: memFree=25538932/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1757244 CPUtime=582.2 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 478477 0 0 0 57969 251 0 0 20 0 1 0 269091748 1799417856 418472 33554432000 4194304 10169799 140734097413760 140734097409832 5096369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 439311 418472 799 1459 0 437843 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1757244
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25485600/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1823964 CPUtime=1062.13 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479414 0 0 0 105916 297 0 0 20 0 1 0 269091748 1867739136 430139 33554432000 4194304 10169799 140734097413760 140734097409784 5096369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 455991 430139 799 1459 0 454523 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1823964
[startup+1122.3 s]
/proc/loadavg: 2.01 1.97 1.72 3/177 8200
/proc/meminfo: memFree=25497852/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1823964 CPUtime=1122.12 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479415 0 0 0 111907 305 0 0 20 0 1 0 269091748 1867739136 430139 33554432000 4194304 10169799 140734097413760 140734097409784 8884276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 455991 430139 799 1459 0 454523 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1823964
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/177 8200
/proc/meminfo: memFree=25497880/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1823964 CPUtime=1182.11 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479419 0 0 0 117898 313 0 0 20 0 1 0 269091748 1867739136 430139 33554432000 4194304 10169799 140734097413760 140734097409832 7652047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 455991 430139 799 1459 0 454523 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1823964
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 8200
/proc/meminfo: memFree=25497040/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1823964 CPUtime=1242.1 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479427 0 0 0 123890 320 0 0 20 0 1 0 269091748 1867739136 430217 33554432000 4194304 10169799 140734097413760 140734097409784 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 455991 430217 799 1459 0 454523 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1823964
[startup+1302.3 s]
/proc/loadavg: 2.05 1.99 1.76 3/177 8200
/proc/meminfo: memFree=25493580/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1823964 CPUtime=1302.1 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479428 0 0 0 129883 327 0 0 20 0 1 0 269091748 1867739136 431003 33554432000 4194304 10169799 140734097413760 140734097409752 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 455991 431003 799 1459 0 454523 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1823964
[startup+1362.3 s]
/proc/loadavg: 2.02 1.99 1.77 3/176 8200
/proc/meminfo: memFree=25492184/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1823964 CPUtime=1362.07 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479429 0 0 0 135874 333 0 0 20 0 1 0 269091748 1867739136 431385 33554432000 4194304 10169799 140734097413760 140734097409752 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 455991 431385 799 1459 0 454523 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1823964
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 8201
/proc/meminfo: memFree=25491396/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1823964 CPUtime=1422.08 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479430 0 0 0 141867 341 0 0 20 0 1 0 269091748 1867739136 431641 33554432000 4194304 10169799 140734097413760 140734097409800 5104758 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 455991 431641 799 1459 0 454523 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1823964
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 8201
/proc/meminfo: memFree=25491484/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1823964 CPUtime=1482.06 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479430 0 0 0 147863 343 0 0 20 0 1 0 269091748 1867739136 431641 33554432000 4194304 10169799 140734097413760 140734097410072 5096322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 455991 431641 799 1459 0 454523 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1823964
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/178 8204
/proc/meminfo: memFree=25548020/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1736716 CPUtime=1542.05 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479550 0 0 0 153854 351 0 0 20 0 1 0 269091748 1778397184 417272 33554432000 4194304 10169799 140734097413760 140734097409752 8884358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 434179 417272 799 1459 0 432711 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1736716
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 8204
/proc/meminfo: memFree=25547492/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1736716 CPUtime=1602.04 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 479550 0 0 0 159847 357 0 0 20 0 1 0 269091748 1778397184 417603 33554432000 4194304 10169799 140734097413760 140734097409800 7651905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 434179 417603 799 1459 0 432711 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1736716
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 8204
/proc/meminfo: memFree=25474988/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1762380 CPUtime=1662.03 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480449 0 0 0 165841 362 0 0 20 0 1 0 269091748 1804677120 424357 33554432000 4194304 10169799 140734097413760 140734097409784 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 440595 424357 799 1459 0 439127 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1762380
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 8205
/proc/meminfo: memFree=25473164/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1762380 CPUtime=1722.02 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480449 0 0 0 171834 368 0 0 20 0 1 0 269091748 1804677120 424812 33554432000 4194304 10169799 140734097413760 140734097409784 8884082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 440595 424812 799 1459 0 439127 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1762380
[startup+1782.3 s]
/proc/loadavg: 2.06 2.00 1.84 3/177 8205
/proc/meminfo: memFree=25472456/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1762380 CPUtime=1782.01 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480449 0 0 0 177827 374 0 0 20 0 1 0 269091748 1804677120 424813 33554432000 4194304 10169799 140734097413760 140734097409784 8884238 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 440595 424813 799 1459 0 439127 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1762380
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.00 1.84 3/177 8205
/proc/meminfo: memFree=25472688/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1762380 CPUtime=1791.62 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480449 0 0 0 178787 375 0 0 20 0 1 0 269091748 1804677120 424813 33554432000 4194304 10169799 140734097413760 140734097409784 8844137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 440595 424813 799 1459 0 439127 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 1762380
[startup+1795.1 s]
/proc/loadavg: 2.05 2.00 1.84 3/177 8205
/proc/meminfo: memFree=25473060/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1762380 CPUtime=1794.82 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480449 0 0 0 179106 376 0 0 20 0 1 0 269091748 1804677120 424813 33554432000 4194304 10169799 140734097413760 140734097409864 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 440595 424813 799 1459 0 439127 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 1762380
[startup+1796.7 s]
/proc/loadavg: 2.04 2.00 1.84 3/177 8205
/proc/meminfo: memFree=25473060/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1762380 CPUtime=1796.41 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480449 0 0 0 179265 376 0 0 20 0 1 0 269091748 1804677120 424813 33554432000 4194304 10169799 140734097413760 140734097409784 8884231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 440595 424813 799 1459 0 439127 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 1762380
[startup+1798.3 s]
/proc/loadavg: 2.04 2.00 1.84 3/177 8205
/proc/meminfo: memFree=25473184/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1749608 CPUtime=1798.01 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480467 0 0 0 179425 376 0 0 20 0 1 0 269091748 1791598592 421638 33554432000 4194304 10169799 140734097413760 140734097412824 4950556 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 437402 421638 817 1459 0 435934 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 1749608
[startup+1799.1 s]
/proc/loadavg: 2.04 2.00 1.84 3/177 8205
/proc/meminfo: memFree=25496496/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1739972 CPUtime=1798.81 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480469 0 0 0 179505 376 0 0 20 0 1 0 269091748 1781731328 419229 33554432000 4194304 10169799 140734097413760 140734097412824 7547334 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 434993 419229 817 1459 0 433525 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 1739972
[startup+1799.5 s]
/proc/loadavg: 2.04 2.00 1.84 3/177 8205
/proc/meminfo: memFree=25877436/32873648 swapFree=6856/6856
[pid=8167] ppid=8165 vsize=1322752 CPUtime=1799.21 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.1.1.4sfi) R 8165 8167 7220 0 -1 4202496 480471 0 0 0 179543 378 0 0 20 0 1 0 269091748 1354498048 327023 33554432000 4194304 10169799 140734097413760 140734097412824 5477783 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8167/statm: 330688 327023 819 1459 0 329220 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 1322752
Child status: 0
Real time (s): 1799.59
CPU time (s): 1799.31
CPU user time (s): 1795.5
CPU system time (s): 3.80742
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1823964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.5
system time used= 3.80742
maximum resident set size= 1734296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 480483
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= 24
involuntary context switches= 1850
runsolver used 3.17552 second user time and 8.24375 second system time
The end