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-3453484-1307118252.opb>
1.59/1.66 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245455 constraints
1.59/1.66 c problem read
1.59/1.66 c presolving settings loaded
2.49/2.52 c presolving:
8.81/8.83 c (round 1) 6712 del vars, 19813 del conss, 0 add conss, 5155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16584408 impls, 0 clqs
11.29/11.33 c (round 2) 13395 del vars, 47679 del conss, 0 add conss, 11451 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16617703 impls, 0 clqs
12.11/12.15 c (round 3) 15630 del vars, 58332 del conss, 0 add conss, 12795 chg bounds, 23 chg sides, 45 chg coeffs, 0 upgd conss, 16632241 impls, 0 clqs
12.49/12.57 c (round 4) 16783 del vars, 62879 del conss, 0 add conss, 13474 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16640375 impls, 0 clqs
12.79/12.89 c (round 5) 17590 del vars, 65936 del conss, 0 add conss, 14012 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16648618 impls, 0 clqs
13.10/13.13 c (round 6) 18204 del vars, 68297 del conss, 0 add conss, 14421 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16655341 impls, 0 clqs
13.29/13.37 c (round 7) 18878 del vars, 70599 del conss, 0 add conss, 14870 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16661380 impls, 0 clqs
13.49/13.54 c (round 8) 19335 del vars, 72461 del conss, 0 add conss, 15174 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16665877 impls, 0 clqs
13.59/13.68 c (round 9) 19680 del vars, 73757 del conss, 0 add conss, 15369 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16669878 impls, 0 clqs
13.69/13.79 c (round 10) 19930 del vars, 74797 del conss, 0 add conss, 15528 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16673642 impls, 0 clqs
13.79/13.89 c (round 11) 20121 del vars, 75518 del conss, 0 add conss, 15661 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16675582 impls, 0 clqs
13.89/13.98 c (round 12) 20255 del vars, 76117 del conss, 0 add conss, 15747 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16677399 impls, 0 clqs
13.99/14.06 c (round 13) 20353 del vars, 76519 del conss, 0 add conss, 15818 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678425 impls, 0 clqs
14.09/14.13 c (round 14) 20395 del vars, 76725 del conss, 0 add conss, 15843 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678715 impls, 0 clqs
14.09/14.21 c (round 15) 20415 del vars, 76827 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678757 impls, 0 clqs
14.89/14.90 c (round 16) 20415 del vars, 76848 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 168607 upgd conss, 16678757 impls, 0 clqs
15.79/15.89 c (round 17) 20415 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 56 chg sides, 210 chg coeffs, 168607 upgd conss, 16679393 impls, 7331 clqs
534.00/534.07 c (534.1s) probing: 1000/52427 (1.9%) - 29 fixings, 13 aggregations, 11775840 implications, 0 bound changes
1064.73/1064.76 c (1064.8s) probing: 2000/52427 (3.8%) - 29 fixings, 13 aggregations, 19337832 implications, 0 bound changes
1221.82/1221.81 c (1221.8s) probing: 2341/52427 (4.5%) - 29 fixings, 13 aggregations, 21507041 implications, 0 bound changes
1221.82/1221.81 c (1221.8s) probing aborted: 2000/2000 successive useless probings
1221.82/1221.82 c (round 18) 20457 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 224 chg coeffs, 168607 upgd conss, 99355379 impls, 7611 clqs
1222.82/1222.82 c (round 19) 20463 del vars, 77706 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 304 chg coeffs, 168607 upgd conss, 99355493 impls, 7611 clqs
1330.52/1330.59 c (round 20) 20517 del vars, 77712 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 312 chg coeffs, 168607 upgd conss, 102649871 impls, 7678 clqs
1335.12/1335.11 c (round 21) 20535 del vars, 77922 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 102840709 impls, 7678 clqs
1335.72/1335.72 c (round 22) 20535 del vars, 77940 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 102840709 impls, 7678 clqs
1487.62/1487.62 c (round 23) 20585 del vars, 77940 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 109064183 impls, 7678 clqs
1488.52/1488.58 c (round 24) 20595 del vars, 78134 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 109065299 impls, 7678 clqs
1544.63/1544.61 c (1544.6s) probing: 3000/52427 (5.7%) - 132 fixings, 40 aggregations, 25341616 implications, 0 bound changes
1609.03/1609.00 c (round 25) 20646 del vars, 78143 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 114840719 impls, 7678 clqs
1610.13/1610.16 c (round 26) 20655 del vars, 78336 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 114860427 impls, 7678 clqs
1796.93/1796.90 c (round 27) 20705 del vars, 78345 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 124712685 impls, 7678 clqs
1797.73/1797.77 c (round 28) 20711 del vars, 78531 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 124712941 impls, 7678 clqs
1800.15/1800.16 c (1800.2s) probing: 3680/52427 (7.0%) - 186 fixings, 61 aggregations, 29599468 implications, 0 bound changes
1800.15/1800.16 c (1800.2s) probing aborted: solving stopped
1800.15/1800.17 c presolving (29 rounds):
1800.15/1800.17 c 20711 deleted vars, 78537 deleted constraints, 15 added constraints, 15857 tightened bounds, 0 added holes, 59 changed sides, 324 changed coefficients
1800.15/1800.17 c 124776299 implications, 7678 cliques
1800.15/1800.17 c presolved problem has 52131 variables (52131 bin, 0 int, 0 impl, 0 cont) and 166933 constraints
1800.15/1800.17 c 1155 constraints of type <knapsack>
1800.15/1800.17 c 139902 constraints of type <setppc>
1800.15/1800.17 c 25876 constraints of type <logicor>
1800.15/1800.17 c transformed objective value is always integral (scale: 1)
1800.15/1800.17 c Presolving Time: 1798.28
1800.15/1800.17 c - non default parameters ----------------------------------------------------------------------
1800.15/1800.17 c # SCIP version 2.0.1.4
1800.15/1800.17 c
1800.15/1800.17 c # frequency for displaying node information lines
1800.15/1800.17 c # [type: int, range: [-1,2147483647], default: 100]
1800.15/1800.17 c display/freq = 10000
1800.15/1800.17 c
1800.15/1800.17 c # maximal time in seconds to run
1800.15/1800.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.15/1800.17 c limits/time = 1800
1800.15/1800.17 c
1800.15/1800.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.15/1800.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.15/1800.17 c limits/memory = 13950
1800.15/1800.17 c
1800.15/1800.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.15/1800.17 c # [type: int, range: [1,2], default: 1]
1800.15/1800.17 c timing/clocktype = 2
1800.15/1800.17 c
1800.15/1800.17 c # belongs reading time to solving time?
1800.15/1800.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.15/1800.17 c timing/reading = TRUE
1800.15/1800.17 c
1800.15/1800.17 c # should presolving try to simplify inequalities
1800.15/1800.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.15/1800.17 c constraints/linear/simplifyinequalities = TRUE
1800.15/1800.17 c
1800.15/1800.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.15/1800.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.15/1800.17 c constraints/indicator/addCouplingCons = TRUE
1800.15/1800.17 c
1800.15/1800.17 c # should presolving try to simplify knapsacks
1800.15/1800.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.15/1800.17 c constraints/knapsack/simplifyinequalities = TRUE
1800.15/1800.17 c
1800.15/1800.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.15/1800.17 c # [type: int, range: [-1,2147483647], default: -1]
1800.15/1800.17 c separating/rapidlearning/freq = 0
1800.15/1800.17 c
1800.15/1800.17 c -----------------------------------------------------------------------------------------------
1800.15/1800.17 c start solving
1800.23/1800.20 c
1800.23/1800.20 c
1800.23/1800.20 c SCIP Status : solving was interrupted [time limit reached]
1800.23/1800.20 c Solving Time (sec) : 1800.20
1800.23/1800.20 c Solving Nodes : 0
1800.23/1800.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.23/1800.20 c Dual Bound : -1.00000000000000e+20
1800.23/1800.20 c Gap : infinite
1800.23/1800.20 s UNKNOWN
1800.23/1800.20 c SCIP Status : solving was interrupted [time limit reached]
1800.23/1800.20 c Total Time : 1800.20
1800.23/1800.20 c solving : 1800.20
1800.23/1800.20 c presolving : 1798.28 (included in solving)
1800.23/1800.20 c reading : 1.66 (included in solving)
1800.23/1800.20 c Original Problem :
1800.23/1800.20 c Problem name : HOME/instance-3453484-1307118252.opb
1800.23/1800.20 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.20 c Constraints : 245455 initial, 245455 maximal
1800.23/1800.20 c Presolved Problem :
1800.23/1800.20 c Problem name : t_HOME/instance-3453484-1307118252.opb
1800.23/1800.20 c Variables : 52131 (52131 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.20 c Constraints : 166933 initial, 166933 maximal
1800.23/1800.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.23/1800.20 c trivial : 0.09 1071 0 0 0 0 0 0 0 0
1800.23/1800.20 c dualfix : 0.12 120 0 0 0 0 0 0 0 0
1800.23/1800.20 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.23/1800.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.23/1800.20 c implics : 7.34 0 48 0 0 0 0 0 0 0
1800.23/1800.20 c probing : 1772.79 186 61 0 0 0 0 0 0 0
1800.23/1800.20 c knapsack : 4.47 0 0 0 0 0 0 15 23 257
1800.23/1800.20 c setppc : 0.77 1 0 0 0 0 1647 0 0 0
1800.23/1800.20 c linear : 11.52 14786 4438 0 15857 0 76848 0 36 67
1800.23/1800.20 c logicor : 0.26 0 0 0 0 0 42 0 0 0
1800.23/1800.20 c root node : - 0 - - 0 - - - - -
1800.23/1800.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.23/1800.20 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.20 c knapsack : 1155 0 143395 0 0 0 0 48 0 0 0 0
1800.23/1800.20 c setppc : 139902 0 143347 0 0 0 0 25 0 0 0 0
1800.23/1800.20 c logicor : 25876 0 131576 0 0 0 0 57 0 0 0 0
1800.23/1800.20 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.23/1800.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.23/1800.20 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.20 c knapsack : 11.80 0.00 11.80 0.00 0.00 0.00 0.00
1800.23/1800.20 c setppc : 778.65 0.00 778.65 0.00 0.00 0.00 0.00
1800.23/1800.20 c logicor : 15.88 0.00 15.88 0.00 0.00 0.00 0.00
1800.23/1800.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.23/1800.20 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.23/1800.20 c vbounds : 0 0 0 0
1800.23/1800.20 c rootredcost : 0 0 0 0
1800.23/1800.20 c pseudoobj : 0 0 0 0
1800.23/1800.20 c Propagator Timings : TotalTime Propagate Resprop
1800.23/1800.20 c vbounds : 0.06 0.06 0.00
1800.23/1800.20 c rootredcost : 0.03 0.03 0.00
1800.23/1800.20 c pseudoobj : 0.03 0.03 0.00
1800.23/1800.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.23/1800.20 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.23/1800.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.23/1800.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.23/1800.20 c applied globally : - - - 0 0.0 - - -
1800.23/1800.20 c applied locally : - - - 0 0.0 - - -
1800.23/1800.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.23/1800.20 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.23/1800.20 c redcost : 0.00 0 0 0 0 0
1800.23/1800.20 c impliedbounds : 0.00 0 0 0 0 0
1800.23/1800.20 c intobj : 0.00 0 0 0 0 0
1800.23/1800.20 c gomory : 0.00 0 0 0 0 0
1800.23/1800.20 c cgmip : 0.00 0 0 0 0 0
1800.23/1800.20 c closecuts : 0.00 0 0 0 0 0
1800.23/1800.20 c strongcg : 0.00 0 0 0 0 0
1800.23/1800.20 c cmir : 0.00 0 0 0 0 0
1800.23/1800.20 c flowcover : 0.00 0 0 0 0 0
1800.23/1800.20 c clique : 0.00 0 0 0 0 0
1800.23/1800.20 c zerohalf : 0.00 0 0 0 0 0
1800.23/1800.20 c mcf : 0.00 0 0 0 0 0
1800.23/1800.20 c oddcycle : 0.00 0 0 0 0 0
1800.23/1800.20 c rapidlearning : 0.00 0 0 0 0 0
1800.23/1800.20 c Pricers : Time Calls Vars
1800.23/1800.20 c problem variables: 0.00 0 0
1800.23/1800.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.23/1800.20 c pscost : 0.00 0 0 0 0 0 0
1800.23/1800.20 c inference : 0.00 0 0 0 0 0 0
1800.23/1800.20 c mostinf : 0.00 0 0 0 0 0 0
1800.23/1800.20 c leastinf : 0.00 0 0 0 0 0 0
1800.23/1800.20 c fullstrong : 0.00 0 0 0 0 0 0
1800.23/1800.20 c allfullstrong : 0.00 0 0 0 0 0 0
1800.23/1800.20 c random : 0.00 0 0 0 0 0 0
1800.23/1800.20 c relpscost : 0.00 0 0 0 0 0 0
1800.23/1800.20 c Primal Heuristics : Time Calls Found
1800.23/1800.20 c LP solutions : 0.00 - 0
1800.23/1800.20 c pseudo solutions : 0.00 - 0
1800.23/1800.20 c trivial : 0.05 1 0
1800.23/1800.20 c shiftandpropagate: 0.00 0 0
1800.23/1800.20 c simplerounding : 0.00 0 0
1800.23/1800.20 c zirounding : 0.00 0 0
1800.23/1800.20 c rounding : 0.00 0 0
1800.23/1800.20 c shifting : 0.00 0 0
1800.23/1800.20 c intshifting : 0.00 0 0
1800.23/1800.20 c oneopt : 0.00 0 0
1800.23/1800.20 c twoopt : 0.00 0 0
1800.23/1800.20 c fixandinfer : 0.00 0 0
1800.23/1800.20 c feaspump : 0.00 0 0
1800.23/1800.20 c clique : 0.00 0 0
1800.23/1800.20 c coefdiving : 0.00 0 0
1800.23/1800.20 c pscostdiving : 0.00 0 0
1800.23/1800.20 c fracdiving : 0.00 0 0
1800.23/1800.20 c veclendiving : 0.00 0 0
1800.23/1800.20 c intdiving : 0.00 0 0
1800.23/1800.20 c actconsdiving : 0.00 0 0
1800.23/1800.20 c objpscostdiving : 0.00 0 0
1800.23/1800.20 c rootsoldiving : 0.00 0 0
1800.23/1800.20 c linesearchdiving : 0.00 0 0
1800.23/1800.20 c guideddiving : 0.00 0 0
1800.23/1800.20 c octane : 0.00 0 0
1800.23/1800.20 c rens : 0.00 0 0
1800.23/1800.20 c rins : 0.00 0 0
1800.23/1800.20 c localbranching : 0.00 0 0
1800.23/1800.20 c mutation : 0.00 0 0
1800.23/1800.20 c crossover : 0.00 0 0
1800.23/1800.20 c dins : 0.00 0 0
1800.23/1800.20 c vbounds : 0.00 0 0
1800.23/1800.20 c undercover : 0.00 0 0
1800.23/1800.20 c subnlp : 0.00 0 0
1800.23/1800.20 c trysol : 0.00 0 0
1800.23/1800.20 c LP : Time Calls Iterations Iter/call Iter/sec
1800.23/1800.20 c primal LP : 0.00 0 0 0.00 -
1800.23/1800.20 c dual LP : 0.00 0 0 0.00 -
1800.23/1800.20 c lex dual LP : 0.00 0 0 0.00 -
1800.23/1800.20 c barrier LP : 0.00 0 0 0.00 -
1800.23/1800.20 c diving/probing LP: 0.00 0 0 0.00 -
1800.23/1800.20 c strong branching : 0.00 0 0 0.00 -
1800.23/1800.20 c (at root node) : - 0 0 0.00 -
1800.23/1800.20 c conflict analysis: 0.00 0 0 0.00 -
1800.23/1800.20 c B&B Tree :
1800.23/1800.20 c number of runs : 1
1800.23/1800.20 c nodes : 0
1800.23/1800.20 c nodes (total) : 0
1800.23/1800.20 c nodes left : 1
1800.23/1800.20 c max depth : -1
1800.23/1800.20 c max depth (total): -1
1800.23/1800.20 c backtracks : 0 (0.0%)
1800.23/1800.20 c delayed cutoffs : 0
1800.23/1800.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.23/1800.20 c avg switch length: 0.00
1800.23/1800.20 c switching time : 0.00
1800.23/1800.20 c Solution :
1800.23/1800.20 c Solutions found : 0 (0 improvements)
1800.23/1800.20 c Primal Bound : -
1800.23/1800.20 c Dual Bound : -
1800.23/1800.20 c Gap : infinite
1800.23/1800.20 c Root Dual Bound : -
1800.23/1800.20 c Root Iterations : 0
1800.83/1800.84 c Time complete: 1800.88.
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-3453484-1307118252/watcher-3453484-1307118252 -o /tmp/evaluation-result-3453484-1307118252/solver-3453484-1307118252 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453484-1307118252.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=11188 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1781 0 0 0 0 0 0 0 25 0 1 0 902055880 11456512 1734 33554432000 4194304 9128323 140737153819632 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 2797 1734 400 1205 0 1588 0
[startup+0.0729789 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=22832 CPUtime=0.06 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 4692 0 0 0 6 0 0 0 25 0 1 0 902055880 23379968 4643 33554432000 4194304 9128323 140737153819632 18446744073709551615 7929131 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 5708 4643 400 1205 0 4499 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22832
[startup+0.100972 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=27372 CPUtime=0.09 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 5859 0 0 0 9 0 0 0 25 0 1 0 902055880 28028928 5810 33554432000 4194304 9128323 140737153819632 18446744073709551615 4338648 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 6843 5810 400 1205 0 5634 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27372
[startup+0.300936 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=50220 CPUtime=0.29 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 11587 0 0 0 28 1 0 0 25 0 1 0 902055880 51425280 11506 33554432000 4194304 9128323 140737153819632 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 12555 11506 400 1205 0 11346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50220
[startup+0.700864 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=68580 CPUtime=0.69 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 16161 0 0 0 68 1 0 0 25 0 1 0 902055880 70225920 16072 33554432000 4194304 9128323 140737153819632 18446744073709551615 6188926 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 17145 16072 400 1205 0 15936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68580
[startup+1.50072 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11054
/proc/meminfo: memFree=24677984/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=128780 CPUtime=1.49 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 31180 0 0 0 146 3 0 0 25 0 1 0 902055880 131870720 31075 33554432000 4194304 9128323 140737153819632 18446744073709551615 6889762 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 32195 31075 400 1205 0 30986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 128780
[startup+3.10043 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11054
/proc/meminfo: memFree=24440648/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=464244 CPUtime=3.09 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 125618 0 0 0 294 15 0 0 25 0 1 0 902055880 475385856 113086 33554432000 4194304 9128323 140737153819632 18446744073709551615 4832296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 116061 113086 501 1205 0 114852 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 464244
[startup+6.30087 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11054
/proc/meminfo: memFree=24083736/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=758772 CPUtime=6.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 198324 0 0 0 606 24 0 0 25 0 1 0 902055880 776982528 185792 33554432000 4194304 9128323 140737153819632 18446744073709551615 6589091 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 189693 185792 510 1205 0 188484 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 758772
[startup+12.7007 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11056
/proc/meminfo: memFree=23897324/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=885444 CPUtime=12.69 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 228830 0 0 0 1241 28 0 0 25 0 1 0 902055880 906694656 215316 33554432000 4194304 9128323 140737153819632 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 221361 215316 523 1205 0 220152 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885444
[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 11056
/proc/meminfo: memFree=23816108/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=970700 CPUtime=25.49 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 263286 0 0 0 2517 32 0 0 25 0 1 0 902055880 993996800 235688 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 242675 235688 606 1205 0 241466 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 970700
[startup+51.101 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11057
/proc/meminfo: memFree=23762272/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1025932 CPUtime=51.09 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 276641 0 0 0 5075 34 0 0 25 0 1 0 902055880 1050554368 249043 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 256483 249043 606 1205 0 255274 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1025932
[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11059
/proc/meminfo: memFree=23607240/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1180328 CPUtime=102.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 314951 0 0 0 10193 39 0 0 25 0 1 0 902055880 1208655872 287353 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593401 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 295082 287353 606 1205 0 293873 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 1180328
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11061
/proc/meminfo: memFree=23454108/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1333292 CPUtime=162.29 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 353627 0 0 0 16187 42 0 0 25 0 1 0 902055880 1365291008 325336 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 333323 325336 606 1205 0 332114 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1333292
[startup+222.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/528 11093
/proc/meminfo: memFree=22426276/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1613048 CPUtime=222.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 422040 0 0 0 22178 52 0 0 25 0 1 0 902055880 1651761152 393716 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 403262 393716 606 1205 0 402053 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1613048
[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/528 11095
/proc/meminfo: memFree=22112332/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1759584 CPUtime=282.29 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 458317 0 0 0 28173 56 0 0 25 0 1 0 902055880 1801814016 429993 33554432000 4194304 9128323 140737153819632 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 439896 429993 606 1205 0 438687 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1759584
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/528 11096
/proc/meminfo: memFree=21731116/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1881548 CPUtime=342.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 488603 0 0 0 34170 60 0 0 25 0 1 0 902055880 1926705152 460279 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 470387 460279 606 1205 0 469178 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1881548
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11098
/proc/meminfo: memFree=21366004/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=2014752 CPUtime=402.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 521685 0 0 0 40167 63 0 0 25 0 1 0 902055880 2063106048 493361 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 503688 493361 606 1205 0 502479 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2014752
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11100
/proc/meminfo: memFree=21056844/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=2161672 CPUtime=462.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 558337 0 0 0 46163 67 0 0 25 0 1 0 902055880 2213552128 530013 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 540418 530013 606 1205 0 539209 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2161672
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/528 11101
/proc/meminfo: memFree=20798872/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=2301444 CPUtime=522.31 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 593508 0 0 0 52159 72 0 0 25 0 1 0 902055880 2356678656 565184 33554432000 4194304 9128323 140737153819632 18446744073709551615 4792770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 575361 565184 606 1205 0 574152 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2301444
[startup+582.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/528 11103
/proc/meminfo: memFree=20570296/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=2410924 CPUtime=582.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 621183 0 0 0 58155 75 0 0 25 0 1 0 902055880 2468786176 592859 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 602731 592859 610 1205 0 601522 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2410924
[startup+642.3 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 11115
/proc/meminfo: memFree=19219104/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3017312 CPUtime=942.31 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 771194 0 0 0 94132 99 0 0 25 0 1 0 902055880 3089727488 742870 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 754328 742870 610 1205 0 753119 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 3017312
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11117
/proc/meminfo: memFree=19031336/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3085976 CPUtime=1002.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 788896 0 0 0 100130 102 0 0 25 0 1 0 902055880 3160039424 760506 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 771494 760506 610 1205 0 770285 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3085976
[startup+1062.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/528 11118
/proc/meminfo: memFree=18866876/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3167744 CPUtime=1062.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 809208 0 0 0 106127 105 0 0 25 0 1 0 902055880 3243769856 780818 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 791936 780818 610 1205 0 790727 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3167744
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/528 11120
/proc/meminfo: memFree=18682692/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3247000 CPUtime=1122.31 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 828622 0 0 0 112124 107 0 0 25 0 1 0 902055880 3324928000 800232 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 811750 800232 610 1205 0 810541 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3247000
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/528 11122
/proc/meminfo: memFree=18541912/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3317928 CPUtime=1182.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 846454 0 0 0 118122 110 0 0 25 0 1 0 902055880 3397558272 818064 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 829482 818064 610 1205 0 828273 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3317928
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11123
/proc/meminfo: memFree=18401016/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3389560 CPUtime=1242.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 863535 0 0 0 124119 113 0 0 25 0 1 0 902055880 3470909440 835145 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 847390 835145 610 1205 0 846181 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3389560
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11125
/proc/meminfo: memFree=18281676/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3439088 CPUtime=1302.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 876708 0 0 0 130119 114 0 0 25 0 1 0 902055880 3521626112 848318 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 859772 848318 610 1205 0 858563 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3439088
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/528 11128
/proc/meminfo: memFree=18162960/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3481112 CPUtime=1362.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 888136 0 0 0 136117 115 0 0 25 0 1 0 902055880 3564658688 859746 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 870278 859746 610 1205 0 869069 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3481112
[startup+1422.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/528 11129
/proc/meminfo: memFree=18032932/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3547420 CPUtime=1422.34 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 903331 0 0 0 142117 117 0 0 25 0 1 0 902055880 3632558080 874941 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 886855 874941 610 1205 0 885646 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3547420
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11132
/proc/meminfo: memFree=17910360/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3587284 CPUtime=1482.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 913673 0 0 0 148115 118 0 0 25 0 1 0 902055880 3673378816 885283 33554432000 4194304 9128323 140737153819632 18446744073709551615 6594374 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 896821 885283 610 1205 0 895612 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3587284
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11134
/proc/meminfo: memFree=17771672/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3643512 CPUtime=1542.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 927242 0 0 0 154113 120 0 0 25 0 1 0 902055880 3730956288 898852 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 910878 898852 610 1205 0 909669 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3643512
[startup+1602.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/528 11137
/proc/meminfo: memFree=17645776/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3710944 CPUtime=1602.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 944118 0 0 0 160111 121 0 0 25 0 1 0 902055880 3800006656 915728 33554432000 4194304 9128323 140737153819632 18446744073709551615 6577120 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 927736 915728 610 1205 0 926527 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3710944
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/528 11139
/proc/meminfo: memFree=17497928/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3787680 CPUtime=1662.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 963045 0 0 0 166109 124 0 0 25 0 1 0 902055880 3878584320 934655 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 946920 934655 610 1205 0 945711 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3787680
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 11140
/proc/meminfo: memFree=17324400/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3883592 CPUtime=1722.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 987452 0 0 0 172106 127 0 0 25 0 1 0 902055880 3976798208 959062 33554432000 4194304 9128323 140737153819632 18446744073709551615 4785234 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 970898 959062 610 1205 0 969689 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3883592
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 11142
/proc/meminfo: memFree=17175052/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3977688 CPUtime=1782.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1011568 0 0 0 178102 131 0 0 25 0 1 0 902055880 4073152512 983178 33554432000 4194304 9128323 140737153819632 18446744073709551615 4785264 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 994422 983178 610 1205 0 993213 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3977688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11142
/proc/meminfo: memFree=17119364/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=4015936 CPUtime=1800.04 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1020444 0 0 0 179872 132 0 0 25 0 1 0 902055880 4112318464 992054 33554432000 4194304 9128323 140737153819632 18446744073709551615 4794016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 1003984 992054 610 1205 0 1002775 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4015936
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: 2.01 2.03 2.00 3/529 11143
/proc/meminfo: memFree=17407160/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3705992 CPUtime=1800.64 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1021515 0 0 0 179930 134 0 0 18 0 1 0 902055880 3794935808 915058 33554432000 4194304 9128323 140737153819632 18446744073709551615 4828768 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 926498 915058 649 1205 0 925289 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 3705992
[startup+1800.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/529 11143
/proc/meminfo: memFree=17407160/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1260300 CPUtime=1800.83 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1021519 0 0 0 179938 145 0 0 18 0 1 0 902055880 1290547200 273611 33554432000 4194304 9128323 140737153819632 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 315075 273099 653 1205 0 313866 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1260300
Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.89
CPU user time (s): 1799.38
CPU system time (s): 1.50577
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4019976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 1.50577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021521
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= 7
involuntary context switches= 1131
runsolver used 10.1185 second user time and 21.1088 second system time
The end