0.00/0.00 c SCIP version 2.0.1.5 [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-3488168-1307790235.opb>
0.00/0.05 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/0.07 c presolving:
0.00/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.00/0.09 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.11 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.32 c (0.3s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.32 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.32 c presolving (4 rounds):
0.29/0.32 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.32 c 9940 implications, 1111 cliques
0.29/0.32 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
0.29/0.32 c 448 constraints of type <knapsack>
0.29/0.32 c 75 constraints of type <setppc>
0.29/0.32 c transformed objective value is always integral (scale: 1)
0.29/0.32 c Presolving Time: 0.26
0.29/0.32 c - non default parameters ----------------------------------------------------------------------
0.29/0.32 c # SCIP version 2.0.1.5
0.29/0.32 c
0.29/0.32 c # frequency for displaying node information lines
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.32 c display/freq = 10000
0.29/0.32 c
0.29/0.32 c # maximal time in seconds to run
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/time = 1797
0.29/0.32 c
0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/memory = 13950
0.29/0.32 c
0.29/0.32 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.32 c # [type: int, range: [1,2], default: 1]
0.29/0.32 c timing/clocktype = 2
0.29/0.32 c
0.29/0.32 c # belongs reading time to solving time?
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c timing/reading = TRUE
0.29/0.32 c
0.29/0.32 c # should presolving try to simplify inequalities
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/linear/simplifyinequalities = TRUE
0.29/0.32 c
0.29/0.32 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/indicator/addCouplingCons = TRUE
0.29/0.32 c
0.29/0.32 c # should presolving try to simplify knapsacks
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.32 c
0.29/0.32 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c separating/rapidlearning/freq = 0
0.29/0.32 c
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c start solving
0.29/0.32 c
0.39/0.40 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.40 c 0.4s| 1 | 0 | 992 | - | 23M| 0 | 65 |4970 | 582 |4970 | 523 | 0 | 59 | 0 | 7.000000e+00 | -- | Inf
1.59/1.60 c 1.6s| 1 | 0 | 5971 | - | 25M| 0 | 111 |4970 |1043 |4970 | 556 | 33 | 59 | 0 | 7.000000e+00 | -- | Inf
1.79/1.85 c 1.8s| 1 | 0 | 6208 | - | 26M| 0 | 137 |4970 |1043 |4970 | 586 | 63 | 59 | 0 | 7.000000e+00 | -- | Inf
2.09/2.19 c 2.2s| 1 | 0 | 6956 | - | 27M| 0 | 177 |4970 |1043 |4970 | 615 | 92 | 59 | 0 | 7.000000e+00 | -- | Inf
2.39/2.49 c 2.5s| 1 | 0 | 7218 | - | 27M| 0 | 183 |4970 |1043 |4970 | 647 | 124 | 59 | 0 | 7.000000e+00 | -- | Inf
2.79/2.83 c 2.8s| 1 | 0 | 7578 | - | 28M| 0 | 205 |4970 |1043 |4970 | 673 | 150 | 59 | 0 | 7.000000e+00 | -- | Inf
3.09/3.19 c 3.2s| 1 | 0 | 7952 | - | 28M| 0 | 221 |4970 |1043 |4970 | 698 | 175 | 59 | 0 | 7.000000e+00 | -- | Inf
7.19/7.28 c 7.3s| 1 | 2 | 7952 | - | 28M| 0 | 221 |4970 |1043 |4970 | 698 | 175 | 59 | 35 | 7.000000e+00 | -- | Inf
168.29/168.30 c 168s| 10000 | 245 |461151 | 45.3 | 33M| 152 | - |4970 |3119 |4970 | 648 | 175 |6519 |4101 | 7.000000e+00 | -- | Inf
297.70/297.73 c 298s| 20000 | 251 |894042 | 44.3 | 33M| 152 | - |4970 |3073 |4970 | 648 | 175 | 12k|7272 | 7.000000e+00 | -- | Inf
402.49/402.50 c 402s| 30000 | 279 | 1274k| 42.2 | 33M| 152 | 34 |4970 |3074 |4970 | 648 | 175 | 17k|9500 | 7.000000e+00 | -- | Inf
543.29/543.38 c 543s| 40000 | 467 | 1812k| 45.1 | 34M| 152 | - |4970 |3149 |4970 | 648 | 175 | 23k| 12k| 7.000000e+00 | -- | Inf
676.99/677.09 c 677s| 50000 | 569 | 2302k| 45.9 | 35M| 152 | - |4970 |2688 | 0 | 0 | 175 | 29k| 15k| 7.000000e+00 | -- | Inf
793.40/793.44 c 793s| 60000 | 773 | 2703k| 44.9 | 37M| 152 | - |4970 |2323 |4970 | 648 | 175 | 34k| 18k| 7.000000e+00 | -- | Inf
902.80/902.84 c 903s| 70000 | 1016 | 3135k| 44.7 | 39M| 152 | - |4970 |2734 |4970 | 648 | 175 | 40k| 20k| 7.000000e+00 | -- | Inf
1018.40/1018.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.40/1018.43 c 1018s| 80000 | 1046 | 3557k| 44.4 | 39M| 152 | - |4970 |2535 |4970 | 648 | 175 | 46k| 22k| 7.000000e+00 | -- | Inf
1121.40/1121.45 c 1121s| 90000 | 1094 | 3970k| 44.0 | 40M| 152 | - |4970 |2318 |4970 | 648 | 175 | 50k| 23k| 7.000000e+00 | -- | Inf
1241.20/1241.22 c 1241s|100000 | 1129 | 4431k| 44.2 | 40M| 152 | 57 |4970 |2409 |4970 | 648 | 175 | 55k| 25k| 7.000000e+00 | -- | Inf
1347.71/1347.73 c 1348s|110000 | 1149 | 4839k| 43.9 | 41M| 152 | - |4970 |2335 |4970 | 648 | 175 | 60k| 26k| 7.000000e+00 | -- | Inf
1429.91/1429.90 c 1430s|120000 | 1189 | 5212k| 43.4 | 41M| 152 | 43 |4970 |2551 |4970 | 648 | 175 | 62k| 27k| 7.000000e+00 | -- | Inf
1529.71/1529.72 c 1530s|130000 | 1258 | 5603k| 43.0 | 42M| 152 | 35 |4970 |2643 |4970 | 648 | 175 | 65k| 29k| 7.000000e+00 | -- | Inf
1614.30/1614.32 c 1614s|140000 | 1272 | 5999k| 42.8 | 42M| 152 | - |4970 |2644 |4970 | 648 | 175 | 69k| 30k| 7.000000e+00 | -- | Inf
1707.61/1707.69 c 1708s|150000 | 1248 | 6429k| 42.8 | 42M| 152 | - |4970 |2599 |4970 | 648 | 175 | 73k| 31k| 7.000000e+00 | -- | Inf
1797.01/1797.01 c
1797.01/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.01 c Solving Time (sec) : 1797.01
1797.01/1797.01 c Solving Nodes : 159254
1797.01/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.01/1797.01 c Dual Bound : +7.00000000000000e+00
1797.01/1797.01 c Gap : infinite
1797.01/1797.01 s UNKNOWN
1797.01/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.01 c Total Time : 1797.01
1797.01/1797.01 c solving : 1797.01
1797.01/1797.01 c presolving : 0.26 (included in solving)
1797.01/1797.01 c reading : 0.05 (included in solving)
1797.01/1797.01 c Original Problem :
1797.01/1797.01 c Problem name : HOME/instance-3488168-1307790235.opb
1797.01/1797.01 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.01 c Constraints : 5494 initial, 5494 maximal
1797.01/1797.01 c Presolved Problem :
1797.01/1797.01 c Problem name : t_HOME/instance-3488168-1307790235.opb
1797.01/1797.01 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.01 c Constraints : 523 initial, 3613 maximal
1797.01/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c probing : 0.04 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c knapsack : 0.16 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c linear : 0.03 7 0 0 7 0 4971 0 0 0
1797.01/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c root node : - 0 - - 0 - - - - -
1797.01/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.01 c integral : 0 0 0 90772 0 4 0 126 16752 0 0 163538
1797.01/1797.01 c knapsack : 448 6 457403 0 2 3 10220312 2572 9750115 1205 0 0
1797.01/1797.01 c setppc : 75 6 454831 0 2 2 1993118 432 1108981 0 0 0
1797.01/1797.01 c linear : 0+ 6 29 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c logicor : 0+ 6 181299 0 0 0 208814 3100 87773 0 0 0
1797.01/1797.01 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1797.01/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.01 c integral : 310.45 0.00 0.00 310.45 0.00 0.00 0.00
1797.01/1797.01 c knapsack : 26.65 0.02 20.72 0.00 0.00 0.00 5.92
1797.01/1797.01 c setppc : 2.94 0.00 1.90 0.00 0.00 0.00 1.04
1797.01/1797.01 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.01 c logicor : 4.75 0.00 4.01 0.00 0.00 0.00 0.74
1797.01/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.01 c vbounds : 0 0 0 0
1797.01/1797.01 c rootredcost : 0 0 0 0
1797.01/1797.01 c pseudoobj : 0 0 0 0
1797.01/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.01 c vbounds : 0.09 0.09 0.00
1797.01/1797.01 c rootredcost : 0.08 0.08 0.00
1797.01/1797.01 c pseudoobj : 0.05 0.05 0.00
1797.01/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.01 c propagation : 2.95 6104 6089 92351 145.4 193 111.9 -
1797.01/1797.01 c infeasible LP : 250.60 72536 17946 569056 378.4 250 107.9 0
1797.01/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.01 c applied globally : - - - 76367 201.3 - - -
1797.01/1797.01 c applied locally : - - - 0 0.0 - - -
1797.01/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.01 c cut pool : 0.00 5 - - 1213 - (maximal pool size: 1897)
1797.01/1797.01 c redcost : 6.65 89838 0 0 0 0
1797.01/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1797.01/1797.01 c intobj : 0.00 0 0 0 0 0
1797.01/1797.01 c gomory : 0.03 6 0 0 87 0
1797.01/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.01 c strongcg : 0.04 6 0 0 36 0
1797.01/1797.01 c cmir : 0.78 6 0 0 2251 0
1797.01/1797.01 c flowcover : 0.49 6 0 0 1201 0
1797.01/1797.01 c clique : 0.01 6 0 0 13 0
1797.01/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.01 c mcf : 0.00 1 0 0 0 0
1797.01/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.01 c rapidlearning : 0.48 1 0 0 0 461
1797.01/1797.01 c Pricers : Time Calls Vars
1797.01/1797.01 c problem variables: 0.00 0 0
1797.01/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.01 c relpscost : 310.35 90772 126 16752 0 0 163538
1797.01/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.01/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.01 c random : 0.00 0 0 0 0 0 0
1797.01/1797.01 c Primal Heuristics : Time Calls Found
1797.01/1797.01 c LP solutions : 0.00 - 0
1797.01/1797.01 c pseudo solutions : 0.00 - 0
1797.01/1797.01 c oneopt : 0.05 0 0
1797.01/1797.01 c crossover : 0.04 0 0
1797.01/1797.01 c guideddiving : 0.01 0 0
1797.01/1797.01 c coefdiving : 4.42 15 0
1797.01/1797.01 c linesearchdiving : 1.61 15 0
1797.01/1797.01 c fracdiving : 3.40 15 0
1797.01/1797.01 c veclendiving : 1.61 15 0
1797.01/1797.01 c pscostdiving : 1.91 15 0
1797.01/1797.01 c objpscostdiving : 0.21 8 0
1797.01/1797.01 c rootsoldiving : 1.48 8 0
1797.01/1797.01 c feaspump : 1.18 8 0
1797.01/1797.01 c trivial : 0.00 2 0
1797.01/1797.01 c shiftandpropagate: 0.03 1 0
1797.01/1797.01 c simplerounding : 0.04 0 0
1797.01/1797.01 c zirounding : 2.17 0 0
1797.01/1797.01 c rounding : 0.38 4153 0
1797.01/1797.01 c shifting : 2.94 1271 0
1797.01/1797.01 c intshifting : 0.00 0 0
1797.01/1797.01 c twoopt : 0.00 0 0
1797.01/1797.01 c fixandinfer : 0.00 0 0
1797.01/1797.01 c clique : 0.00 0 0
1797.01/1797.01 c intdiving : 0.00 0 0
1797.01/1797.01 c actconsdiving : 0.00 0 0
1797.01/1797.01 c octane : 0.00 0 0
1797.01/1797.01 c rens : 0.11 1 0
1797.01/1797.01 c rins : 0.00 0 0
1797.01/1797.01 c localbranching : 0.00 0 0
1797.01/1797.01 c mutation : 0.00 0 0
1797.01/1797.01 c dins : 0.00 0 0
1797.01/1797.01 c vbounds : 0.00 0 0
1797.01/1797.01 c undercover : 0.00 0 0
1797.01/1797.01 c subnlp : 0.04 0 0
1797.01/1797.01 c trysol : 0.05 0 0
1797.01/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.01/1797.01 c dual LP : 1106.78 162080 6760887 41.71 6108.60
1797.01/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.01 c diving/probing LP: 12.14 5637 65894 11.69 5429.47
1797.01/1797.01 c strong branching : 307.06 32148 1643430 51.12 5352.12
1797.01/1797.01 c (at root node) : - 35 18762 536.06 -
1797.01/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.01 c B&B Tree :
1797.01/1797.01 c number of runs : 1
1797.01/1797.01 c nodes : 159254
1797.01/1797.01 c nodes (total) : 159254
1797.01/1797.01 c nodes left : 1238
1797.01/1797.01 c max depth : 152
1797.01/1797.01 c max depth (total): 152
1797.01/1797.01 c backtracks : 25996 (16.3%)
1797.01/1797.01 c delayed cutoffs : 3051
1797.01/1797.01 c repropagations : 104124 (930423 domain reductions, 891 cutoffs)
1797.01/1797.01 c avg switch length: 3.88
1797.01/1797.01 c switching time : 21.99
1797.01/1797.01 c Solution :
1797.01/1797.01 c Solutions found : 0 (0 improvements)
1797.01/1797.01 c Primal Bound : -
1797.01/1797.01 c Dual Bound : +7.00000000000000e+00
1797.01/1797.01 c Gap : infinite
1797.01/1797.01 c Root Dual Bound : +7.00000000000000e+00
1797.01/1797.01 c Root Iterations : 7952
1797.01/1797.05 c Time complete: 1797.06.
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-3488168-1307790235/watcher-3488168-1307790235 -o /tmp/evaluation-result-3488168-1307790235/solver-3488168-1307790235 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488168-1307790235.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 32655
/proc/meminfo: memFree=29024464/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 2146 0 0 0 0 0 0 0 25 0 1 0 890623179 13000704 2101 33554432000 4194304 9016284 140736194338688 18446744073709551615 7824712 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32655/statm: 3174 2101 360 1178 0 1992 0
[startup+0.102397 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 32655
/proc/meminfo: memFree=29024464/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=39444 CPUtime=0.09 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 8885 0 0 0 9 0 0 0 25 0 1 0 890623179 40390656 8583 33554432000 4194304 9016284 140736194338688 18446744073709551615 4203539 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 9861 8583 493 1178 0 8679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39444
[startup+0.200369 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 32655
/proc/meminfo: memFree=29024464/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=43952 CPUtime=0.19 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 10051 0 0 0 19 0 0 0 25 0 1 0 890623179 45006848 9687 33554432000 4194304 9016284 140736194338688 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 10988 9750 517 1178 0 9806 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 43952
[startup+0.300361 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 32655
/proc/meminfo: memFree=29024464/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=47140 CPUtime=0.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 11013 0 0 0 29 0 0 0 25 0 1 0 890623179 48271360 10644 33554432000 4194304 9016284 140736194338688 18446744073709551615 4889768 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 11785 10644 528 1178 0 10603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47140
[startup+0.700291 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 32655
/proc/meminfo: memFree=29024464/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=61012 CPUtime=0.69 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 14829 0 0 0 67 2 0 0 18 0 1 0 890623179 62476288 14161 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 15253 14161 661 1178 0 14071 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61012
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 32656
/proc/meminfo: memFree=28970676/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=99492 CPUtime=1.49 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 24286 0 0 0 145 4 0 0 19 0 1 0 890623179 101879808 23618 33554432000 4194304 9016284 140736194338688 18446744073709551615 7824814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 24873 23618 701 1178 0 23691 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99492
[startup+3.10088 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 32656
/proc/meminfo: memFree=28932884/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=98904 CPUtime=3.09 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25211 0 0 0 304 5 0 0 23 0 1 0 890623179 101277696 23808 33554432000 4194304 9016284 140736194338688 18446744073709551615 4243879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 24726 23808 708 1178 0 23544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98904
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 32656
/proc/meminfo: memFree=28929388/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=6.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25791 0 0 0 618 11 0 0 25 0 1 0 890623179 103907328 24388 33554432000 4194304 9016284 140736194338688 18446744073709551615 7158157 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24388 712 1178 0 24186 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101472
[startup+12.7003 s]
/proc/loadavg: 2.15 2.03 2.01 3/173 32656
/proc/meminfo: memFree=28929192/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=12.69 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25791 0 0 0 1248 21 0 0 25 0 1 0 890623179 103907328 24388 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24388 712 1178 0 24186 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101472
[startup+25.5011 s]
/proc/loadavg: 2.12 2.03 2.01 3/173 32656
/proc/meminfo: memFree=28928724/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=25.49 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25791 0 0 0 2505 44 0 0 25 0 1 0 890623179 103907328 24388 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24388 712 1178 0 24186 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101472
[startup+51.1008 s]
/proc/loadavg: 2.07 2.03 2.01 3/173 32658
/proc/meminfo: memFree=28928368/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=51.09 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25793 0 0 0 5022 87 0 0 25 0 1 0 890623179 103907328 24390 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24390 714 1178 0 24186 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101472
[startup+102.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/173 32658
/proc/meminfo: memFree=28926708/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=102.3 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25793 0 0 0 10062 168 0 0 25 0 1 0 890623179 103907328 24390 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24390 714 1178 0 24186 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 101472
[startup+162.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/173 32663
/proc/meminfo: memFree=28925884/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=162.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25793 0 0 0 15965 264 0 0 25 0 1 0 890623179 103907328 24390 33554432000 4194304 9016284 140736194338688 18446744073709551615 4291182 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24390 714 1178 0 24186 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 101472
[startup+222.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/173 32665
/proc/meminfo: memFree=28921532/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=222.3 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25793 0 0 0 21865 365 0 0 25 0 1 0 890623179 103907328 24390 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24390 714 1178 0 24186 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 101472
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/173 32667
/proc/meminfo: memFree=28917800/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=282.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25793 0 0 0 27775 454 0 0 25 0 1 0 890623179 103907328 24390 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24390 714 1178 0 24186 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 101472
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 32667
/proc/meminfo: memFree=28916420/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=342.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25793 0 0 0 33680 549 0 0 25 0 1 0 890623179 103907328 24390 33554432000 4194304 9016284 140736194338688 18446744073709551615 4291231 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24390 714 1178 0 24186 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 101472
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/173 32669
/proc/meminfo: memFree=28915920/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=402.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25793 0 0 0 39581 648 0 0 25 0 1 0 890623179 103907328 24390 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24390 714 1178 0 24186 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 101472
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/173 32671
/proc/meminfo: memFree=28915916/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=462.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25793 0 0 0 45477 752 0 0 25 0 1 0 890623179 103907328 24390 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24390 714 1178 0 24186 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 101472
[startup+522.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/173 32749
/proc/meminfo: memFree=28860200/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=522.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25824 0 0 0 51366 863 0 0 25 0 1 0 890623179 103907328 24421 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24421 715 1178 0 24186 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 101472
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/173 32751
/proc/meminfo: memFree=28860008/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=101472 CPUtime=582.29 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 25840 0 0 0 57277 952 0 0 25 0 1 0 890623179 103907328 24437 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 25368 24437 715 1178 0 24186 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 101472
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28849544/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=111468 CPUtime=1062.3 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 28402 0 0 0 104574 1656 0 0 25 0 1 0 890623179 114143232 26999 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 27867 26999 715 1178 0 26685 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 111468
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/173 32765
/proc/meminfo: memFree=28848916/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=112104 CPUtime=1122.3 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 28574 0 0 0 110500 1730 0 0 25 0 1 0 890623179 114794496 27171 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 28026 27171 715 1178 0 26844 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 112104
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/173 32767
/proc/meminfo: memFree=28847788/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=113220 CPUtime=1182.31 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 28860 0 0 0 116410 1821 0 0 25 0 1 0 890623179 115937280 27457 33554432000 4194304 9016284 140736194338688 18446744073709551615 6422910 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 28305 27457 715 1178 0 27123 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 113220
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 32767
/proc/meminfo: memFree=28846288/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=114524 CPUtime=1242.31 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29195 0 0 0 122327 1904 0 0 25 0 1 0 890623179 117272576 27792 33554432000 4194304 9016284 140736194338688 18446744073709551615 7198985 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 28631 27792 715 1178 0 27449 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 114524
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 301
/proc/meminfo: memFree=28846276/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=114684 CPUtime=1302.3 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29220 0 0 0 128235 1995 0 0 25 0 1 0 890623179 117436416 27817 33554432000 4194304 9016284 140736194338688 18446744073709551615 4291256 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 28671 27817 715 1178 0 27489 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 114684
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 303
/proc/meminfo: memFree=28845892/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=115108 CPUtime=1362.3 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29323 0 0 0 134151 2079 0 0 25 0 1 0 890623179 117870592 27920 33554432000 4194304 9016284 140736194338688 18446744073709551615 7213597 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 28777 27920 715 1178 0 27595 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 115108
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 305
/proc/meminfo: memFree=28845756/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=115108 CPUtime=1422.31 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29323 0 0 0 140063 2168 0 0 25 0 1 0 890623179 117870592 27920 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 28777 27920 715 1178 0 27595 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 115108
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 307
/proc/meminfo: memFree=28845240/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=115808 CPUtime=1482.3 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29499 0 0 0 145975 2255 0 0 25 0 1 0 890623179 118587392 28096 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 28952 28096 715 1178 0 27770 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 115808
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 307
/proc/meminfo: memFree=28845112/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=115808 CPUtime=1542.31 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29505 0 0 0 151890 2341 0 0 25 0 1 0 890623179 118587392 28102 33554432000 4194304 9016284 140736194338688 18446744073709551615 4842276 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 28952 28102 715 1178 0 27770 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 115808
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 309
/proc/meminfo: memFree=28844608/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=116400 CPUtime=1602.31 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29627 0 0 0 157796 2435 0 0 25 0 1 0 890623179 119193600 28224 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29100 28224 715 1178 0 27918 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 116400
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 320
/proc/meminfo: memFree=28844352/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=116400 CPUtime=1662.31 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29673 0 0 0 163707 2524 0 0 25 0 1 0 890623179 119193600 28270 33554432000 4194304 9016284 140736194338688 18446744073709551615 6422838 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29100 28270 715 1178 0 27918 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 116400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 322
/proc/meminfo: memFree=28844468/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=116756 CPUtime=1722.31 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29676 0 0 0 169611 2620 0 0 25 0 1 0 890623179 119558144 28273 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29189 28273 715 1178 0 28007 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 116756
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 324
/proc/meminfo: memFree=28844080/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=116888 CPUtime=1782.31 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29768 0 0 0 175521 2710 0 0 25 0 1 0 890623179 119693312 28365 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29222 28365 715 1178 0 28040 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 116888
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 324
/proc/meminfo: memFree=28844196/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=116888 CPUtime=1785.61 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29768 0 0 0 175847 2714 0 0 25 0 1 0 890623179 119693312 28365 33554432000 4194304 9016284 140736194338688 18446744073709551615 7081839 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29222 28365 715 1178 0 28040 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (KiB) 116888
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 324
/proc/meminfo: memFree=28843948/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=117420 CPUtime=1792.01 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29822 0 0 0 176478 2723 0 0 25 0 1 0 890623179 120238080 28419 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29355 28419 715 1178 0 28173 0
Current children cumulated CPU time (s) 1792.01
Current children cumulated vsize (KiB) 117420
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 324
/proc/meminfo: memFree=28843948/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=117420 CPUtime=1795.22 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29822 0 0 0 176794 2728 0 0 25 0 1 0 890623179 120238080 28419 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29355 28419 715 1178 0 28173 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 117420
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 324
/proc/meminfo: memFree=28843948/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=117420 CPUtime=1796.01 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29822 0 0 0 176872 2729 0 0 25 0 1 0 890623179 120238080 28419 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29355 28419 715 1178 0 28173 0
Current children cumulated CPU time (s) 1796.01
Current children cumulated vsize (KiB) 117420
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 324
/proc/meminfo: memFree=28843948/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=117420 CPUtime=1796.81 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29822 0 0 0 176951 2730 0 0 25 0 1 0 890623179 120238080 28419 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29355 28419 715 1178 0 28173 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 117420
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 324
/proc/meminfo: memFree=28843948/32951132 swapFree=67061148/67111528
[pid=32655] ppid=32653 vsize=117420 CPUtime=1797.01 cores=1,3,5,7
/proc/32655/stat : 32655 (scip-2.0.1.4b_2) R 32653 32655 31747 0 -1 4202496 29822 0 0 0 176970 2731 0 0 25 0 1 0 890623179 120238080 28419 33554432000 4194304 9016284 140736194338688 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32655/statm: 29355 28419 715 1178 0 28173 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 117420
Child status: 0
Real time (s): 1797.06
CPU time (s): 1797.08
CPU user time (s): 1769.76
CPU system time (s): 27.3178
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 117420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.76
system time used= 27.3178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29828
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= 4730
runsolver used 2.46062 second user time and 5.71113 second system time
The end