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-3451005-1307075416.opb>
0.00/0.01 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.00/0.03 c (round 2) 0 del vars, 168 del conss, 0 add conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 168 del conss, 3 add conss, 0 chg bounds, 84 chg sides, 88 chg coeffs, 881 upgd conss, 342 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/0.04 c 0 deleted vars, 168 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 84 changed sides, 88 changed coefficients
0.00/0.04 c 342 implications, 0 cliques
0.00/0.04 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 894 constraints
0.00/0.04 c 673 constraints of type <knapsack>
0.00/0.04 c 171 constraints of type <setppc>
0.00/0.04 c 10 constraints of type <linear>
0.00/0.04 c 40 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.05/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.06 c 0.1s| 1 | 0 | 384 | - |3323k| 0 | 194 | 464 | 911 | 464 | 894 | 0 | 17 | 0 | 9.700000e+01 | -- | Inf
0.49/0.59 c 0.6s| 1 | 0 | 5779 | - |4945k| 0 | 235 | 464 |1829 | 464 |1141 | 247 | 17 | 0 | 9.800000e+01 | -- | Inf
0.69/0.73 c 0.7s| 1 | 0 | 6380 | - |6089k| 0 | 266 | 464 |1829 | 464 |1320 | 426 | 17 | 0 | 9.850000e+01 | -- | Inf
0.89/0.90 c 0.9s| 1 | 0 | 6900 | - |6723k| 0 | 269 | 464 |1829 | 464 |1483 | 589 | 17 | 0 | 9.850000e+01 | -- | Inf
1.00/1.08 c 1.1s| 1 | 0 | 7419 | - |7651k| 0 | 263 | 464 |1829 | 464 |1618 | 724 | 17 | 0 | 9.850000e+01 | -- | Inf
1.29/1.32 c 1.3s| 1 | 0 | 8008 | - |7937k| 0 | 266 | 464 |1829 | 464 |1718 | 824 | 17 | 0 | 9.900000e+01 | -- | Inf
1.49/1.57 c 1.6s| 1 | 0 | 8472 | - |8148k| 0 | 256 | 464 |1829 | 464 |1807 | 913 | 17 | 0 | 9.900000e+01 | -- | Inf
1.79/1.83 c 1.8s| 1 | 0 | 8912 | - |8387k| 0 | 254 | 464 |1829 | 464 |1862 | 968 | 17 | 0 | 9.900000e+01 | -- | Inf
1.98/2.09 c 2.1s| 1 | 0 | 9265 | - |8539k| 0 | 250 | 464 |1829 | 464 |1942 |1048 | 17 | 0 | 9.900000e+01 | -- | Inf
2.29/2.30 c 2.3s| 1 | 0 | 9542 | - |8677k| 0 | 258 | 464 |1829 | 464 |1989 |1095 | 17 | 0 | 9.900000e+01 | -- | Inf
2.49/2.55 c 2.6s| 1 | 0 | 9866 | - |8886k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 0 | 9.900000e+01 | -- | Inf
3.20/3.23 c 3.2s| 1 | 2 | 9866 | - |8888k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 10 | 9.900000e+01 | -- | Inf
113.31/113.39 c 113s| 10000 | 8753 | 1005k| 99.6 | 19M| 39 | - | 464 |1871 | 464 |1244 |1143 |3743 |2830 | 9.914167e+01 | -- | Inf
215.00/215.04 c 215s| 20000 | 17057 | 2108k| 104.9 | 28M| 39 | 180 | 464 |1794 | 464 |1244 |1143 |8506 |3898 | 9.920000e+01 | -- | Inf
322.90/322.99 c 323s| 30000 | 25269 | 3295k| 109.5 | 37M| 41 | 209 | 464 |1950 | 464 |1244 |1143 | 14k|4988 | 9.923270e+01 | -- | Inf
419.12/419.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.12/419.19 c 419s| 40000 | 33086 | 4362k| 108.8 | 46M| 41 | 203 | 464 |2059 | 464 |1244 |1143 | 20k|5951 | 9.926381e+01 | -- | Inf
508.61/508.63 c 509s| 50000 | 40646 | 5371k| 107.2 | 55M| 42 | 220 | 464 |2154 | 464 |1244 |1143 | 27k|6700 | 9.929481e+01 | -- | Inf
596.22/596.24 c 596s| 60000 | 48186 | 6369k| 106.0 | 64M| 43 | 177 | 464 |2114 | 464 |1244 |1143 | 34k|7253 | 9.932118e+01 | -- | Inf
682.11/682.16 c 682s| 70000 | 55504 | 7355k| 104.9 | 74M| 49 | 199 | 464 |2302 | 464 |1244 |1143 | 42k|7815 | 9.933614e+01 | -- | Inf
772.62/772.62 c 773s| 80000 | 62621 | 8390k| 104.8 | 84M| 49 | 163 | 464 |2252 | 464 |1244 |1143 | 51k|8470 | 9.936363e+01 | -- | Inf
861.41/861.43 c 861s| 90000 | 69945 | 9417k| 104.5 | 93M| 50 | 187 | 464 |2297 | 464 |1244 |1143 | 58k|8936 | 9.940000e+01 | -- | Inf
978.02/978.07 c 978s|100000 | 77228 | 10757k| 107.5 | 103M| 50 | 179 | 464 |2337 | 464 |1244 |1143 | 66k|9600 | 9.942762e+01 | -- | Inf
1093.02/1093.08 c 1093s|110000 | 84092 | 12109k| 110.0 | 112M| 50 | 228 | 464 |2585 | 464 |1244 |1143 | 76k| 10k| 9.945000e+01 | -- | Inf
1213.43/1213.48 c 1213s|120000 | 90555 | 13532k| 112.7 | 120M| 50 | 216 | 464 |2814 | 464 |1244 |1143 | 87k| 10k| 9.947093e+01 | -- | Inf
1323.63/1323.64 c 1324s|130000 | 96925 | 14838k| 114.1 | 129M| 59 | - | 464 |2708 | 0 | 0 |1143 | 98k| 11k| 9.950000e+01 | -- | Inf
1424.34/1424.31 c 1424s|140000 |103422 | 16038k| 114.5 | 138M| 63 | 184 | 464 |2859 | 464 |1244 |1143 | 108k| 11k| 9.951669e+01 | -- | Inf
1514.64/1514.64 c 1515s|150000 |109427 | 17113k| 114.0 | 147M| 63 | 155 | 464 |2824 | 464 |1244 |1143 | 120k| 12k| 9.952993e+01 | -- | Inf
1602.84/1602.86 c 1603s|160000 |115390 | 18148k| 113.4 | 156M| 63 | 180 | 464 |3184 | 464 |1244 |1143 | 132k| 12k| 9.955058e+01 | -- | Inf
1682.24/1682.29 c 1682s|170000 |121349 | 19093k| 112.3 | 164M| 63 | 104 | 464 |2937 | 464 |1244 |1143 | 143k| 12k| 9.956910e+01 | -- | Inf
1756.94/1756.90 c 1757s|180000 |127193 | 19970k| 110.9 | 173M| 63 | 151 | 464 |3016 | 464 |1244 |1143 | 154k| 13k| 9.958333e+01 | -- | Inf
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 186067
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +9.95974025974026e+01
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.03 (included in solving)
1800.05/1800.00 c reading : 0.01 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3451005-1307075416.opb
1800.05/1800.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 1059 initial, 1059 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3451005-1307075416.opb
1800.05/1800.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 894 initial, 3469 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 3 3 7
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 0 0 168 0 81 81
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 161967 0 4 0 27 1218 0 0 322770
1800.05/1800.00 c knapsack : 673 10 1079885 0 0 3 393296 14788 765945 1318 0 0
1800.05/1800.00 c setppc : 171 10 1065097 0 0 0 233015 6572 289050 0 0 0
1800.05/1800.00 c linear : 10+ 11 1058526 0 0 0 24686 1926 40146 21 0 0
1800.05/1800.00 c logicor : 40+ 10 678025 0 0 0 299129 4945 548159 3 0 0
1800.05/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 90.40 0.00 0.00 90.40 0.00 0.00 0.00
1800.05/1800.00 c knapsack : 18.49 0.03 18.23 0.00 0.00 0.00 0.23
1800.05/1800.00 c setppc : 3.43 0.00 3.36 0.00 0.00 0.00 0.07
1800.05/1800.00 c linear : 1.87 0.01 1.82 0.00 0.00 0.00 0.04
1800.05/1800.00 c logicor : 11.70 0.00 11.53 0.00 0.00 0.00 0.16
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 0 0 0 0
1800.05/1800.00 c pseudoobj : 1080493 0 0 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 0.20 0.20 0.00
1800.05/1800.00 c rootredcost : 0.22 0.22 0.00
1800.05/1800.00 c pseudoobj : 0.64 0.64 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.52 28231 28116 89764 11.6 5808 7.4 -
1800.05/1800.00 c infeasible LP : 2.13 30696 30696 121332 17.0 5283 6.6 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 161495 13.2 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.01 9 - - 969 - (maximal pool size: 4714)
1800.05/1800.00 c redcost : 1.42 161989 0 31 0 0
1800.05/1800.00 c impliedbounds : 0.00 10 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.57 10 0 0 2817 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.47 10 0 0 3010 0
1800.05/1800.00 c cmir : 0.18 10 0 0 1120 0
1800.05/1800.00 c flowcover : 0.25 10 0 0 1640 0
1800.05/1800.00 c clique : 0.00 1 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.20 1 0 0 0 918
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 90.29 161967 27 1218 0 0 322770
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.08 0 0
1800.05/1800.00 c crossover : 0.04 0 0
1800.05/1800.00 c guideddiving : 0.01 0 0
1800.05/1800.00 c objpscostdiving : 13.60 123 0
1800.05/1800.00 c rootsoldiving : 11.85 151 0
1800.05/1800.00 c veclendiving : 61.79 1754 0
1800.05/1800.00 c linesearchdiving : 79.75 2286 0
1800.05/1800.00 c coefdiving : 81.12 2448 0
1800.05/1800.00 c fracdiving : 85.95 2557 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c shiftandpropagate: 0.01 1 0
1800.05/1800.00 c simplerounding : 0.03 0 0
1800.05/1800.00 c zirounding : 11.44 0 0
1800.05/1800.00 c rounding : 0.51 5658 0
1800.05/1800.00 c shifting : 2.30 1742 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 13.81 151 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c pscostdiving : 85.73 2058 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.01 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 0.03 0 0
1800.05/1800.00 c trysol : 0.05 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 1178.05 176631 15914572 90.10 13509.21
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 374.52 247604 4571634 18.46 12206.62
1800.05/1800.00 c strong branching : 82.50 13339 977759 73.30 11852.27
1800.05/1800.00 c (at root node) : - 10 5758 575.80 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 186067
1800.06/1800.01 c nodes (total) : 186067
1800.06/1800.01 c nodes left : 130769
1800.06/1800.01 c max depth : 63
1800.06/1800.01 c max depth (total): 63
1800.06/1800.01 c backtracks : 36383 (19.6%)
1800.06/1800.01 c delayed cutoffs : 5935
1800.06/1800.01 c repropagations : 67756 (261867 domain reductions, 1880 cutoffs)
1800.06/1800.01 c avg switch length: 9.16
1800.06/1800.01 c switching time : 22.01
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 0 (0 improvements)
1800.06/1800.01 c Primal Bound : -
1800.06/1800.01 c Dual Bound : +9.95974025974026e+01
1800.06/1800.01 c Gap : infinite
1800.06/1800.01 c Root Dual Bound : +9.90000000000000e+01
1800.06/1800.01 c Root Iterations : 9866
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-3451005-1307075416/watcher-3451005-1307075416 -o /tmp/evaluation-result-3451005-1307075416/solver-3451005-1307075416 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451005-1307075416.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: 1.97 2.02 2.00 3/373 7639
/proc/meminfo: memFree=22703848/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=13340 CPUtime=0 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 2319 0 0 0 0 0 0 0 25 0 1 0 819142089 13660160 2272 33554432000 4194304 9163163 140736783334400 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7639/statm: 3335 2272 395 1214 0 2117 0
[startup+0.0611559 s]
/proc/loadavg: 1.97 2.02 2.00 3/373 7639
/proc/meminfo: memFree=22703848/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=23892 CPUtime=0.05 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 5219 0 0 0 5 0 0 0 25 0 1 0 819142089 24465408 4899 33554432000 4194304 9163163 140736783334400 18446744073709551615 7379213 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 6008 4906 662 1214 0 4790 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23892
[startup+0.10117 s]
/proc/loadavg: 1.97 2.02 2.00 3/373 7639
/proc/meminfo: memFree=22703848/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=23960 CPUtime=0.09 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 5276 0 0 0 9 0 0 0 25 0 1 0 819142089 24535040 4926 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 5990 4926 674 1214 0 4772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23960
[startup+0.301134 s]
/proc/loadavg: 1.97 2.02 2.00 3/373 7639
/proc/meminfo: memFree=22703848/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=23960 CPUtime=0.29 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 5298 0 0 0 29 0 0 0 25 0 1 0 819142089 24535040 4947 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 5990 4947 673 1214 0 4772 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23960
[startup+0.701072 s]
/proc/loadavg: 1.97 2.02 2.00 3/373 7639
/proc/meminfo: memFree=22703848/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=40028 CPUtime=0.69 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 9783 0 0 0 68 1 0 0 25 0 1 0 819142089 40988672 8713 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 10007 8713 718 1214 0 8789 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40028
[startup+1.50093 s]
/proc/loadavg: 1.97 2.02 2.00 3/374 7640
/proc/meminfo: memFree=22671228/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=40508 CPUtime=1.49 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 9966 0 0 0 148 1 0 0 25 0 1 0 819142089 41480192 8896 33554432000 4194304 9163163 140736783334400 18446744073709551615 5102384 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 10127 8896 718 1214 0 8909 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40508
[startup+3.10061 s]
/proc/loadavg: 1.97 2.02 2.00 3/374 7640
/proc/meminfo: memFree=22668376/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=42876 CPUtime=3.09 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 12360 0 0 0 306 3 0 0 25 0 1 0 819142089 43905024 9737 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 10719 9737 724 1214 0 9501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42876
[startup+6.30102 s]
/proc/loadavg: 1.97 2.02 2.00 3/374 7640
/proc/meminfo: memFree=22665648/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=43268 CPUtime=6.29 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 12478 0 0 0 623 6 0 0 25 0 1 0 819142089 44306432 9855 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 10817 9855 746 1214 0 9599 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43268
[startup+12.7008 s]
/proc/loadavg: 1.97 2.02 2.00 3/374 7640
/proc/meminfo: memFree=22664076/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=43268 CPUtime=12.69 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 12479 0 0 0 1256 13 0 0 25 0 1 0 819142089 44306432 9856 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 10817 9856 747 1214 0 9599 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43268
[startup+25.5005 s]
/proc/loadavg: 1.98 2.02 2.00 3/374 7641
/proc/meminfo: memFree=22664320/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=43268 CPUtime=25.49 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 12484 0 0 0 2520 29 0 0 25 0 1 0 819142089 44306432 9860 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 10817 9860 747 1214 0 9599 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43268
[startup+51.1008 s]
/proc/loadavg: 1.98 2.02 2.00 3/374 7641
/proc/meminfo: memFree=22662172/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=45172 CPUtime=51.09 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 12989 0 0 0 5049 60 0 0 25 0 1 0 819142089 46256128 10344 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 11293 10344 726 1214 0 10075 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 45172
[startup+102.313 s]
/proc/loadavg: 1.99 2.01 2.00 3/374 7643
/proc/meminfo: memFree=22654136/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=52912 CPUtime=102.31 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 14912 0 0 0 10107 124 0 0 25 0 1 0 819142089 54181888 12267 33554432000 4194304 9163163 140736783334400 18446744073709551615 7379383 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 13228 12267 726 1214 0 12010 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 52912
[startup+162.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/374 7644
/proc/meminfo: memFree=22645056/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=59352 CPUtime=162.29 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 16577 0 0 0 16032 197 0 0 25 0 1 0 819142089 60776448 13932 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 14838 13932 726 1214 0 13620 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 59352
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/374 7646
/proc/meminfo: memFree=22639816/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=63616 CPUtime=222.29 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 17643 0 0 0 21957 272 0 0 25 0 1 0 819142089 65142784 14998 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 15904 14998 726 1214 0 14686 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 63616
[startup+282.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 7648
/proc/meminfo: memFree=22632856/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=69360 CPUtime=282.3 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 19088 0 0 0 27882 348 0 0 25 0 1 0 819142089 71024640 16443 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 17340 16443 726 1214 0 16122 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 69360
[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 7649
/proc/meminfo: memFree=22626644/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=74852 CPUtime=342.3 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 20517 0 0 0 33811 419 0 0 25 0 1 0 819142089 76648448 17872 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 18713 17872 726 1214 0 17495 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 74852
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7651
/proc/meminfo: memFree=22618316/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=83040 CPUtime=402.3 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 22577 0 0 0 39731 499 0 0 25 0 1 0 819142089 85032960 19928 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 20760 19928 726 1214 0 19542 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 83040
[startup+462.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 7652
/proc/meminfo: memFree=22608612/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=90280 CPUtime=462.31 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 24421 0 0 0 45658 573 0 0 25 0 1 0 819142089 92446720 21770 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 22570 21770 726 1214 0 21352 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 90280
[startup+522.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/374 7654
/proc/meminfo: memFree=22598796/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=98584 CPUtime=522.3 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 26479 0 0 0 51586 644 0 0 25 0 1 0 819142089 100950016 23825 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 24646 23825 726 1214 0 23428 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 98584
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 7656
/proc/meminfo: memFree=22590836/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=102832 CPUtime=582.31 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 27590 0 0 0 57513 718 0 0 25 0 1 0 819142089 105299968 24934 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 25708 24934 726 1214 0 24490 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 102832
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7662
/proc/meminfo: memFree=22539292/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=134036 CPUtime=822.31 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 35068 0 0 0 81203 1028 0 0 25 0 1 0 819142089 137252864 32307 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 33509 32307 726 1214 0 32291 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 134036
[startup+882.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/374 7691
/proc/meminfo: memFree=22644516/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=140696 CPUtime=882.31 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 36743 0 0 0 87127 1104 0 0 25 0 1 0 819142089 144072704 33982 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 35174 33982 726 1214 0 33956 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 140696
[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 7692
/proc/meminfo: memFree=22536164/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=146968 CPUtime=942.32 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 38327 0 0 0 93052 1180 0 0 25 0 1 0 819142089 150495232 35565 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 36742 35565 726 1214 0 35524 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 146968
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7694
/proc/meminfo: memFree=22484288/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=154444 CPUtime=1002.32 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 40194 0 0 0 98976 1256 0 0 25 0 1 0 819142089 158150656 37432 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 38611 37432 726 1214 0 37393 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 154444
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7749
/proc/meminfo: memFree=22711244/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=160176 CPUtime=1062.32 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 41662 0 0 0 104899 1333 0 0 25 0 1 0 819142089 164020224 38896 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 40044 38896 726 1214 0 38826 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 160176
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7751
/proc/meminfo: memFree=22707100/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=164032 CPUtime=1122.32 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 42656 0 0 0 110822 1410 0 0 25 0 1 0 819142089 167968768 39873 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 41008 39873 726 1214 0 39790 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 164032
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7753
/proc/meminfo: memFree=22702684/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=168588 CPUtime=1182.32 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 43807 0 0 0 116747 1485 0 0 25 0 1 0 819142089 172634112 41024 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 42147 41024 726 1214 0 40929 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 168588
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7754
/proc/meminfo: memFree=22696840/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=172932 CPUtime=1242.33 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 44938 0 0 0 122674 1559 0 0 25 0 1 0 819142089 177082368 42142 33554432000 4194304 9163163 140736783334400 18446744073709551615 7376025 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 43233 42142 726 1214 0 42015 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 172932
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7756
/proc/meminfo: memFree=22690740/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=178808 CPUtime=1302.34 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 46407 0 0 0 128597 1637 0 0 25 0 1 0 819142089 183099392 43589 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 44702 43589 726 1214 0 43484 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 178808
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/374 7757
/proc/meminfo: memFree=22686132/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=182560 CPUtime=1362.33 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 47353 0 0 0 134520 1713 0 0 25 0 1 0 819142089 186941440 44535 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 45640 44535 726 1214 0 44422 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 182560
[startup+1422.31 s]
/proc/loadavg: 2.08 2.04 2.01 3/374 7759
/proc/meminfo: memFree=22662048/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=190392 CPUtime=1422.35 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 49358 0 0 0 140446 1789 0 0 25 0 1 0 819142089 194961408 46531 33554432000 4194304 9163163 140736783334400 18446744073709551615 6687027 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 47598 46531 726 1214 0 46380 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 190392
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/374 7761
/proc/meminfo: memFree=22655700/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=196120 CPUtime=1482.33 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 50836 0 0 0 146368 1865 0 0 25 0 1 0 819142089 200826880 47979 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 49030 47979 726 1214 0 47812 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 196120
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/374 7762
/proc/meminfo: memFree=22648620/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=202904 CPUtime=1542.34 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 52559 0 0 0 152291 1943 0 0 25 0 1 0 819142089 207773696 49689 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 50726 49689 726 1214 0 49508 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 202904
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 7764
/proc/meminfo: memFree=22642152/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=209716 CPUtime=1602.34 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 54261 0 0 0 158209 2025 0 0 25 0 1 0 819142089 214749184 51390 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 52429 51390 726 1214 0 51211 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 209716
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 7765
/proc/meminfo: memFree=22636056/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=215524 CPUtime=1662.34 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 55755 0 0 0 164131 2103 0 0 25 0 1 0 819142089 220696576 52884 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 53881 52884 726 1214 0 52663 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 215524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 7767
/proc/meminfo: memFree=22626740/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=224760 CPUtime=1722.34 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 58079 0 0 0 170053 2181 0 0 25 0 1 0 819142089 230154240 55207 33554432000 4194304 9163163 140736783334400 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 56190 55207 726 1214 0 54972 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 224760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 7769
/proc/meminfo: memFree=22619536/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=232124 CPUtime=1782.34 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 59945 0 0 0 175971 2263 0 0 25 0 1 0 819142089 237694976 57048 33554432000 4194304 9163163 140736783334400 18446744073709551615 7379358 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7639/statm: 58031 57048 728 1214 0 56813 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 232124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 5/374 7769
/proc/meminfo: memFree=22616432/32951124 swapFree=37148216/67111528
[pid=7639] ppid=7637 vsize=234760 CPUtime=1800.06 cores=0,2,4,6
/proc/7639/stat : 7639 (scip-2.0.1.4b.l) R 7637 7639 5516 0 -1 4202496 60617 0 0 0 177721 2285 0 0 25 0 1 0 819142089 240394240 57717 33554432000 4194304 9163163 140736783334400 18446744073709551615 4747075 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7639/statm: 58690 57717 729 1214 0 57472 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 234760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1777.21
CPU system time (s): 22.8645
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 234760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.21
system time used= 22.8645
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60617
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= 3213
runsolver used 7.04893 second user time and 14.2388 second system time
The end