0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450872-1307096816.opb>
0.59/0.61 c original problem has 10998 variables (10998 bin, 0 int, 0 impl, 0 cont) and 21679 constraints
0.59/0.61 c problem read
0.59/0.61 c presolving settings loaded
0.69/0.77 c presolving:
0.89/0.92 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 22 chg sides, 1193 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.99 c (round 2) 1 del vars, 9946 del conss, 0 add conss, 1 chg bounds, 22 chg sides, 1193 chg coeffs, 903 upgd conss, 0 impls, 0 clqs
1.01/1.09 c (round 3) 1 del vars, 9946 del conss, 9 add conss, 1 chg bounds, 46 chg sides, 1254 chg coeffs, 1788 upgd conss, 748 impls, 12 clqs
1.12/1.12 c (round 4) 1 del vars, 9946 del conss, 9 add conss, 1 chg bounds, 90 chg sides, 1422 chg coeffs, 1788 upgd conss, 748 impls, 12 clqs
2.69/2.72 c (2.7s) probing: 120/10997 (1.1%) - 0 fixings, 0 aggregations, 133 implications, 0 bound changes
2.69/2.72 c (2.7s) probing aborted: 100/100 successive totally useless probings
2.69/2.72 c presolving (5 rounds):
2.69/2.72 c 1 deleted vars, 9946 deleted constraints, 9 added constraints, 1 tightened bounds, 0 added holes, 90 changed sides, 1430 changed coefficients
2.69/2.72 c 1014 implications, 12 cliques
2.69/2.72 c presolved problem has 10997 variables (10997 bin, 0 int, 0 impl, 0 cont) and 11742 constraints
2.69/2.72 c 1788 constraints of type <knapsack>
2.69/2.72 c 9 constraints of type <setppc>
2.69/2.72 c 9945 constraints of type <linear>
2.69/2.72 c transformed objective value is always integral (scale: 1)
2.69/2.72 c Presolving Time: 1.96
2.69/2.72 c - non default parameters ----------------------------------------------------------------------
2.69/2.72 c # SCIP version 2.0.1.5
2.69/2.72 c
2.69/2.72 c # frequency for displaying node information lines
2.69/2.72 c # [type: int, range: [-1,2147483647], default: 100]
2.69/2.72 c display/freq = 10000
2.69/2.72 c
2.69/2.72 c # maximal time in seconds to run
2.69/2.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.72 c limits/time = 1800
2.69/2.72 c
2.69/2.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.69/2.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.69/2.72 c limits/memory = 13950
2.69/2.72 c
2.69/2.72 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.69/2.72 c # [type: int, range: [1,2], default: 1]
2.69/2.72 c timing/clocktype = 2
2.69/2.72 c
2.69/2.72 c # belongs reading time to solving time?
2.69/2.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.72 c timing/reading = TRUE
2.69/2.72 c
2.69/2.72 c # should presolving try to simplify inequalities
2.69/2.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.72 c constraints/linear/simplifyinequalities = TRUE
2.69/2.72 c
2.69/2.72 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.69/2.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.72 c constraints/indicator/addCouplingCons = TRUE
2.69/2.72 c
2.69/2.72 c # should presolving try to simplify knapsacks
2.69/2.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.69/2.72 c constraints/knapsack/simplifyinequalities = TRUE
2.69/2.72 c
2.69/2.72 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.69/2.72 c # [type: int, range: [-1,2147483647], default: -1]
2.69/2.72 c separating/rapidlearning/freq = 0
2.69/2.72 c
2.69/2.72 c -----------------------------------------------------------------------------------------------
2.69/2.72 c start solving
2.69/2.72 c
3.79/3.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.79/3.82 c 3.8s| 1 | 0 | 4616 | - | 106M| 0 |1906 | 10k| 11k| 10k| 11k| 0 | 33 | 0 | 1.710000e+02 | -- | Inf
17.20/17.28 c 17.3s| 1 | 0 | 24120 | - | 107M| 0 |3633 | 10k| 11k| 10k| 11k| 126 | 33 | 0 | 1.710000e+02 | -- | Inf
22.79/22.87 c 22.9s| 1 | 0 | 27934 | - | 108M| 0 |3932 | 10k| 11k| 10k| 11k| 239 | 33 | 0 | 1.710000e+02 | -- | Inf
30.59/30.60 c 30.6s| 1 | 0 | 34011 | - | 109M| 0 |5735 | 10k| 11k| 10k| 12k| 374 | 33 | 0 | 1.710000e+02 | -- | Inf
36.80/36.82 c 36.8s| 1 | 0 | 38184 | - | 109M| 0 |5963 | 10k| 11k| 10k| 12k| 518 | 33 | 0 | 1.710000e+02 | -- | Inf
44.89/44.90 c 44.9s| 1 | 0 | 41394 | - | 110M| 0 |6440 | 10k| 11k| 10k| 12k| 647 | 33 | 0 | 1.710000e+02 | -- | Inf
55.09/55.15 c 55.1s| 1 | 0 | 45512 | - | 111M| 0 |6526 | 10k| 11k| 10k| 12k| 769 | 33 | 0 | 1.710000e+02 | -- | Inf
97.20/97.23 c 97.2s| 1 | 2 | 45512 | - | 111M| 0 |6526 | 10k| 11k| 10k| 12k| 769 | 33 | 37 | 1.710000e+02 | -- | Inf
1800.25/1800.29 c
1800.25/1800.29 c SCIP Status : solving was interrupted [user interrupt]
1800.25/1800.29 c Solving Time (sec) : 1800.29
1800.25/1800.29 c Solving Nodes : 663
1800.25/1800.29 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.25/1800.29 c Dual Bound : +1.71000000000000e+02
1800.25/1800.29 c Gap : infinite
1800.25/1800.29 s UNKNOWN
1800.25/1800.29 c SCIP Status : solving was interrupted [user interrupt]
1800.25/1800.29 c Total Time : 1800.29
1800.25/1800.29 c solving : 1800.29
1800.25/1800.29 c presolving : 1.96 (included in solving)
1800.25/1800.29 c reading : 0.61 (included in solving)
1800.25/1800.29 c Original Problem :
1800.25/1800.29 c Problem name : HOME/instance-3450872-1307096816.opb
1800.25/1800.29 c Variables : 10998 (10998 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.25/1800.29 c Constraints : 21679 initial, 21679 maximal
1800.25/1800.29 c Presolved Problem :
1800.25/1800.29 c Problem name : t_HOME/instance-3450872-1307096816.opb
1800.25/1800.29 c Variables : 10997 (10997 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.25/1800.29 c Constraints : 11742 initial, 15850 maximal
1800.25/1800.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.25/1800.29 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c probing : 1.58 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c knapsack : 0.05 0 0 0 0 0 0 9 68 237
1800.25/1800.29 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c linear : 0.27 1 0 0 1 0 9946 0 22 1193
1800.25/1800.29 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c root node : - 0 - - 0 - - - - -
1800.25/1800.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.25/1800.29 c integral : 0 0 0 584 0 4 0 0 72 0 0 1130
1800.25/1800.29 c knapsack : 1788 6 18291 0 0 3 820 9 1293 1201 0 0
1800.25/1800.29 c setppc : 9 6 18155 0 0 0 14 0 9 0 0 0
1800.25/1800.29 c linear : 9945 6 18282 0 0 0 136 15 1964 0 0 0
1800.25/1800.29 c logicor : 0+ 6 5044 0 0 0 119 10 121 1 0 0
1800.25/1800.29 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.25/1800.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.25/1800.29 c integral : 305.31 0.00 0.00 305.31 0.00 0.00 0.00
1800.25/1800.29 c knapsack : 1.99 0.10 1.89 0.00 0.00 0.00 0.00
1800.25/1800.29 c setppc : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.25/1800.29 c linear : 6.22 0.01 6.21 0.00 0.00 0.00 0.00
1800.25/1800.29 c logicor : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
1800.25/1800.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.25/1800.29 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.25/1800.29 c vbounds : 0 0 0 0
1800.25/1800.29 c rootredcost : 0 0 0 0
1800.25/1800.29 c pseudoobj : 18040 0 0 0
1800.25/1800.29 c Propagator Timings : TotalTime Propagate Resprop
1800.25/1800.29 c vbounds : 0.01 0.01 0.00
1800.25/1800.29 c rootredcost : 0.01 0.01 0.00
1800.25/1800.29 c pseudoobj : 0.02 0.02 0.00
1800.25/1800.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.25/1800.29 c propagation : 0.00 34 28 128 25.4 7 11.1 -
1800.25/1800.29 c infeasible LP : 5.24 3994 3994 4040 13.4 8 9.9 0
1800.25/1800.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.25/1800.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.25/1800.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.25/1800.29 c applied globally : - - - 4108 13.5 - - -
1800.25/1800.29 c applied locally : - - - 0 0.0 - - -
1800.25/1800.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.25/1800.29 c cut pool : 0.00 5 - - 1468 - (maximal pool size: 4213)
1800.25/1800.29 c redcost : 0.16 590 0 1 0 0
1800.25/1800.29 c impliedbounds : 0.00 6 0 0 34 0
1800.25/1800.29 c intobj : 0.00 0 0 0 0 0
1800.25/1800.29 c gomory : 5.60 6 0 0 28 0
1800.25/1800.29 c cgmip : 0.00 0 0 0 0 0
1800.25/1800.29 c closecuts : 0.00 0 0 0 0 0
1800.25/1800.29 c strongcg : 5.34 6 0 0 12 0
1800.25/1800.29 c cmir : 3.07 6 0 0 3000 0
1800.25/1800.29 c flowcover : 6.99 6 0 0 1200 0
1800.25/1800.29 c clique : 0.00 6 0 0 3 0
1800.25/1800.29 c zerohalf : 0.00 0 0 0 0 0
1800.25/1800.29 c mcf : 0.00 1 0 0 0 0
1800.25/1800.29 c oddcycle : 0.00 0 0 0 0 0
1800.25/1800.29 c rapidlearning : 0.00 0 0 0 0 0
1800.25/1800.29 c Pricers : Time Calls Vars
1800.25/1800.29 c problem variables: 0.00 0 0
1800.25/1800.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.25/1800.29 c relpscost : 305.31 584 0 72 0 0 1130
1800.25/1800.29 c pscost : 0.00 0 0 0 0 0 0
1800.25/1800.29 c inference : 0.00 0 0 0 0 0 0
1800.25/1800.29 c mostinf : 0.00 0 0 0 0 0 0
1800.25/1800.29 c leastinf : 0.00 0 0 0 0 0 0
1800.25/1800.29 c fullstrong : 0.00 0 0 0 0 0 0
1800.25/1800.29 c allfullstrong : 0.00 0 0 0 0 0 0
1800.25/1800.29 c random : 0.00 0 0 0 0 0 0
1800.25/1800.29 c Primal Heuristics : Time Calls Found
1800.25/1800.29 c LP solutions : 0.00 - 0
1800.25/1800.29 c pseudo solutions : 0.00 - 0
1800.25/1800.29 c oneopt : 0.00 0 0
1800.25/1800.29 c crossover : 0.00 0 0
1800.25/1800.29 c guideddiving : 0.00 0 0
1800.25/1800.29 c intshifting : 0.00 0 0
1800.25/1800.29 c coefdiving : 792.08 1 0
1800.25/1800.29 c fracdiving : 110.39 2 0
1800.25/1800.29 c pscostdiving : 64.73 3 0
1800.25/1800.29 c objpscostdiving : 44.26 2 0
1800.25/1800.29 c rootsoldiving : 23.13 2 0
1800.25/1800.29 c linesearchdiving : 77.47 6 0
1800.25/1800.29 c feaspump : 81.73 4 0
1800.25/1800.29 c trivial : 0.01 2 0
1800.25/1800.29 c shiftandpropagate: 0.32 1 0
1800.25/1800.29 c simplerounding : 0.00 0 0
1800.25/1800.29 c zirounding : 1.13 565 0
1800.25/1800.29 c rounding : 1.13 287 0
1800.25/1800.29 c shifting : 4.49 65 0
1800.25/1800.29 c twoopt : 0.00 0 0
1800.25/1800.29 c fixandinfer : 0.00 0 0
1800.25/1800.29 c clique : 0.00 0 0
1800.25/1800.29 c veclendiving : 23.16 5 0
1800.25/1800.29 c intdiving : 0.00 0 0
1800.25/1800.29 c actconsdiving : 0.00 0 0
1800.25/1800.29 c octane : 0.00 0 0
1800.25/1800.29 c rens : 0.10 0 0
1800.25/1800.29 c rins : 0.00 0 0
1800.25/1800.29 c localbranching : 0.00 0 0
1800.25/1800.29 c mutation : 0.00 0 0
1800.25/1800.29 c dins : 0.00 0 0
1800.25/1800.29 c vbounds : 0.00 0 0
1800.25/1800.29 c undercover : 0.00 0 0
1800.25/1800.29 c subnlp : 0.00 0 0
1800.25/1800.29 c trysol : 0.00 0 0
1800.25/1800.29 c LP : Time Calls Iterations Iter/call Iter/sec
1800.25/1800.29 c primal LP : 0.11 0 0 0.00 0.00
1800.25/1800.29 c dual LP : 243.48 686 430659 627.78 1768.73
1800.25/1800.29 c lex dual LP : 0.00 0 0 0.00 -
1800.25/1800.29 c barrier LP : 0.00 0 0 0.00 -
1800.25/1800.29 c diving/probing LP: 1181.31 10314 2319450 224.88 1963.45
1800.25/1800.29 c strong branching : 304.90 500 356692 713.38 1169.87
1800.25/1800.29 c (at root node) : - 37 34576 934.49 -
1800.25/1800.29 c conflict analysis: 0.00 0 0 0.00 -
1800.25/1800.29 c B&B Tree :
1800.25/1800.29 c number of runs : 1
1800.25/1800.29 c nodes : 663
1800.25/1800.29 c nodes (total) : 663
1800.25/1800.29 c nodes left : 326
1800.25/1800.29 c max depth : 272
1800.25/1800.29 c max depth (total): 272
1800.25/1800.29 c backtracks : 96 (14.5%)
1800.25/1800.29 c delayed cutoffs : 142
1800.25/1800.29 c repropagations : 3276 (561 domain reductions, 1 cutoffs)
1800.25/1800.29 c avg switch length: 12.26
1800.25/1800.29 c switching time : 0.57
1800.25/1800.29 c Solution :
1800.25/1800.29 c Solutions found : 0 (0 improvements)
1800.25/1800.29 c Primal Bound : -
1800.25/1800.29 c Dual Bound : +1.71000000000000e+02
1800.25/1800.29 c Gap : infinite
1800.25/1800.29 c Root Dual Bound : +1.71000000000000e+02
1800.25/1800.29 c Root Iterations : 45512
1800.45/1800.44 c Time complete: 1800.49.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450872-1307096816/watcher-3450872-1307096816 -o /tmp/evaluation-result-3450872-1307096816/solver-3450872-1307096816 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450872-1307096816.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: 2.12 2.08 2.02 2/575 23979
/proc/meminfo: memFree=21918956/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=13460 CPUtime=0.01 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 2335 0 0 0 1 0 0 0 25 0 1 0 821279326 13783040 2289 33554432000 4194304 9163163 140735778137936 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23979/statm: 3365 2289 395 1214 0 2147 0
[startup+0.069519 s]
/proc/loadavg: 2.12 2.08 2.02 2/575 23979
/proc/meminfo: memFree=21918956/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=16852 CPUtime=0.06 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 3179 0 0 0 6 0 0 0 25 0 1 0 821279326 17256448 3133 33554432000 4194304 9163163 140735778137936 18446744073709551615 6166160 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23979/statm: 4213 3133 395 1214 0 2995 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16852
[startup+0.100508 s]
/proc/loadavg: 2.12 2.08 2.02 2/575 23979
/proc/meminfo: memFree=21918956/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=18484 CPUtime=0.09 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 3606 0 0 0 9 0 0 0 25 0 1 0 821279326 18927616 3560 33554432000 4194304 9163163 140735778137936 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23979/statm: 4621 3560 395 1214 0 3403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18484
[startup+0.300474 s]
/proc/loadavg: 2.12 2.08 2.02 2/575 23979
/proc/meminfo: memFree=21918956/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=29188 CPUtime=0.29 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 6265 0 0 0 29 0 0 0 25 0 1 0 821279326 29888512 6219 33554432000 4194304 9163163 140735778137936 18446744073709551615 7936620 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23979/statm: 7297 6219 395 1214 0 6079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29188
[startup+0.700406 s]
/proc/loadavg: 2.12 2.08 2.02 2/575 23979
/proc/meminfo: memFree=21918956/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=121028 CPUtime=0.69 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 28577 0 0 0 66 3 0 0 25 0 1 0 821279326 123932672 28531 33554432000 4194304 9163163 140735778137936 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 30295 28554 439 1214 0 29077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 121028
[startup+1.50024 s]
/proc/loadavg: 2.12 2.08 2.02 3/576 23980
/proc/meminfo: memFree=21747816/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=186352 CPUtime=1.49 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 50944 0 0 0 143 6 0 0 25 0 1 0 821279326 190824448 43808 33554432000 4194304 9163163 140735778137936 18446744073709551615 8031221 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 46588 43808 554 1214 0 45370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186352
[startup+3.10093 s]
/proc/loadavg: 2.12 2.08 2.02 3/576 23980
/proc/meminfo: memFree=21741320/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=280060 CPUtime=3.09 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 73440 0 0 0 301 8 0 0 18 0 1 0 821279326 286781440 64066 33554432000 4194304 9163163 140735778137936 18446744073709551615 7225178 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 70015 64066 772 1214 0 68797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 280060
[startup+6.30039 s]
/proc/loadavg: 2.11 2.08 2.02 3/576 23980
/proc/meminfo: memFree=21657884/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=274888 CPUtime=6.29 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 76886 0 0 0 620 9 0 0 25 0 1 0 821279326 281485312 64396 33554432000 4194304 9163163 140735778137936 18446744073709551615 7115952 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 68722 64396 819 1214 0 67504 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 274888
[startup+12.7002 s]
/proc/loadavg: 2.18 2.10 2.02 3/576 23980
/proc/meminfo: memFree=21651964/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=274888 CPUtime=12.69 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 76920 0 0 0 1258 11 0 0 25 0 1 0 821279326 281485312 64422 33554432000 4194304 9163163 140735778137936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 68722 64422 823 1214 0 67504 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 274888
[startup+25.5009 s]
/proc/loadavg: 2.14 2.09 2.02 3/576 23980
/proc/meminfo: memFree=21600344/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=319824 CPUtime=25.49 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 88818 0 0 0 2533 16 0 0 25 0 1 0 821279326 327499776 75663 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 79956 75663 869 1214 0 78738 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 319824
[startup+51.1002 s]
/proc/loadavg: 2.09 2.08 2.02 3/576 23981
/proc/meminfo: memFree=21547556/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=352636 CPUtime=51.09 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 102087 0 0 0 5087 22 0 0 25 0 1 0 821279326 361099264 81710 33554432000 4194304 9163163 140735778137936 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 88159 81710 814 1214 0 86941 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 352636
[startup+102.322 s]
/proc/loadavg: 2.04 2.07 2.02 3/576 23983
/proc/meminfo: memFree=21501744/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=344684 CPUtime=102.32 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 269851 0 0 0 10185 47 0 0 25 0 1 0 821279326 352956416 81199 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 86171 81199 837 1214 0 84953 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 344684
[startup+162.301 s]
/proc/loadavg: 2.13 2.08 2.02 3/576 23984
/proc/meminfo: memFree=21448288/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=328016 CPUtime=162.3 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 404194 0 0 0 16159 71 0 0 25 0 1 0 821279326 335888384 77590 33554432000 4194304 9163163 140735778137936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 82004 77590 837 1214 0 80786 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 328016
[startup+222.301 s]
/proc/loadavg: 2.10 2.08 2.02 3/576 23986
/proc/meminfo: memFree=21382016/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=342244 CPUtime=222.3 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 469275 0 0 0 22146 84 0 0 25 0 1 0 821279326 350457856 82484 33554432000 4194304 9163163 140735778137936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 85561 82484 837 1214 0 84343 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 342244
[startup+282.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/576 23987
/proc/meminfo: memFree=21323804/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=347704 CPUtime=282.3 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 478054 0 0 0 28135 95 0 0 25 0 1 0 821279326 356048896 83910 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 86926 83910 836 1214 0 85708 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 347704
[startup+342.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/576 24017
/proc/meminfo: memFree=23247972/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=347704 CPUtime=342.3 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 478054 0 0 0 34120 110 0 0 25 0 1 0 821279326 356048896 83910 33554432000 4194304 9163163 140735778137936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 86926 83910 836 1214 0 85708 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 347704
[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 24046
/proc/meminfo: memFree=23223856/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=347704 CPUtime=402.31 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 478054 0 0 0 40106 125 0 0 25 0 1 0 821279326 356048896 83910 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 86926 83910 836 1214 0 85708 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 347704
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24047
/proc/meminfo: memFree=23211340/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=347704 CPUtime=462.31 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 478054 0 0 0 46092 139 0 0 25 0 1 0 821279326 356048896 83910 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 86926 83910 836 1214 0 85708 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 347704
[startup+522.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/576 24049
/proc/meminfo: memFree=23206328/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=347704 CPUtime=522.31 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 478054 0 0 0 52077 154 0 0 25 0 1 0 821279326 356048896 83910 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 86926 83910 836 1214 0 85708 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 347704
[startup+582.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/576 24050
/proc/meminfo: memFree=23205032/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=347704 CPUtime=582.31 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 478054 0 0 0 58060 171 0 0 25 0 1 0 821279326 356048896 83910 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 86926 83910 836 1214 0 85708 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 347704
[startup+642.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24114
/proc/meminfo: memFree=23115140/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=347704 CPUtime=942.32 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 478054 0 0 0 93974 258 0 0 25 0 1 0 821279326 356048896 83910 33554432000 4194304 9163163 140735778137936 18446744073709551615 7082576 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 86926 83910 836 1214 0 85708 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 347704
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24116
/proc/meminfo: memFree=23108048/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=348824 CPUtime=1002.32 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 478082 0 0 0 99971 261 0 0 25 0 1 0 821279326 357195776 83938 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 87206 83938 836 1214 0 85988 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 348824
[startup+1062.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/576 24117
/proc/meminfo: memFree=23096076/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=353960 CPUtime=1062.33 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 479270 0 0 0 105966 267 0 0 25 0 1 0 821279326 362455040 85126 33554432000 4194304 9163163 140735778137936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 88490 85126 836 1214 0 87272 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 353960
[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/576 24119
/proc/meminfo: memFree=23086732/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=356324 CPUtime=1122.32 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 479514 0 0 0 111958 274 0 0 25 0 1 0 821279326 364875776 85370 33554432000 4194304 9163163 140735778137936 18446744073709551615 7046792 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 89081 85370 836 1214 0 87863 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 356324
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 24120
/proc/meminfo: memFree=23080496/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=356324 CPUtime=1182.33 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 479945 0 0 0 117949 284 0 0 25 0 1 0 821279326 364875776 85801 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 89081 85801 836 1214 0 87863 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 356324
[startup+1242.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/576 24122
/proc/meminfo: memFree=23073140/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=363632 CPUtime=1242.33 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 484809 0 0 0 123942 291 0 0 25 0 1 0 821279326 372359168 85747 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 90908 85747 837 1214 0 89690 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 363632
[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/576 24124
/proc/meminfo: memFree=23061204/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=363632 CPUtime=1302.34 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 484812 0 0 0 129935 299 0 0 25 0 1 0 821279326 372359168 85750 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 90908 85750 837 1214 0 89690 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 363632
[startup+1362.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/576 24125
/proc/meminfo: memFree=23044172/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=363632 CPUtime=1362.33 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 486354 0 0 0 135923 310 0 0 25 0 1 0 821279326 372359168 87292 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 90908 87292 837 1214 0 89690 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 363632
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 24127
/proc/meminfo: memFree=23037936/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=373836 CPUtime=1422.36 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 487238 0 0 0 141918 318 0 0 25 0 1 0 821279326 382808064 88176 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 93459 88176 837 1214 0 92241 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 373836
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24128
/proc/meminfo: memFree=23025620/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=373836 CPUtime=1482.34 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 487262 0 0 0 147904 330 0 0 25 0 1 0 821279326 382808064 88200 33554432000 4194304 9163163 140735778137936 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 93459 88200 837 1214 0 92241 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 373836
[startup+1542.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/576 24130
/proc/meminfo: memFree=23012436/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=373836 CPUtime=1542.34 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 487262 0 0 0 153891 343 0 0 25 0 1 0 821279326 382808064 88200 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 93459 88200 837 1214 0 92241 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 373836
[startup+1602.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/576 24132
/proc/meminfo: memFree=23005700/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=373836 CPUtime=1602.34 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 488248 0 0 0 159880 354 0 0 25 0 1 0 821279326 382808064 89186 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 93459 89186 837 1214 0 92241 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 373836
[startup+1662.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/576 24133
/proc/meminfo: memFree=22994480/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=373836 CPUtime=1662.34 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 488248 0 0 0 165870 364 0 0 25 0 1 0 821279326 382808064 89186 33554432000 4194304 9163163 140735778137936 18446744073709551615 5844043 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 93459 89186 837 1214 0 92241 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 373836
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/576 24135
/proc/meminfo: memFree=22981192/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=373836 CPUtime=1722.34 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 488248 0 0 0 171862 372 0 0 25 0 1 0 821279326 382808064 89186 33554432000 4194304 9163163 140735778137936 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 93459 89186 837 1214 0 92241 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 373836
[startup+1782.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/576 24136
/proc/meminfo: memFree=22963792/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=375288 CPUtime=1782.34 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 489916 0 0 0 177852 382 0 0 25 0 1 0 821279326 384294912 90854 33554432000 4194304 9163163 140735778137936 18446744073709551615 7348661 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 93822 90854 837 1214 0 92604 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 375288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.10 2.07 2.01 3/576 24137
/proc/meminfo: memFree=22983488/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=354576 CPUtime=1800.06 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 490497 0 0 0 179620 386 0 0 25 0 1 0 821279326 363085824 84699 33554432000 4194304 9163163 140735778137936 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 88644 84699 837 1214 0 87426 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 354576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.10 2.07 2.01 3/576 24137
/proc/meminfo: memFree=22983488/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=354576 CPUtime=1800.25 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 490497 0 0 0 179639 386 0 0 25 0 1 0 821279326 363085824 84699 33554432000 4194304 9163163 140735778137936 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23979/statm: 88644 84699 837 1214 0 87426 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 354576
[startup+1800.4 s]
/proc/loadavg: 2.10 2.07 2.01 3/576 24137
/proc/meminfo: memFree=22983488/32951124 swapFree=58940260/67111528
[pid=23979] ppid=23977 vsize=349484 CPUtime=1800.45 cores=0,2,4,6
/proc/23979/stat : 23979 (scip-2.0.1.4b.l) R 23977 23979 23203 0 -1 4202496 490502 0 0 0 179659 386 0 0 18 0 1 0 821279326 357871616 83431 33554432000 4194304 9163163 140735778137936 18446744073709551615 6918303 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23979/statm: 87371 83431 842 1214 0 86153 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 349484
Child status: 0
Real time (s): 1800.44
CPU time (s): 1800.5
CPU user time (s): 1796.62
CPU system time (s): 3.88041
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 377004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.62
system time used= 3.88041
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490506
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= 13
involuntary context switches= 2660
runsolver used 10.9693 second user time and 23.4324 second system time
The end