0.00/0.02 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3453466-1307121193.opb>
1.47/1.50 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234347 constraints
1.47/1.50 c problem read
1.47/1.50 c presolving settings loaded
2.17/2.28 c presolving:
8.27/8.32 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.77/10.87 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.67/11.71 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
12.07/12.18 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.37/12.44 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.47/12.57 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.57/12.66 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.67/12.74 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.77/12.80 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.77/12.87 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.87/12.93 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.87/12.99 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.57/13.64 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.97/14.04 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
587.99/588.16 c (588.1s) probing: 1000/55827 (1.8%) - 19 fixings, 1 aggregations, 11487670 implications, 0 bound changes
1076.00/1076.16 c (1076.1s) probing: 2000/55827 (3.6%) - 19 fixings, 1 aggregations, 17608340 implications, 0 bound changes
1157.80/1157.94 c (1157.9s) probing: 2169/55827 (3.9%) - 19 fixings, 1 aggregations, 18613770 implications, 0 bound changes
1157.80/1157.94 c (1157.9s) probing aborted: 2000/2000 successive useless probings
1157.80/1157.94 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
1158.32/1158.46 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
1158.71/1158.81 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
1284.10/1284.29 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
1286.20/1286.39 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
1365.31/1365.46 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
1366.23/1366.39 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
1564.51/1564.67 c (1564.6s) probing: 3000/55827 (5.4%) - 119 fixings, 41 aggregations, 24858126 implications, 0 bound changes
1658.20/1658.33 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
1658.71/1658.90 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.01/1800.11 c (1800.1s) probing: 3597/55827 (6.4%) - 127 fixings, 45 aggregations, 29698588 implications, 0 bound changes
1800.01/1800.11 c (1800.1s) probing aborted: solving stopped
1800.01/1800.11 c presolving (24 rounds):
1800.01/1800.11 c 17195 deleted vars, 62549 deleted constraints, 88 added constraints, 13216 tightened bounds, 0 added holes, 220 changed sides, 837 changed coefficients
1800.01/1800.11 c 112032536 implications, 3323 cliques
1800.01/1800.11 c presolved problem has 55647 variables (55647 bin, 0 int, 0 impl, 0 cont) and 171886 constraints
1800.01/1800.11 c 1114 constraints of type <knapsack>
1800.01/1800.11 c 143216 constraints of type <setppc>
1800.01/1800.11 c 27556 constraints of type <logicor>
1800.01/1800.11 c transformed objective value is always integral (scale: 1)
1800.01/1800.11 c Presolving Time: 1798.39
1800.01/1800.11 c - non default parameters ----------------------------------------------------------------------
1800.01/1800.11 c # SCIP version 2.0.1.4
1800.01/1800.11 c
1800.01/1800.11 c # frequency for displaying node information lines
1800.01/1800.11 c # [type: int, range: [-1,2147483647], default: 100]
1800.01/1800.11 c display/freq = 10000
1800.01/1800.11 c
1800.01/1800.11 c # maximal time in seconds to run
1800.01/1800.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.01/1800.11 c limits/time = 1800
1800.01/1800.11 c
1800.01/1800.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.01/1800.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.01/1800.11 c limits/memory = 13950
1800.01/1800.11 c
1800.01/1800.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.01/1800.11 c # [type: int, range: [1,2], default: 1]
1800.01/1800.11 c timing/clocktype = 2
1800.01/1800.11 c
1800.01/1800.11 c # belongs reading time to solving time?
1800.01/1800.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.01/1800.11 c timing/reading = TRUE
1800.01/1800.11 c
1800.01/1800.11 c # should presolving try to simplify inequalities
1800.01/1800.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.01/1800.11 c constraints/linear/simplifyinequalities = TRUE
1800.01/1800.11 c
1800.01/1800.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.01/1800.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.01/1800.11 c constraints/indicator/addCouplingCons = TRUE
1800.01/1800.11 c
1800.01/1800.11 c # should presolving try to simplify knapsacks
1800.01/1800.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.01/1800.11 c constraints/knapsack/simplifyinequalities = TRUE
1800.01/1800.11 c
1800.01/1800.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.01/1800.11 c # [type: int, range: [-1,2147483647], default: -1]
1800.01/1800.11 c separating/rapidlearning/freq = 0
1800.01/1800.11 c
1800.01/1800.11 c -----------------------------------------------------------------------------------------------
1800.01/1800.11 c start solving
1800.02/1800.14 c
1800.02/1800.14 c
1800.02/1800.14 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.14 c Solving Time (sec) : 1800.12
1800.02/1800.14 c Solving Nodes : 0
1800.02/1800.14 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.14 c Dual Bound : -1.00000000000000e+20
1800.02/1800.14 c Gap : infinite
1800.02/1800.14 s UNKNOWN
1800.02/1800.14 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.14 c Total Time : 1800.12
1800.02/1800.14 c solving : 1800.12
1800.02/1800.14 c presolving : 1798.39 (included in solving)
1800.02/1800.14 c reading : 1.48 (included in solving)
1800.02/1800.14 c Original Problem :
1800.02/1800.14 c Problem name : HOME/instance-3453466-1307121193.opb
1800.02/1800.14 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.14 c Constraints : 234347 initial, 234347 maximal
1800.02/1800.14 c Presolved Problem :
1800.02/1800.14 c Problem name : t_HOME/instance-3453466-1307121193.opb
1800.02/1800.14 c Variables : 55647 (55647 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.14 c Constraints : 171886 initial, 171886 maximal
1800.02/1800.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.02/1800.14 c trivial : 0.07 1288 0 0 0 0 0 0 0 0
1800.02/1800.14 c dualfix : 0.11 127 0 0 0 0 0 0 0 0
1800.02/1800.14 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.14 c implics : 3.49 0 7 0 0 0 0 0 0 0
1800.02/1800.14 c probing : 1779.70 127 45 0 0 0 0 0 0 0
1800.02/1800.14 c knapsack : 2.55 0 0 0 0 0 12 88 124 737
1800.02/1800.14 c setppc : 0.82 1 0 0 0 0 1726 0 0 0
1800.02/1800.14 c linear : 10.63 11928 3672 0 13216 0 60771 0 96 100
1800.02/1800.14 c logicor : 0.22 0 0 0 0 0 40 0 0 0
1800.02/1800.14 c root node : - 0 - - 0 - - - - -
1800.02/1800.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.02/1800.14 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.02/1800.14 c knapsack : 1114 0 149935 0 0 0 0 18 0 0 0 0
1800.02/1800.14 c setppc : 143216 0 149917 0 0 0 0 35 0 0 0 0
1800.02/1800.14 c logicor : 27556 0 138241 0 0 0 0 32 0 0 0 0
1800.02/1800.14 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.02/1800.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.02/1800.14 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.02/1800.14 c knapsack : 8.59 0.00 8.59 0.00 0.00 0.00 0.00
1800.02/1800.14 c setppc : 893.98 0.00 893.98 0.00 0.00 0.00 0.00
1800.02/1800.14 c logicor : 14.14 0.00 14.14 0.00 0.00 0.00 0.00
1800.02/1800.14 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.02/1800.14 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.02/1800.14 c vbounds : 0 0 0 0
1800.02/1800.14 c rootredcost : 0 0 0 0
1800.02/1800.14 c pseudoobj : 0 0 0 0
1800.02/1800.14 c Propagator Timings : TotalTime Propagate Resprop
1800.02/1800.14 c vbounds : 0.06 0.06 0.00
1800.02/1800.14 c rootredcost : 0.03 0.03 0.00
1800.02/1800.14 c pseudoobj : 0.03 0.03 0.00
1800.02/1800.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.14 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.14 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.14 c applied globally : - - - 0 0.0 - - -
1800.02/1800.14 c applied locally : - - - 0 0.0 - - -
1800.02/1800.14 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.14 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.14 c redcost : 0.00 0 0 0 0 0
1800.02/1800.14 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.14 c intobj : 0.00 0 0 0 0 0
1800.02/1800.14 c gomory : 0.00 0 0 0 0 0
1800.02/1800.14 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.14 c closecuts : 0.00 0 0 0 0 0
1800.02/1800.14 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.14 c cmir : 0.00 0 0 0 0 0
1800.02/1800.14 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.14 c clique : 0.00 0 0 0 0 0
1800.02/1800.14 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.14 c mcf : 0.00 0 0 0 0 0
1800.02/1800.14 c oddcycle : 0.00 0 0 0 0 0
1800.02/1800.14 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.14 c Pricers : Time Calls Vars
1800.02/1800.14 c problem variables: 0.00 0 0
1800.02/1800.14 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.14 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.14 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.14 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.14 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.14 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.14 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.14 c random : 0.00 0 0 0 0 0 0
1800.02/1800.14 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.14 c Primal Heuristics : Time Calls Found
1800.02/1800.14 c LP solutions : 0.00 - 0
1800.02/1800.14 c pseudo solutions : 0.00 - 0
1800.02/1800.14 c trivial : 0.05 1 0
1800.02/1800.14 c shiftandpropagate: 0.00 0 0
1800.02/1800.14 c simplerounding : 0.00 0 0
1800.02/1800.14 c zirounding : 0.00 0 0
1800.02/1800.14 c rounding : 0.00 0 0
1800.02/1800.14 c shifting : 0.00 0 0
1800.02/1800.14 c intshifting : 0.00 0 0
1800.02/1800.14 c oneopt : 0.00 0 0
1800.02/1800.14 c twoopt : 0.00 0 0
1800.02/1800.14 c fixandinfer : 0.00 0 0
1800.02/1800.14 c feaspump : 0.00 0 0
1800.02/1800.14 c clique : 0.00 0 0
1800.02/1800.14 c coefdiving : 0.00 0 0
1800.02/1800.14 c pscostdiving : 0.00 0 0
1800.02/1800.14 c fracdiving : 0.00 0 0
1800.02/1800.14 c veclendiving : 0.00 0 0
1800.02/1800.14 c intdiving : 0.00 0 0
1800.02/1800.14 c actconsdiving : 0.00 0 0
1800.02/1800.14 c objpscostdiving : 0.00 0 0
1800.02/1800.14 c rootsoldiving : 0.00 0 0
1800.02/1800.14 c linesearchdiving : 0.00 0 0
1800.02/1800.14 c guideddiving : 0.00 0 0
1800.02/1800.14 c octane : 0.00 0 0
1800.02/1800.14 c rens : 0.00 0 0
1800.02/1800.14 c rins : 0.00 0 0
1800.02/1800.14 c localbranching : 0.00 0 0
1800.02/1800.14 c mutation : 0.00 0 0
1800.02/1800.14 c crossover : 0.00 0 0
1800.02/1800.14 c dins : 0.00 0 0
1800.02/1800.14 c vbounds : 0.00 0 0
1800.02/1800.14 c undercover : 0.00 0 0
1800.02/1800.14 c subnlp : 0.00 0 0
1800.02/1800.14 c trysol : 0.00 0 0
1800.02/1800.14 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.14 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.14 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.14 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.14 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.14 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.14 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.14 c (at root node) : - 0 0 0.00 -
1800.02/1800.14 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.14 c B&B Tree :
1800.02/1800.14 c number of runs : 1
1800.02/1800.14 c nodes : 0
1800.02/1800.14 c nodes (total) : 0
1800.02/1800.14 c nodes left : 1
1800.02/1800.14 c max depth : -1
1800.02/1800.14 c max depth (total): -1
1800.02/1800.14 c backtracks : 0 (0.0%)
1800.02/1800.14 c delayed cutoffs : 0
1800.02/1800.14 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.02/1800.14 c avg switch length: 0.00
1800.02/1800.14 c switching time : 0.00
1800.02/1800.14 c Solution :
1800.02/1800.14 c Solutions found : 0 (0 improvements)
1800.02/1800.14 c Primal Bound : -
1800.02/1800.14 c Dual Bound : -
1800.02/1800.14 c Gap : infinite
1800.02/1800.14 c Root Dual Bound : -
1800.02/1800.14 c Root Iterations : 0
1800.61/1800.74 c Time complete: 1800.65.
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-3453466-1307121193/watcher-3453466-1307121193 -o /tmp/evaluation-result-3453466-1307121193/solver-3453466-1307121193 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453466-1307121193.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 1.99 3/551 5692
/proc/meminfo: memFree=25003752/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/5692/stat : 5692 (runsolver) R 5690 5692 3492 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 1 0 823716371 12079104 51 33554432000 4194304 5432328 140735539052448 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/5692/statm: 2949 51 31 303 0 2643 0
[startup+0.11279 s]
/proc/loadavg: 2.00 2.02 1.99 3/551 5692
/proc/meminfo: memFree=25003752/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=25320 CPUtime=0.08 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 5342 0 0 0 8 0 0 0 20 0 1 0 823716371 25927680 5293 33554432000 4194304 9128323 140735960698608 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5692/statm: 6330 5293 400 1205 0 5121 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25320
[startup+0.200774 s]
/proc/loadavg: 2.00 2.02 1.99 3/551 5692
/proc/meminfo: memFree=25003752/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=38984 CPUtime=0.17 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 8778 0 0 0 17 0 0 0 21 0 1 0 823716371 39919616 8699 33554432000 4194304 9128323 140735960698608 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5692/statm: 9746 8699 400 1205 0 8537 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 38984
[startup+0.300752 s]
/proc/loadavg: 2.00 2.02 1.99 3/551 5692
/proc/meminfo: memFree=25003752/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=49816 CPUtime=0.27 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 11499 0 0 0 26 1 0 0 21 0 1 0 823716371 51011584 11418 33554432000 4194304 9128323 140735960698608 18446744073709551615 6193951 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5692/statm: 12454 11418 400 1205 0 11245 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 49816
[startup+0.700677 s]
/proc/loadavg: 2.00 2.02 1.99 3/551 5692
/proc/meminfo: memFree=25003752/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=68268 CPUtime=0.67 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 16122 0 0 0 66 1 0 0 22 0 1 0 823716371 69906432 16033 33554432000 4194304 9128323 140735960698608 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5692/statm: 17067 16033 400 1205 0 15858 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 68268
[startup+1.50053 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5699
/proc/meminfo: memFree=24813752/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=129412 CPUtime=1.47 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 31321 0 0 0 144 3 0 0 25 0 1 0 823716371 132517888 31217 33554432000 4194304 9128323 140735960698608 18446744073709551615 6163931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5692/statm: 32353 31217 400 1205 0 31144 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 129412
[startup+3.10022 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5699
/proc/meminfo: memFree=24282056/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=486972 CPUtime=3.07 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 128783 0 0 0 293 14 0 0 25 0 1 0 823716371 498659328 118437 33554432000 4194304 9128323 140735960698608 18446744073709551615 6889775 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 121743 118437 510 1205 0 120534 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 486972
[startup+6.30061 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5699
/proc/meminfo: memFree=23683844/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=769756 CPUtime=6.27 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 197783 0 0 0 606 21 0 0 25 0 1 0 823716371 788230144 187437 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 192439 187437 510 1205 0 191230 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 769756
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5699
/proc/meminfo: memFree=23423232/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=868036 CPUtime=12.67 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 222575 0 0 0 1244 23 0 0 25 0 1 0 823716371 888868864 211087 33554432000 4194304 9128323 140735960698608 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 217009 211087 523 1205 0 215800 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 868036
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 1.99 3/555 5700
/proc/meminfo: memFree=23260560/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=997552 CPUtime=25.47 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 266365 0 0 0 2519 28 0 0 25 0 1 0 823716371 1021493248 241205 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 249388 241205 660 1205 0 248179 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 997552
[startup+51.101 s]
/proc/loadavg: 2.00 2.01 1.99 3/555 5700
/proc/meminfo: memFree=23123976/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=1050592 CPUtime=51.07 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 278890 0 0 0 5077 30 0 0 25 0 1 0 823716371 1075806208 253730 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 262648 253730 660 1205 0 261439 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1050592
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/555 5702
/proc/meminfo: memFree=22779612/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=1199228 CPUtime=102.28 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 315720 0 0 0 10193 35 0 0 25 0 1 0 823716371 1228009472 290560 33554432000 4194304 9128323 140735960698608 18446744073709551615 5489961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 299807 290560 660 1205 0 298598 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1199228
[startup+162.301 s]
/proc/loadavg: 2.11 2.03 2.00 3/555 5703
/proc/meminfo: memFree=22415652/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=1355788 CPUtime=162.28 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 355524 0 0 0 16188 40 0 0 25 0 1 0 823716371 1388326912 330133 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 338947 330133 660 1205 0 337738 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1355788
[startup+222.321 s]
/proc/loadavg: 2.18 2.07 2.01 3/555 5705
/proc/meminfo: memFree=22098072/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=1522104 CPUtime=222.28 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 397152 0 0 0 22185 43 0 0 25 0 1 0 823716371 1558634496 371200 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 380526 371200 660 1205 0 379317 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1522104
[startup+282.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/555 5706
/proc/meminfo: memFree=21823388/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=1679864 CPUtime=282.26 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 436985 0 0 0 28177 49 0 0 25 0 1 0 823716371 1720180736 411033 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 419966 411033 660 1205 0 418757 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 1679864
[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/555 5708
/proc/meminfo: memFree=21538300/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=1834416 CPUtime=342.27 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 475373 0 0 0 34171 56 0 0 25 0 1 0 823716371 1878441984 449421 33554432000 4194304 9128323 140735960698608 18446744073709551615 4352218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 458604 449421 660 1205 0 457395 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1834416
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5710
/proc/meminfo: memFree=21332448/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=1981148 CPUtime=402.27 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 511984 0 0 0 40166 61 0 0 25 0 1 0 823716371 2028695552 486032 33554432000 4194304 9128323 140735960698608 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 495287 486032 660 1205 0 494078 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 1981148
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5711
/proc/meminfo: memFree=21144680/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2098040 CPUtime=462.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 540545 0 0 0 46156 64 0 0 25 0 1 0 823716371 2148392960 514593 33554432000 4194304 9128323 140735960698608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 524510 514593 660 1205 0 523301 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2098040
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5713
/proc/meminfo: memFree=21030444/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2158828 CPUtime=522.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 555936 0 0 0 52153 67 0 0 25 0 1 0 823716371 2210639872 529984 33554432000 4194304 9128323 140735960698608 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 539707 529984 660 1205 0 538498 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2158828
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5714
/proc/meminfo: memFree=20684580/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2313604 CPUtime=582.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 594111 0 0 0 58147 73 0 0 25 0 1 0 823716371 2369130496 568159 33554432000 4194304 9128323 140735960698608 18446744073709551615 4855072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 578401 568159 660 1205 0 577192 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2313604
[startup+642.301 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/555 5724
/proc/meminfo: memFree=19731484/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2809600 CPUtime=942.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 717077 0 0 0 94128 92 0 0 25 0 1 0 823716371 2877030400 691125 33554432000 4194304 9128323 140735960698608 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 702400 691125 664 1205 0 701191 0
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (KiB) 2809600
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5726
/proc/meminfo: memFree=19670944/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2851880 CPUtime=1002.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 727413 0 0 0 100128 92 0 0 25 0 1 0 823716371 2920325120 701461 33554432000 4194304 9128323 140735960698608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 712970 701461 664 1205 0 711761 0
Current children cumulated CPU time (s) 1002.2
Current children cumulated vsize (KiB) 2851880
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5727
/proc/meminfo: memFree=19635576/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2886040 CPUtime=1062.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 736213 0 0 0 106126 94 0 0 25 0 1 0 823716371 2955304960 710261 33554432000 4194304 9128323 140735960698608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 721510 710261 664 1205 0 720301 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 2886040
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5729
/proc/meminfo: memFree=19590416/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2935532 CPUtime=1122.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 747502 0 0 0 112124 96 0 0 25 0 1 0 823716371 3005984768 721550 33554432000 4194304 9128323 140735960698608 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 733883 721550 664 1205 0 732674 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 2935532
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5730
/proc/meminfo: memFree=19525904/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2995444 CPUtime=1182.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 763306 0 0 0 118122 98 0 0 25 0 1 0 823716371 3067334656 737354 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 748861 737354 664 1205 0 747652 0
Current children cumulated CPU time (s) 1182.2
Current children cumulated vsize (KiB) 2995444
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/555 5732
/proc/meminfo: memFree=19482104/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3035016 CPUtime=1242.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 774433 0 0 0 124120 100 0 0 25 0 1 0 823716371 3107856384 748481 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 758754 748481 664 1205 0 757545 0
Current children cumulated CPU time (s) 1242.2
Current children cumulated vsize (KiB) 3035016
[startup+1302.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/555 5734
/proc/meminfo: memFree=19385116/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3130124 CPUtime=1302.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 798123 0 0 0 130117 103 0 0 25 0 1 0 823716371 3205246976 772171 33554432000 4194304 9128323 140735960698608 18446744073709551615 4794279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 782531 772171 664 1205 0 781322 0
Current children cumulated CPU time (s) 1302.2
Current children cumulated vsize (KiB) 3130124
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/555 5735
/proc/meminfo: memFree=19333896/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3186560 CPUtime=1362.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 811935 0 0 0 136115 105 0 0 25 0 1 0 823716371 3263037440 785983 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 796640 785983 664 1205 0 795431 0
Current children cumulated CPU time (s) 1362.2
Current children cumulated vsize (KiB) 3186560
[startup+1422.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5737
/proc/meminfo: memFree=19275464/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3241708 CPUtime=1422.21 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 826000 0 0 0 142113 108 0 0 25 0 1 0 823716371 3319508992 800048 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 810427 800048 664 1205 0 809218 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 3241708
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5738
/proc/meminfo: memFree=19194592/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3322356 CPUtime=1482.21 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 846228 0 0 0 148110 111 0 0 25 0 1 0 823716371 3402092544 820276 33554432000 4194304 9128323 140735960698608 18446744073709551615 5494288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 830589 820276 664 1205 0 829380 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 3322356
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5740
/proc/meminfo: memFree=19092752/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3426812 CPUtime=1542.22 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 871612 0 0 0 154108 114 0 0 25 0 1 0 823716371 3509055488 845660 33554432000 4194304 9128323 140735960698608 18446744073709551615 4840374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 856703 845660 664 1205 0 855494 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 3426812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5742
/proc/meminfo: memFree=19028608/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3492204 CPUtime=1602.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 887972 0 0 0 160104 116 0 0 25 0 1 0 823716371 3576016896 862020 33554432000 4194304 9128323 140735960698608 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 873051 862020 664 1205 0 871842 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 3492204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 5743
/proc/meminfo: memFree=18904844/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3614196 CPUtime=1662.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 918429 0 0 0 166100 120 0 0 25 0 1 0 823716371 3700936704 892477 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 903549 892477 664 1205 0 902340 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 3614196
[startup+1722.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/555 5745
/proc/meminfo: memFree=18858568/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3662704 CPUtime=1722.21 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 929999 0 0 0 172099 122 0 0 25 0 1 0 823716371 3750608896 904047 33554432000 4194304 9128323 140735960698608 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 915676 904047 664 1205 0 914467 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 3662704
[startup+1782.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/555 5746
/proc/meminfo: memFree=18753516/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3770500 CPUtime=1782.2 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 955676 0 0 0 178096 124 0 0 25 0 1 0 823716371 3860992000 929724 33554432000 4194304 9128323 140735960698608 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 942625 929724 664 1205 0 941416 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 3770500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.15 2.07 2.02 3/555 5747
/proc/meminfo: memFree=18718420/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3807228 CPUtime=1800.02 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 964971 0 0 0 179876 126 0 0 25 0 1 0 823716371 3898601472 939019 33554432000 4194304 9128323 140735960698608 18446744073709551615 6588193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5692/statm: 951807 939019 664 1205 0 950598 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3807228
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: 2.15 2.07 2.02 3/555 5747
/proc/meminfo: memFree=18718420/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=3801188 CPUtime=1800.21 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 966259 0 0 0 179895 126 0 0 18 0 1 0 823716371 3892416512 937543 33554432000 4194304 9128323 140735960698608 18446744073709551615 4443793 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5692/statm: 950297 937543 695 1205 0 949088 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 3801188
[startup+1800.7 s]
/proc/loadavg: 2.15 2.07 2.02 3/557 5749
/proc/meminfo: memFree=21397672/32950928 swapFree=67056580/67111528
[pid=5692] ppid=5690 vsize=2219512 CPUtime=1800.61 cores=1,3,5,7
/proc/5692/stat : 5692 (scip-2.0.1.4.li) R 5690 5692 3492 0 -1 4202496 966268 0 0 0 179924 137 0 0 18 0 1 0 823716371 2272780288 232106 33554432000 4194304 9128323 140735960698608 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5692/statm: 554878 232106 704 1205 0 553669 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 2219512
Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.66
CPU user time (s): 1799.24
CPU system time (s): 1.41478
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 3809984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 1.41478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966270
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= 6
involuntary context switches= 3766
runsolver used 9.29559 second user time and 23.6924 second system time
The end