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-3733977-1338711591.opb>
0.48/0.51 c original problem has 13480 variables (13480 bin, 0 int, 0 impl, 0 cont) and 26619 constraints
0.48/0.51 c problem read
0.48/0.51 c presolving settings loaded
0.69/0.71 c presolving:
0.79/0.88 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.96 c (round 2) 0 del vars, 13110 del conss, 0 add conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 209 upgd conss, 0 impls, 0 clqs
0.99/1.04 c (round 3) 0 del vars, 13110 del conss, 0 add conss, 0 chg bounds, 380 chg sides, 380 chg coeffs, 399 upgd conss, 1792 impls, 0 clqs
3.58/3.65 c (3.6s) probing: 119/13480 (0.9%) - 0 fixings, 0 aggregations, 7776 implications, 0 bound changes
3.58/3.65 c (3.6s) probing aborted: 100/100 successive totally useless probings
3.58/3.65 c presolving (4 rounds):
3.58/3.65 c 0 deleted vars, 13110 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 380 changed sides, 380 changed coefficients
3.58/3.65 c 26980 implications, 0 cliques
3.58/3.65 c presolved problem has 13480 variables (13480 bin, 0 int, 0 impl, 0 cont) and 13509 constraints
3.58/3.65 c 399 constraints of type <knapsack>
3.58/3.65 c 13110 constraints of type <linear>
3.58/3.65 c transformed objective value is always integral (scale: 1)
3.58/3.65 c Presolving Time: 2.96
3.58/3.65 c - non default parameters ----------------------------------------------------------------------
3.58/3.65 c # SCIP version 2.0.1.5
3.58/3.65 c
3.58/3.65 c # frequency for displaying node information lines
3.58/3.65 c # [type: int, range: [-1,2147483647], default: 100]
3.58/3.65 c display/freq = 10000
3.58/3.65 c
3.58/3.65 c # maximal time in seconds to run
3.58/3.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.58/3.65 c limits/time = 1797
3.58/3.65 c
3.58/3.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.58/3.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.58/3.65 c limits/memory = 13950
3.58/3.65 c
3.58/3.65 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.58/3.65 c # [type: int, range: [1,2], default: 1]
3.58/3.65 c timing/clocktype = 2
3.58/3.65 c
3.58/3.65 c # belongs reading time to solving time?
3.58/3.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.58/3.65 c timing/reading = TRUE
3.58/3.65 c
3.58/3.65 c # should presolving try to simplify inequalities
3.58/3.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.58/3.65 c constraints/linear/simplifyinequalities = TRUE
3.58/3.65 c
3.58/3.65 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.58/3.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.58/3.65 c constraints/indicator/addCouplingCons = TRUE
3.58/3.65 c
3.58/3.65 c # should presolving try to simplify knapsacks
3.58/3.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.58/3.65 c constraints/knapsack/simplifyinequalities = TRUE
3.58/3.65 c
3.58/3.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.58/3.65 c # [type: int, range: [-1,2147483647], default: -1]
3.58/3.65 c separating/rapidlearning/freq = 0
3.58/3.65 c
3.58/3.65 c -----------------------------------------------------------------------------------------------
3.58/3.65 c start solving
3.58/3.65 c
6.89/6.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.93 c 6.9s| 1 | 0 | 11473 | - | 127M| 0 |7503 | 13k| 13k| 13k| 13k| 0 | 15 | 0 | 1.900000e+01 | -- | Inf
22.68/22.79 c 22.8s| 1 | 0 | 38545 | - | 128M| 0 |7524 | 13k| 13k| 13k| 13k| 95 | 15 | 0 | 1.900000e+01 | -- | Inf
24.19/24.23 c 24.2s| 1 | 0 | 38855 | - | 129M| 0 |7521 | 13k| 13k| 13k| 13k| 221 | 15 | 0 | 1.900000e+01 | -- | Inf
25.98/26.02 c 26.0s| 1 | 0 | 39362 | - | 129M| 0 |7534 | 13k| 13k| 13k| 13k| 349 | 15 | 0 | 1.900000e+01 | -- | Inf
27.88/27.94 c 27.9s| 1 | 0 | 39819 | - | 130M| 0 |7528 | 13k| 13k| 13k| 13k| 455 | 15 | 0 | 1.900000e+01 | -- | Inf
30.48/30.50 c 30.5s| 1 | 0 | 40789 | - | 131M| 0 |7533 | 13k| 13k| 13k| 14k| 571 | 15 | 0 | 1.900000e+01 | -- | Inf
32.89/32.95 c 32.9s| 1 | 0 | 41528 | - | 131M| 0 |7556 | 13k| 13k| 13k| 14k| 689 | 15 | 0 | 1.900167e+01 | -- | Inf
88.98/89.05 c 89.0s| 1 | 2 | 41528 | - | 131M| 0 |7556 | 13k| 13k| 13k| 14k| 689 | 15 | 50 | 1.900167e+01 | -- | Inf
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 4865
1796.70/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.01 c Dual Bound : +2.00000000000000e+01
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 s UNKNOWN
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 2.96 (included in solving)
1796.70/1797.01 c reading : 0.51 (included in solving)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3733977-1338711591.opb
1796.70/1797.01 c Variables : 13480 (13480 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 26619 initial, 26619 maximal
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3733977-1338711591.opb
1796.70/1797.01 c Variables : 13480 (13480 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 13509 initial, 16806 maximal
1796.70/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 2.59 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c linear : 0.29 0 0 0 0 0 13110 0 380 380
1796.70/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c root node : - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 4035 0 4 0 1 265 0 0 7946
1796.70/1797.01 c knapsack : 399 6 42155 0 0 3 3930 25 1907 1203 0 0
1796.70/1797.01 c linear : 13110 6 42130 0 0 0 203 23 26087 0 0 0
1796.70/1797.01 c logicor : 0+ 6 4407 0 0 0 2192 4 1416 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.70/1797.01 c integral : 577.93 0.00 0.00 577.93 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 1.26 0.02 1.24 0.00 0.00 0.00 0.00
1796.70/1797.01 c linear : 11.20 0.01 11.19 0.00 0.00 0.00 0.00
1796.70/1797.01 c logicor : 0.07 0.00 0.07 0.00 0.00 0.00 0.00
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c rootredcost : 0 0 0 0
1796.70/1797.01 c pseudoobj : 41891 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.70/1797.01 c vbounds : 0.01 0.01 0.00
1796.70/1797.01 c rootredcost : 0.01 0.01 0.00
1796.70/1797.01 c pseudoobj : 0.03 0.03 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.00 52 52 176 16.4 6 8.8 -
1796.70/1797.01 c infeasible LP : 4.05 2444 2444 3304 13.2 105 18.4 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 3297 12.7 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 5 - - 2976 - (maximal pool size: 3917)
1796.70/1797.01 c redcost : 1.84 4041 0 2 0 0
1796.70/1797.01 c impliedbounds : 0.00 6 0 0 50 0
1796.70/1797.01 c intobj : 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 0.27 6 0 0 73 0
1796.70/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.70/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 0.25 6 0 0 38 0
1796.70/1797.01 c cmir : 2.85 6 0 0 3000 0
1796.70/1797.01 c flowcover : 2.70 6 0 0 1200 0
1796.70/1797.01 c clique : 0.01 1 0 0 0 0
1796.70/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.00 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1796.70/1797.01 c Pricers : Time Calls Vars
1796.70/1797.01 c problem variables: 0.00 0 0
1796.70/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 577.92 4035 1 265 0 0 7946
1796.70/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0 0 0 0 0 0
1796.70/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : Time Calls Found
1796.70/1797.01 c LP solutions : 0.00 - 0
1796.70/1797.01 c pseudo solutions : 0.00 - 0
1796.70/1797.01 c oneopt : 0.00 0 0
1796.70/1797.01 c crossover : 0.00 0 0
1796.70/1797.01 c veclendiving : 30.84 5 0
1796.70/1797.01 c coefdiving : 289.00 5 0
1796.70/1797.01 c feaspump : 33.23 3 0
1796.70/1797.01 c rootsoldiving : 15.69 3 0
1796.70/1797.01 c pscostdiving : 32.69 8 0
1796.70/1797.01 c objpscostdiving : 34.13 6 0
1796.70/1797.01 c linesearchdiving : 29.50 18 0
1796.70/1797.01 c trivial : 0.02 2 0
1796.70/1797.01 c shiftandpropagate: 0.60 1 0
1796.70/1797.01 c simplerounding : 0.00 0 0
1796.70/1797.01 c zirounding : 2.03 1000 0
1796.70/1797.01 c rounding : 2.69 830 0
1796.70/1797.01 c shifting : 18.22 233 0
1796.70/1797.01 c intshifting : 0.00 0 0
1796.70/1797.01 c twoopt : 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0 0
1796.70/1797.01 c clique : 0.00 0 0
1796.70/1797.01 c fracdiving : 206.22 2 0
1796.70/1797.01 c intdiving : 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0 0
1796.70/1797.01 c guideddiving : 0.00 0 0
1796.70/1797.01 c octane : 0.00 0 0
1796.70/1797.01 c rens : 0.11 0 0
1796.70/1797.01 c rins : 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0 0
1796.70/1797.01 c dins : 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0 0
1796.70/1797.01 c subnlp : 0.00 0 0
1796.70/1797.01 c trysol : 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.70/1797.01 c primal LP : 0.10 0 0 0.00 0.00
1796.70/1797.01 c dual LP : 484.90 4851 713190 147.02 1470.78
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.70/1797.01 c diving/probing LP: 653.36 3996 1178249 294.86 1803.36
1796.70/1797.01 c strong branching : 574.45 1377 509217 369.80 886.44
1796.70/1797.01 c (at root node) : - 50 36006 720.12 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 4865
1796.70/1797.01 c nodes (total) : 4865
1796.70/1797.01 c nodes left : 2969
1796.70/1797.01 c max depth : 924
1796.70/1797.01 c max depth (total): 924
1796.70/1797.01 c backtracks : 240 (4.9%)
1796.70/1797.01 c delayed cutoffs : 113
1796.70/1797.01 c repropagations : 30390 (5614 domain reductions, 0 cutoffs)
1796.70/1797.01 c avg switch length: 19.97
1796.70/1797.01 c switching time : 3.95
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 0 (0 improvements)
1796.70/1797.01 c Primal Bound : -
1796.70/1797.01 c Dual Bound : +2.00000000000000e+01
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 c Root Dual Bound : +1.90016666666667e+01
1796.70/1797.01 c Root Iterations : 41528
1796.91/1797.22 c Time complete: 1796.93.
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-3733977-1338711591/watcher-3733977-1338711591 -o /tmp/evaluation-result-3733977-1338711591/solver-3733977-1338711591 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3733977-1338711591.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: 2.00 2.00 2.00 3/176 3888
/proc/meminfo: memFree=30085660/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=9456 CPUtime=0 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 1494 0 0 0 0 0 0 0 20 0 1 0 337285147 9682944 1448 33554432000 4194304 9016284 140735153445168 140734563249048 7875499 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 2364 1449 311 1178 0 1182 0
[startup+0.018943 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3888
/proc/meminfo: memFree=30085660/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=13756 CPUtime=0.01 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 2410 0 0 0 1 0 0 0 20 0 1 0 337285147 14086144 2364 33554432000 4194304 9016284 140735153445168 140734563249048 7749766 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 3439 2364 360 1178 0 2257 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13756
[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3888
/proc/meminfo: memFree=30085660/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=20788 CPUtime=0.09 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 4178 0 0 0 9 0 0 0 20 0 1 0 337285147 21286912 4132 33554432000 4194304 9016284 140735153445168 140734563249048 7868663 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 5197 4132 360 1178 0 4015 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20788
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3888
/proc/meminfo: memFree=30085660/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=33840 CPUtime=0.29 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 7449 0 0 0 28 1 0 0 20 0 1 0 337285147 34652160 7403 33554432000 4194304 9016284 140735153445168 140735153309064 7847688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 8460 7403 360 1178 0 7278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33840
[startup+0.700199 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3888
/proc/meminfo: memFree=30085660/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=197308 CPUtime=0.69 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 52605 0 0 0 62 7 0 0 20 0 1 0 337285147 202043392 46892 33554432000 4194304 9016284 140735153445168 140735153309064 4786462 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 49327 46892 429 1178 0 48145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 197308
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3889
/proc/meminfo: memFree=29896048/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=204560 CPUtime=1.48 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 54552 0 0 0 141 7 0 0 20 0 1 0 337285147 209469440 48433 33554432000 4194304 9016284 140735153445168 140735153440056 5251876 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 51140 48433 515 1178 0 49958 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 204560
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3889
/proc/meminfo: memFree=29893692/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=204560 CPUtime=3.08 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 54552 0 0 0 301 7 0 0 20 0 1 0 337285147 209469440 48433 33554432000 4194304 9016284 140735153445168 140735153440760 5255597 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 51140 48433 515 1178 0 49958 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 204560
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3889
/proc/meminfo: memFree=29784796/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=325288 CPUtime=6.29 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 74334 0 0 0 618 11 0 0 20 0 1 0 337285147 333094912 75624 33554432000 4194304 9016284 140735153445168 140735153438088 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 81322 75624 635 1178 0 80140 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 325288
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3892
/proc/meminfo: memFree=29786336/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=319740 CPUtime=12.69 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 75114 0 0 0 1257 12 0 0 20 0 1 0 337285147 327413760 75756 33554432000 4194304 9016284 140735153445168 140735153436952 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 79935 75756 650 1178 0 78753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 319740
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3892
/proc/meminfo: memFree=29758996/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=356316 CPUtime=25.48 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 78830 0 0 0 2533 15 0 0 20 0 1 0 337285147 364867584 84816 33554432000 4194304 9016284 140735153445168 140735153440328 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 89079 84816 676 1178 0 87897 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 356316
[startup+51.1002 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 3892
/proc/meminfo: memFree=29726824/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=383788 CPUtime=51.08 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 90420 0 0 0 5089 19 0 0 20 0 1 0 337285147 392998912 91939 33554432000 4194304 9016284 140735153445168 140735153438920 7204741 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 95947 91939 690 1178 0 94765 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 383788
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 3892
/proc/meminfo: memFree=29707212/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=390360 CPUtime=102.27 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 103711 0 0 0 10200 27 0 0 20 0 1 0 337285147 399728640 94671 33554432000 4194304 9016284 140735153445168 140735153438472 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 97590 94671 692 1178 0 96408 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 390360
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3892
/proc/meminfo: memFree=29706264/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=390360 CPUtime=162.27 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 103713 0 0 0 16193 34 0 0 20 0 1 0 337285147 399728640 94687 33554432000 4194304 9016284 140735153445168 140735153438920 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 97590 94687 692 1178 0 96408 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 390360
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3892
/proc/meminfo: memFree=29701964/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=390360 CPUtime=222.25 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 103716 0 0 0 22187 38 0 0 20 0 1 0 337285147 399728640 95706 33554432000 4194304 9016284 140735153445168 140735153437976 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 97590 95706 692 1178 0 96408 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 390360
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3893
/proc/meminfo: memFree=29701788/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=390360 CPUtime=282.24 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 103719 0 0 0 28181 43 0 0 20 0 1 0 337285147 399728640 95785 33554432000 4194304 9016284 140735153445168 140735153438088 7214194 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 97590 95785 692 1178 0 96408 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 390360
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3893
/proc/meminfo: memFree=29697736/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=390360 CPUtime=342.22 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 103722 0 0 0 34167 55 0 0 20 0 1 0 337285147 399728640 96693 33554432000 4194304 9016284 140735153445168 140735153437976 7199020 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 97590 96693 694 1178 0 96408 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 390360
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3893
/proc/meminfo: memFree=29697956/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=390360 CPUtime=402.22 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 103722 0 0 0 40153 69 0 0 20 0 1 0 337285147 399728640 96693 33554432000 4194304 9016284 140735153445168 140735153438424 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 97590 96693 694 1178 0 96408 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 390360
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3893
/proc/meminfo: memFree=29697832/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=390360 CPUtime=462.21 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 103723 0 0 0 46142 79 0 0 20 0 1 0 337285147 399728640 96694 33554432000 4194304 9016284 140735153445168 140735153438536 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 97590 96694 695 1178 0 96408 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 390360
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3893
/proc/meminfo: memFree=29692316/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=397048 CPUtime=522.2 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 108422 0 0 0 52130 90 0 0 20 0 1 0 337285147 406577152 98171 33554432000 4194304 9016284 140735153445168 140735153437848 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 99262 98171 695 1178 0 98080 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 397048
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3894
/proc/meminfo: memFree=29698524/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=399752 CPUtime=582.19 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 112653 0 0 0 58120 99 0 0 20 0 1 0 337285147 409346048 98395 33554432000 4194304 9016284 140735153445168 140735153438088 7198972 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 99938 98395 695 1178 0 98756 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 399752
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29647124/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=414172 CPUtime=1122.11 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 115930 0 0 0 112058 153 0 0 20 0 1 0 337285147 424112128 102625 33554432000 4194304 9016284 140735153445168 140735153437976 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 103543 102625 695 1178 0 102361 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 414172
[startup+1182.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 3899
/proc/meminfo: memFree=29642908/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=414172 CPUtime=1182.1 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 115930 0 0 0 118047 163 0 0 20 0 1 0 337285147 424112128 102625 33554432000 4194304 9016284 140735153445168 140735153438088 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 103543 102625 695 1178 0 102361 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 414172
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 3902
/proc/meminfo: memFree=29636368/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=414172 CPUtime=1242.09 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 115930 0 0 0 124037 172 0 0 20 0 1 0 337285147 424112128 102625 33554432000 4194304 9016284 140735153445168 140735153439336 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 103543 102625 695 1178 0 102361 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 414172
[startup+1302.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 3902
/proc/meminfo: memFree=29630608/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=414172 CPUtime=1302.08 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 115930 0 0 0 130025 183 0 0 20 0 1 0 337285147 424112128 102625 33554432000 4194304 9016284 140735153445168 140735153439032 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 103543 102625 695 1178 0 102361 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 414172
[startup+1362.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/177 3902
/proc/meminfo: memFree=29627012/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=414172 CPUtime=1362.08 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 115930 0 0 0 136018 190 0 0 20 0 1 0 337285147 424112128 102625 33554432000 4194304 9016284 140735153445168 140735153438424 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 103543 102625 695 1178 0 102361 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 414172
[startup+1422.31 s]
/proc/loadavg: 2.16 2.08 2.02 3/177 3902
/proc/meminfo: memFree=29636508/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=403624 CPUtime=1422.07 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 117323 0 0 0 142010 197 0 0 20 0 1 0 337285147 413310976 99813 33554432000 4194304 9016284 140735153445168 140735153438584 7214215 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 100906 99813 695 1178 0 99724 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 403624
[startup+1482.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/177 3903
/proc/meminfo: memFree=29622244/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=409752 CPUtime=1482.06 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 118025 0 0 0 147999 207 0 0 20 0 1 0 337285147 419586048 101026 33554432000 4194304 9016284 140735153445168 140735153437976 7214174 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102438 101026 695 1178 0 101256 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 409752
[startup+1542.3 s]
/proc/loadavg: 2.14 2.09 2.02 3/177 3903
/proc/meminfo: memFree=29607676/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=411064 CPUtime=1542.05 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 118848 0 0 0 153990 215 0 0 20 0 1 0 337285147 420929536 101849 33554432000 4194304 9016284 140735153445168 140735153438216 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102766 101849 695 1178 0 101584 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 411064
[startup+1602.3 s]
/proc/loadavg: 1.69 1.99 1.99 2/171 3927
/proc/meminfo: memFree=29960104/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1602.03 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120508 0 0 0 159980 223 0 0 20 0 1 0 337285147 417923072 101106 33554432000 4194304 9016284 140735153445168 140735153438088 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101106 695 1178 0 100850 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 408128
[startup+1662.3 s]
/proc/loadavg: 1.33 1.82 1.93 2/171 3927
/proc/meminfo: memFree=29959856/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1662.03 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120528 0 0 0 165973 230 0 0 20 0 1 0 337285147 417923072 101126 33554432000 4194304 9016284 140735153445168 140735153437848 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101126 695 1178 0 100850 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 408128
[startup+1722.3 s]
/proc/loadavg: 1.12 1.67 1.87 2/171 3927
/proc/meminfo: memFree=29960228/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1722.01 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120529 0 0 0 171950 251 0 0 20 0 1 0 337285147 417923072 101126 33554432000 4194304 9016284 140735153445168 140735153437848 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101126 695 1178 0 100850 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 408128
[startup+1782.3 s]
/proc/loadavg: 1.04 1.55 1.81 2/171 3928
/proc/meminfo: memFree=29959740/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1782.01 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120529 0 0 0 177927 274 0 0 20 0 1 0 337285147 417923072 101126 33554432000 4194304 9016284 140735153445168 140735153437848 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101126 695 1178 0 100850 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 408128
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.04 1.54 1.81 2/171 3928
/proc/meminfo: memFree=29960104/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1785.21 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120529 0 0 0 178246 275 0 0 20 0 1 0 337285147 417923072 101126 33554432000 4194304 9016284 140735153445168 140735153438888 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101126 695 1178 0 100850 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 408128
[startup+1791.91 s]
/proc/loadavg: 1.03 1.53 1.80 2/171 3928
/proc/meminfo: memFree=29960104/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1791.61 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120529 0 0 0 178885 276 0 0 20 0 1 0 337285147 417923072 101126 33554432000 4194304 9016284 140735153445168 140735153437848 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101126 695 1178 0 100850 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 408128
[startup+1795.1 s]
/proc/loadavg: 1.03 1.52 1.80 2/171 3928
/proc/meminfo: memFree=29960104/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1794.81 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120529 0 0 0 179204 277 0 0 20 0 1 0 337285147 417923072 101126 33554432000 4194304 9016284 140735153445168 140735153438792 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101126 695 1178 0 100850 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 408128
[startup+1795.9 s]
/proc/loadavg: 1.03 1.52 1.80 2/171 3928
/proc/meminfo: memFree=29960104/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1795.61 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120529 0 0 0 179283 278 0 0 20 0 1 0 337285147 417923072 101126 33554432000 4194304 9016284 140735153445168 140735153439096 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101126 695 1178 0 100850 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 408128
[startup+1796.7 s]
/proc/loadavg: 1.03 1.52 1.80 2/171 3928
/proc/meminfo: memFree=29960104/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1796.41 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120529 0 0 0 179363 278 0 0 20 0 1 0 337285147 417923072 101126 33554432000 4194304 9016284 140735153445168 140735153437848 7138964 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101126 695 1178 0 100850 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 408128
[startup+1797.1 s]
/proc/loadavg: 1.03 1.52 1.80 2/171 3928
/proc/meminfo: memFree=29960104/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=408128 CPUtime=1796.8 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120533 0 0 0 179402 278 0 0 20 0 1 0 337285147 417923072 101130 33554432000 4194304 9016284 140735153445168 140735153437848 6812833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 102032 101130 699 1178 0 100850 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 408128
[startup+1797.2 s]
/proc/loadavg: 1.03 1.52 1.80 2/171 3928
/proc/meminfo: memFree=29960104/32873648 swapFree=7628/7628
[pid=3888] ppid=3886 vsize=316440 CPUtime=1796.91 cores=1,3,5,7
/proc/3888/stat : 3888 (scip-2.0.1.4b_2) R 3886 3888 20657 0 -1 4202496 120534 0 0 0 179412 279 0 0 20 0 1 0 337285147 324034560 78284 33554432000 4194304 9016284 140735153445168 140735153437848 6817693 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3888/statm: 79110 78284 700 1178 0 77928 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 316440
Child status: 0
Real time (s): 1797.22
CPU time (s): 1796.94
CPU user time (s): 1794.14
CPU system time (s): 2.80057
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 425816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.14
system time used= 2.80057
maximum resident set size= 418060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120539
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= 15
involuntary context switches= 1850
runsolver used 2.59461 second user time and 7.34388 second system time
The end