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-3692728-1338023358.opb>
2.49/2.51 c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
2.49/2.51 c problem read in 2.51
5.69/5.79 c presolving:
16.09/16.18 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1084800 upgd conss, 2400 impls, 80 clqs
19.09/19.10 c (round 2) 0 del vars, 72599 del conss, 1200 add conss, 0 chg bounds, 1200 chg sides, 5639 chg coeffs, 1084800 upgd conss, 49202 impls, 80 clqs
22.78/22.85 c (22.8s) probing: 51/2800 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
22.78/22.85 c (22.8s) probing aborted: 50/50 successive totally useless probings
25.39/25.47 c presolving (3 rounds):
25.39/25.47 c 0 deleted vars, 72599 deleted constraints, 1200 added constraints, 0 tightened bounds, 0 added holes, 1200 changed sides, 5804 changed coefficients
25.39/25.47 c 52322 implications, 80 cliques
25.39/25.47 c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 918602 constraints
25.39/25.47 c 3160 constraints of type <knapsack>
25.39/25.47 c 24681 constraints of type <setppc>
25.39/25.47 c 1 constraints of type <linear>
25.39/25.47 c 890760 constraints of type <logicor>
25.39/25.47 c transformed objective value is always integral (scale: 1)
25.39/25.47 c Presolving Time: 22.27
25.39/25.47 c - non default parameters ----------------------------------------------------------------------
25.39/25.47 c # SCIP version 2.1.1.4
25.39/25.47 c
25.39/25.47 c # maximal time in seconds to run
25.39/25.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.39/25.47 c limits/time = 1797
25.39/25.47 c
25.39/25.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.39/25.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.39/25.47 c limits/memory = 13950
25.39/25.47 c
25.39/25.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
25.39/25.47 c # [type: int, range: [1,2], default: 1]
25.39/25.47 c timing/clocktype = 2
25.39/25.47 c
25.39/25.47 c # belongs reading time to solving time?
25.39/25.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.39/25.47 c timing/reading = TRUE
25.39/25.47 c
25.39/25.47 c -----------------------------------------------------------------------------------------------
25.39/25.47 c start solving
25.39/25.48 c
89.77/89.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.77/89.86 c 89.8s| 1 | 0 | 3530 | - |1230M| 0 | 214 |2800 | 918k|2800 | 918k| 0 | 15 | 0 | 0.000000e+00 | -- | Inf
346.64/346.77 c 347s| 1 | 0 | 10648 | - |1252M| 0 | 227 |2800 | 918k|2800 | 918k| 22 | 15 | 0 | 0.000000e+00 | -- | Inf
433.02/433.19 c 433s| 1 | 0 | 11313 | - |1253M| 0 | 277 |2800 | 918k|2800 | 918k| 43 | 15 | 0 | 0.000000e+00 | -- | Inf
568.70/568.86 c 569s| 1 | 0 | 13363 | - |1253M| 0 | 296 |2800 | 918k|2800 | 918k| 63 | 15 | 0 | 0.000000e+00 | -- | Inf
713.18/713.30 c 713s| 1 | 0 | 16372 | - |1253M| 0 | 338 |2800 | 918k|2800 | 918k| 80 | 15 | 0 | 0.000000e+00 | -- | Inf
812.96/813.11 c 813s| 1 | 0 | 17224 | - |1253M| 0 | 299 |2800 | 918k|2800 | 918k| 95 | 15 | 0 | 0.000000e+00 | -- | Inf
946.64/946.81 c 947s| 1 | 0 | 19075 | - |1253M| 0 | 348 |2800 | 918k|2800 | 918k| 110 | 15 | 0 | 0.000000e+00 | -- | Inf
1164.21/1164.41 c 1164s| 1 | 2 | 19075 | - |1253M| 0 | 348 |2800 | 918k|2800 | 918k| 110 | 15 | 33 | 0.000000e+00 | -- | Inf
1800.81/1801.16 c
1800.81/1801.16 c SCIP Status : solving was interrupted [user interrupt]
1800.81/1801.16 c Solving Time (sec) : 1801.12
1800.81/1801.16 c Solving Nodes : 3
1800.81/1801.16 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.81/1801.16 c Dual Bound : +0.00000000000000e+00
1800.81/1801.16 c Gap : infinite
1800.81/1801.16 s UNKNOWN
1800.81/1801.16 c SCIP Status : solving was interrupted [user interrupt]
1800.81/1801.16 c Total Time : 1801.12
1800.81/1801.16 c solving : 1801.12
1800.81/1801.16 c presolving : 22.27 (included in solving)
1800.81/1801.16 c reading : 2.51 (included in solving)
1800.81/1801.16 c copying : 1.35 (1 #copies) (minimal 1.35, maximal 1.35, average 1.35)
1800.81/1801.16 c Original Problem :
1800.81/1801.16 c Problem name : HOME/instance-3692728-1338023358.opb
1800.81/1801.16 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.81/1801.16 c Constraints : 990001 initial, 990001 maximal
1800.81/1801.16 c Objective sense : minimize
1800.81/1801.16 c Presolved Problem :
1800.81/1801.16 c Problem name : t_HOME/instance-3692728-1338023358.opb
1800.81/1801.16 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.81/1801.16 c Constraints : 918602 initial, 918617 maximal
1800.81/1801.16 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.81/1801.16 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c gateextraction : 0.28 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c components : 0.34 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c probing : 1.03 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c knapsack : 0.62 0.00 0 0 0 0 0 0 1200 1200 5804
1800.81/1801.16 c setppc : 0.30 0.00 0 0 0 0 0 72599 0 0 0
1800.81/1801.16 c linear : 6.86 0.00 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c logicor : 6.69 2.28 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c root node : - - 0 - - 0 - - - - -
1800.81/1801.16 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1800.81/1801.16 c integral : 0 0 0 0 3 0 4 0 0 0 0 0 6
1800.81/1801.16 c knapsack : 3160 3160 6 128 0 0 3 585 0 0 543 0 0
1800.81/1801.16 c setppc : 24681 24681 6 128 0 0 2 15 15 0 0 0 0
1800.81/1801.16 c linear : 1 1 6 113 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c logicor : 890760+ 890775 6 108 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1800.81/1801.16 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1800.81/1801.16 c integral : 845.73 0.00 0.00 0.00 845.73 0.00 0.00 0.00
1800.81/1801.16 c knapsack : 0.14 0.00 0.06 0.07 0.00 0.00 0.01 0.00
1800.81/1801.16 c setppc : 0.13 0.00 0.01 0.12 0.00 0.00 0.00 0.00
1800.81/1801.16 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1800.81/1801.16 c logicor : 3.12 2.28 0.21 0.63 0.00 0.00 0.00 0.00
1800.81/1801.16 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.81/1801.16 c Propagators : #Propagate #ResProp Cutoffs DomReds
1800.81/1801.16 c rootredcost : 0 0 0 0
1800.81/1801.16 c pseudoobj : 0 0 0 0
1800.81/1801.16 c vbounds : 0 0 0 0
1800.81/1801.16 c redcost : 9 0 0 0
1800.81/1801.16 c probing : 0 0 0 0
1800.81/1801.16 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1800.81/1801.16 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1800.81/1801.16 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1800.81/1801.16 c vbounds : 0.00 0.00 0.00 0.00 0.00
1800.81/1801.16 c redcost : 0.00 0.00 0.00 0.00 0.00
1800.81/1801.16 c probing : 1.03 0.00 1.03 0.00 0.00
1800.81/1801.16 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.81/1801.16 c propagation : 0.00 15 15 15 3.0 0 0.0 -
1800.81/1801.16 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.81/1801.16 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.81/1801.16 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.81/1801.16 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.81/1801.16 c applied globally : - - - 15 3.0 - - -
1800.81/1801.16 c applied locally : - - - 0 0.0 - - -
1800.81/1801.16 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1800.81/1801.16 c cut pool : 0.00 5 - - 22 - (maximal pool size: 227)
1800.81/1801.16 c closecuts : 0.00 0.00 0 0 0 0 0
1800.81/1801.16 c impliedbounds : 0.00 0.00 6 0 0 0 0
1800.81/1801.16 c intobj : 0.00 0.00 0 0 0 0 0
1800.81/1801.16 c gomory : 8.82 0.00 6 0 0 300 0
1800.81/1801.16 c cgmip : 0.00 0.00 0 0 0 0 0
1800.81/1801.16 c strongcg : 111.21 0.00 6 0 0 3000 0
1800.81/1801.16 c cmir : 19.52 0.00 6 0 0 19 0
1800.81/1801.16 c flowcover : 377.03 0.00 6 0 0 42 0
1800.81/1801.16 c clique : 0.04 0.00 6 0 0 0 0
1800.81/1801.16 c zerohalf : 0.00 0.00 0 0 0 0 0
1800.81/1801.16 c mcf : 0.00 0.00 0 0 0 0 0
1800.81/1801.16 c oddcycle : 0.00 0.00 0 0 0 0 0
1800.81/1801.16 c rapidlearning : 0.00 0.00 0 0 0 0 0
1800.81/1801.16 c Pricers : ExecTime SetupTime Calls Vars
1800.81/1801.16 c problem variables: 0.00 - 0 0
1800.81/1801.16 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1800.81/1801.16 c relpscost : 845.73 0.00 3 0 0 0 0 6
1800.81/1801.16 c pscost : 0.00 0.00 0 0 0 0 0 0
1800.81/1801.16 c inference : 0.00 0.00 0 0 0 0 0 0
1800.81/1801.16 c mostinf : 0.00 0.00 0 0 0 0 0 0
1800.81/1801.16 c leastinf : 0.00 0.00 0 0 0 0 0 0
1800.81/1801.16 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1800.81/1801.16 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1800.81/1801.16 c random : 0.00 0.00 0 0 0 0 0 0
1800.81/1801.16 c Primal Heuristics : ExecTime SetupTime Calls Found
1800.81/1801.16 c LP solutions : 0.00 - - 0
1800.81/1801.16 c pseudo solutions : 0.00 - - 0
1800.81/1801.16 c oneopt : 0.00 0.00 0 0
1800.81/1801.16 c crossover : 0.00 0.00 0 0
1800.81/1801.16 c coefdiving : 0.00 0.00 0 0
1800.81/1801.16 c pscostdiving : 0.00 0.00 0 0
1800.81/1801.16 c smallcard : 0.00 0.00 0 0
1800.81/1801.16 c trivial : 0.23 0.00 2 0
1800.81/1801.16 c shiftandpropagate: 1.90 0.00 1 0
1800.81/1801.16 c simplerounding : 0.00 0.00 0 0
1800.81/1801.16 c zirounding : 0.05 0.00 0 0
1800.81/1801.16 c rounding : 0.46 0.00 9 0
1800.81/1801.16 c shifting : 0.83 0.00 7 0
1800.81/1801.16 c intshifting : 0.00 0.00 0 0
1800.81/1801.16 c twoopt : 0.00 0.00 0 0
1800.81/1801.16 c indtwoopt : 0.00 0.00 0 0
1800.81/1801.16 c indoneopt : 0.00 0.00 0 0
1800.81/1801.16 c fixandinfer : 0.00 0.00 0 0
1800.81/1801.16 c feaspump : 168.56 0.00 1 0
1800.81/1801.16 c clique : 0.00 0.00 0 0
1800.81/1801.16 c indrounding : 0.00 0.00 0 0
1800.81/1801.16 c indcoefdiving : 0.00 0.00 0 0
1800.81/1801.16 c fracdiving : 0.00 0.00 0 0
1800.81/1801.16 c nlpdiving : 0.00 0.00 0 0
1800.81/1801.16 c veclendiving : 0.00 0.00 0 0
1800.81/1801.16 c intdiving : 0.00 0.00 0 0
1800.81/1801.16 c actconsdiving : 0.00 0.00 0 0
1800.81/1801.16 c objpscostdiving : 0.00 0.00 0 0
1800.81/1801.16 c rootsoldiving : 0.00 0.00 0 0
1800.81/1801.16 c linesearchdiving : 0.00 0.00 0 0
1800.81/1801.16 c guideddiving : 0.00 0.00 0 0
1800.81/1801.16 c octane : 0.00 0.00 0 0
1800.81/1801.16 c rens : 4.37 0.00 1 0
1800.81/1801.16 c rins : 0.00 0.00 0 0
1800.81/1801.16 c localbranching : 0.00 0.00 0 0
1800.81/1801.16 c mutation : 0.00 0.00 0 0
1800.81/1801.16 c dins : 0.00 0.00 0 0
1800.81/1801.16 c vbounds : 0.00 0.00 0 0
1800.81/1801.16 c undercover : 0.00 0.00 0 0
1800.81/1801.16 c subnlp : 0.00 0.00 0 0
1800.81/1801.16 c trysol : 0.00 0.00 0 0
1800.81/1801.16 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1800.81/1801.16 c primal LP : 0.47 1 0 0.00 0.00 0.47 1
1800.81/1801.16 c dual LP : 235.38 10 12237 1359.67 51.99 0.28 1
1800.81/1801.16 c lex dual LP : 0.00 0 0 0.00 -
1800.81/1801.16 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1800.81/1801.16 c diving/probing LP: 167.49 8 6915 864.38 41.29
1800.81/1801.16 c strong branching : 845.64 122 30236 247.84 35.76
1800.81/1801.16 c (at root node) : - 33 7090 214.85 -
1800.81/1801.16 c conflict analysis: 0.00 0 0 0.00 -
1800.81/1801.16 c B&B Tree :
1800.81/1801.16 c number of runs : 1
1800.81/1801.16 c nodes : 3
1800.81/1801.16 c nodes (total) : 3
1800.81/1801.16 c nodes left : 4
1800.81/1801.16 c max depth : 2
1800.81/1801.16 c max depth (total): 2
1800.81/1801.16 c backtracks : 0 (0.0%)
1800.81/1801.16 c delayed cutoffs : 0
1800.81/1801.16 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.81/1801.16 c avg switch length: 1.00
1800.81/1801.16 c switching time : 0.59
1800.81/1801.16 c Solution :
1800.81/1801.16 c Solutions found : 0 (0 improvements)
1800.81/1801.16 c Primal Bound : -
1800.81/1801.16 c Dual Bound : +0.00000000000000e+00
1800.81/1801.16 c Gap : infinite
1800.81/1801.16 c Root Dual Bound : +0.00000000000000e+00
1800.81/1801.16 c Root Iterations : 19075
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-3692728-1338023358/watcher-3692728-1338023358 -o /tmp/evaluation-result-3692728-1338023358/solver-3692728-1338023358 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692728-1338023358.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.92 2.00 1.99 3/178 808
/proc/meminfo: memFree=25733672/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1026 0 0 0 0 0 0 0 20 0 1 0 268460697 9371648 982 33554432000 4194304 10169799 140735350189872 140733812332344 8844157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 2288 993 387 1459 0 820 0
[startup+0.0941811 s]
/proc/loadavg: 1.92 2.00 1.99 3/178 808
/proc/meminfo: memFree=25733672/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=22232 CPUtime=0.08 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 4312 0 0 0 8 0 0 0 20 0 1 0 268460697 22765568 4267 33554432000 4194304 10169799 140735350189872 140733812332344 8864952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 5558 4267 409 1459 0 4090 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22232
[startup+0.100289 s]
/proc/loadavg: 1.92 2.00 1.99 3/178 808
/proc/meminfo: memFree=25733672/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=23136 CPUtime=0.09 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 4543 0 0 0 9 0 0 0 20 0 1 0 268460697 23691264 4498 33554432000 4194304 10169799 140735350189872 140733812332344 5282272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 5784 4498 409 1459 0 4316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23136
[startup+0.300251 s]
/proc/loadavg: 1.92 2.00 1.99 3/178 808
/proc/meminfo: memFree=25733672/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=47044 CPUtime=0.29 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 10489 0 0 0 28 1 0 0 20 0 1 0 268460697 48173056 10444 33554432000 4194304 10169799 140735350189872 140733812332344 5477139 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 11761 10444 409 1459 0 10293 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47044
[startup+0.700238 s]
/proc/loadavg: 1.92 2.00 1.99 3/178 808
/proc/meminfo: memFree=25733672/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=95132 CPUtime=0.69 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 22542 0 0 0 66 3 0 0 20 0 1 0 268460697 97415168 22497 33554432000 4194304 10169799 140735350189872 140735350056200 8824942 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 23783 22497 409 1459 0 22315 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95132
[startup+1.50024 s]
/proc/loadavg: 1.92 2.00 1.99 3/179 809
/proc/meminfo: memFree=25610136/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=190496 CPUtime=1.49 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 46202 0 0 0 141 8 0 0 20 0 1 0 268460697 195067904 46157 33554432000 4194304 10169799 140735350189872 140735350056200 5282259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 47624 46157 409 1459 0 46156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190496
[startup+3.10023 s]
/proc/loadavg: 1.92 2.00 1.99 3/179 809
/proc/meminfo: memFree=25478308/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=607396 CPUtime=3.09 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 148262 0 0 0 285 24 0 0 20 0 1 0 268460697 621973504 148169 33554432000 4194304 10169799 140735350189872 140735350186840 7543003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 151849 148199 459 1459 0 150381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 607396
[startup+6.30029 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 809
/proc/meminfo: memFree=24450280/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=1139688 CPUtime=6.29 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 352913 0 0 0 542 87 0 0 20 0 1 0 268460697 1167040512 282583 33554432000 4194304 10169799 140735350189872 140735350188392 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 284922 282583 542 1459 0 283454 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1139688
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 809
/proc/meminfo: memFree=24315572/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=1506348 CPUtime=12.69 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 446512 0 0 0 920 349 0 0 20 0 1 0 268460697 1542500352 373594 33554432000 4194304 10169799 140735350189872 140735350188024 5652025 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 376587 373594 556 1459 0 375119 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1506348
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 809
/proc/meminfo: memFree=24304504/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=1442292 CPUtime=25.49 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 451480 0 0 0 1795 754 0 0 20 0 1 0 268460697 1476907008 357263 33554432000 4194304 10169799 140735350189872 140735350188632 6345561 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/808/statm: 360573 357263 659 1459 0 359105 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1442292
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 812
/proc/meminfo: memFree=23272556/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2599720 CPUtime=51.08 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 604462 0 0 0 4309 799 0 0 20 0 1 0 268460697 2662113280 614832 33554432000 4194304 10169799 140735350189872 140735350184280 8009460 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 649930 614832 765 1459 0 648462 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2599720
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 812
/proc/meminfo: memFree=23439472/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2383680 CPUtime=102.28 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 607267 0 0 0 9411 817 0 0 20 0 1 0 268460697 2440888320 580976 33554432000 4194304 10169799 140735350189872 140735350182184 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 595920 580976 780 1459 0 594452 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2383680
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 813
/proc/meminfo: memFree=23367136/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2457688 CPUtime=162.26 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 610019 0 0 0 15396 830 0 0 20 0 1 0 268460697 2516672512 599102 33554432000 4194304 10169799 140735350189872 140735350182184 7707169 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 614422 599102 780 1459 0 612954 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2457688
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 813
/proc/meminfo: memFree=23278504/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2459248 CPUtime=222.26 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 611212 0 0 0 21384 842 0 0 20 0 1 0 268460697 2518269952 599205 33554432000 4194304 10169799 140735350189872 140735350182184 7704912 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 614812 599205 780 1459 0 613344 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2459248
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 813
/proc/meminfo: memFree=23341828/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2392704 CPUtime=282.24 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 611597 0 0 0 27370 854 0 0 20 0 1 0 268460697 2450128896 583408 33554432000 4194304 10169799 140735350189872 140735350186184 7280659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 598176 583408 800 1459 0 596708 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2392704
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 813
/proc/meminfo: memFree=23296496/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2481704 CPUtime=342.23 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 617273 0 0 0 33365 858 0 0 20 0 1 0 268460697 2541264896 590011 33554432000 4194304 10169799 140735350189872 140735350184280 7591875 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 620426 590011 807 1459 0 618958 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2481704
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 813
/proc/meminfo: memFree=23273132/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2498532 CPUtime=402.22 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 618350 0 0 0 39362 860 0 0 20 0 1 0 268460697 2558496768 594094 33554432000 4194304 10169799 140735350189872 140735350186184 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 624633 594094 807 1459 0 623165 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2498532
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 813
/proc/meminfo: memFree=23182080/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2538176 CPUtime=462.21 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 620615 0 0 0 45355 866 0 0 20 0 1 0 268460697 2599092224 601446 33554432000 4194304 10169799 140735350189872 140735350186184 7280635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 634544 601446 809 1459 0 633076 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2538176
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 814
/proc/meminfo: memFree=23181976/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2538176 CPUtime=522.21 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 620615 0 0 0 51355 866 0 0 20 0 1 0 268460697 2599092224 601446 33554432000 4194304 10169799 140735350189872 140735350186184 7280644 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 634544 601446 809 1459 0 633076 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2538176
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 814
/proc/meminfo: memFree=23167940/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2542108 CPUtime=582.2 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 623145 0 0 0 57342 878 0 0 20 0 1 0 268460697 2603118592 604811 33554432000 4194304 10169799 140735350189872 140735350185864 5104807 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 635527 604811 810 1459 0 634059 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2542108
[startup+642.3 s]
################
# More data... #
################
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 902303 0 0 0 105184 1028 0 0 20 0 1 0 268460697 2614792192 604569 33554432000 4194304 10169799 140735350189872 140735350184472 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 638377 604569 851 1459 0 636909 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2553508
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 819
/proc/meminfo: memFree=23147776/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2563660 CPUtime=1122.12 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 917299 0 0 0 111149 1063 0 0 20 0 1 0 268460697 2625187840 608455 33554432000 4194304 10169799 140735350189872 140735350184856 7703728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 640915 608455 851 1459 0 639447 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2563660
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 819
/proc/meminfo: memFree=23146752/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2582732 CPUtime=1182.11 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 932813 0 0 0 117120 1091 0 0 20 0 1 0 268460697 2644717568 612951 33554432000 4194304 10169799 140735350189872 140735350184472 8004347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 645683 612951 852 1459 0 644215 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2582732
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 819
/proc/meminfo: memFree=23110788/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2616948 CPUtime=1242.1 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 945793 0 0 0 123096 1114 0 0 20 0 1 0 268460697 2679754752 617608 33554432000 4194304 10169799 140735350189872 140735350184856 7591838 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 654237 617608 852 1459 0 652769 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2616948
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 822
/proc/meminfo: memFree=23115124/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2576272 CPUtime=1302.09 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 962630 0 0 0 129063 1146 0 0 20 0 1 0 268460697 2638102528 611791 33554432000 4194304 10169799 140735350189872 140735350184472 8009301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 644068 611791 852 1459 0 642600 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2576272
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 822
/proc/meminfo: memFree=23068188/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2615916 CPUtime=1362.08 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 968970 0 0 0 135034 1174 0 0 20 0 1 0 268460697 2678697984 615741 33554432000 4194304 10169799 140735350189872 140735350184472 8009536 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 653979 615741 852 1459 0 652511 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2615916
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 823
/proc/meminfo: memFree=23132232/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2576384 CPUtime=1422.08 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 979766 0 0 0 141011 1197 0 0 20 0 1 0 268460697 2638217216 611415 33554432000 4194304 10169799 140735350189872 140735350184152 8004379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 644096 611415 852 1459 0 642628 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2576384
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 823
/proc/meminfo: memFree=23092092/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2576280 CPUtime=1482.06 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 997564 0 0 0 146973 1233 0 0 20 0 1 0 268460697 2638110720 611785 33554432000 4194304 10169799 140735350189872 140735350184856 8004368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 644070 611785 852 1459 0 642602 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2576280
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1531
/proc/meminfo: memFree=25623704/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2572368 CPUtime=1542.05 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1005865 0 0 0 152933 1272 0 0 20 0 1 0 268460697 2634104832 611411 33554432000 4194304 10169799 140735350189872 140735350184152 8009306 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 643092 611411 852 1459 0 641624 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2572368
[startup+1602.3 s]
/proc/loadavg: 1.91 1.97 1.99 3/179 2058
/proc/meminfo: memFree=24507876/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2598304 CPUtime=1602.04 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1016920 0 0 0 158900 1304 0 0 20 0 1 0 268460697 2660663296 611978 33554432000 4194304 10169799 140735350189872 140735350184472 7591838 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 649576 611978 852 1459 0 648108 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2598304
[startup+1662.3 s]
/proc/loadavg: 1.96 1.97 1.99 3/179 2058
/proc/meminfo: memFree=24292248/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2576276 CPUtime=1662.03 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1018794 0 0 0 164873 1330 0 0 20 0 1 0 268460697 2638106624 609440 33554432000 4194304 10169799 140735350189872 140735350184152 7909146 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 644069 609440 852 1459 0 642601 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2576276
[startup+1722.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/179 2059
/proc/meminfo: memFree=24232388/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2638184 CPUtime=1722.02 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1022953 0 0 0 170837 1365 0 0 20 0 1 0 268460697 2701500416 620939 33554432000 4194304 10169799 140735350189872 140735350184472 8009933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 659546 620939 852 1459 0 658078 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2638184
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 2059
/proc/meminfo: memFree=24275920/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2576276 CPUtime=1782.02 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1027031 0 0 0 176814 1388 0 0 20 0 1 0 268460697 2638106624 609446 33554432000 4194304 10169799 140735350189872 140735350183736 8004379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 644069 609446 852 1459 0 642601 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2576276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.06 1.99 1.99 3/179 2059
/proc/meminfo: memFree=24275144/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2576276 CPUtime=1800.01 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1027525 0 0 0 178608 1393 0 0 20 0 1 0 268460697 2638106624 609440 33554432000 4194304 10169799 140735350189872 140735350184856 8004337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 644069 609440 852 1459 0 642601 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2576276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -808
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.06 1.99 1.99 3/180 2060
/proc/meminfo: memFree=24275144/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2576276 CPUtime=1801.11 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1027528 0 0 0 178718 1393 0 0 20 0 1 0 268460697 2638106624 609443 33554432000 4194304 10169799 140735350189872 140735350184472 5061978 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 644069 609443 855 1459 0 642601 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 2576276
[startup+1801.81 s]
/proc/loadavg: 2.06 1.99 1.99 3/180 2060
/proc/meminfo: memFree=24274888/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2576276 CPUtime=1801.52 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1027528 0 0 0 178759 1393 0 0 20 0 1 0 268460697 2638106624 609443 33554432000 4194304 10169799 140735350189872 140735350188952 7542233 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 644069 609443 855 1459 0 642601 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 2576276
[startup+1802.2 s]
/proc/loadavg: 2.06 1.99 1.99 3/180 2060
/proc/meminfo: memFree=24274888/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2574864 CPUtime=1801.91 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1027528 0 0 0 178798 1393 0 0 20 0 1 0 268460697 2636660736 609090 33554432000 4194304 10169799 140735350189872 140735350188952 7542273 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 643716 609090 855 1459 0 642248 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 2574864
[startup+1802.3 s]
/proc/loadavg: 2.06 1.99 1.99 3/180 2060
/proc/meminfo: memFree=24274888/32873844 swapFree=7608/7608
[pid=808] ppid=806 vsize=2574864 CPUtime=1802.01 cores=0,2,4,6
/proc/808/stat : 808 (scip-2.1.1.4sfi) R 806 808 30878 0 -1 4202496 1027528 0 0 0 178808 1393 0 0 20 0 1 0 268460697 2636660736 609090 33554432000 4194304 10169799 140735350189872 140735350188952 7542302 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/808/statm: 643716 609090 855 1459 0 642248 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 2574864
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.39
CPU time (s): 1802.11
CPU user time (s): 1788.09
CPU system time (s): 14.0199
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 3627276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.09
system time used= 14.0199
maximum resident set size= 3494828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027528
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= 1890
runsolver used 6.16406 second user time and 18.6162 second system time
The end