0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3488863-1307762251.opb>
3.30/3.33 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
3.30/3.33 c problem read
3.30/3.33 c presolving settings loaded
4.30/4.35 c presolving:
8.39/8.40 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
15.09/15.17 c (15.2s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
15.09/15.17 c (15.2s) probing aborted: 100/100 successive totally useless probings
15.09/15.17 c presolving (2 rounds):
15.09/15.17 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.09/15.17 c 1313400 implications, 0 cliques
15.09/15.17 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
15.09/15.17 c 656700 constraints of type <setppc>
15.09/15.17 c 200 constraints of type <logicor>
15.09/15.17 c transformed objective value is always integral (scale: 1)
15.09/15.17 c Presolving Time: 11.00
15.09/15.17 c - non default parameters ----------------------------------------------------------------------
15.09/15.17 c # SCIP version 2.0.1.5
15.09/15.17 c
15.09/15.17 c # frequency for displaying node information lines
15.09/15.17 c # [type: int, range: [-1,2147483647], default: 100]
15.09/15.17 c display/freq = 10000
15.09/15.17 c
15.09/15.17 c # maximal time in seconds to run
15.09/15.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.09/15.17 c limits/time = 1797
15.09/15.17 c
15.09/15.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.09/15.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.09/15.17 c limits/memory = 13950
15.09/15.17 c
15.09/15.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
15.09/15.17 c # [type: int, range: [1,2], default: 1]
15.09/15.17 c timing/clocktype = 2
15.09/15.17 c
15.09/15.17 c # belongs reading time to solving time?
15.09/15.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.09/15.17 c timing/reading = TRUE
15.09/15.17 c
15.09/15.17 c # should presolving try to simplify inequalities
15.09/15.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.09/15.17 c constraints/linear/simplifyinequalities = TRUE
15.09/15.17 c
15.09/15.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
15.09/15.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.09/15.17 c constraints/indicator/addCouplingCons = TRUE
15.09/15.17 c
15.09/15.17 c # should presolving try to simplify knapsacks
15.09/15.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.09/15.17 c constraints/knapsack/simplifyinequalities = TRUE
15.09/15.17 c
15.09/15.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.09/15.17 c # [type: int, range: [-1,2147483647], default: -1]
15.09/15.17 c separating/rapidlearning/freq = 0
15.09/15.17 c
15.09/15.17 c -----------------------------------------------------------------------------------------------
15.09/15.17 c start solving
15.09/15.18 c
30.98/31.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.98/31.09 c 31.1s| 1 | 0 | 1081 | - | 812M| 0 | 274 | 10k| 656k| 10k| 656k| 0 | 45 | 0 | 1.659250e+02 | -- | Inf
230.10/230.19 c 230s| 1 | 0 | 23104 | - | 820M| 0 | 261 | 10k| 656k| 10k| 656k| 9 | 45 | 0 | 1.714000e+02 | -- | Inf
291.40/291.47 c 291s| 1 | 0 | 24168 | - | 823M| 0 | 296 | 10k| 656k| 10k| 656k| 22 | 45 | 0 | 1.782342e+02 | -- | Inf
415.10/415.19 c 415s| 1 | 0 | 25840 | - | 823M| 0 | 286 | 10k| 656k| 10k| 656k| 30 | 45 | 0 | 1.852187e+02 | -- | Inf
588.70/588.74 c 589s| 1 | 0 | 26504 | - | 823M| 0 | 297 | 10k| 656k| 10k| 656k| 39 | 45 | 0 | 1.884839e+02 | -- | Inf
791.41/791.45 c 791s| 1 | 0 | 27628 | - | 823M| 0 | 296 | 10k| 656k| 10k| 656k| 47 | 45 | 0 | 1.926211e+02 | -- | Inf
1297.61/1297.67 c 1298s| 1 | 0 | 28346 | - | 823M| 0 | 284 | 10k| 656k| 10k| 656k| 53 | 45 | 0 | 1.959494e+02 | -- | Inf
1776.73/1776.75 c 1777s| 1 | 0 | 28808 | - | 823M| 0 | 291 | 10k| 656k| 10k| 656k| 59 | 45 | 0 | 1.983051e+02 | -- | Inf
1797.03/1797.03 c 1797s| 1 | 0 | 28808 | - | 823M| 0 | - | 10k| 656k| 10k| 656k| 60 | 45 | 0 | 1.983051e+02 | -- | Inf
1797.23/1797.24 c 1797s| 1 | 2 | 28808 | - | 823M| 0 | - | 10k| 656k| 10k| 656k| 60 | 45 | 0 | 1.983051e+02 | -- | Inf
1797.23/1797.24 c
1797.23/1797.24 c SCIP Status : solving was interrupted [time limit reached]
1797.23/1797.24 c Solving Time (sec) : 1797.24
1797.23/1797.24 c Solving Nodes : 1
1797.23/1797.24 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.23/1797.24 c Dual Bound : +1.98305115647078e+02
1797.23/1797.24 c Gap : infinite
1797.23/1797.24 s UNKNOWN
1797.23/1797.24 c SCIP Status : solving was interrupted [time limit reached]
1797.23/1797.24 c Total Time : 1797.24
1797.23/1797.24 c solving : 1797.24
1797.23/1797.24 c presolving : 11.00 (included in solving)
1797.23/1797.24 c reading : 3.33 (included in solving)
1797.23/1797.24 c Original Problem :
1797.23/1797.24 c Problem name : HOME/instance-3488863-1307762251.opb
1797.23/1797.24 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.23/1797.24 c Constraints : 656900 initial, 656900 maximal
1797.23/1797.24 c Presolved Problem :
1797.23/1797.24 c Problem name : t_HOME/instance-3488863-1307762251.opb
1797.23/1797.24 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.23/1797.24 c Constraints : 656900 initial, 656945 maximal
1797.23/1797.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.23/1797.24 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c probing : 6.03 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c setppc : 0.73 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c linear : 3.46 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.23/1797.24 c root node : - 0 - - 0 - - - - -
1797.23/1797.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.23/1797.24 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1797.23/1797.24 c setppc : 656700 8 316 0 1 3 551 2 0 0 0 0
1797.23/1797.24 c logicor : 200+ 8 164 0 1 2 7 13 0 0 0 0
1797.23/1797.24 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.23/1797.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.23/1797.24 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.23/1797.24 c setppc : 7.55 0.52 6.71 0.00 0.21 0.11 0.00
1797.23/1797.24 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.23/1797.24 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.23/1797.24 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.23/1797.24 c vbounds : 0 0 0 0
1797.23/1797.24 c rootredcost : 0 0 0 0
1797.23/1797.24 c pseudoobj : 124 0 0 0
1797.23/1797.24 c Propagator Timings : TotalTime Propagate Resprop
1797.23/1797.24 c vbounds : 0.00 0.00 0.00
1797.23/1797.24 c rootredcost : 0.00 0.00 0.00
1797.23/1797.24 c pseudoobj : 0.00 0.00 0.00
1797.23/1797.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.23/1797.24 c propagation : 0.00 15 9 263 89.1 0 0.0 -
1797.23/1797.24 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.23/1797.24 c applied globally : - - - 45 57.7 - - -
1797.23/1797.24 c applied locally : - - - 0 0.0 - - -
1797.23/1797.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.23/1797.24 c cut pool : 0.02 7 - - 0 - (maximal pool size: 136)
1797.23/1797.24 c redcost : 0.00 8 0 0 0 0
1797.23/1797.24 c impliedbounds : 0.01 8 0 0 0 0
1797.23/1797.24 c intobj : 0.00 0 0 0 0 0
1797.23/1797.24 c gomory : 698.31 8 0 0 2541 0
1797.23/1797.24 c cgmip : 0.00 0 0 0 0 0
1797.23/1797.24 c closecuts : 0.00 0 0 0 0 0
1797.23/1797.24 c strongcg : 640.11 7 0 0 2500 0
1797.23/1797.24 c cmir : 12.66 7 0 0 0 0
1797.23/1797.24 c flowcover : 166.60 7 0 0 0 0
1797.23/1797.24 c clique : 0.72 7 0 0 44 0
1797.23/1797.24 c zerohalf : 0.00 0 0 0 0 0
1797.23/1797.24 c mcf : 0.36 1 0 0 0 0
1797.23/1797.24 c oddcycle : 0.00 0 0 0 0 0
1797.23/1797.24 c rapidlearning : 0.00 0 0 0 0 0
1797.23/1797.24 c Pricers : Time Calls Vars
1797.23/1797.24 c problem variables: 0.00 0 0
1797.23/1797.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.23/1797.24 c relpscost : 0.00 0 0 0 0 0 0
1797.23/1797.24 c pscost : 0.00 0 0 0 0 0 0
1797.23/1797.24 c inference : 0.00 1 0 0 0 0 2
1797.23/1797.24 c mostinf : 0.00 0 0 0 0 0 0
1797.23/1797.24 c leastinf : 0.00 0 0 0 0 0 0
1797.23/1797.24 c fullstrong : 0.00 0 0 0 0 0 0
1797.23/1797.24 c allfullstrong : 0.00 0 0 0 0 0 0
1797.23/1797.24 c random : 0.00 0 0 0 0 0 0
1797.23/1797.24 c Primal Heuristics : Time Calls Found
1797.23/1797.24 c LP solutions : 0.00 - 0
1797.23/1797.24 c pseudo solutions : 0.00 - 0
1797.23/1797.24 c oneopt : 0.00 0 0
1797.23/1797.24 c trivial : 0.29 2 0
1797.23/1797.24 c shiftandpropagate: 3.03 1 0
1797.23/1797.24 c simplerounding : 0.00 0 0
1797.23/1797.24 c zirounding : 0.00 0 0
1797.23/1797.24 c rounding : 0.21 8 0
1797.23/1797.24 c shifting : 0.37 8 0
1797.23/1797.24 c intshifting : 0.00 0 0
1797.23/1797.24 c twoopt : 0.00 0 0
1797.23/1797.24 c fixandinfer : 0.00 0 0
1797.23/1797.24 c feaspump : 149.12 1 0
1797.23/1797.24 c clique : 0.00 0 0
1797.23/1797.24 c coefdiving : 0.00 0 0
1797.23/1797.24 c pscostdiving : 0.00 0 0
1797.23/1797.24 c fracdiving : 0.00 0 0
1797.23/1797.24 c veclendiving : 0.00 0 0
1797.23/1797.24 c intdiving : 0.00 0 0
1797.23/1797.24 c actconsdiving : 0.00 0 0
1797.23/1797.24 c objpscostdiving : 0.00 0 0
1797.23/1797.24 c rootsoldiving : 0.00 0 0
1797.23/1797.24 c linesearchdiving : 0.00 0 0
1797.23/1797.24 c guideddiving : 0.00 0 0
1797.23/1797.24 c octane : 0.00 0 0
1797.23/1797.24 c rens : 0.00 0 0
1797.23/1797.24 c rins : 0.00 0 0
1797.23/1797.24 c localbranching : 0.00 0 0
1797.23/1797.24 c mutation : 0.00 0 0
1797.23/1797.24 c crossover : 0.00 0 0
1797.23/1797.24 c dins : 0.00 0 0
1797.23/1797.24 c vbounds : 0.00 0 0
1797.23/1797.24 c undercover : 0.00 0 0
1797.23/1797.24 c subnlp : 0.00 0 0
1797.23/1797.24 c trysol : 0.00 0 0
1797.23/1797.24 c LP : Time Calls Iterations Iter/call Iter/sec
1797.23/1797.24 c primal LP : 0.00 0 0 0.00 -
1797.23/1797.24 c dual LP : 108.88 8 7414 926.75 68.09
1797.23/1797.24 c lex dual LP : 0.00 0 0 0.00 -
1797.23/1797.24 c barrier LP : 0.00 0 0 0.00 -
1797.23/1797.24 c diving/probing LP: 148.63 9 21394 2377.11 143.94
1797.23/1797.24 c strong branching : 0.00 0 0 0.00 -
1797.23/1797.24 c (at root node) : - 0 0 0.00 -
1797.23/1797.24 c conflict analysis: 0.00 0 0 0.00 -
1797.23/1797.24 c B&B Tree :
1797.23/1797.24 c number of runs : 1
1797.23/1797.24 c nodes : 1
1797.23/1797.24 c nodes (total) : 1
1797.23/1797.24 c nodes left : 2
1797.23/1797.24 c max depth : 0
1797.23/1797.24 c max depth (total): 0
1797.23/1797.24 c backtracks : 0 (0.0%)
1797.23/1797.24 c delayed cutoffs : 0
1797.23/1797.24 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.23/1797.24 c avg switch length: 1.00
1797.23/1797.24 c switching time : 0.00
1797.23/1797.25 c Solution :
1797.23/1797.25 c Solutions found : 0 (0 improvements)
1797.23/1797.25 c Primal Bound : -
1797.23/1797.25 c Dual Bound : +1.98305115647078e+02
1797.23/1797.25 c Gap : infinite
1797.23/1797.25 c Root Dual Bound : +1.98305115647078e+02
1797.23/1797.25 c Root Iterations : 28808
1799.83/1799.84 c Time complete: 1799.87.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488863-1307762251/watcher-3488863-1307762251 -o /tmp/evaluation-result-3488863-1307762251/solver-3488863-1307762251 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488863-1307762251.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: 3.00 3.00 3.22 3/178 30237
/proc/meminfo: memFree=31137820/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=12880 CPUtime=0 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 2177 0 0 0 0 0 0 0 23 0 1 0 887825029 13189120 2131 33554432000 4194304 9016284 140733614548704 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30237/statm: 3220 2139 353 1178 0 2038 0
[startup+0.057635 s]
/proc/loadavg: 3.00 3.00 3.22 3/178 30237
/proc/meminfo: memFree=31137820/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=24304 CPUtime=0.05 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 5086 0 0 0 5 0 0 0 23 0 1 0 887825029 24887296 5038 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30237/statm: 6076 5038 360 1178 0 4894 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24304
[startup+0.100622 s]
/proc/loadavg: 3.00 3.00 3.22 3/178 30237
/proc/meminfo: memFree=31137820/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=27724 CPUtime=0.09 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 5958 0 0 0 9 0 0 0 23 0 1 0 887825029 28389376 5910 33554432000 4194304 9016284 140733614548704 18446744073709551615 4536486 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30237/statm: 6931 5910 360 1178 0 5749 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27724
[startup+0.300585 s]
/proc/loadavg: 3.00 3.00 3.22 3/178 30237
/proc/meminfo: memFree=31137820/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=41948 CPUtime=0.29 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 9515 0 0 0 29 0 0 0 25 0 1 0 887825029 42954752 9457 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30237/statm: 10487 9457 360 1178 0 9305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41948
[startup+0.700516 s]
/proc/loadavg: 3.00 3.00 3.22 3/178 30237
/proc/meminfo: memFree=31137820/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=71632 CPUtime=0.69 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 16902 0 0 0 68 1 0 0 25 0 1 0 887825029 73351168 16844 33554432000 4194304 9016284 140733614548704 18446744073709551615 7290697 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30237/statm: 17908 16844 360 1178 0 16726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71632
[startup+1.50037 s]
/proc/loadavg: 3.00 3.00 3.22 4/179 30238
/proc/meminfo: memFree=31051044/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=127824 CPUtime=1.49 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 30919 0 0 0 145 4 0 0 25 0 1 0 887825029 130891776 30861 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30237/statm: 31956 30861 360 1178 0 30774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127824
[startup+3.10109 s]
/proc/loadavg: 3.00 3.00 3.22 4/179 30238
/proc/meminfo: memFree=30970308/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=244360 CPUtime=3.09 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 59968 0 0 0 302 7 0 0 25 0 1 0 887825029 250224640 59910 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30237/statm: 61090 59910 360 1178 0 59908 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 244360
[startup+6.30048 s]
/proc/loadavg: 3.00 3.00 3.22 4/179 30238
/proc/meminfo: memFree=30469836/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=759972 CPUtime=6.29 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 188795 0 0 0 607 22 0 0 25 0 1 0 887825029 778211328 188084 33554432000 4194304 9016284 140733614548704 18446744073709551615 4445512 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30237/statm: 189993 188084 475 1178 0 188811 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 759972
[startup+12.7004 s]
/proc/loadavg: 3.07 3.02 3.23 4/179 30238
/proc/meminfo: memFree=30381696/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=762308 CPUtime=12.69 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 264681 0 0 0 1237 32 0 0 25 0 1 0 887825029 780603392 188013 33554432000 4194304 9016284 140733614548704 18446744073709551615 4222991 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30237/statm: 190577 188013 549 1178 0 189395 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 762308
[startup+25.5011 s]
/proc/loadavg: 3.06 3.02 3.22 4/179 30238
/proc/meminfo: memFree=29671652/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1550856 CPUtime=25.49 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 479745 0 0 0 2493 56 0 0 25 0 1 0 887825029 1588076544 365539 33554432000 4194304 9016284 140733614548704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 387714 365539 1007 1178 0 386532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1550856
[startup+51.1006 s]
/proc/loadavg: 3.04 3.01 3.21 4/179 30239
/proc/meminfo: memFree=29710848/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1464944 CPUtime=51.09 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 504090 0 0 0 5049 60 0 0 25 0 1 0 887825029 1500102656 354818 33554432000 4194304 9016284 140733614548704 18446744073709551615 6975438 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 366236 354818 959 1178 0 365054 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1464944
[startup+102.307 s]
/proc/loadavg: 3.01 3.01 3.20 4/179 30240
/proc/meminfo: memFree=29706244/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1464944 CPUtime=102.29 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 509885 0 0 0 10164 65 0 0 25 0 1 0 887825029 1500102656 355026 33554432000 4194304 9016284 140733614548704 18446744073709551615 7180372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 366236 355026 959 1178 0 365054 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1464944
[startup+162.301 s]
/proc/loadavg: 3.00 3.00 3.18 4/179 30242
/proc/meminfo: memFree=29698892/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1464944 CPUtime=162.29 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 516164 0 0 0 16157 72 0 0 25 0 1 0 887825029 1500102656 355200 33554432000 4194304 9016284 140733614548704 18446744073709551615 7180372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 366236 355200 982 1178 0 365054 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1464944
[startup+222.3 s]
/proc/loadavg: 3.00 3.00 3.17 4/179 30244
/proc/meminfo: memFree=29590832/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1598492 CPUtime=222.29 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 551471 0 0 0 22150 79 0 0 25 0 1 0 887825029 1636855808 380949 33554432000 4194304 9016284 140733614548704 18446744073709551615 7082192 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 399623 380949 1173 1178 0 398441 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1598492
[startup+282.301 s]
/proc/loadavg: 3.00 3.00 3.16 4/179 30283
/proc/meminfo: memFree=28536468/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1639108 CPUtime=282.3 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 561829 0 0 0 28148 82 0 0 25 0 1 0 887825029 1678446592 390572 33554432000 4194304 9016284 140733614548704 18446744073709551615 7082051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 409777 390572 1098 1178 0 408595 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1639108
[startup+342.301 s]
/proc/loadavg: 3.00 3.00 3.15 4/179 30285
/proc/meminfo: memFree=28535468/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1639108 CPUtime=342.3 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 562218 0 0 0 34146 84 0 0 25 0 1 0 887825029 1678446592 390572 33554432000 4194304 9016284 140733614548704 18446744073709551615 7876078 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 409777 390572 1098 1178 0 408595 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1639108
[startup+402.301 s]
/proc/loadavg: 3.00 3.00 3.13 4/179 30286
/proc/meminfo: memFree=28507176/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1664768 CPUtime=402.3 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 569259 0 0 0 40143 87 0 0 25 0 1 0 887825029 1704722432 397201 33554432000 4194304 9016284 140733614548704 18446744073709551615 7156521 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 416192 397201 1098 1178 0 415010 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1664768
[startup+462.301 s]
/proc/loadavg: 3.05 3.01 3.13 4/179 30288
/proc/meminfo: memFree=28506748/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1664768 CPUtime=462.3 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 569820 0 0 0 46140 90 0 0 25 0 1 0 887825029 1704722432 397201 33554432000 4194304 9016284 140733614548704 18446744073709551615 7875922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 416192 397201 1098 1178 0 415010 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1664768
[startup+522.3 s]
/proc/loadavg: 3.02 3.01 3.12 4/179 30290
/proc/meminfo: memFree=28505716/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1664768 CPUtime=522.3 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 569820 0 0 0 52137 93 0 0 25 0 1 0 887825029 1704722432 397201 33554432000 4194304 9016284 140733614548704 18446744073709551615 7876126 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 416192 397201 1098 1178 0 415010 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1664768
[startup+582.301 s]
/proc/loadavg: 3.00 3.00 3.10 4/179 30291
/proc/meminfo: memFree=28553548/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1636544 CPUtime=582.31 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 570143 0 0 0 58136 95 0 0 25 0 1 0 887825029 1675821056 390339 33554432000 4194304 9016284 140733614548704 18446744073709551615 7082000 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 409136 390339 1097 1178 0 407954 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1636544
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28423696/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1662204 CPUtime=1122.31 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 577858 0 0 0 112111 120 0 0 25 0 1 0 887825029 1702096896 396943 33554432000 4194304 9016284 140733614548704 18446744073709551615 6586592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 415551 396943 1097 1178 0 414369 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1662204
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 3.04 4/179 30307
/proc/meminfo: memFree=28423780/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1662204 CPUtime=1182.31 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 577858 0 0 0 118108 123 0 0 25 0 1 0 887825029 1702096896 396943 33554432000 4194304 9016284 140733614548704 18446744073709551615 6924934 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 415551 396943 1097 1178 0 414369 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1662204
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 3.04 4/179 30309
/proc/meminfo: memFree=28397208/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1662204 CPUtime=1242.31 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 577858 0 0 0 124106 125 0 0 25 0 1 0 887825029 1702096896 396943 33554432000 4194304 9016284 140733614548704 18446744073709551615 6924808 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 415551 396943 1097 1178 0 414369 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1662204
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 3.03 4/179 30310
/proc/meminfo: memFree=28370880/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1737632 CPUtime=1302.32 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 584574 0 0 0 130105 127 0 0 25 0 1 0 887825029 1779335168 403659 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 434408 403659 1097 1178 0 433226 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1737632
[startup+1362.3 s]
/proc/loadavg: 3.00 3.00 3.03 4/179 30312
/proc/meminfo: memFree=28371100/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1737632 CPUtime=1362.32 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 584574 0 0 0 136101 131 0 0 25 0 1 0 887825029 1779335168 403659 33554432000 4194304 9016284 140733614548704 18446744073709551615 6922736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 434408 403659 1097 1178 0 433226 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1737632
[startup+1422.31 s]
/proc/loadavg: 3.00 3.00 3.02 4/179 30314
/proc/meminfo: memFree=28370924/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1737632 CPUtime=1422.33 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 584574 0 0 0 142099 134 0 0 25 0 1 0 887825029 1779335168 403659 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870559 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 434408 403659 1097 1178 0 433226 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1737632
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 3.02 4/179 30315
/proc/meminfo: memFree=28371016/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1737632 CPUtime=1482.33 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 584574 0 0 0 148096 137 0 0 25 0 1 0 887825029 1779335168 403659 33554432000 4194304 9016284 140733614548704 18446744073709551615 6922736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 434408 403659 1097 1178 0 433226 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1737632
[startup+1542.3 s]
/proc/loadavg: 3.00 3.00 3.01 4/179 30317
/proc/meminfo: memFree=28370972/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1737632 CPUtime=1542.33 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 584574 0 0 0 154094 139 0 0 25 0 1 0 887825029 1779335168 403659 33554432000 4194304 9016284 140733614548704 18446744073709551615 6586606 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 434408 403659 1097 1178 0 433226 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1737632
[startup+1602.3 s]
/proc/loadavg: 3.03 3.01 3.01 4/179 30318
/proc/meminfo: memFree=28370924/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1737632 CPUtime=1602.33 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 584574 0 0 0 160092 141 0 0 25 0 1 0 887825029 1779335168 403659 33554432000 4194304 9016284 140733614548704 18446744073709551615 7876131 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 434408 403659 1097 1178 0 433226 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1737632
[startup+1662.3 s]
/proc/loadavg: 3.01 3.01 3.00 4/179 30320
/proc/meminfo: memFree=28370984/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1737632 CPUtime=1662.32 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 584574 0 0 0 166089 143 0 0 25 0 1 0 887825029 1779335168 403659 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870559 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 434408 403659 1097 1178 0 433226 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1737632
[startup+1722.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30322
/proc/meminfo: memFree=28371060/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1737632 CPUtime=1722.33 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 584574 0 0 0 172087 146 0 0 25 0 1 0 887825029 1779335168 403659 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 434408 403659 1097 1178 0 433226 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1737632
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30323
/proc/meminfo: memFree=28441444/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1665776 CPUtime=1782.34 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 585076 0 0 0 178086 148 0 0 25 0 1 0 887825029 1705754624 396032 33554432000 4194304 9016284 140733614548704 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 416444 396032 1097 1178 0 415262 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1665776
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30324
/proc/meminfo: memFree=28441560/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1665776 CPUtime=1791.94 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 585076 0 0 0 179046 148 0 0 25 0 1 0 887825029 1705754624 396032 33554432000 4194304 9016284 140733614548704 18446744073709551615 6578058 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 416444 396032 1097 1178 0 415262 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 1665776
[startup+1795.1 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30324
/proc/meminfo: memFree=28441560/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1665776 CPUtime=1795.13 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 585076 0 0 0 179365 148 0 0 25 0 1 0 887825029 1705754624 396032 33554432000 4194304 9016284 140733614548704 18446744073709551615 6922753 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30237/statm: 416444 396032 1097 1178 0 415262 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 1665776
[startup+1798.3 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30324
/proc/meminfo: memFree=28416632/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1678836 CPUtime=1798.33 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 591469 0 0 0 179684 149 0 0 25 0 1 0 887825029 1719128064 399278 33554432000 4194304 9016284 140733614548704 18446744073709551615 6469232 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30237/statm: 419709 399278 1105 1178 0 418527 0
Current children cumulated CPU time (s) 1798.33
Current children cumulated vsize (KiB) 1678836
[startup+1799.1 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30324
/proc/meminfo: memFree=28431140/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1656396 CPUtime=1799.14 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 591469 0 0 0 179764 150 0 0 25 0 1 0 887825029 1696149504 393668 33554432000 4194304 9016284 140733614548704 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30237/statm: 414099 393668 1105 1178 0 412917 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 1656396
[startup+1799.5 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30324
/proc/meminfo: memFree=28463504/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1644120 CPUtime=1799.54 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 591469 0 0 0 179804 150 0 0 25 0 1 0 887825029 1683578880 390599 33554432000 4194304 9016284 140733614548704 18446744073709551615 4446658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30237/statm: 411030 390599 1105 1178 0 409848 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 1644120
[startup+1799.7 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30324
/proc/meminfo: memFree=28463504/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1247288 CPUtime=1799.74 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 591469 0 0 0 179822 152 0 0 25 0 1 0 887825029 1277222912 304849 33554432000 4194304 9016284 140733614548704 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30237/statm: 311565 304592 1105 1178 0 310383 0
Current children cumulated CPU time (s) 1799.74
Current children cumulated vsize (KiB) 1247288
[startup+1799.8 s]
/proc/loadavg: 3.00 3.00 3.00 4/179 30324
/proc/meminfo: memFree=28463504/32950928 swapFree=67055156/67111528
[pid=30237] ppid=30235 vsize=1111016 CPUtime=1799.83 cores=0,2,4,6
/proc/30237/stat : 30237 (scip-2.0.1.4b_2) R 30235 30237 30017 0 -1 4202496 591469 0 0 0 179830 153 0 0 25 0 1 0 887825029 1137680384 270859 33554432000 4194304 9016284 140733614548704 18446744073709551615 4445232 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30237/statm: 277754 270859 1105 1178 0 276572 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 1111016
Child status: 0
Real time (s): 1799.85
CPU time (s): 1799.89
CPU user time (s): 1798.31
CPU system time (s): 1.57876
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1737632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 1.57876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591477
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= 5
involuntary context switches= 4031
runsolver used 2.88156 second user time and 6.92495 second system time
The end