0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451830-1307117531.opb>
1.79/1.85 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256320 constraints
1.79/1.85 c problem read
1.79/1.85 c presolving settings loaded
2.31/2.36 c presolving:
9.39/9.49 c (round 1) 9047 del vars, 26928 del conss, 0 add conss, 7333 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16918240 impls, 0 clqs
12.39/12.43 c (round 2) 15609 del vars, 57097 del conss, 0 add conss, 13668 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16952328 impls, 0 clqs
13.30/13.33 c (round 3) 18187 del vars, 68916 del conss, 0 add conss, 15199 chg bounds, 26 chg sides, 21 chg coeffs, 0 upgd conss, 16968869 impls, 0 clqs
13.79/13.84 c (round 4) 19543 del vars, 74518 del conss, 0 add conss, 16123 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16980351 impls, 0 clqs
14.09/14.16 c (round 5) 20370 del vars, 77965 del conss, 0 add conss, 16643 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16987688 impls, 0 clqs
14.30/14.35 c (round 6) 20855 del vars, 80063 del conss, 0 add conss, 16917 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16992716 impls, 0 clqs
14.49/14.50 c (round 7) 21170 del vars, 81366 del conss, 0 add conss, 17100 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16996165 impls, 0 clqs
14.59/14.63 c (round 8) 21442 del vars, 82457 del conss, 0 add conss, 17247 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 16999746 impls, 0 clqs
14.69/14.74 c (round 9) 21640 del vars, 83240 del conss, 0 add conss, 17354 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17002532 impls, 0 clqs
14.79/14.84 c (round 10) 21772 del vars, 83802 del conss, 0 add conss, 17424 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17004774 impls, 0 clqs
14.89/14.93 c (round 11) 21880 del vars, 84239 del conss, 0 add conss, 17481 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17006756 impls, 0 clqs
14.99/15.00 c (round 12) 21971 del vars, 84618 del conss, 0 add conss, 17531 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17009132 impls, 0 clqs
15.09/15.10 c (round 13) 22047 del vars, 84935 del conss, 0 add conss, 17580 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010249 impls, 0 clqs
15.09/15.19 c (round 14) 22101 del vars, 85170 del conss, 0 add conss, 17615 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010635 impls, 0 clqs
15.19/15.26 c (round 15) 22125 del vars, 85300 del conss, 0 add conss, 17621 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 17010733 impls, 0 clqs
15.89/15.97 c (round 16) 22125 del vars, 85314 del conss, 0 add conss, 17621 chg bounds, 35 chg sides, 33 chg coeffs, 171006 upgd conss, 17010733 impls, 0 clqs
16.39/16.46 c (round 17) 22128 del vars, 85323 del conss, 21 add conss, 17622 chg bounds, 70 chg sides, 201 chg coeffs, 171006 upgd conss, 17012836 impls, 2180 clqs
16.69/16.74 c (round 18) 22129 del vars, 85329 del conss, 27 add conss, 17622 chg bounds, 82 chg sides, 248 chg coeffs, 171006 upgd conss, 17012836 impls, 2379 clqs
676.63/676.64 c (676.6s) probing: 1000/50713 (2.0%) - 23 fixings, 9 aggregations, 13178910 implications, 0 bound changes
1279.73/1279.77 c (1279.8s) probing: 2000/50713 (3.9%) - 34 fixings, 11 aggregations, 21582002 implications, 2 bound changes
1740.15/1740.15 c (round 19) 22179 del vars, 85337 del conss, 27 add conss, 17624 chg bounds, 82 chg sides, 248 chg coeffs, 171006 upgd conss, 114006934 impls, 2269 clqs
1741.55/1741.56 c (round 20) 22183 del vars, 86218 del conss, 27 add conss, 17624 chg bounds, 82 chg sides, 549 chg coeffs, 171006 upgd conss, 114020230 impls, 2269 clqs
1800.35/1800.39 c (1800.4s) probing: 2948/50713 (5.8%) - 39 fixings, 15 aggregations, 28414797 implications, 2 bound changes
1800.35/1800.39 c (1800.4s) probing aborted: solving stopped
1800.35/1800.39 c presolving (21 rounds):
1800.35/1800.39 c 22187 deleted vars, 86222 deleted constraints, 27 added constraints, 17624 tightened bounds, 0 added holes, 82 changed sides, 549 changed coefficients
1800.35/1800.39 c 115326430 implications, 2270 cliques
1800.35/1800.39 c presolved problem has 50655 variables (50655 bin, 0 int, 0 impl, 0 cont) and 170125 constraints
1800.35/1800.39 c 1140 constraints of type <knapsack>
1800.35/1800.39 c 143954 constraints of type <setppc>
1800.35/1800.39 c 25031 constraints of type <logicor>
1800.35/1800.39 c transformed objective value is always integral (scale: 1)
1800.35/1800.39 c Presolving Time: 1798.17
1800.35/1800.39 c - non default parameters ----------------------------------------------------------------------
1800.35/1800.39 c # SCIP version 2.0.1.5
1800.35/1800.39 c
1800.35/1800.39 c # frequency for displaying node information lines
1800.35/1800.39 c # [type: int, range: [-1,2147483647], default: 100]
1800.35/1800.39 c display/freq = 10000
1800.35/1800.39 c
1800.35/1800.39 c # maximal time in seconds to run
1800.35/1800.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.35/1800.39 c limits/time = 1800
1800.35/1800.39 c
1800.35/1800.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.35/1800.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.35/1800.39 c limits/memory = 13950
1800.35/1800.39 c
1800.35/1800.39 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.35/1800.39 c # [type: int, range: [1,2], default: 1]
1800.35/1800.39 c timing/clocktype = 2
1800.35/1800.39 c
1800.35/1800.39 c # belongs reading time to solving time?
1800.35/1800.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.35/1800.39 c timing/reading = TRUE
1800.35/1800.39 c
1800.35/1800.39 c # should presolving try to simplify inequalities
1800.35/1800.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.35/1800.39 c constraints/linear/simplifyinequalities = TRUE
1800.35/1800.39 c
1800.35/1800.39 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.35/1800.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.35/1800.39 c constraints/indicator/addCouplingCons = TRUE
1800.35/1800.39 c
1800.35/1800.39 c # should presolving try to simplify knapsacks
1800.35/1800.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.35/1800.39 c constraints/knapsack/simplifyinequalities = TRUE
1800.35/1800.39 c
1800.35/1800.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.35/1800.39 c # [type: int, range: [-1,2147483647], default: -1]
1800.35/1800.39 c separating/rapidlearning/freq = 0
1800.35/1800.39 c
1800.35/1800.39 c -----------------------------------------------------------------------------------------------
1800.35/1800.39 c start solving
1800.45/1800.43 c
1800.45/1800.43 c
1800.45/1800.43 c SCIP Status : solving was interrupted [time limit reached]
1800.45/1800.43 c Solving Time (sec) : 1800.43
1800.45/1800.43 c Solving Nodes : 0
1800.45/1800.43 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.45/1800.43 c Dual Bound : -1.00000000000000e+20
1800.45/1800.43 c Gap : infinite
1800.45/1800.43 s UNKNOWN
1800.45/1800.43 c SCIP Status : solving was interrupted [time limit reached]
1800.45/1800.43 c Total Time : 1800.43
1800.45/1800.43 c solving : 1800.43
1800.45/1800.43 c presolving : 1798.17 (included in solving)
1800.45/1800.43 c reading : 1.85 (included in solving)
1800.45/1800.43 c Original Problem :
1800.45/1800.43 c Problem name : HOME/instance-3451830-1307117531.opb
1800.45/1800.43 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.45/1800.43 c Constraints : 256320 initial, 256320 maximal
1800.45/1800.43 c Presolved Problem :
1800.45/1800.43 c Problem name : t_HOME/instance-3451830-1307117531.opb
1800.45/1800.43 c Variables : 50655 (50655 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.45/1800.43 c Constraints : 170125 initial, 170125 maximal
1800.45/1800.43 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.45/1800.43 c trivial : 0.07 1073 0 0 0 0 0 0 0 0
1800.45/1800.43 c dualfix : 0.08 122 0 0 0 0 0 0 0 0
1800.45/1800.43 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.45/1800.43 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.45/1800.43 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.45/1800.43 c implics : 1.79 0 6 0 0 0 0 0 0 0
1800.45/1800.43 c probing : 1781.45 39 15 0 2 0 0 0 0 0
1800.45/1800.43 c knapsack : 1.21 0 0 0 1 0 4 27 47 516
1800.45/1800.43 c setppc : 0.37 1 0 0 0 0 894 0 0 0
1800.45/1800.43 c linear : 12.68 16549 4382 0 17621 0 85314 0 35 33
1800.45/1800.43 c logicor : 0.12 0 0 0 0 0 10 0 0 0
1800.45/1800.43 c root node : - 0 - - 0 - - - - -
1800.45/1800.43 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.45/1800.43 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.45/1800.43 c knapsack : 1140 0 145009 0 0 0 0 3 0 0 0 0
1800.45/1800.43 c setppc : 143954 0 145006 0 0 0 0 8 0 0 0 0
1800.45/1800.43 c logicor : 25031 0 131275 0 0 0 0 7 0 0 0 0
1800.45/1800.43 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.45/1800.43 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.45/1800.43 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.45/1800.43 c knapsack : 9.89 0.00 9.89 0.00 0.00 0.00 0.00
1800.45/1800.43 c setppc : 943.86 0.00 943.86 0.00 0.00 0.00 0.00
1800.45/1800.43 c logicor : 11.38 0.00 11.38 0.00 0.00 0.00 0.00
1800.45/1800.43 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.45/1800.43 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.45/1800.43 c vbounds : 0 0 0 0
1800.45/1800.43 c rootredcost : 0 0 0 0
1800.45/1800.43 c pseudoobj : 0 0 0 0
1800.45/1800.43 c Propagator Timings : TotalTime Propagate Resprop
1800.45/1800.43 c vbounds : 0.06 0.06 0.00
1800.45/1800.43 c rootredcost : 0.05 0.05 0.00
1800.45/1800.43 c pseudoobj : 0.02 0.02 0.00
1800.45/1800.43 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.45/1800.43 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.45/1800.43 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.45/1800.43 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.45/1800.43 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.45/1800.43 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.45/1800.43 c applied globally : - - - 0 0.0 - - -
1800.45/1800.43 c applied locally : - - - 0 0.0 - - -
1800.45/1800.43 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.45/1800.43 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.45/1800.43 c redcost : 0.00 0 0 0 0 0
1800.45/1800.43 c impliedbounds : 0.00 0 0 0 0 0
1800.45/1800.43 c intobj : 0.00 0 0 0 0 0
1800.45/1800.43 c gomory : 0.00 0 0 0 0 0
1800.45/1800.43 c cgmip : 0.00 0 0 0 0 0
1800.45/1800.43 c closecuts : 0.00 0 0 0 0 0
1800.45/1800.43 c strongcg : 0.00 0 0 0 0 0
1800.45/1800.43 c cmir : 0.00 0 0 0 0 0
1800.45/1800.43 c flowcover : 0.00 0 0 0 0 0
1800.45/1800.43 c clique : 0.00 0 0 0 0 0
1800.45/1800.43 c zerohalf : 0.00 0 0 0 0 0
1800.45/1800.43 c mcf : 0.00 0 0 0 0 0
1800.45/1800.43 c oddcycle : 0.00 0 0 0 0 0
1800.45/1800.43 c rapidlearning : 0.00 0 0 0 0 0
1800.45/1800.43 c Pricers : Time Calls Vars
1800.45/1800.43 c problem variables: 0.00 0 0
1800.45/1800.43 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.45/1800.43 c pscost : 0.00 0 0 0 0 0 0
1800.45/1800.43 c inference : 0.00 0 0 0 0 0 0
1800.45/1800.43 c mostinf : 0.00 0 0 0 0 0 0
1800.45/1800.43 c leastinf : 0.00 0 0 0 0 0 0
1800.45/1800.43 c fullstrong : 0.00 0 0 0 0 0 0
1800.45/1800.43 c allfullstrong : 0.00 0 0 0 0 0 0
1800.45/1800.43 c random : 0.00 0 0 0 0 0 0
1800.45/1800.43 c relpscost : 0.00 0 0 0 0 0 0
1800.45/1800.43 c Primal Heuristics : Time Calls Found
1800.45/1800.43 c LP solutions : 0.00 - 0
1800.45/1800.43 c pseudo solutions : 0.00 - 0
1800.45/1800.43 c trivial : 0.06 1 0
1800.45/1800.43 c shiftandpropagate: 0.00 0 0
1800.45/1800.43 c simplerounding : 0.00 0 0
1800.45/1800.43 c zirounding : 0.00 0 0
1800.45/1800.43 c rounding : 0.00 0 0
1800.45/1800.43 c shifting : 0.00 0 0
1800.45/1800.43 c intshifting : 0.00 0 0
1800.45/1800.43 c oneopt : 0.00 0 0
1800.45/1800.43 c twoopt : 0.00 0 0
1800.45/1800.43 c fixandinfer : 0.00 0 0
1800.45/1800.43 c feaspump : 0.00 0 0
1800.45/1800.43 c clique : 0.00 0 0
1800.45/1800.43 c coefdiving : 0.00 0 0
1800.45/1800.43 c pscostdiving : 0.00 0 0
1800.45/1800.43 c fracdiving : 0.00 0 0
1800.45/1800.43 c veclendiving : 0.00 0 0
1800.45/1800.43 c intdiving : 0.00 0 0
1800.45/1800.43 c actconsdiving : 0.00 0 0
1800.45/1800.43 c objpscostdiving : 0.00 0 0
1800.45/1800.43 c rootsoldiving : 0.00 0 0
1800.45/1800.43 c linesearchdiving : 0.00 0 0
1800.45/1800.43 c guideddiving : 0.00 0 0
1800.45/1800.43 c octane : 0.00 0 0
1800.45/1800.43 c rens : 0.00 0 0
1800.45/1800.43 c rins : 0.00 0 0
1800.45/1800.43 c localbranching : 0.00 0 0
1800.45/1800.43 c mutation : 0.00 0 0
1800.45/1800.43 c crossover : 0.00 0 0
1800.45/1800.43 c dins : 0.00 0 0
1800.45/1800.43 c vbounds : 0.00 0 0
1800.45/1800.43 c undercover : 0.00 0 0
1800.45/1800.43 c subnlp : 0.00 0 0
1800.45/1800.43 c trysol : 0.00 0 0
1800.45/1800.43 c LP : Time Calls Iterations Iter/call Iter/sec
1800.45/1800.43 c primal LP : 0.00 0 0 0.00 -
1800.45/1800.43 c dual LP : 0.00 0 0 0.00 -
1800.45/1800.43 c lex dual LP : 0.00 0 0 0.00 -
1800.45/1800.43 c barrier LP : 0.00 0 0 0.00 -
1800.45/1800.43 c diving/probing LP: 0.00 0 0 0.00 -
1800.45/1800.43 c strong branching : 0.00 0 0 0.00 -
1800.45/1800.43 c (at root node) : - 0 0 0.00 -
1800.45/1800.43 c conflict analysis: 0.00 0 0 0.00 -
1800.45/1800.43 c B&B Tree :
1800.45/1800.43 c number of runs : 1
1800.45/1800.43 c nodes : 0
1800.45/1800.43 c nodes (total) : 0
1800.45/1800.43 c nodes left : 1
1800.45/1800.43 c max depth : -1
1800.45/1800.43 c max depth (total): -1
1800.45/1800.43 c backtracks : 0 (0.0%)
1800.45/1800.43 c delayed cutoffs : 0
1800.45/1800.43 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.45/1800.43 c avg switch length: 0.00
1800.45/1800.43 c switching time : 0.00
1800.45/1800.43 c Solution :
1800.45/1800.43 c Solutions found : 0 (0 improvements)
1800.45/1800.43 c Primal Bound : -
1800.45/1800.43 c Dual Bound : -
1800.45/1800.43 c Gap : infinite
1800.45/1800.43 c Root Dual Bound : -
1800.45/1800.43 c Root Iterations : 0
1801.05/1801.09 c Time complete: 1801.15.
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-3451830-1307117531/watcher-3451830-1307117531 -o /tmp/evaluation-result-3451830-1307117531/solver-3451830-1307117531 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451830-1307117531.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.02 2.03 2.00 3/429 27792
/proc/meminfo: memFree=28759124/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=14732 CPUtime=0.01 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 2656 0 0 0 1 0 0 0 25 0 1 0 823353597 15085568 2609 33554432000 4194304 9163163 140736634846992 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27792/statm: 3683 2609 395 1214 0 2465 0
[startup+0.110503 s]
/proc/loadavg: 2.02 2.03 2.00 3/429 27792
/proc/meminfo: memFree=28759124/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=30072 CPUtime=0.1 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 6520 0 0 0 10 0 0 0 25 0 1 0 823353597 30793728 6473 33554432000 4194304 9163163 140736634846992 18446744073709551615 4338906 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27792/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30072
[startup+0.200492 s]
/proc/loadavg: 2.02 2.03 2.00 3/429 27792
/proc/meminfo: memFree=28759124/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=43412 CPUtime=0.19 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 9836 0 0 0 18 1 0 0 25 0 1 0 823353597 44453888 9789 33554432000 4194304 9163163 140736634846992 18446744073709551615 6165459 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27792/statm: 10853 9789 395 1214 0 9635 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 43412
[startup+0.300466 s]
/proc/loadavg: 2.02 2.03 2.00 3/429 27792
/proc/meminfo: memFree=28759124/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=54688 CPUtime=0.29 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 12663 0 0 0 28 1 0 0 25 0 1 0 823353597 56000512 12616 33554432000 4194304 9163163 140736634846992 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27792/statm: 13672 12616 395 1214 0 12454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54688
[startup+0.700394 s]
/proc/loadavg: 2.02 2.03 2.00 3/429 27792
/proc/meminfo: memFree=28759124/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=77036 CPUtime=0.68 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 18238 0 0 0 67 1 0 0 25 0 1 0 823353597 78884864 18191 33554432000 4194304 9163163 140736634846992 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27792/statm: 19259 18191 395 1214 0 18041 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 77036
[startup+1.50025 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 27793
/proc/meminfo: memFree=28662396/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=135264 CPUtime=1.48 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 32775 0 0 0 145 3 0 0 25 0 1 0 823353597 138510336 32728 33554432000 4194304 9163163 140736634846992 18446744073709551615 7994640 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27792/statm: 33816 32728 395 1214 0 32598 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 135264
[startup+3.1009 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 27793
/proc/meminfo: memFree=28396540/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=473484 CPUtime=3.09 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 116126 0 0 0 295 14 0 0 25 0 1 0 823353597 484847616 116003 33554432000 4194304 9163163 140736634846992 18446744073709551615 6922706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 118371 116003 497 1214 0 117153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 473484
[startup+6.30037 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 27793
/proc/meminfo: memFree=28094600/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=727996 CPUtime=6.29 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 179490 0 0 0 608 21 0 0 25 0 1 0 823353597 745467904 179367 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 181999 179367 506 1214 0 180781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 727996
[startup+12.7012 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 27793
/proc/meminfo: memFree=27890128/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=886080 CPUtime=12.69 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 217090 0 0 0 1244 25 0 0 25 0 1 0 823353597 907345920 216710 33554432000 4194304 9163163 140736634846992 18446744073709551615 6568758 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 221520 216710 518 1214 0 220302 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 886080
[startup+25.5008 s]
/proc/loadavg: 2.09 2.04 2.00 3/430 27793
/proc/meminfo: memFree=27812388/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=966524 CPUtime=25.49 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 250629 0 0 0 2520 29 0 0 25 0 1 0 823353597 989720576 235871 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 241631 235871 568 1214 0 240413 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 966524
[startup+51.101 s]
/proc/loadavg: 2.06 2.04 2.00 3/430 27794
/proc/meminfo: memFree=27762664/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=1021432 CPUtime=51.09 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 263895 0 0 0 5079 30 0 0 25 0 1 0 823353597 1045946368 249137 33554432000 4194304 9163163 140736634846992 18446744073709551615 5464931 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 255358 249137 568 1214 0 254140 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1021432
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 27796
/proc/meminfo: memFree=27616736/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=1164364 CPUtime=102.3 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 299050 0 0 0 10196 34 0 0 25 0 1 0 823353597 1192308736 284292 33554432000 4194304 9163163 140736634846992 18446744073709551615 5944197 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 291091 284292 568 1214 0 289873 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1164364
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 27797
/proc/meminfo: memFree=27380144/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=1406400 CPUtime=162.29 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 358847 0 0 0 16186 43 0 0 25 0 1 0 823353597 1440153600 344089 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 351600 344089 568 1214 0 350382 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1406400
[startup+222.316 s]
/proc/loadavg: 2.12 2.05 2.01 3/430 27827
/proc/meminfo: memFree=27073612/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=1632940 CPUtime=222.31 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 414936 0 0 0 22180 51 0 0 25 0 1 0 823353597 1672130560 400178 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 408235 400178 568 1214 0 407017 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1632940
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/430 27828
/proc/meminfo: memFree=26398600/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=1785168 CPUtime=282.3 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 452855 0 0 0 28174 56 0 0 25 0 1 0 823353597 1828012032 438097 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 446292 438097 568 1214 0 445074 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1785168
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/430 27830
/proc/meminfo: memFree=26110660/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=1896408 CPUtime=342.3 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 480290 0 0 0 34171 59 0 0 25 0 1 0 823353597 1941921792 465532 33554432000 4194304 9163163 140736634846992 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 474102 465532 568 1214 0 472884 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1896408
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 27832
/proc/meminfo: memFree=25819868/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=2004244 CPUtime=402.3 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 507334 0 0 0 40168 62 0 0 25 0 1 0 823353597 2052345856 492576 33554432000 4194304 9163163 140736634846992 18446744073709551615 4857244 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 501061 492576 568 1214 0 499843 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2004244
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 27833
/proc/meminfo: memFree=25560212/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=2099072 CPUtime=462.3 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 530989 0 0 0 46165 65 0 0 25 0 1 0 823353597 2149449728 516231 33554432000 4194304 9163163 140736634846992 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 524768 516231 568 1214 0 523550 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2099072
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 27835
/proc/meminfo: memFree=25274144/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=2199592 CPUtime=522.3 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 555603 0 0 0 52161 69 0 0 25 0 1 0 823353597 2252382208 540845 33554432000 4194304 9163163 140736634846992 18446744073709551615 4782803 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 549898 540845 568 1214 0 548680 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2199592
[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/430 27836
/proc/meminfo: memFree=25062472/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=2339664 CPUtime=582.31 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 589496 0 0 0 58157 74 0 0 25 0 1 0 823353597 2395815936 574738 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 584916 574738 568 1214 0 583698 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2339664
[startup+642.301 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 27846
/proc/meminfo: memFree=23623684/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=2996004 CPUtime=942.32 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 751931 0 0 0 94132 100 0 0 25 0 1 0 823353597 3067908096 737173 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 749001 737173 572 1214 0 747783 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2996004
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 27848
/proc/meminfo: memFree=23479468/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3037472 CPUtime=1002.33 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 762494 0 0 0 100131 102 0 0 25 0 1 0 823353597 3110371328 747736 33554432000 4194304 9163163 140736634846992 18446744073709551615 4553444 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 759368 747736 572 1214 0 758150 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3037472
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/430 27849
/proc/meminfo: memFree=23282796/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3156640 CPUtime=1062.33 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 792763 0 0 0 106127 106 0 0 25 0 1 0 823353597 3232399360 778005 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 789160 778005 572 1214 0 787942 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3156640
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/430 27851
/proc/meminfo: memFree=23140444/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3219716 CPUtime=1122.33 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 808527 0 0 0 112125 108 0 0 25 0 1 0 823353597 3296989184 793769 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 804929 793769 572 1214 0 803711 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3219716
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 27852
/proc/meminfo: memFree=22987280/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3280612 CPUtime=1182.33 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 823015 0 0 0 118122 111 0 0 25 0 1 0 823353597 3359346688 808257 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 820153 808257 572 1214 0 818935 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3280612
[startup+1242.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/430 27854
/proc/meminfo: memFree=22858072/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3340360 CPUtime=1242.33 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 838101 0 0 0 124120 113 0 0 25 0 1 0 823353597 3420528640 823343 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 835090 823343 572 1214 0 833872 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3340360
[startup+1302.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/430 27856
/proc/meminfo: memFree=22725136/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3404472 CPUtime=1302.33 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 854385 0 0 0 130118 115 0 0 25 0 1 0 823353597 3486179328 839627 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 851118 839627 572 1214 0 849900 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3404472
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/430 27857
/proc/meminfo: memFree=22602000/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3467376 CPUtime=1362.34 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 870526 0 0 0 136115 119 0 0 25 0 1 0 823353597 3550593024 855768 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 866844 855768 572 1214 0 865626 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3467376
[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 27859
/proc/meminfo: memFree=22412644/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3539660 CPUtime=1422.35 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 888663 0 0 0 142113 122 0 0 25 0 1 0 823353597 3624611840 873905 33554432000 4194304 9163163 140736634846992 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 884915 873905 572 1214 0 883697 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3539660
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 27860
/proc/meminfo: memFree=22278720/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3614852 CPUtime=1482.34 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 907203 0 0 0 148110 124 0 0 25 0 1 0 823353597 3701608448 892445 33554432000 4194304 9163163 140736634846992 18446744073709551615 5944197 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 903713 892445 572 1214 0 902495 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3614852
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 27862
/proc/meminfo: memFree=22154344/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3672836 CPUtime=1542.36 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 922113 0 0 0 154109 127 0 0 25 0 1 0 823353597 3760984064 907355 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 918209 907355 572 1214 0 916991 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 3672836
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 27864
/proc/meminfo: memFree=22035924/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3740744 CPUtime=1602.34 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 938678 0 0 0 160105 129 0 0 25 0 1 0 823353597 3830521856 923920 33554432000 4194304 9163163 140736634846992 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 935186 923920 572 1214 0 933968 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3740744
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 27865
/proc/meminfo: memFree=21915408/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3797956 CPUtime=1662.35 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 952867 0 0 0 166103 132 0 0 25 0 1 0 823353597 3889106944 938109 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 949489 938109 572 1214 0 948271 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3797956
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 27867
/proc/meminfo: memFree=21777644/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3867668 CPUtime=1722.35 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 970653 0 0 0 172101 134 0 0 25 0 1 0 823353597 3960492032 955895 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 966917 955895 572 1214 0 965699 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3867668
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/430 27868
/proc/meminfo: memFree=21663256/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3912276 CPUtime=1782.35 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 981945 0 0 0 178099 136 0 0 25 0 1 0 823353597 4006170624 967187 33554432000 4194304 9163163 140736634846992 18446744073709551615 4793040 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 978069 967187 572 1214 0 976851 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3912276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.03 2.00 3/430 27869
/proc/meminfo: memFree=21615636/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3935784 CPUtime=1800.07 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 987411 0 0 0 179870 137 0 0 25 0 1 0 823353597 4030242816 972653 33554432000 4194304 9163163 140736634846992 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27792/statm: 983946 972653 572 1214 0 982728 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3935784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.06 2.03 2.00 3/431 27870
/proc/meminfo: memFree=21621208/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=3926996 CPUtime=1800.77 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) R 27790 27792 22076 0 -1 4202496 989363 0 0 0 179940 137 0 0 25 0 1 0 823353597 4021243904 970494 33554432000 4194304 9163163 140736634846992 18446744073709551615 8095719 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27792/statm: 981749 970494 605 1214 0 980531 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 3926996
[startup+1801.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/431 27870
/proc/meminfo: memFree=21621208/32951124 swapFree=43324008/67111528
[pid=27792] ppid=27790 vsize=0 CPUtime=1801.15 cores=0,2,4,6
/proc/27792/stat : 27792 (scip-2.0.1.4b.l) S 27790 27792 22076 0 -1 4202500 989371 0 0 0 179961 154 0 0 25 0 1 0 823353597 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/27792/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.15
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1801.1
CPU time (s): 1801.16
CPU user time (s): 1799.62
CPU system time (s): 1.54377
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3939920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 1.54377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 989371
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= 3784
runsolver used 8.04178 second user time and 16.6575 second system time
The end