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-3451806-1307119749.opb>
1.49/1.50 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234347 constraints
1.49/1.50 c problem read
1.49/1.50 c presolving settings loaded
1.89/1.93 c presolving:
7.90/7.97 c (round 1) 5006 del vars, 14959 del conss, 0 add conss, 3485 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15983446 impls, 0 clqs
10.50/10.52 c (round 2) 11502 del vars, 38530 del conss, 0 add conss, 9725 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16013445 impls, 0 clqs
11.30/11.35 c (round 3) 14124 del vars, 49342 del conss, 0 add conss, 11372 chg bounds, 38 chg sides, 30 chg coeffs, 0 upgd conss, 16028194 impls, 0 clqs
11.80/11.83 c (round 4) 15564 del vars, 54764 del conss, 0 add conss, 12335 chg bounds, 80 chg sides, 81 chg coeffs, 0 upgd conss, 16036573 impls, 0 clqs
12.00/12.09 c (round 5) 16305 del vars, 57743 del conss, 0 add conss, 12780 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16041628 impls, 0 clqs
12.21/12.22 c (round 6) 16634 del vars, 59166 del conss, 0 add conss, 12963 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16043686 impls, 0 clqs
12.30/12.31 c (round 7) 16791 del vars, 59810 del conss, 0 add conss, 13046 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16044856 impls, 0 clqs
12.30/12.39 c (round 8) 16879 del vars, 60193 del conss, 0 add conss, 13106 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16045841 impls, 0 clqs
12.40/12.46 c (round 9) 16937 del vars, 60440 del conss, 0 add conss, 13153 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16046137 impls, 0 clqs
12.50/12.52 c (round 10) 16977 del vars, 60608 del conss, 0 add conss, 13183 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16046476 impls, 0 clqs
12.50/12.58 c (round 11) 16999 del vars, 60692 del conss, 0 add conss, 13201 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16046535 impls, 0 clqs
12.60/12.63 c (round 12) 17015 del vars, 60762 del conss, 0 add conss, 13216 chg bounds, 96 chg sides, 100 chg coeffs, 0 upgd conss, 16046540 impls, 0 clqs
13.20/13.26 c (round 13) 17015 del vars, 60771 del conss, 0 add conss, 13216 chg bounds, 96 chg sides, 100 chg coeffs, 173576 upgd conss, 16046540 impls, 0 clqs
13.59/13.65 c (round 14) 17015 del vars, 60779 del conss, 68 add conss, 13216 chg bounds, 185 chg sides, 477 chg coeffs, 173576 upgd conss, 16047368 impls, 2694 clqs
575.51/575.57 c (575.6s) probing: 1000/55827 (1.8%) - 19 fixings, 1 aggregations, 11487670 implications, 0 bound changes
1049.42/1049.47 c (1049.5s) probing: 2000/55827 (3.6%) - 19 fixings, 1 aggregations, 17608340 implications, 0 bound changes
1128.74/1128.72 c (1128.7s) probing: 2169/55827 (3.9%) - 19 fixings, 1 aggregations, 18613770 implications, 0 bound changes
1128.74/1128.72 c (1128.7s) probing aborted: 2000/2000 successive useless probings
1128.74/1128.73 c (round 15) 17035 del vars, 60783 del conss, 69 add conss, 13216 chg bounds, 188 chg sides, 488 chg coeffs, 173576 upgd conss, 81614118 impls, 2951 clqs
1129.22/1129.25 c (round 16) 17035 del vars, 62022 del conss, 69 add conss, 13216 chg bounds, 188 chg sides, 717 chg coeffs, 173576 upgd conss, 81614118 impls, 2951 clqs
1129.52/1129.59 c (round 17) 17035 del vars, 62022 del conss, 88 add conss, 13216 chg bounds, 214 chg sides, 800 chg coeffs, 173576 upgd conss, 81614126 impls, 3322 clqs
1254.03/1254.04 c (round 18) 17085 del vars, 62022 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 830 chg coeffs, 173576 upgd conss, 85865384 impls, 3322 clqs
1256.12/1256.13 c (round 19) 17089 del vars, 62199 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 836 chg coeffs, 173576 upgd conss, 85984712 impls, 3322 clqs
1334.45/1334.43 c (round 20) 17139 del vars, 62203 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 836 chg coeffs, 173576 upgd conss, 89325282 impls, 3322 clqs
1335.33/1335.36 c (round 21) 17143 del vars, 62379 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 837 chg coeffs, 173576 upgd conss, 89382186 impls, 3322 clqs
1530.13/1530.20 c (1530.2s) probing: 3000/55827 (5.4%) - 119 fixings, 41 aggregations, 24858126 implications, 0 bound changes
1621.63/1621.61 c (round 22) 17193 del vars, 62382 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 837 chg coeffs, 173576 upgd conss, 105054306 impls, 3323 clqs
1622.13/1622.18 c (round 23) 17193 del vars, 62549 del conss, 88 add conss, 13216 chg bounds, 220 chg sides, 837 chg coeffs, 173576 upgd conss, 105054306 impls, 3323 clqs
1800.24/1800.22 c (1800.2s) probing: 3670/55827 (6.6%) - 127 fixings, 45 aggregations, 30824013 implications, 0 bound changes
1800.24/1800.22 c (1800.2s) probing aborted: solving stopped
1800.24/1800.23 c presolving (24 rounds):
1800.24/1800.23 c 17195 deleted vars, 62549 deleted constraints, 88 added constraints, 13216 tightened bounds, 0 added holes, 220 changed sides, 837 changed coefficients
1800.24/1800.23 c 114305746 implications, 3323 cliques
1800.24/1800.23 c presolved problem has 55647 variables (55647 bin, 0 int, 0 impl, 0 cont) and 171886 constraints
1800.24/1800.23 c 1114 constraints of type <knapsack>
1800.24/1800.23 c 143216 constraints of type <setppc>
1800.24/1800.23 c 27556 constraints of type <logicor>
1800.24/1800.23 c transformed objective value is always integral (scale: 1)
1800.24/1800.23 c Presolving Time: 1798.42
1800.24/1800.23 c - non default parameters ----------------------------------------------------------------------
1800.24/1800.23 c # SCIP version 2.0.1.5
1800.24/1800.23 c
1800.24/1800.23 c # frequency for displaying node information lines
1800.24/1800.23 c # [type: int, range: [-1,2147483647], default: 100]
1800.24/1800.23 c display/freq = 10000
1800.24/1800.23 c
1800.24/1800.23 c # maximal time in seconds to run
1800.24/1800.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.24/1800.23 c limits/time = 1800
1800.24/1800.23 c
1800.24/1800.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.24/1800.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.24/1800.23 c limits/memory = 13950
1800.24/1800.23 c
1800.24/1800.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.24/1800.23 c # [type: int, range: [1,2], default: 1]
1800.24/1800.23 c timing/clocktype = 2
1800.24/1800.23 c
1800.24/1800.23 c # belongs reading time to solving time?
1800.24/1800.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.24/1800.23 c timing/reading = TRUE
1800.24/1800.23 c
1800.24/1800.23 c # should presolving try to simplify inequalities
1800.24/1800.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.24/1800.23 c constraints/linear/simplifyinequalities = TRUE
1800.24/1800.23 c
1800.24/1800.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.24/1800.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.24/1800.23 c constraints/indicator/addCouplingCons = TRUE
1800.24/1800.23 c
1800.24/1800.23 c # should presolving try to simplify knapsacks
1800.24/1800.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.24/1800.23 c constraints/knapsack/simplifyinequalities = TRUE
1800.24/1800.23 c
1800.24/1800.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.24/1800.23 c # [type: int, range: [-1,2147483647], default: -1]
1800.24/1800.23 c separating/rapidlearning/freq = 0
1800.24/1800.23 c
1800.24/1800.23 c -----------------------------------------------------------------------------------------------
1800.24/1800.23 c start solving
1800.24/1800.26 c
1800.24/1800.26 c
1800.24/1800.26 c SCIP Status : solving was interrupted [time limit reached]
1800.24/1800.26 c Solving Time (sec) : 1800.26
1800.24/1800.26 c Solving Nodes : 0
1800.24/1800.26 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.24/1800.26 c Dual Bound : -1.00000000000000e+20
1800.24/1800.26 c Gap : infinite
1800.24/1800.26 s UNKNOWN
1800.24/1800.26 c SCIP Status : solving was interrupted [time limit reached]
1800.24/1800.26 c Total Time : 1800.26
1800.24/1800.26 c solving : 1800.26
1800.24/1800.26 c presolving : 1798.42 (included in solving)
1800.24/1800.26 c reading : 1.50 (included in solving)
1800.24/1800.26 c Original Problem :
1800.24/1800.26 c Problem name : HOME/instance-3451806-1307119749.opb
1800.24/1800.26 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.26 c Constraints : 234347 initial, 234347 maximal
1800.24/1800.26 c Presolved Problem :
1800.24/1800.26 c Problem name : t_HOME/instance-3451806-1307119749.opb
1800.24/1800.26 c Variables : 55647 (55647 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.26 c Constraints : 171886 initial, 171886 maximal
1800.24/1800.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.24/1800.26 c trivial : 0.07 1288 0 0 0 0 0 0 0 0
1800.24/1800.26 c dualfix : 0.09 127 0 0 0 0 0 0 0 0
1800.24/1800.26 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c implics : 3.50 0 7 0 0 0 0 0 0 0
1800.24/1800.26 c probing : 1780.22 127 45 0 0 0 0 0 0 0
1800.24/1800.26 c knapsack : 2.56 0 0 0 0 0 12 88 124 737
1800.24/1800.26 c setppc : 0.79 1 0 0 0 0 1726 0 0 0
1800.24/1800.26 c linear : 10.61 11928 3672 0 13216 0 60771 0 96 100
1800.24/1800.26 c logicor : 0.22 0 0 0 0 0 40 0 0 0
1800.24/1800.26 c root node : - 0 - - 0 - - - - -
1800.24/1800.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.24/1800.26 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c knapsack : 1114 0 153719 0 0 0 0 18 0 0 0 0
1800.24/1800.26 c setppc : 143216 0 153701 0 0 0 0 35 0 0 0 0
1800.24/1800.26 c logicor : 27556 0 141726 0 0 0 0 32 0 0 0 0
1800.24/1800.26 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.24/1800.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.24/1800.26 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.24/1800.26 c knapsack : 8.54 0.00 8.54 0.00 0.00 0.00 0.00
1800.24/1800.26 c setppc : 882.03 0.00 882.03 0.00 0.00 0.00 0.00
1800.24/1800.26 c logicor : 12.80 0.00 12.80 0.00 0.00 0.00 0.00
1800.24/1800.26 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.24/1800.26 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.24/1800.26 c vbounds : 0 0 0 0
1800.24/1800.26 c rootredcost : 0 0 0 0
1800.24/1800.26 c pseudoobj : 0 0 0 0
1800.24/1800.26 c Propagator Timings : TotalTime Propagate Resprop
1800.24/1800.26 c vbounds : 0.06 0.06 0.00
1800.24/1800.26 c rootredcost : 0.05 0.05 0.00
1800.24/1800.26 c pseudoobj : 0.02 0.02 0.00
1800.24/1800.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.24/1800.26 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.24/1800.26 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.24/1800.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.24/1800.26 c applied globally : - - - 0 0.0 - - -
1800.24/1800.26 c applied locally : - - - 0 0.0 - - -
1800.24/1800.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.24/1800.26 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.24/1800.26 c redcost : 0.00 0 0 0 0 0
1800.24/1800.26 c impliedbounds : 0.00 0 0 0 0 0
1800.24/1800.26 c intobj : 0.00 0 0 0 0 0
1800.24/1800.26 c gomory : 0.00 0 0 0 0 0
1800.24/1800.26 c cgmip : 0.00 0 0 0 0 0
1800.24/1800.26 c closecuts : 0.00 0 0 0 0 0
1800.24/1800.26 c strongcg : 0.00 0 0 0 0 0
1800.24/1800.26 c cmir : 0.00 0 0 0 0 0
1800.24/1800.26 c flowcover : 0.00 0 0 0 0 0
1800.24/1800.26 c clique : 0.00 0 0 0 0 0
1800.24/1800.26 c zerohalf : 0.00 0 0 0 0 0
1800.24/1800.26 c mcf : 0.00 0 0 0 0 0
1800.24/1800.26 c oddcycle : 0.00 0 0 0 0 0
1800.24/1800.26 c rapidlearning : 0.00 0 0 0 0 0
1800.24/1800.26 c Pricers : Time Calls Vars
1800.24/1800.26 c problem variables: 0.00 0 0
1800.24/1800.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.24/1800.26 c pscost : 0.00 0 0 0 0 0 0
1800.24/1800.26 c inference : 0.00 0 0 0 0 0 0
1800.24/1800.26 c mostinf : 0.00 0 0 0 0 0 0
1800.24/1800.26 c leastinf : 0.00 0 0 0 0 0 0
1800.24/1800.26 c fullstrong : 0.00 0 0 0 0 0 0
1800.24/1800.26 c allfullstrong : 0.00 0 0 0 0 0 0
1800.24/1800.26 c random : 0.00 0 0 0 0 0 0
1800.24/1800.26 c relpscost : 0.00 0 0 0 0 0 0
1800.24/1800.26 c Primal Heuristics : Time Calls Found
1800.24/1800.26 c LP solutions : 0.00 - 0
1800.24/1800.26 c pseudo solutions : 0.00 - 0
1800.24/1800.26 c trivial : 0.06 1 0
1800.24/1800.26 c shiftandpropagate: 0.00 0 0
1800.24/1800.26 c simplerounding : 0.00 0 0
1800.24/1800.26 c zirounding : 0.00 0 0
1800.24/1800.26 c rounding : 0.00 0 0
1800.24/1800.26 c shifting : 0.00 0 0
1800.24/1800.26 c intshifting : 0.00 0 0
1800.24/1800.26 c oneopt : 0.00 0 0
1800.24/1800.26 c twoopt : 0.00 0 0
1800.24/1800.26 c fixandinfer : 0.00 0 0
1800.24/1800.26 c feaspump : 0.00 0 0
1800.24/1800.26 c clique : 0.00 0 0
1800.24/1800.26 c coefdiving : 0.00 0 0
1800.24/1800.26 c pscostdiving : 0.00 0 0
1800.24/1800.26 c fracdiving : 0.00 0 0
1800.24/1800.26 c veclendiving : 0.00 0 0
1800.24/1800.26 c intdiving : 0.00 0 0
1800.24/1800.26 c actconsdiving : 0.00 0 0
1800.24/1800.26 c objpscostdiving : 0.00 0 0
1800.24/1800.26 c rootsoldiving : 0.00 0 0
1800.24/1800.26 c linesearchdiving : 0.00 0 0
1800.24/1800.26 c guideddiving : 0.00 0 0
1800.24/1800.26 c octane : 0.00 0 0
1800.24/1800.26 c rens : 0.00 0 0
1800.24/1800.26 c rins : 0.00 0 0
1800.24/1800.26 c localbranching : 0.00 0 0
1800.24/1800.26 c mutation : 0.00 0 0
1800.24/1800.26 c crossover : 0.00 0 0
1800.24/1800.26 c dins : 0.00 0 0
1800.24/1800.26 c vbounds : 0.00 0 0
1800.24/1800.26 c undercover : 0.00 0 0
1800.24/1800.26 c subnlp : 0.00 0 0
1800.24/1800.26 c trysol : 0.00 0 0
1800.24/1800.26 c LP : Time Calls Iterations Iter/call Iter/sec
1800.24/1800.26 c primal LP : 0.00 0 0 0.00 -
1800.24/1800.26 c dual LP : 0.00 0 0 0.00 -
1800.24/1800.26 c lex dual LP : 0.00 0 0 0.00 -
1800.24/1800.26 c barrier LP : 0.00 0 0 0.00 -
1800.24/1800.26 c diving/probing LP: 0.00 0 0 0.00 -
1800.24/1800.26 c strong branching : 0.00 0 0 0.00 -
1800.24/1800.26 c (at root node) : - 0 0 0.00 -
1800.24/1800.26 c conflict analysis: 0.00 0 0 0.00 -
1800.24/1800.26 c B&B Tree :
1800.24/1800.26 c number of runs : 1
1800.24/1800.26 c nodes : 0
1800.24/1800.26 c nodes (total) : 0
1800.24/1800.26 c nodes left : 1
1800.24/1800.26 c max depth : -1
1800.24/1800.26 c max depth (total): -1
1800.24/1800.26 c backtracks : 0 (0.0%)
1800.24/1800.26 c delayed cutoffs : 0
1800.24/1800.26 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.24/1800.26 c avg switch length: 0.00
1800.24/1800.26 c switching time : 0.00
1800.24/1800.26 c Solution :
1800.24/1800.26 c Solutions found : 0 (0 improvements)
1800.24/1800.26 c Primal Bound : -
1800.24/1800.26 c Dual Bound : -
1800.24/1800.26 c Gap : infinite
1800.24/1800.26 c Root Dual Bound : -
1800.24/1800.26 c Root Iterations : 0
1800.86/1800.88 c Time complete: 1800.92.
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-3451806-1307119749/watcher-3451806-1307119749 -o /tmp/evaluation-result-3451806-1307119749/solver-3451806-1307119749 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451806-1307119749.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.24 2.05 2.01 2/511 771
/proc/meminfo: memFree=15508928/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=9460 CPUtime=0 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 1470 0 0 0 0 0 0 0 25 0 1 0 804391024 9687040 1423 33554432000 4194304 9163163 140734307790400 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 2365 1428 335 1214 0 1147 0
[startup+0.11702 s]
/proc/loadavg: 2.24 2.05 2.01 2/511 771
/proc/meminfo: memFree=15508928/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=32532 CPUtime=0.1 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 7133 0 0 0 10 0 0 0 25 0 1 0 804391024 33312768 7086 33554432000 4194304 9163163 140734307790400 18446744073709551615 6560880 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 8133 7086 395 1214 0 6915 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32532
[startup+0.201006 s]
/proc/loadavg: 2.24 2.05 2.01 2/511 771
/proc/meminfo: memFree=15508928/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=46752 CPUtime=0.19 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 10684 0 0 0 18 1 0 0 25 0 1 0 804391024 47874048 10637 33554432000 4194304 9163163 140734307790400 18446744073709551615 4337765 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 11688 10637 395 1214 0 10470 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46752
[startup+0.300983 s]
/proc/loadavg: 2.24 2.05 2.01 2/511 771
/proc/meminfo: memFree=15508928/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=56888 CPUtime=0.29 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 13206 0 0 0 28 1 0 0 25 0 1 0 804391024 58253312 13159 33554432000 4194304 9163163 140734307790400 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 14222 13159 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56888
[startup+0.700888 s]
/proc/loadavg: 2.24 2.05 2.01 2/511 771
/proc/meminfo: memFree=15508928/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=80896 CPUtime=0.69 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 19183 0 0 0 67 2 0 0 25 0 1 0 804391024 82837504 19136 33554432000 4194304 9163163 140734307790400 18446744073709551615 6168977 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 20224 19136 395 1214 0 19006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80896
[startup+1.50075 s]
/proc/loadavg: 2.24 2.05 2.01 3/512 772
/proc/meminfo: memFree=15397552/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=152904 CPUtime=1.49 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 37122 0 0 0 145 4 0 0 25 0 1 0 804391024 156573696 37075 33554432000 4194304 9163163 140734307790400 18446744073709551615 4914455 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 38226 37075 395 1214 0 37008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152904
[startup+3.10049 s]
/proc/loadavg: 2.24 2.05 2.01 3/512 772
/proc/meminfo: memFree=15116568/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=510664 CPUtime=3.09 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 125037 0 0 0 294 15 0 0 25 0 1 0 804391024 522919936 124914 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 127666 124914 506 1214 0 126448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510664
[startup+6.30095 s]
/proc/loadavg: 2.30 2.06 2.02 3/512 772
/proc/meminfo: memFree=14791460/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=779200 CPUtime=6.29 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 190322 0 0 0 606 23 0 0 25 0 1 0 804391024 797900800 190199 33554432000 4194304 9163163 140734307790400 18446744073709551615 6922376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 194800 190199 506 1214 0 193582 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 779200
[startup+12.7008 s]
/proc/loadavg: 2.28 2.06 2.02 3/512 772
/proc/meminfo: memFree=14624036/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=856052 CPUtime=12.7 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 209068 0 0 0 1245 25 0 0 25 0 1 0 804391024 876597248 208688 33554432000 4194304 9163163 140734307790400 18446744073709551615 5223132 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 214013 208688 518 1214 0 212795 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 856052
[startup+25.5006 s]
/proc/loadavg: 2.22 2.06 2.02 3/512 772
/proc/meminfo: memFree=14378280/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=988948 CPUtime=25.5 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 253246 0 0 0 2520 30 0 0 25 0 1 0 804391024 1012682752 239609 33554432000 4194304 9163163 140734307790400 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 247237 239609 614 1214 0 246019 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 988948
[startup+51.1011 s]
/proc/loadavg: 2.30 2.09 2.02 3/512 773
/proc/meminfo: memFree=14274100/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=1044780 CPUtime=51.09 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 266267 0 0 0 5078 31 0 0 25 0 1 0 804391024 1069854720 252630 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 261195 252630 614 1214 0 259977 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1044780
[startup+102.301 s]
/proc/loadavg: 2.13 2.07 2.02 3/512 774
/proc/meminfo: memFree=13956976/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=1193876 CPUtime=102.3 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 303527 0 0 0 10194 36 0 0 25 0 1 0 804391024 1222529024 289890 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 298469 289890 614 1214 0 297251 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1193876
[startup+162.301 s]
/proc/loadavg: 2.13 2.08 2.02 3/512 776
/proc/meminfo: memFree=13594376/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=1350328 CPUtime=162.29 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 342947 0 0 0 16188 41 0 0 25 0 1 0 804391024 1382735872 329310 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 337582 329310 614 1214 0 336364 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1350328
[startup+222.319 s]
/proc/loadavg: 2.12 2.10 2.03 3/512 777
/proc/meminfo: memFree=13244908/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=1521916 CPUtime=222.31 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 385741 0 0 0 22185 46 0 0 25 0 1 0 804391024 1558441984 372104 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 380479 372104 614 1214 0 379261 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1521916
[startup+282.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/512 779
/proc/meminfo: memFree=12931272/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=1688752 CPUtime=282.3 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 426934 0 0 0 28177 53 0 0 25 0 1 0 804391024 1729282048 413297 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 422188 413297 614 1214 0 420970 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1688752
[startup+342.301 s]
/proc/loadavg: 2.01 2.06 2.02 3/512 781
/proc/meminfo: memFree=12619364/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=1837296 CPUtime=342.3 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 464086 0 0 0 34172 58 0 0 25 0 1 0 804391024 1881391104 450449 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 459324 450449 614 1214 0 458106 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1837296
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/512 782
/proc/meminfo: memFree=12337608/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=1990924 CPUtime=402.3 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 502294 0 0 0 40168 62 0 0 25 0 1 0 804391024 2038706176 488657 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 497731 488657 614 1214 0 496513 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1990924
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/512 784
/proc/meminfo: memFree=12064028/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=2105976 CPUtime=462.3 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 530621 0 0 0 46164 66 0 0 25 0 1 0 804391024 2156519424 516984 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 526494 516984 614 1214 0 525276 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2105976
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 785
/proc/meminfo: memFree=11913196/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=2162656 CPUtime=522.3 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 544921 0 0 0 52162 68 0 0 25 0 1 0 804391024 2214559744 531284 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 540664 531284 614 1214 0 539446 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2162656
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 787
/proc/meminfo: memFree=11616284/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=2342608 CPUtime=582.31 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 589228 0 0 0 58156 75 0 0 25 0 1 0 804391024 2398830592 575591 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 585652 575591 618 1214 0 584434 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2342608
[startup+642.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 811
/proc/meminfo: memFree=10657840/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=2858596 CPUtime=1002.32 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 717316 0 0 0 100141 91 0 0 25 0 1 0 804391024 2927202304 703679 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 714649 703679 618 1214 0 713431 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2858596
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 814
/proc/meminfo: memFree=10544344/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=2900932 CPUtime=1062.32 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 727355 0 0 0 106140 92 0 0 25 0 1 0 804391024 2970554368 713718 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 725233 713718 618 1214 0 724015 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2900932
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/512 815
/proc/meminfo: memFree=10193248/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=2946416 CPUtime=1122.32 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 739317 0 0 0 112139 93 0 0 25 0 1 0 804391024 3017129984 725680 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 736604 725680 618 1214 0 735386 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2946416
[startup+1182.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/512 817
/proc/meminfo: memFree=10108772/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3009956 CPUtime=1182.32 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 756035 0 0 0 118136 96 0 0 25 0 1 0 804391024 3082194944 742398 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 752489 742398 618 1214 0 751271 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3009956
[startup+1242.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/512 819
/proc/meminfo: memFree=10023432/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3072992 CPUtime=1242.33 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 771838 0 0 0 124135 98 0 0 25 0 1 0 804391024 3146743808 758201 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 768248 758201 618 1214 0 767030 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3072992
[startup+1302.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/512 821
/proc/meminfo: memFree=9936232/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3153348 CPUtime=1302.32 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 791999 0 0 0 130132 100 0 0 25 0 1 0 804391024 3229028352 778362 33554432000 4194304 9163163 140734307790400 18446744073709551615 6568785 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 788337 778362 618 1214 0 787119 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3153348
[startup+1362.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/512 824
/proc/meminfo: memFree=9876184/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3206200 CPUtime=1362.32 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 805288 0 0 0 136130 102 0 0 25 0 1 0 804391024 3283148800 791651 33554432000 4194304 9163163 140734307790400 18446744073709551615 4831577 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 801550 791651 618 1214 0 800332 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3206200
[startup+1422.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/512 825
/proc/meminfo: memFree=9793956/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3289712 CPUtime=1422.33 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 826114 0 0 0 142128 105 0 0 25 0 1 0 804391024 3368665088 812477 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 822428 812477 618 1214 0 821210 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3289712
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 827
/proc/meminfo: memFree=9709728/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3375300 CPUtime=1482.33 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 847358 0 0 0 148126 107 0 0 25 0 1 0 804391024 3456307200 833554 33554432000 4194304 9163163 140734307790400 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 843825 833554 618 1214 0 842607 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3375300
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 829
/proc/meminfo: memFree=9636896/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3445936 CPUtime=1542.34 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 864983 0 0 0 154125 109 0 0 25 0 1 0 804391024 3528638464 851179 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 861484 851179 618 1214 0 860266 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3445936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 830
/proc/meminfo: memFree=9525872/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3564236 CPUtime=1602.33 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 894193 0 0 0 160120 113 0 0 25 0 1 0 804391024 3649777664 880389 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 891059 880389 618 1214 0 889841 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3564236
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 832
/proc/meminfo: memFree=9446348/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3637472 CPUtime=1662.33 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 912257 0 0 0 166119 114 0 0 25 0 1 0 804391024 3724771328 898453 33554432000 4194304 9163163 140734307790400 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 909368 898453 618 1214 0 908150 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3637472
[startup+1722.3 s]
/proc/loadavg: 1.40 1.84 1.94 2/506 866
/proc/meminfo: memFree=13105648/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3719716 CPUtime=1722.33 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 932020 0 0 0 172116 117 0 0 25 0 1 0 804391024 3808989184 918216 33554432000 4194304 9163163 140734307790400 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 929929 918216 618 1214 0 928711 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3719716
[startup+1782.3 s]
/proc/loadavg: 1.14 1.69 1.88 2/506 868
/proc/meminfo: memFree=12986824/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3839016 CPUtime=1782.33 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 961206 0 0 0 178113 120 0 0 25 0 1 0 804391024 3931152384 947402 33554432000 4194304 9163163 140734307790400 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 959754 947402 618 1214 0 958536 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3839016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.10 1.64 1.86 2/506 869
/proc/meminfo: memFree=12958920/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3866432 CPUtime=1800.04 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 968255 0 0 0 179883 121 0 0 25 0 1 0 804391024 3959226368 954451 33554432000 4194304 9163163 140734307790400 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/771/statm: 966608 954451 618 1214 0 965390 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3866432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 1.10 1.64 1.86 2/506 869
/proc/meminfo: memFree=12958920/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3871060 CPUtime=1800.33 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 970194 0 0 0 179912 121 0 0 25 0 1 0 804391024 3963965440 955529 33554432000 4194304 9163163 140734307790400 18446744073709551615 4815724 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 967765 955529 650 1214 0 966547 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 3871060
[startup+1800.7 s]
/proc/loadavg: 1.10 1.64 1.86 2/507 870
/proc/meminfo: memFree=13286884/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=3530824 CPUtime=1800.74 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 970198 0 0 0 179951 123 0 0 25 0 1 0 804391024 3615563776 870918 33554432000 4194304 9163163 140734307790400 18446744073709551615 8095719 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 882706 870918 654 1214 0 881488 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 3530824
[startup+1800.82 s]
/proc/loadavg: 1.10 1.64 1.86 2/507 870
/proc/meminfo: memFree=13286884/32951124 swapFree=67111204/67111528
[pid=771] ppid=769 vsize=2141132 CPUtime=1800.86 cores=0,2,4,6
/proc/771/stat : 771 (scip-2.0.1.4b.l) R 769 771 30576 0 -1 4202496 970201 0 0 0 179955 131 0 0 25 0 1 0 804391024 2192519168 409973 33554432000 4194304 9163163 140734307790400 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/771/statm: 535283 409461 657 1214 0 534065 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 2141132
Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.93
CPU user time (s): 1799.55
CPU system time (s): 1.37979
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3871060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 1.37979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 970203
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= 4
involuntary context switches= 947
runsolver used 9.54855 second user time and 20.4749 second system time
The end