0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3484726-1307790611.opb>
0.04/0.05 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.04/0.05 c problem read
0.04/0.05 c presolving settings loaded
0.04/0.08 c presolving:
0.04/0.09 c (round 1) 7 del vars, 1 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.09/0.10 c (round 2) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.09/0.12 c (round 3) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 9940 impls, 75 clqs
0.29/0.33 c (0.3s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.33 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.33 c presolving (4 rounds):
0.29/0.33 c 7 deleted vars, 4971 deleted constraints, 0 added constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.33 c 9940 implications, 1111 cliques
0.29/0.33 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
0.29/0.33 c 448 constraints of type <knapsack>
0.29/0.33 c 75 constraints of type <setppc>
0.29/0.33 c transformed objective value is always integral (scale: 1)
0.29/0.33 c Presolving Time: 0.27
0.29/0.33 c - non default parameters ----------------------------------------------------------------------
0.29/0.33 c # SCIP version 2.0.1.4
0.29/0.33 c
0.29/0.33 c # frequency for displaying node information lines
0.29/0.33 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.33 c display/freq = 10000
0.29/0.33 c
0.29/0.33 c # maximal time in seconds to run
0.29/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.33 c limits/time = 1797
0.29/0.33 c
0.29/0.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.33 c limits/memory = 13950
0.29/0.33 c
0.29/0.33 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.33 c # [type: int, range: [1,2], default: 1]
0.29/0.33 c timing/clocktype = 2
0.29/0.33 c
0.29/0.33 c # belongs reading time to solving time?
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c timing/reading = TRUE
0.29/0.33 c
0.29/0.33 c # should presolving try to simplify inequalities
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c constraints/linear/simplifyinequalities = TRUE
0.29/0.33 c
0.29/0.33 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c constraints/indicator/addCouplingCons = TRUE
0.29/0.33 c
0.29/0.33 c # should presolving try to simplify knapsacks
0.29/0.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.33 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.33 c
0.29/0.33 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.33 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.33 c separating/rapidlearning/freq = 0
0.29/0.33 c
0.29/0.33 c -----------------------------------------------------------------------------------------------
0.29/0.33 c start solving
0.29/0.33 c
0.39/0.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.41 c 0.4s| 1 | 0 | 992 | - | 23M| 0 | 65 |4970 | 582 |4970 | 523 | 0 | 59 | 0 | 7.000000e+00 | -- | Inf
1.59/1.62 c 1.6s| 1 | 0 | 5971 | - | 25M| 0 | 111 |4970 |1043 |4970 | 556 | 33 | 59 | 0 | 7.000000e+00 | -- | Inf
1.79/1.86 c 1.9s| 1 | 0 | 6208 | - | 26M| 0 | 137 |4970 |1043 |4970 | 586 | 63 | 59 | 0 | 7.000000e+00 | -- | Inf
2.19/2.21 c 2.2s| 1 | 0 | 6956 | - | 26M| 0 | 177 |4970 |1043 |4970 | 615 | 92 | 59 | 0 | 7.000000e+00 | -- | Inf
2.49/2.51 c 2.5s| 1 | 0 | 7218 | - | 27M| 0 | 183 |4970 |1043 |4970 | 647 | 124 | 59 | 0 | 7.000000e+00 | -- | Inf
2.79/2.84 c 2.8s| 1 | 0 | 7578 | - | 27M| 0 | 205 |4970 |1043 |4970 | 673 | 150 | 59 | 0 | 7.000000e+00 | -- | Inf
3.20/3.21 c 3.2s| 1 | 0 | 7952 | - | 28M| 0 | 221 |4970 |1043 |4970 | 698 | 175 | 59 | 0 | 7.000000e+00 | -- | Inf
7.19/7.26 c 7.3s| 1 | 2 | 7952 | - | 28M| 0 | 221 |4970 |1043 |4970 | 698 | 175 | 59 | 35 | 7.000000e+00 | -- | Inf
184.18/184.29 c 184s| 10000 | 245 |461151 | 45.3 | 33M| 152 | - |4970 |3119 |4970 | 648 | 175 |6519 |4101 | 7.000000e+00 | -- | Inf
323.29/323.40 c 323s| 20000 | 251 |894042 | 44.3 | 32M| 152 | - |4970 |3073 |4970 | 648 | 175 | 12k|7272 | 7.000000e+00 | -- | Inf
428.38/428.44 c 428s| 30000 | 279 | 1274k| 42.2 | 32M| 152 | 34 |4970 |3074 |4970 | 648 | 175 | 17k|9500 | 7.000000e+00 | -- | Inf
569.49/569.52 c 570s| 40000 | 467 | 1812k| 45.1 | 34M| 152 | - |4970 |3149 |4970 | 648 | 175 | 23k| 12k| 7.000000e+00 | -- | Inf
703.50/703.56 c 704s| 50000 | 569 | 2302k| 45.9 | 35M| 152 | - |4970 |2688 | 0 | 0 | 175 | 29k| 15k| 7.000000e+00 | -- | Inf
820.10/820.15 c 820s| 60000 | 773 | 2703k| 44.9 | 36M| 152 | - |4970 |2323 |4970 | 648 | 175 | 34k| 18k| 7.000000e+00 | -- | Inf
929.80/929.80 c 930s| 70000 | 1016 | 3135k| 44.7 | 38M| 152 | - |4970 |2734 |4970 | 648 | 175 | 40k| 20k| 7.000000e+00 | -- | Inf
1045.61/1045.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.61/1045.61 c 1046s| 80000 | 1046 | 3557k| 44.4 | 39M| 152 | - |4970 |2535 |4970 | 648 | 175 | 46k| 22k| 7.000000e+00 | -- | Inf
1148.82/1148.88 c 1149s| 90000 | 1094 | 3970k| 44.0 | 39M| 152 | - |4970 |2318 |4970 | 648 | 175 | 50k| 23k| 7.000000e+00 | -- | Inf
1268.92/1268.96 c 1269s|100000 | 1129 | 4431k| 44.2 | 40M| 152 | 57 |4970 |2409 |4970 | 648 | 175 | 55k| 25k| 7.000000e+00 | -- | Inf
1375.72/1375.76 c 1376s|110000 | 1149 | 4839k| 43.9 | 40M| 152 | - |4970 |2335 |4970 | 648 | 175 | 60k| 26k| 7.000000e+00 | -- | Inf
1458.32/1458.34 c 1458s|120000 | 1189 | 5212k| 43.4 | 41M| 152 | 43 |4970 |2551 |4970 | 648 | 175 | 62k| 27k| 7.000000e+00 | -- | Inf
1558.53/1558.53 c 1559s|130000 | 1258 | 5603k| 43.0 | 41M| 152 | 35 |4970 |2643 |4970 | 648 | 175 | 65k| 29k| 7.000000e+00 | -- | Inf
1643.54/1643.53 c 1644s|140000 | 1272 | 5999k| 42.8 | 41M| 152 | - |4970 |2644 |4970 | 648 | 175 | 69k| 30k| 7.000000e+00 | -- | Inf
1737.24/1737.27 c 1737s|150000 | 1248 | 6429k| 42.8 | 41M| 152 | - |4970 |2599 |4970 | 648 | 175 | 73k| 31k| 7.000000e+00 | -- | Inf
1797.05/1797.01 c
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Solving Time (sec) : 1797.01
1797.05/1797.01 c Solving Nodes : 156060
1797.05/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.01 c Dual Bound : +7.00000000000000e+00
1797.05/1797.01 c Gap : infinite
1797.05/1797.01 s UNKNOWN
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Total Time : 1797.01
1797.05/1797.01 c solving : 1797.01
1797.05/1797.01 c presolving : 0.27 (included in solving)
1797.05/1797.01 c reading : 0.05 (included in solving)
1797.05/1797.01 c Original Problem :
1797.05/1797.01 c Problem name : HOME/instance-3484726-1307790611.opb
1797.05/1797.01 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 5494 initial, 5494 maximal
1797.05/1797.01 c Presolved Problem :
1797.05/1797.01 c Problem name : t_HOME/instance-3484726-1307790611.opb
1797.05/1797.01 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 523 initial, 3613 maximal
1797.05/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c probing : 0.04 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c knapsack : 0.16 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c linear : 0.03 7 0 0 7 0 4971 0 0 0
1797.05/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c root node : - 0 - - 0 - - - - -
1797.05/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c integral : 0 0 0 89069 0 4 0 126 16635 0 0 160342
1797.05/1797.01 c knapsack : 448 6 449353 0 1 3 10177802 2521 9541409 1205 0 0
1797.05/1797.01 c setppc : 75 6 446832 0 1 2 1982521 426 1090139 0 0 0
1797.05/1797.01 c linear : 0+ 6 29 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c logicor : 0+ 6 177749 0 0 0 206384 3075 85788 0 0 0
1797.05/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.05/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.01 c integral : 314.81 0.00 0.00 314.81 0.00 0.00 0.00
1797.05/1797.01 c knapsack : 27.36 0.02 21.36 0.00 0.00 0.00 5.98
1797.05/1797.01 c setppc : 3.04 0.00 1.99 0.00 0.00 0.00 1.05
1797.05/1797.01 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.01 c logicor : 4.90 0.00 4.16 0.00 0.00 0.00 0.74
1797.05/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.01 c vbounds : 0 0 0 0
1797.05/1797.01 c rootredcost : 0 0 0 0
1797.05/1797.01 c pseudoobj : 0 0 0 0
1797.05/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.01 c vbounds : 0.10 0.10 0.00
1797.05/1797.01 c rootredcost : 0.08 0.08 0.00
1797.05/1797.01 c pseudoobj : 0.07 0.07 0.00
1797.05/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.01 c propagation : 3.03 6022 6007 90878 145.4 191 112.1 -
1797.05/1797.01 c infeasible LP : 249.62 71019 17848 565969 378.5 249 107.4 0
1797.05/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c applied globally : - - - 75640 201.5 - - -
1797.05/1797.01 c applied locally : - - - 0 0.0 - - -
1797.05/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.01 c cut pool : 0.00 5 - - 1213 - (maximal pool size: 1897)
1797.05/1797.01 c redcost : 6.51 88135 0 0 0 0
1797.05/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1797.05/1797.01 c intobj : 0.00 0 0 0 0 0
1797.05/1797.01 c gomory : 0.03 6 0 0 87 0
1797.05/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.01 c strongcg : 0.04 6 0 0 36 0
1797.05/1797.01 c cmir : 0.78 6 0 0 2251 0
1797.05/1797.01 c flowcover : 0.50 6 0 0 1201 0
1797.05/1797.01 c clique : 0.01 6 0 0 13 0
1797.05/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.01 c mcf : 0.00 1 0 0 0 0
1797.05/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.01 c rapidlearning : 0.48 1 0 0 0 461
1797.05/1797.01 c Pricers : Time Calls Vars
1797.05/1797.01 c problem variables: 0.00 0 0
1797.05/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c relpscost : 314.70 89069 126 16635 0 0 160342
1797.05/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c random : 0.00 0 0 0 0 0 0
1797.05/1797.01 c Primal Heuristics : Time Calls Found
1797.05/1797.01 c LP solutions : 0.00 - 0
1797.05/1797.01 c pseudo solutions : 0.00 - 0
1797.05/1797.01 c oneopt : 0.07 0 0
1797.05/1797.01 c crossover : 0.04 0 0
1797.05/1797.01 c guideddiving : 0.01 0 0
1797.05/1797.01 c coefdiving : 4.44 15 0
1797.05/1797.01 c linesearchdiving : 1.61 15 0
1797.05/1797.01 c fracdiving : 3.41 15 0
1797.05/1797.01 c veclendiving : 1.61 15 0
1797.05/1797.01 c pscostdiving : 1.92 15 0
1797.05/1797.01 c objpscostdiving : 0.21 8 0
1797.05/1797.01 c rootsoldiving : 1.49 8 0
1797.05/1797.01 c feaspump : 1.18 8 0
1797.05/1797.01 c trivial : 0.00 2 0
1797.05/1797.01 c shiftandpropagate: 0.03 1 0
1797.05/1797.01 c simplerounding : 0.03 0 0
1797.05/1797.01 c zirounding : 2.18 0 0
1797.05/1797.01 c rounding : 0.38 4119 0
1797.05/1797.01 c shifting : 2.94 1262 0
1797.05/1797.01 c intshifting : 0.00 0 0
1797.05/1797.01 c twoopt : 0.00 0 0
1797.05/1797.01 c fixandinfer : 0.00 0 0
1797.05/1797.01 c clique : 0.00 0 0
1797.05/1797.01 c intdiving : 0.00 0 0
1797.05/1797.01 c actconsdiving : 0.00 0 0
1797.05/1797.01 c octane : 0.00 0 0
1797.05/1797.01 c rens : 0.07 1 0
1797.05/1797.01 c rins : 0.00 0 0
1797.05/1797.01 c localbranching : 0.00 0 0
1797.05/1797.01 c mutation : 0.00 0 0
1797.05/1797.01 c dins : 0.00 0 0
1797.05/1797.01 c vbounds : 0.00 0 0
1797.05/1797.01 c undercover : 0.00 0 0
1797.05/1797.01 c subnlp : 0.03 0 0
1797.05/1797.01 c trysol : 0.04 0 0
1797.05/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.01 c dual LP : 1100.86 158875 6622439 41.68 6015.68
1797.05/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.01 c diving/probing LP: 12.17 5637 65894 11.69 5413.39
1797.05/1797.01 c strong branching : 311.43 31913 1632173 51.14 5240.88
1797.05/1797.01 c (at root node) : - 35 18762 536.06 -
1797.05/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.01 c B&B Tree :
1797.05/1797.01 c number of runs : 1
1797.05/1797.01 c nodes : 156060
1797.05/1797.01 c nodes (total) : 156060
1797.05/1797.01 c nodes left : 1246
1797.05/1797.01 c max depth : 152
1797.05/1797.01 c max depth (total): 152
1797.05/1797.01 c backtracks : 25408 (16.3%)
1797.05/1797.01 c delayed cutoffs : 3039
1797.05/1797.01 c repropagations : 103141 (922921 domain reductions, 887 cutoffs)
1797.05/1797.01 c avg switch length: 3.90
1797.05/1797.01 c switching time : 22.96
1797.05/1797.01 c Solution :
1797.05/1797.01 c Solutions found : 0 (0 improvements)
1797.05/1797.01 c Primal Bound : -
1797.05/1797.01 c Dual Bound : +7.00000000000000e+00
1797.05/1797.01 c Gap : infinite
1797.05/1797.01 c Root Dual Bound : +7.00000000000000e+00
1797.05/1797.01 c Root Iterations : 7952
1797.05/1797.05 c Time complete: 1797.09.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3484726-1307790611/watcher-3484726-1307790611 -o /tmp/evaluation-result-3484726-1307790611/solver-3484726-1307790611 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484726-1307790611.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.00 1.00 1.19 3/176 32317
/proc/meminfo: memFree=31706232/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=10212 CPUtime=0 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 1558 0 0 0 0 0 0 0 21 0 1 0 890658186 10457088 1513 33554432000 4194304 8979876 140736888187040 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 2553 1513 366 1169 0 1380 0
[startup+0.0446851 s]
/proc/loadavg: 1.00 1.00 1.19 3/176 32317
/proc/meminfo: memFree=31706232/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=17744 CPUtime=0.04 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 3422 0 0 0 4 0 0 0 21 0 1 0 890658186 18169856 3377 33554432000 4194304 8979876 140736888187040 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 4436 3377 366 1169 0 3263 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17744
[startup+0.100677 s]
/proc/loadavg: 1.00 1.00 1.19 3/176 32317
/proc/meminfo: memFree=31706232/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=39224 CPUtime=0.09 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 8856 0 0 0 9 0 0 0 21 0 1 0 890658186 40165376 8554 33554432000 4194304 8979876 140736888187040 18446744073709551615 5270976 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 9806 8554 497 1169 0 8633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39224
[startup+0.300633 s]
/proc/loadavg: 1.00 1.00 1.19 3/176 32317
/proc/meminfo: memFree=31706232/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=48064 CPUtime=0.29 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 11226 0 0 0 29 0 0 0 22 0 1 0 890658186 49217536 10887 33554432000 4194304 8979876 140736888187040 18446744073709551615 5211648 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 12016 10887 532 1169 0 10843 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48064
[startup+0.700556 s]
/proc/loadavg: 1.00 1.00 1.19 3/176 32317
/proc/meminfo: memFree=31706232/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=61912 CPUtime=0.69 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 15021 0 0 0 68 1 0 0 23 0 1 0 890658186 63397888 14387 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 15478 14387 666 1169 0 14305 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61912
[startup+1.5004 s]
/proc/loadavg: 1.00 1.00 1.19 4/178 32319
/proc/meminfo: memFree=31584224/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99012 CPUtime=1.49 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 24135 0 0 0 146 3 0 0 25 0 1 0 890658186 101388288 23499 33554432000 4194304 8979876 140736888187040 18446744073709551615 5211695 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24753 23499 704 1169 0 23580 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99012
[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.19 3/178 32319
/proc/meminfo: memFree=31544916/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=3.1 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25070 0 0 0 306 4 0 0 25 0 1 0 890658186 102236160 24051 33554432000 4194304 8979876 140736888187040 18446744073709551615 6568372 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24960 24051 714 1169 0 23787 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 99840
[startup+6.30048 s]
/proc/loadavg: 1.08 1.02 1.19 4/178 32319
/proc/meminfo: memFree=31544564/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=6.29 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25154 0 0 0 624 5 0 0 25 0 1 0 890658186 102236160 24135 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24960 24135 722 1169 0 23787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99840
[startup+12.7003 s]
/proc/loadavg: 1.16 1.04 1.20 4/178 32320
/proc/meminfo: memFree=31544172/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=12.7 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25154 0 0 0 1261 9 0 0 25 0 1 0 890658186 102236160 24135 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24960 24135 722 1169 0 23787 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 99840
[startup+25.5008 s]
/proc/loadavg: 1.34 1.08 1.21 4/178 32320
/proc/meminfo: memFree=31545012/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=25.49 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25154 0 0 0 2533 16 0 0 25 0 1 0 890658186 102236160 24135 33554432000 4194304 8979876 140736888187040 18446744073709551615 7177296 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24960 24135 722 1169 0 23787 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99840
[startup+51.1009 s]
/proc/loadavg: 1.57 1.16 1.23 4/178 32321
/proc/meminfo: memFree=31544756/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=51.09 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25157 0 0 0 5078 31 0 0 25 0 1 0 890658186 102236160 24138 33554432000 4194304 8979876 140736888187040 18446744073709551615 7020808 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32315/statm: 24960 24138 725 1169 0 23787 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99840
[startup+102.307 s]
/proc/loadavg: 1.81 1.28 1.27 4/178 32322
/proc/meminfo: memFree=31544644/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=102.29 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25157 0 0 0 10172 57 0 0 25 0 1 0 890658186 102236160 24138 33554432000 4194304 8979876 140736888187040 18446744073709551615 4991056 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32315/statm: 24960 24138 725 1169 0 23787 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 99840
[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.31 4/178 32324
/proc/meminfo: memFree=31544612/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=162.29 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25157 0 0 0 16140 89 0 0 25 0 1 0 890658186 102236160 24138 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32315/statm: 24960 24138 725 1169 0 23787 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 99840
[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.35 4/178 32325
/proc/meminfo: memFree=31544564/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=222.28 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25157 0 0 0 22110 118 0 0 25 0 1 0 890658186 102236160 24138 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32315/statm: 24960 24138 725 1169 0 23787 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 99840
[startup+282.301 s]
/proc/loadavg: 1.99 1.60 1.39 4/178 32327
/proc/meminfo: memFree=31544524/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=282.28 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25157 0 0 0 28078 150 0 0 25 0 1 0 890658186 102236160 24138 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24960 24138 725 1169 0 23787 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 99840
[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.42 4/178 32328
/proc/meminfo: memFree=31544336/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=342.28 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25157 0 0 0 34044 184 0 0 25 0 1 0 890658186 102236160 24138 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24960 24138 725 1169 0 23787 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 99840
[startup+402.301 s]
/proc/loadavg: 1.99 1.73 1.46 4/178 32330
/proc/meminfo: memFree=31544048/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=402.29 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25157 0 0 0 40007 222 0 0 25 0 1 0 890658186 102236160 24138 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24960 24138 725 1169 0 23787 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 99840
[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.49 4/178 32332
/proc/meminfo: memFree=31543656/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=99840 CPUtime=462.29 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25157 0 0 0 45969 260 0 0 25 0 1 0 890658186 102236160 24138 33554432000 4194304 8979876 140736888187040 18446744073709551615 4291199 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 24960 24138 725 1169 0 23787 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 99840
[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.52 4/178 32333
/proc/meminfo: memFree=31542256/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=100580 CPUtime=522.29 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25295 0 0 0 51934 295 0 0 25 0 1 0 890658186 102993920 24276 33554432000 4194304 8979876 140736888187040 18446744073709551615 4291258 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 25145 24276 726 1169 0 23972 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 100580
[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.54 4/178 32335
/proc/meminfo: memFree=31540228/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=101932 CPUtime=582.29 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 25662 0 0 0 57899 330 0 0 25 0 1 0 890658186 104378368 24643 33554432000 4194304 8979876 140736888187040 18446744073709551615 5210993 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 25483 24643 726 1169 0 24310 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 101932
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31523332/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=112568 CPUtime=1122.31 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 28314 0 0 0 111582 649 0 0 25 0 1 0 890658186 115269632 27295 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 28142 27295 726 1169 0 26969 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 112568
[startup+1182.3 s]
/proc/loadavg: 2.06 2.00 1.75 4/178 32351
/proc/meminfo: memFree=31520960/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=113588 CPUtime=1182.32 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 28596 0 0 0 117550 682 0 0 25 0 1 0 890658186 116314112 27577 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 28397 27577 726 1169 0 27224 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 113588
[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.76 4/178 32352
/proc/meminfo: memFree=31518320/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=115192 CPUtime=1242.32 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 28869 0 0 0 123516 716 0 0 25 0 1 0 890658186 117956608 27850 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 28798 27850 726 1169 0 27625 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 115192
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.78 4/178 32354
/proc/meminfo: memFree=31516672/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=115672 CPUtime=1302.32 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29084 0 0 0 129483 749 0 0 25 0 1 0 890658186 118448128 28065 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 28918 28065 726 1169 0 27745 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 115672
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.79 4/178 32356
/proc/meminfo: memFree=31515504/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=116140 CPUtime=1362.32 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29243 0 0 0 135449 783 0 0 25 0 1 0 890658186 118927360 28224 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29035 28224 726 1169 0 27862 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 116140
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.80 4/178 32357
/proc/meminfo: memFree=31515332/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=116140 CPUtime=1422.33 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29243 0 0 0 141418 815 0 0 25 0 1 0 890658186 118927360 28224 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29035 28224 726 1169 0 27862 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 116140
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.81 4/178 32359
/proc/meminfo: memFree=31514296/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=116380 CPUtime=1482.33 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29283 0 0 0 147386 847 0 0 25 0 1 0 890658186 119173120 28264 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29095 28264 726 1169 0 27922 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 116380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/178 32360
/proc/meminfo: memFree=31512768/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=116800 CPUtime=1542.34 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29383 0 0 0 153351 883 0 0 25 0 1 0 890658186 119603200 28364 33554432000 4194304 8979876 140736888187040 18446744073709551615 4291248 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29200 28364 726 1169 0 28027 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 116800
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/178 32362
/proc/meminfo: memFree=31511244/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117420 CPUtime=1602.33 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29524 0 0 0 159315 918 0 0 25 0 1 0 890658186 120238080 28505 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29355 28505 726 1169 0 28182 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 117420
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 32364
/proc/meminfo: memFree=31509476/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117420 CPUtime=1662.34 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29524 0 0 0 165277 957 0 0 25 0 1 0 890658186 120238080 28505 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29355 28505 726 1169 0 28182 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 117420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/178 32365
/proc/meminfo: memFree=31503848/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117708 CPUtime=1722.34 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29612 0 0 0 171240 994 0 0 25 0 1 0 890658186 120532992 28593 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29427 28593 726 1169 0 28254 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 117708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/178 32367
/proc/meminfo: memFree=31501952/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117844 CPUtime=1782.34 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29644 0 0 0 177204 1030 0 0 25 0 1 0 890658186 120672256 28625 33554432000 4194304 8979876 140736888187040 18446744073709551615 7179652 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29461 28625 726 1169 0 28288 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 117844
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.84 4/178 32367
/proc/meminfo: memFree=31501828/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117844 CPUtime=1785.54 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29644 0 0 0 177522 1032 0 0 25 0 1 0 890658186 120672256 28625 33554432000 4194304 8979876 140736888187040 18446744073709551615 7164556 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29461 28625 726 1169 0 28288 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 117844
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.84 4/178 32367
/proc/meminfo: memFree=31501444/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117844 CPUtime=1791.94 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29644 0 0 0 178159 1035 0 0 25 0 1 0 890658186 120672256 28625 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29461 28625 726 1169 0 28288 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 117844
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.85 4/178 32367
/proc/meminfo: memFree=31501568/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117844 CPUtime=1795.14 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29644 0 0 0 178477 1037 0 0 25 0 1 0 890658186 120672256 28625 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29461 28625 726 1169 0 28288 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 117844
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.85 4/178 32367
/proc/meminfo: memFree=31501568/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117844 CPUtime=1795.94 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29644 0 0 0 178556 1038 0 0 25 0 1 0 890658186 120672256 28625 33554432000 4194304 8979876 140736888187040 18446744073709551615 7020800 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29461 28625 726 1169 0 28288 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 117844
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.85 4/178 32367
/proc/meminfo: memFree=31501568/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117844 CPUtime=1796.74 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29644 0 0 0 178636 1038 0 0 25 0 1 0 890658186 120672256 28625 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29461 28625 726 1169 0 28288 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 117844
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.85 4/178 32367
/proc/meminfo: memFree=31501568/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117844 CPUtime=1796.94 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29644 0 0 0 178656 1038 0 0 25 0 1 0 890658186 120672256 28625 33554432000 4194304 8979876 140736888187040 18446744073709551615 4291399 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29461 28625 726 1169 0 28288 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 117844
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.85 4/178 32367
/proc/meminfo: memFree=31501568/32950928 swapFree=67055428/67111528
[pid=32315] ppid=32312 vsize=117844 CPUtime=1797.05 cores=0,2,4,6
/proc/32315/stat : 32315 (scip-2.0.1.4_2.) R 32312 32315 26980 0 -1 4202496 29644 0 0 0 178666 1039 0 0 25 0 1 0 890658186 120672256 28625 33554432000 4194304 8979876 140736888187040 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32315/statm: 29461 28625 726 1169 0 28288 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 117844
Child status: 0
Real time (s): 1797.05
CPU time (s): 1797.1
CPU user time (s): 1786.71
CPU system time (s): 10.3944
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 117844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.71
system time used= 10.3944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29652
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= 3
involuntary context switches= 3308
runsolver used 2.92855 second user time and 6.84996 second system time
The end