0.00/0.00 c SCIP version 2.0.1.4 [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-3453490-1307118442.opb>
1.59/1.64 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256320 constraints
1.59/1.64 c problem read
1.59/1.64 c presolving settings loaded
2.49/2.50 c presolving:
8.89/8.95 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
11.50/11.58 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
12.29/12.35 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
12.79/12.80 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
12.99/13.08 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
13.21/13.25 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
13.29/13.39 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
13.49/13.51 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
13.59/13.62 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
13.69/13.71 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
13.69/13.79 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
13.79/13.86 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
13.89/13.95 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
13.99/14.03 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
14.09/14.10 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
14.69/14.77 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
15.19/15.23 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
15.41/15.49 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
611.60/611.68 c (611.7s) probing: 1000/50713 (2.0%) - 23 fixings, 9 aggregations, 13178910 implications, 0 bound changes
1155.70/1155.73 c (1155.7s) probing: 2000/50713 (3.9%) - 34 fixings, 11 aggregations, 21582002 implications, 2 bound changes
1571.20/1571.22 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
1572.50/1572.51 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
1652.00/1652.09 c (1652.1s) probing: 3000/50713 (5.9%) - 41 fixings, 15 aggregations, 28678229 implications, 2 bound changes
1785.01/1785.00 c (round 21) 22235 del vars, 86222 del conss, 27 add conss, 17627 chg bounds, 82 chg sides, 549 chg coeffs, 171006 upgd conss, 121855349 impls, 2270 clqs
1786.51/1786.52 c (round 22) 22247 del vars, 86531 del conss, 27 add conss, 17627 chg bounds, 82 chg sides, 661 chg coeffs, 171006 upgd conss, 121872165 impls, 2270 clqs
1800.51/1800.56 c (1800.6s) probing: 3256/50713 (6.4%) - 73 fixings, 29 aggregations, 30721342 implications, 5 bound changes
1800.51/1800.56 c (1800.6s) probing aborted: solving stopped
1800.51/1800.56 c presolving (23 rounds):
1800.51/1800.56 c 22247 deleted vars, 86543 deleted constraints, 27 added constraints, 17627 tightened bounds, 0 added holes, 82 changed sides, 661 changed coefficients
1800.51/1800.56 c 122361277 implications, 2364 cliques
1800.51/1800.56 c presolved problem has 50595 variables (50595 bin, 0 int, 0 impl, 0 cont) and 169804 constraints
1800.51/1800.56 c 1140 constraints of type <knapsack>
1800.51/1800.56 c 143639 constraints of type <setppc>
1800.51/1800.56 c 25025 constraints of type <logicor>
1800.51/1800.56 c transformed objective value is always integral (scale: 1)
1800.51/1800.56 c Presolving Time: 1798.70
1800.51/1800.56 c - non default parameters ----------------------------------------------------------------------
1800.51/1800.56 c # SCIP version 2.0.1.4
1800.51/1800.56 c
1800.51/1800.56 c # frequency for displaying node information lines
1800.51/1800.56 c # [type: int, range: [-1,2147483647], default: 100]
1800.51/1800.56 c display/freq = 10000
1800.51/1800.56 c
1800.51/1800.56 c # maximal time in seconds to run
1800.51/1800.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.51/1800.56 c limits/time = 1800
1800.51/1800.56 c
1800.51/1800.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.51/1800.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.51/1800.56 c limits/memory = 13950
1800.51/1800.56 c
1800.51/1800.56 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.51/1800.56 c # [type: int, range: [1,2], default: 1]
1800.51/1800.56 c timing/clocktype = 2
1800.51/1800.56 c
1800.51/1800.56 c # belongs reading time to solving time?
1800.51/1800.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.51/1800.56 c timing/reading = TRUE
1800.51/1800.56 c
1800.51/1800.56 c # should presolving try to simplify inequalities
1800.51/1800.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.51/1800.56 c constraints/linear/simplifyinequalities = TRUE
1800.51/1800.56 c
1800.51/1800.56 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.51/1800.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.51/1800.56 c constraints/indicator/addCouplingCons = TRUE
1800.51/1800.56 c
1800.51/1800.56 c # should presolving try to simplify knapsacks
1800.51/1800.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.51/1800.56 c constraints/knapsack/simplifyinequalities = TRUE
1800.51/1800.56 c
1800.51/1800.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.51/1800.56 c # [type: int, range: [-1,2147483647], default: -1]
1800.51/1800.56 c separating/rapidlearning/freq = 0
1800.51/1800.56 c
1800.51/1800.56 c -----------------------------------------------------------------------------------------------
1800.51/1800.56 c start solving
1800.51/1800.60 c
1800.51/1800.60 c
1800.51/1800.60 c SCIP Status : solving was interrupted [time limit reached]
1800.51/1800.60 c Solving Time (sec) : 1800.60
1800.51/1800.60 c Solving Nodes : 0
1800.51/1800.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.51/1800.60 c Dual Bound : -1.00000000000000e+20
1800.51/1800.60 c Gap : infinite
1800.51/1800.60 s UNKNOWN
1800.51/1800.60 c SCIP Status : solving was interrupted [time limit reached]
1800.51/1800.60 c Total Time : 1800.60
1800.51/1800.60 c solving : 1800.60
1800.51/1800.60 c presolving : 1798.70 (included in solving)
1800.51/1800.60 c reading : 1.64 (included in solving)
1800.51/1800.60 c Original Problem :
1800.51/1800.60 c Problem name : HOME/instance-3453490-1307118442.opb
1800.51/1800.60 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.51/1800.60 c Constraints : 256320 initial, 256320 maximal
1800.51/1800.60 c Presolved Problem :
1800.51/1800.60 c Problem name : t_HOME/instance-3453490-1307118442.opb
1800.51/1800.60 c Variables : 50595 (50595 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.51/1800.60 c Constraints : 169804 initial, 169804 maximal
1800.51/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.51/1800.60 c trivial : 0.07 1073 0 0 0 0 0 0 0 0
1800.51/1800.60 c dualfix : 0.10 122 0 0 0 0 0 0 0 0
1800.51/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.51/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.51/1800.60 c implics : 2.89 0 18 0 0 0 0 0 0 0
1800.51/1800.60 c probing : 1780.93 73 29 0 5 0 0 0 0 0
1800.51/1800.60 c knapsack : 1.84 0 0 0 1 0 4 27 47 628
1800.51/1800.60 c setppc : 0.43 1 0 0 0 0 1209 0 0 0
1800.51/1800.60 c linear : 11.41 16549 4382 0 17621 0 85314 0 35 33
1800.51/1800.60 c logicor : 0.16 0 0 0 0 0 16 0 0 0
1800.51/1800.60 c root node : - 0 - - 0 - - - - -
1800.51/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.51/1800.60 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.51/1800.60 c knapsack : 1140 0 151662 0 0 0 0 5 0 0 0 0
1800.51/1800.60 c setppc : 143639 0 151657 0 0 0 0 22 0 0 0 0
1800.51/1800.60 c logicor : 25025 0 137465 0 0 0 0 13 0 0 0 0
1800.51/1800.60 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.51/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.51/1800.60 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.51/1800.60 c knapsack : 9.49 0.00 9.49 0.00 0.00 0.00 0.00
1800.51/1800.60 c setppc : 868.45 0.00 868.45 0.00 0.00 0.00 0.00
1800.51/1800.60 c logicor : 13.82 0.00 13.82 0.00 0.00 0.00 0.00
1800.51/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.51/1800.60 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.51/1800.60 c vbounds : 0 0 0 0
1800.51/1800.60 c rootredcost : 0 0 0 0
1800.51/1800.60 c pseudoobj : 0 0 0 0
1800.51/1800.60 c Propagator Timings : TotalTime Propagate Resprop
1800.51/1800.60 c vbounds : 0.06 0.06 0.00
1800.51/1800.60 c rootredcost : 0.03 0.03 0.00
1800.51/1800.60 c pseudoobj : 0.03 0.03 0.00
1800.51/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.51/1800.60 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.51/1800.60 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.51/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.51/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.51/1800.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.51/1800.60 c applied globally : - - - 0 0.0 - - -
1800.51/1800.60 c applied locally : - - - 0 0.0 - - -
1800.51/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.51/1800.60 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.51/1800.60 c redcost : 0.00 0 0 0 0 0
1800.51/1800.60 c impliedbounds : 0.00 0 0 0 0 0
1800.51/1800.60 c intobj : 0.00 0 0 0 0 0
1800.51/1800.60 c gomory : 0.00 0 0 0 0 0
1800.51/1800.60 c cgmip : 0.00 0 0 0 0 0
1800.51/1800.60 c closecuts : 0.00 0 0 0 0 0
1800.51/1800.60 c strongcg : 0.00 0 0 0 0 0
1800.51/1800.60 c cmir : 0.00 0 0 0 0 0
1800.51/1800.60 c flowcover : 0.00 0 0 0 0 0
1800.51/1800.60 c clique : 0.00 0 0 0 0 0
1800.51/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.51/1800.60 c mcf : 0.00 0 0 0 0 0
1800.51/1800.60 c oddcycle : 0.00 0 0 0 0 0
1800.51/1800.60 c rapidlearning : 0.00 0 0 0 0 0
1800.51/1800.60 c Pricers : Time Calls Vars
1800.51/1800.60 c problem variables: 0.00 0 0
1800.51/1800.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.51/1800.60 c pscost : 0.00 0 0 0 0 0 0
1800.51/1800.60 c inference : 0.00 0 0 0 0 0 0
1800.51/1800.60 c mostinf : 0.00 0 0 0 0 0 0
1800.51/1800.60 c leastinf : 0.00 0 0 0 0 0 0
1800.51/1800.60 c fullstrong : 0.00 0 0 0 0 0 0
1800.51/1800.60 c allfullstrong : 0.00 0 0 0 0 0 0
1800.51/1800.60 c random : 0.00 0 0 0 0 0 0
1800.51/1800.60 c relpscost : 0.00 0 0 0 0 0 0
1800.51/1800.60 c Primal Heuristics : Time Calls Found
1800.51/1800.60 c LP solutions : 0.00 - 0
1800.51/1800.60 c pseudo solutions : 0.00 - 0
1800.51/1800.60 c trivial : 0.05 1 0
1800.51/1800.60 c shiftandpropagate: 0.00 0 0
1800.51/1800.60 c simplerounding : 0.00 0 0
1800.51/1800.60 c zirounding : 0.00 0 0
1800.51/1800.60 c rounding : 0.00 0 0
1800.51/1800.60 c shifting : 0.00 0 0
1800.51/1800.60 c intshifting : 0.00 0 0
1800.51/1800.60 c oneopt : 0.00 0 0
1800.51/1800.60 c twoopt : 0.00 0 0
1800.51/1800.60 c fixandinfer : 0.00 0 0
1800.51/1800.60 c feaspump : 0.00 0 0
1800.51/1800.60 c clique : 0.00 0 0
1800.51/1800.60 c coefdiving : 0.00 0 0
1800.51/1800.60 c pscostdiving : 0.00 0 0
1800.51/1800.60 c fracdiving : 0.00 0 0
1800.51/1800.60 c veclendiving : 0.00 0 0
1800.51/1800.60 c intdiving : 0.00 0 0
1800.51/1800.60 c actconsdiving : 0.00 0 0
1800.51/1800.60 c objpscostdiving : 0.00 0 0
1800.51/1800.60 c rootsoldiving : 0.00 0 0
1800.51/1800.60 c linesearchdiving : 0.00 0 0
1800.51/1800.60 c guideddiving : 0.00 0 0
1800.51/1800.60 c octane : 0.00 0 0
1800.51/1800.60 c rens : 0.00 0 0
1800.51/1800.60 c rins : 0.00 0 0
1800.51/1800.60 c localbranching : 0.00 0 0
1800.51/1800.60 c mutation : 0.00 0 0
1800.51/1800.60 c crossover : 0.00 0 0
1800.51/1800.60 c dins : 0.00 0 0
1800.51/1800.60 c vbounds : 0.00 0 0
1800.51/1800.60 c undercover : 0.00 0 0
1800.51/1800.60 c subnlp : 0.00 0 0
1800.51/1800.60 c trysol : 0.00 0 0
1800.51/1800.60 c LP : Time Calls Iterations Iter/call Iter/sec
1800.51/1800.60 c primal LP : 0.00 0 0 0.00 -
1800.51/1800.60 c dual LP : 0.00 0 0 0.00 -
1800.51/1800.60 c lex dual LP : 0.00 0 0 0.00 -
1800.51/1800.60 c barrier LP : 0.00 0 0 0.00 -
1800.51/1800.60 c diving/probing LP: 0.00 0 0 0.00 -
1800.51/1800.60 c strong branching : 0.00 0 0 0.00 -
1800.51/1800.60 c (at root node) : - 0 0 0.00 -
1800.51/1800.60 c conflict analysis: 0.00 0 0 0.00 -
1800.51/1800.60 c B&B Tree :
1800.51/1800.60 c number of runs : 1
1800.51/1800.60 c nodes : 0
1800.51/1800.60 c nodes (total) : 0
1800.51/1800.60 c nodes left : 1
1800.51/1800.60 c max depth : -1
1800.51/1800.60 c max depth (total): -1
1800.51/1800.60 c backtracks : 0 (0.0%)
1800.51/1800.60 c delayed cutoffs : 0
1800.51/1800.60 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.51/1800.60 c avg switch length: 0.00
1800.51/1800.60 c switching time : 0.00
1800.51/1800.60 c Solution :
1800.51/1800.60 c Solutions found : 0 (0 improvements)
1800.51/1800.60 c Primal Bound : -
1800.51/1800.60 c Dual Bound : -
1800.51/1800.60 c Gap : infinite
1800.51/1800.60 c Root Dual Bound : -
1800.51/1800.60 c Root Iterations : 0
1801.21/1801.22 c Time complete: 1801.23.
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-3453490-1307118442/watcher-3453490-1307118442 -o /tmp/evaluation-result-3453490-1307118442/solver-3453490-1307118442 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453490-1307118442.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: 1.92 2.00 1.99 2/527 11090
/proc/meminfo: memFree=23582968/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=11568 CPUtime=0 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 1784 0 0 0 0 0 0 0 25 0 1 0 902074865 11845632 1737 33554432000 4194304 9128323 140734163006288 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11090/statm: 2892 1753 400 1205 0 1683 0
[startup+0.0238301 s]
/proc/loadavg: 1.92 2.00 1.99 2/527 11090
/proc/meminfo: memFree=23582968/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=14016 CPUtime=0.02 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 2488 0 0 0 2 0 0 0 25 0 1 0 902074865 14352384 2441 33554432000 4194304 9128323 140734163006288 18446744073709551615 4468097 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11090/statm: 3504 2441 400 1205 0 2295 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14016
[startup+0.100823 s]
/proc/loadavg: 1.92 2.00 1.99 2/527 11090
/proc/meminfo: memFree=23582968/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=27508 CPUtime=0.09 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 5888 0 0 0 9 0 0 0 25 0 1 0 902074865 28168192 5839 33554432000 4194304 9128323 140734163006288 18446744073709551615 7929288 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11090/statm: 6877 5839 400 1205 0 5668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27508
[startup+0.300785 s]
/proc/loadavg: 1.92 2.00 1.99 2/527 11090
/proc/meminfo: memFree=23582968/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=50212 CPUtime=0.29 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 11587 0 0 0 28 1 0 0 25 0 1 0 902074865 51417088 11506 33554432000 4194304 9128323 140734163006288 18446744073709551615 7448087 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11090/statm: 12553 11506 400 1205 0 11344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50212
[startup+0.700727 s]
/proc/loadavg: 1.92 2.00 1.99 2/527 11090
/proc/meminfo: memFree=23582968/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=69408 CPUtime=0.69 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 16372 0 0 0 68 1 0 0 25 0 1 0 902074865 71073792 16283 33554432000 4194304 9128323 140734163006288 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11090/statm: 17352 16283 400 1205 0 16143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69408
[startup+1.50059 s]
/proc/loadavg: 1.92 2.00 1.99 3/528 11091
/proc/meminfo: memFree=23495292/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=127880 CPUtime=1.49 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 30958 0 0 0 145 4 0 0 25 0 1 0 902074865 130949120 30853 33554432000 4194304 9128323 140734163006288 18446744073709551615 7998203 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11090/statm: 31970 30853 400 1205 0 30761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127880
[startup+3.10031 s]
/proc/loadavg: 1.92 2.00 1.99 3/528 11091
/proc/meminfo: memFree=23239772/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=476472 CPUtime=3.09 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 128949 0 0 0 294 15 0 0 25 0 1 0 902074865 487907328 116451 33554432000 4194304 9128323 140734163006288 18446744073709551615 8012140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11090/statm: 119118 116451 501 1205 0 117909 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476472
[startup+6.30075 s]
/proc/loadavg: 2.01 2.02 2.00 3/528 11091
/proc/meminfo: memFree=22846212/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=756204 CPUtime=6.29 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 198683 0 0 0 606 23 0 0 25 0 1 0 902074865 774352896 186185 33554432000 4194304 9128323 140734163006288 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11090/statm: 189051 186185 510 1205 0 187842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 756204
[startup+12.7006 s]
/proc/loadavg: 2.01 2.02 2.00 3/528 11093
/proc/meminfo: memFree=22615492/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=897508 CPUtime=12.69 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 232381 0 0 0 1241 28 0 0 25 0 1 0 902074865 919048192 219283 33554432000 4194304 9128323 140734163006288 18446744073709551615 6594459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11090/statm: 224377 219283 523 1205 0 223168 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 897508
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.00 3/528 11093
/proc/meminfo: memFree=22483324/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=979404 CPUtime=25.49 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 267409 0 0 0 2518 31 0 0 25 0 1 0 902074865 1002909696 239056 33554432000 4194304 9128323 140734163006288 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11090/statm: 244851 239056 569 1205 0 243642 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 979404
[startup+51.1009 s]
/proc/loadavg: 2.05 2.03 2.00 3/528 11094
/proc/meminfo: memFree=22356836/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=1035012 CPUtime=51.07 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 280824 0 0 0 5073 34 0 0 25 0 1 0 902074865 1059852288 252471 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488723 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 258753 252471 569 1205 0 257544 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1035012
[startup+102.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/528 11095
/proc/meminfo: memFree=22066440/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=1191388 CPUtime=102.29 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 319318 0 0 0 10191 38 0 0 25 0 1 0 902074865 1219981312 290965 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 297847 290965 569 1205 0 296638 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1191388
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11097
/proc/meminfo: memFree=21686960/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=1458408 CPUtime=162.27 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 385665 0 0 0 16178 49 0 0 25 0 1 0 902074865 1493409792 356718 33554432000 4194304 9128323 140734163006288 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 364602 356718 569 1205 0 363393 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1458408
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11098
/proc/meminfo: memFree=21331028/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=1685848 CPUtime=222.28 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 441993 0 0 0 22170 58 0 0 25 0 1 0 902074865 1726308352 413046 33554432000 4194304 9128323 140734163006288 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 421462 413046 569 1205 0 420253 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1685848
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 11100
/proc/meminfo: memFree=21023104/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=1849584 CPUtime=282.28 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 482616 0 0 0 28165 63 0 0 25 0 1 0 902074865 1893974016 453669 33554432000 4194304 9128323 140734163006288 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 462396 453669 569 1205 0 461187 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1849584
[startup+342.301 s]
/proc/loadavg: 2.14 2.04 2.01 4/528 11101
/proc/meminfo: memFree=20766988/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=1967684 CPUtime=342.27 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 512250 0 0 0 34160 67 0 0 25 0 1 0 902074865 2014908416 483270 33554432000 4194304 9128323 140734163006288 18446744073709551615 8012674 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 491921 483270 569 1205 0 490712 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1967684
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/528 11103
/proc/meminfo: memFree=20544864/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=2083388 CPUtime=402.28 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 540415 0 0 0 40156 72 0 0 25 0 1 0 902074865 2133389312 511435 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 520847 511435 569 1205 0 519638 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2083388
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/528 11105
/proc/meminfo: memFree=20294328/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=2188888 CPUtime=462.28 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 567013 0 0 0 46152 76 0 0 25 0 1 0 902074865 2241421312 538033 33554432000 4194304 9128323 140734163006288 18446744073709551615 4794279 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 547222 538033 569 1205 0 546013 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2188888
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11106
/proc/meminfo: memFree=20053716/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=2336836 CPUtime=522.28 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 602917 0 0 0 52146 82 0 0 25 0 1 0 902074865 2392920064 573937 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 584209 573937 569 1205 0 583000 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2336836
[startup+582.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/528 11108
/proc/meminfo: memFree=19827240/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=2438252 CPUtime=582.28 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 628422 0 0 0 58142 86 0 0 25 0 1 0 902074865 2496770048 599442 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 609563 599442 569 1205 0 608354 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2438252
[startup+642.3 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11122
/proc/meminfo: memFree=18515612/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3212940 CPUtime=1002.28 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 820796 0 0 0 100114 114 0 0 25 0 1 0 902074865 3290050560 791816 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 803235 791816 573 1205 0 802026 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 3212940
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11124
/proc/meminfo: memFree=18383276/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3278932 CPUtime=1062.29 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 837103 0 0 0 106112 117 0 0 25 0 1 0 902074865 3357626368 808123 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 819733 808123 573 1205 0 818524 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 3278932
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11125
/proc/meminfo: memFree=18263936/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3345676 CPUtime=1122.3 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 853458 0 0 0 112110 120 0 0 25 0 1 0 902074865 3425972224 824478 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 836419 824478 573 1205 0 835210 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3345676
[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/528 11128
/proc/meminfo: memFree=18152012/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3415856 CPUtime=1182.29 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 870995 0 0 0 118107 122 0 0 25 0 1 0 902074865 3497836544 842015 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 853964 842015 573 1205 0 852755 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 3415856
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 11129
/proc/meminfo: memFree=18013076/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3485848 CPUtime=1242.29 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 889156 0 0 0 124104 125 0 0 25 0 1 0 902074865 3569508352 860176 33554432000 4194304 9128323 140734163006288 18446744073709551615 8012681 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 871462 860176 573 1205 0 870253 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 3485848
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11132
/proc/meminfo: memFree=17888776/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3564972 CPUtime=1302.31 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 909288 0 0 0 130102 129 0 0 25 0 1 0 902074865 3650531328 880308 33554432000 4194304 9128323 140734163006288 18446744073709551615 4792511 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 891243 880308 573 1205 0 890034 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3564972
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11135
/proc/meminfo: memFree=17754056/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3655144 CPUtime=1362.3 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 930830 0 0 0 136099 131 0 0 25 0 1 0 902074865 3742867456 901850 33554432000 4194304 9128323 140734163006288 18446744073709551615 4832196 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 913786 901850 573 1205 0 912577 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3655144
[startup+1422.32 s]
/proc/loadavg: 2.12 2.05 2.01 3/528 11137
/proc/meminfo: memFree=17623568/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3711208 CPUtime=1422.31 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 945456 0 0 0 142097 134 0 0 25 0 1 0 902074865 3800276992 916476 33554432000 4194304 9128323 140734163006288 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 927802 916476 573 1205 0 926593 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3711208
[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/528 11139
/proc/meminfo: memFree=17470144/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3783148 CPUtime=1482.3 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 963392 0 0 0 148093 137 0 0 25 0 1 0 902074865 3873943552 934412 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 945787 934412 573 1205 0 944578 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 3783148
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 11140
/proc/meminfo: memFree=17303684/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3857980 CPUtime=1542.3 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 982295 0 0 0 154089 141 0 0 25 0 1 0 902074865 3950571520 953315 33554432000 4194304 9128323 140734163006288 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 964495 953315 573 1205 0 963286 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 3857980
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11142
/proc/meminfo: memFree=17136480/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3907608 CPUtime=1602.3 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 994597 0 0 0 160088 142 0 0 25 0 1 0 902074865 4001390592 965617 33554432000 4194304 9128323 140734163006288 18446744073709551615 4232915 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 976902 965617 573 1205 0 975693 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 3907608
[startup+1662.3 s]
/proc/loadavg: 1.44 1.87 1.95 2/522 11169
/proc/meminfo: memFree=21054176/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3982456 CPUtime=1662.3 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 1013042 0 0 0 166086 144 0 0 25 0 1 0 902074865 4078034944 984062 33554432000 4194304 9128323 140734163006288 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 995614 984062 573 1205 0 994405 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 3982456
[startup+1722.3 s]
/proc/loadavg: 1.26 1.74 1.89 2/522 11170
/proc/meminfo: memFree=20994484/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=4045120 CPUtime=1722.3 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 1027974 0 0 0 172084 146 0 0 25 0 1 0 902074865 4142202880 998994 33554432000 4194304 9128323 140734163006288 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 1011280 998994 573 1205 0 1010071 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 4045120
[startup+1782.3 s]
/proc/loadavg: 1.14 1.62 1.84 2/522 11173
/proc/meminfo: memFree=20926752/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=4111324 CPUtime=1782.31 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 1044528 0 0 0 178081 150 0 0 25 0 1 0 902074865 4209995776 1015548 33554432000 4194304 9128323 140734163006288 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 1027831 1015548 573 1205 0 1026622 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 4111324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.10 1.58 1.82 2/522 11173
/proc/meminfo: memFree=20911740/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=4125588 CPUtime=1800.02 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 1048150 0 0 0 179852 150 0 0 25 0 1 0 902074865 4224602112 1019170 33554432000 4194304 9128323 140734163006288 18446744073709551615 5494419 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11090/statm: 1031397 1019170 573 1205 0 1030188 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4125588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 1.10 1.58 1.82 2/523 11174
/proc/meminfo: memFree=20904168/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=4130644 CPUtime=1800.61 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 1049880 0 0 0 179911 150 0 0 18 0 1 0 902074865 4229779456 1020404 33554432000 4194304 9128323 140734163006288 18446744073709551615 6890241 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11090/statm: 1032661 1020404 607 1205 0 1031452 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 4130644
[startup+1801 s]
/proc/loadavg: 1.10 1.58 1.82 2/523 11174
/proc/meminfo: memFree=20904168/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3842760 CPUtime=1801 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 1049885 0 0 0 179949 151 0 0 18 0 1 0 902074865 3934986240 948845 33554432000 4194304 9128323 140734163006288 18446744073709551615 6885361 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11090/statm: 960690 948845 612 1205 0 959481 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 3842760
[startup+1801.2 s]
/proc/loadavg: 1.10 1.58 1.82 2/523 11174
/proc/meminfo: memFree=20904168/32951124 swapFree=56241860/67111528
[pid=11090] ppid=11087 vsize=3124104 CPUtime=1801.21 cores=1,3,5,7
/proc/11090/stat : 11090 (scip-2.0.1.4.li) R 11087 11090 5807 0 -1 4202496 1049889 0 0 0 179956 165 0 0 18 0 1 0 902074865 3199082496 169508 33554432000 4194304 9128323 140734163006288 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11090/statm: 781026 169508 616 1205 0 779817 0
Current children cumulated CPU time (s) 1801.21
Current children cumulated vsize (KiB) 3124104
Child status: 0
Real time (s): 1801.23
CPU time (s): 1801.24
CPU user time (s): 1799.56
CPU system time (s): 1.67874
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4130644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 1.67874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1049891
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= 1247
runsolver used 8.92064 second user time and 22.5106 second system time
The end