0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451102-1307092006.opb>
0.02/0.08 c original problem has 1812 variables (1812 bin, 0 int, 0 impl, 0 cont) and 3443 constraints
0.02/0.08 c problem read
0.02/0.08 c presolving settings loaded
0.09/0.11 c presolving:
0.09/0.13 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1650 del conss, 0 add conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 77 upgd conss, 0 impls, 0 clqs
0.09/0.15 c (round 3) 0 del vars, 1650 del conss, 0 add conss, 0 chg bounds, 132 chg sides, 132 chg coeffs, 143 upgd conss, 704 impls, 0 clqs
0.39/0.47 c (0.5s) probing: 111/1812 (6.1%) - 0 fixings, 0 aggregations, 1430 implications, 0 bound changes
0.39/0.47 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (4 rounds):
0.39/0.47 c 0 deleted vars, 1650 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 132 changed sides, 132 changed coefficients
0.39/0.47 c 3564 implications, 0 cliques
0.39/0.47 c presolved problem has 1812 variables (1812 bin, 0 int, 0 impl, 0 cont) and 1793 constraints
0.39/0.47 c 143 constraints of type <knapsack>
0.39/0.47 c 1650 constraints of type <linear>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.36
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 2.0.1.5
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1800
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 13950
0.39/0.47 c
0.39/0.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.47 c # [type: int, range: [1,2], default: 1]
0.39/0.47 c timing/clocktype = 2
0.39/0.47 c
0.39/0.47 c # belongs reading time to solving time?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c timing/reading = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/indicator/addCouplingCons = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/rapidlearning/freq = 0
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.49/0.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.56 c 0.6s| 1 | 0 | 1809 | - | 15M| 0 |1064 |1812 |1808 |1812 |1793 | 0 | 15 | 0 | 1.100000e+01 | -- | Inf
2.78/3.32 c 3.3s| 1 | 0 | 8693 | - | 16M| 0 |1086 |1812 |2184 |1812 |1852 | 59 | 15 | 0 | 1.100000e+01 | -- | Inf
2.97/3.53 c 3.5s| 1 | 0 | 8893 | - | 17M| 0 |1084 |1812 |2184 |1812 |1909 | 116 | 15 | 0 | 1.100000e+01 | -- | Inf
3.17/3.74 c 3.7s| 1 | 0 | 9075 | - | 18M| 0 |1081 |1812 |2184 |1812 |1968 | 175 | 15 | 0 | 1.100000e+01 | -- | Inf
3.36/3.96 c 4.0s| 1 | 0 | 9313 | - | 18M| 0 |1079 |1812 |2184 |1812 |2034 | 241 | 15 | 0 | 1.100000e+01 | -- | Inf
3.66/4.23 c 4.2s| 1 | 0 | 9657 | - | 19M| 0 |1110 |1812 |2184 |1812 |2095 | 302 | 15 | 0 | 1.100198e+01 | -- | Inf
3.97/4.53 c 4.5s| 1 | 0 | 10046 | - | 19M| 0 |1099 |1812 |2184 |1812 |2146 | 353 | 15 | 0 | 1.100889e+01 | -- | Inf
4.27/4.81 c 4.8s| 1 | 0 | 10267 | - | 20M| 0 |1096 |1812 |2184 |1812 |2198 | 405 | 15 | 0 | 1.100889e+01 | -- | Inf
4.47/5.07 c 5.1s| 1 | 0 | 10660 | - | 20M| 0 |1101 |1812 |2184 |1812 |2254 | 461 | 15 | 0 | 1.100889e+01 | -- | Inf
4.77/5.38 c 5.4s| 1 | 0 | 10980 | - | 21M| 0 |1103 |1812 |2184 |1812 |2303 | 510 | 15 | 0 | 1.100889e+01 | -- | Inf
5.07/5.66 c 5.7s| 1 | 0 | 11437 | - | 21M| 0 |1102 |1812 |2184 |1812 |2373 | 580 | 15 | 0 | 1.100889e+01 | -- | Inf
5.37/5.99 c 6.0s| 1 | 0 | 12783 | - | 21M| 0 |1112 |1812 |2184 |1812 |2389 | 633 | 15 | 0 | 1.100889e+01 | -- | Inf
10.27/10.82 c 10.8s| 1 | 2 | 12783 | - | 21M| 0 |1112 |1812 |2184 |1812 |2389 | 633 | 15 | 46 | 1.100889e+01 | -- | Inf
336.48/337.03 c 337s| 10000 | 3820 | 2236k| 222.3 | 40M| 45 | - |1812 |3833 | 0 | 0 | 633 | 15k|5750 | 1.700000e+01 | -- | Inf
537.88/538.42 c 538s| 20000 | 5832 | 3869k| 192.8 | 57M| 52 | 613 |1812 |5258 |1812 |2032 | 633 | 32k| 10k| 1.800000e+01 | -- | Inf
732.19/732.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.19/732.78 c 733s| 30000 | 7398 | 5424k| 180.4 | 71M| 53 | - |1812 |5004 |1812 |2032 | 633 | 51k| 14k| 1.900000e+01 | -- | Inf
884.78/885.31 c 885s| 40000 | 8250 | 6798k| 169.6 | 80M| 59 | - |1812 |4649 |1812 |2032 | 633 | 70k| 16k| 2.000000e+01 | -- | Inf
1065.69/1066.23 c 1066s| 50000 | 9191 | 8273k| 165.2 | 91M| 64 | 473 |1812 |5760 |1812 |2032 | 633 | 91k| 20k| 2.100000e+01 | -- | Inf
1228.29/1228.87 c 1229s| 60000 | 9927 | 9586k| 159.6 | 100M| 64 | - |1812 |6108 | 0 | 0 | 633 | 110k| 23k| 2.200000e+01 | -- | Inf
1353.51/1354.06 c 1354s| 70000 | 10708 | 10846k| 154.8 | 109M| 64 | 394 |1812 |6063 |1812 |2032 | 633 | 128k| 24k| 2.300000e+01 | -- | Inf
1515.70/1516.26 c 1516s| 80000 | 11237 | 12164k| 151.9 | 115M| 65 | 613 |1812 |5828 |1812 |2032 | 633 | 147k| 28k| 2.300000e+01 | -- | Inf
1668.12/1668.65 c 1669s| 90000 | 11658 | 13346k| 148.2 | 121M| 98 | - |1812 |6243 |1812 |2032 | 633 | 165k| 32k| 2.400000e+01 | -- | Inf
1764.92/1765.50 c 1766s|100000 | 11934 | 14390k| 143.8 | 126M| 98 | 436 |1812 |6577 |1812 |2032 | 633 | 182k| 32k| 2.400000e+01 | -- | Inf
1799.50/1800.00 c
1799.50/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.50/1800.00 c Solving Time (sec) : 1800.00
1799.50/1800.00 c Solving Nodes : 102626
1799.50/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.50/1800.00 c Dual Bound : +2.40000000000000e+01
1799.50/1800.00 c Gap : infinite
1799.50/1800.00 s UNKNOWN
1799.50/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.50/1800.00 c Total Time : 1800.00
1799.50/1800.00 c solving : 1800.00
1799.50/1800.00 c presolving : 0.36 (included in solving)
1799.50/1800.00 c reading : 0.08 (included in solving)
1799.50/1800.00 c Original Problem :
1799.50/1800.00 c Problem name : HOME/instance-3451102-1307092006.opb
1799.50/1800.00 c Variables : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.50/1800.00 c Constraints : 3443 initial, 3443 maximal
1799.50/1800.00 c Presolved Problem :
1799.50/1800.00 c Problem name : t_HOME/instance-3451102-1307092006.opb
1799.50/1800.00 c Variables : 1812 (1812 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.50/1800.00 c Constraints : 1793 initial, 7087 maximal
1799.50/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.50/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c probing : 0.31 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c linear : 0.04 0 0 0 0 0 1650 0 132 132
1799.50/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c root node : - 0 - - 0 - - - - -
1799.50/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.50/1800.00 c integral : 0 0 0 72107 0 4 0 141 24325 0 0 133736
1799.50/1800.00 c knapsack : 143 11 510965 0 0 3 1521179 6076 423417 1374 0 0
1799.50/1800.00 c linear : 1650+ 12 504890 0 0 0 467237 29340 10782217 2 0 0
1799.50/1800.00 c logicor : 0+ 11 280270 0 0 0 564174 2311 376997 0 0 0
1799.50/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.50/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.50/1800.00 c integral : 442.54 0.00 0.00 442.54 0.00 0.00 0.00
1799.50/1800.00 c knapsack : 15.12 0.02 14.29 0.00 0.00 0.00 0.81
1799.50/1800.00 c linear : 106.28 0.00 105.45 0.00 0.00 0.00 0.82
1799.50/1800.00 c logicor : 15.29 0.00 14.69 0.00 0.00 0.00 0.60
1799.50/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.50/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.50/1800.00 c vbounds : 0 0 0 0
1799.50/1800.00 c rootredcost : 0 0 0 0
1799.50/1800.00 c pseudoobj : 510764 0 0 0
1799.50/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.50/1800.00 c vbounds : 0.10 0.10 0.00
1799.50/1800.00 c rootredcost : 0.13 0.13 0.00
1799.50/1800.00 c pseudoobj : 0.33 0.33 0.00
1799.50/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.50/1800.00 c propagation : 3.61 37727 37702 371440 39.0 2213 22.2 -
1799.50/1800.00 c infeasible LP : 5.23 27103 27103 119604 25.7 1998 19.9 0
1799.50/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.50/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.50/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.50/1800.00 c applied globally : - - - 186745 27.1 - - -
1799.50/1800.00 c applied locally : - - - 0 0.0 - - -
1799.50/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.50/1800.00 c cut pool : 0.01 10 - - 7862 - (maximal pool size: 6269)
1799.50/1800.00 c redcost : 2.11 72037 0 6 0 0
1799.50/1800.00 c impliedbounds : 0.00 11 0 0 33 0
1799.50/1800.00 c intobj : 0.00 0 0 0 0 0
1799.50/1800.00 c gomory : 0.14 11 0 0 72 0
1799.50/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.50/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.50/1800.00 c strongcg : 0.13 11 0 0 59 0
1799.50/1800.00 c cmir : 1.02 10 0 0 5000 0
1799.50/1800.00 c flowcover : 0.61 10 0 0 2000 0
1799.50/1800.00 c clique : 0.00 1 0 0 0 0
1799.50/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.50/1800.00 c mcf : 0.00 1 0 0 0 0
1799.50/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.50/1800.00 c rapidlearning : 1.15 1 0 0 0 376
1799.50/1800.00 c Pricers : Time Calls Vars
1799.50/1800.00 c problem variables: 0.00 0 0
1799.50/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.50/1800.00 c relpscost : 442.45 72107 141 24325 0 0 133736
1799.50/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.50/1800.00 c inference : 0.00 0 0 0 0 0 0
1799.50/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.50/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.50/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.50/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.50/1800.00 c random : 0.00 0 0 0 0 0 0
1799.50/1800.00 c Primal Heuristics : Time Calls Found
1799.50/1800.00 c LP solutions : 0.00 - 0
1799.50/1800.00 c pseudo solutions : 0.00 - 0
1799.50/1800.00 c oneopt : 0.05 0 0
1799.50/1800.00 c crossover : 0.03 0 0
1799.50/1800.00 c guideddiving : 0.00 0 0
1799.50/1800.00 c intshifting : 0.00 0 0
1799.50/1800.00 c objpscostdiving : 20.26 81 0
1799.50/1800.00 c coefdiving : 75.36 179 0
1799.50/1800.00 c rootsoldiving : 10.83 90 0
1799.50/1800.00 c feaspump : 27.69 90 0
1799.50/1800.00 c fracdiving : 60.33 219 0
1799.50/1800.00 c pscostdiving : 39.94 334 0
1799.50/1800.00 c linesearchdiving : 26.43 334 0
1799.50/1800.00 c veclendiving : 27.43 334 0
1799.50/1800.00 c trivial : 0.00 2 0
1799.50/1800.00 c shiftandpropagate: 0.05 1 0
1799.50/1800.00 c simplerounding : 0.03 0 0
1799.50/1800.00 c zirounding : 0.32 1000 0
1799.50/1800.00 c rounding : 1.39 3724 0
1799.50/1800.00 c shifting : 7.40 1140 0
1799.50/1800.00 c twoopt : 0.00 0 0
1799.50/1800.00 c fixandinfer : 0.00 0 0
1799.50/1800.00 c clique : 0.00 0 0
1799.50/1800.00 c intdiving : 0.00 0 0
1799.50/1800.00 c actconsdiving : 0.00 0 0
1799.50/1800.00 c octane : 0.00 0 0
1799.50/1800.00 c rens : 0.02 0 0
1799.50/1800.00 c rins : 0.00 0 0
1799.50/1800.00 c localbranching : 0.00 0 0
1799.50/1800.00 c mutation : 0.00 0 0
1799.50/1800.00 c dins : 0.00 0 0
1799.50/1800.00 c vbounds : 0.00 0 0
1799.50/1800.00 c undercover : 0.00 0 0
1799.50/1800.00 c subnlp : 0.02 0 0
1799.50/1800.00 c trysol : 0.03 0 0
1799.50/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.50/1800.00 c primal LP : 0.01 0 0 0.00 0.00
1799.50/1800.00 c dual LP : 812.86 84481 12124857 143.52 14916.26
1799.50/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1799.50/1800.00 c barrier LP : 0.00 0 0 0.00 -
1799.50/1800.00 c diving/probing LP: 251.22 44250 2579687 58.30 10268.59
1799.50/1800.00 c strong branching : 431.12 32787 3943930 120.29 9148.12
1799.50/1800.00 c (at root node) : - 46 26393 573.76 -
1799.50/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1799.50/1800.00 c B&B Tree :
1799.50/1800.00 c number of runs : 1
1799.50/1800.00 c nodes : 102626
1799.50/1800.00 c nodes (total) : 102626
1799.50/1800.00 c nodes left : 12002
1799.50/1800.00 c max depth : 98
1799.50/1800.00 c max depth (total): 98
1799.50/1800.00 c backtracks : 21317 (20.8%)
1799.50/1800.00 c delayed cutoffs : 19109
1799.50/1800.00 c repropagations : 133494 (3660589 domain reductions, 11234 cutoffs)
1799.50/1800.00 c avg switch length: 7.77
1799.50/1800.00 c switching time : 74.11
1799.50/1800.00 c Solution :
1799.50/1800.00 c Solutions found : 0 (0 improvements)
1799.50/1800.00 c Primal Bound : -
1799.50/1800.00 c Dual Bound : +2.40000000000000e+01
1799.50/1800.00 c Gap : infinite
1799.50/1800.00 c Root Dual Bound : +1.10088888888889e+01
1799.50/1800.00 c Root Iterations : 12783
1799.61/1800.12 c Time complete: 1799.63.
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-3451102-1307092006/watcher-3451102-1307092006 -o /tmp/evaluation-result-3451102-1307092006/solver-3451102-1307092006 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451102-1307092006.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: 0.92 1.27 1.65 4/433 27062
/proc/meminfo: memFree=12513972/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=13316 CPUtime=0 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 2309 0 0 0 0 0 0 0 25 0 1 0 820800267 13635584 2262 33554432000 4194304 9163163 140733473195024 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27062/statm: 3329 2262 395 1214 0 2111 0
[startup+0.0291379 s]
/proc/loadavg: 0.92 1.27 1.65 4/433 27062
/proc/meminfo: memFree=12513972/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=14368 CPUtime=0.02 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 2573 0 0 0 2 0 0 0 25 0 1 0 820800267 14712832 2526 33554432000 4194304 9163163 140733473195024 18446744073709551615 8044862 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27062/statm: 3592 2526 395 1214 0 2374 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14368
[startup+0.101151 s]
/proc/loadavg: 0.92 1.27 1.65 4/433 27062
/proc/meminfo: memFree=12513972/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=32808 CPUtime=0.09 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 7105 0 0 0 8 1 0 0 25 0 1 0 820800267 33595392 7058 33554432000 4194304 9163163 140733473195024 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27062/statm: 8260 7098 439 1214 0 7042 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32808
[startup+0.301125 s]
/proc/loadavg: 0.92 1.27 1.65 4/433 27062
/proc/meminfo: memFree=12513972/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=50204 CPUtime=0.29 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 11419 0 0 0 28 1 0 0 25 0 1 0 820800267 51408896 11114 33554432000 4194304 9163163 140733473195024 18446744073709551615 5178999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27062/statm: 12551 11114 540 1214 0 11333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50204
[startup+0.701054 s]
/proc/loadavg: 0.92 1.27 1.65 4/433 27062
/proc/meminfo: memFree=12513972/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=62136 CPUtime=0.69 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 15352 0 0 0 67 2 0 0 25 0 1 0 820800267 63627264 14187 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27062/statm: 15534 14187 801 1214 0 14316 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62136
[startup+1.50092 s]
/proc/loadavg: 0.92 1.27 1.65 5/435 27064
/proc/meminfo: memFree=12415748/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=62136 CPUtime=1.22 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 15373 0 0 0 118 4 0 0 25 0 1 0 820800267 63627264 14187 33554432000 4194304 9163163 140733473195024 18446744073709551615 7375866 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27062/statm: 15534 14187 780 1214 0 14316 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 62136
[startup+3.10064 s]
/proc/loadavg: 0.92 1.27 1.65 6/435 27064
/proc/meminfo: memFree=12414632/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=91592 CPUtime=2.57 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 22559 0 0 0 251 6 0 0 25 0 1 0 820800267 93790208 21318 33554432000 4194304 9163163 140733473195024 18446744073709551615 5143151 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 22898 21318 763 1214 0 21680 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 91592
[startup+6.30109 s]
/proc/loadavg: 1.09 1.30 1.66 5/435 27064
/proc/meminfo: memFree=12384232/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=93236 CPUtime=5.77 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 23444 0 0 0 570 7 0 0 25 0 1 0 820800267 95473664 22146 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 23309 22146 722 1214 0 22091 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 93236
[startup+12.701 s]
/proc/loadavg: 1.32 1.34 1.67 5/435 27064
/proc/meminfo: memFree=12382652/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=93236 CPUtime=12.17 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 23444 0 0 0 1205 12 0 0 25 0 1 0 820800267 95473664 22146 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 23309 22146 722 1214 0 22091 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 93236
[startup+25.5007 s]
/proc/loadavg: 1.47 1.37 1.68 4/435 27064
/proc/meminfo: memFree=12384172/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=93236 CPUtime=24.97 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 23444 0 0 0 2474 23 0 0 25 0 1 0 820800267 95473664 22146 33554432000 4194304 9163163 140733473195024 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 23309 22146 722 1214 0 22091 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 93236
[startup+51.1003 s]
/proc/loadavg: 1.65 1.42 1.68 5/435 27065
/proc/meminfo: memFree=12384228/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=93236 CPUtime=50.57 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 23447 0 0 0 5013 44 0 0 25 0 1 0 820800267 95473664 22149 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 23309 22149 725 1214 0 22091 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 93236
[startup+102.316 s]
/proc/loadavg: 1.85 1.51 1.70 5/435 27066
/proc/meminfo: memFree=12377276/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=93236 CPUtime=101.78 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 23454 0 0 0 10080 98 0 0 25 0 1 0 820800267 95473664 22156 33554432000 4194304 9163163 140733473195024 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 23309 22156 725 1214 0 22091 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 93236
[startup+162.301 s]
/proc/loadavg: 1.94 1.60 1.72 5/435 27068
/proc/meminfo: memFree=12360776/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=93236 CPUtime=161.77 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 23468 0 0 0 16015 162 0 0 25 0 1 0 820800267 95473664 22170 33554432000 4194304 9163163 140733473195024 18446744073709551615 5843567 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 23309 22170 728 1214 0 22091 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 93236
[startup+222.301 s]
/proc/loadavg: 1.98 1.67 1.73 5/435 27069
/proc/meminfo: memFree=12337576/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=98276 CPUtime=221.78 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 41711 0 0 0 21948 230 0 0 25 0 1 0 820800267 100634624 23426 33554432000 4194304 9163163 140733473195024 18446744073709551615 7348399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 24569 23426 725 1214 0 23351 0
Current children cumulated CPU time (s) 221.78
Current children cumulated vsize (KiB) 98276
[startup+282.3 s]
/proc/loadavg: 2.05 1.74 1.75 5/435 27071
/proc/meminfo: memFree=12317356/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=104224 CPUtime=281.77 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 71054 0 0 0 27883 294 0 0 25 0 1 0 820800267 106725376 24790 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 26056 24790 725 1214 0 24838 0
Current children cumulated CPU time (s) 281.77
Current children cumulated vsize (KiB) 104224
[startup+342.301 s]
/proc/loadavg: 2.07 1.80 1.77 4/435 27073
/proc/meminfo: memFree=12298376/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=107944 CPUtime=341.78 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 80239 0 0 0 33824 354 0 0 25 0 1 0 820800267 110534656 25750 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 26986 25750 725 1214 0 25768 0
Current children cumulated CPU time (s) 341.78
Current children cumulated vsize (KiB) 107944
[startup+402.3 s]
/proc/loadavg: 2.07 1.85 1.78 5/435 27074
/proc/meminfo: memFree=12278404/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=116820 CPUtime=401.77 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 87408 0 0 0 39759 418 0 0 25 0 1 0 820800267 119623680 28071 33554432000 4194304 9163163 140733473195024 18446744073709551615 7379383 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 29205 28071 725 1214 0 27987 0
Current children cumulated CPU time (s) 401.77
Current children cumulated vsize (KiB) 116820
[startup+462.301 s]
/proc/loadavg: 2.02 1.87 1.79 5/435 27076
/proc/meminfo: memFree=12258060/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=126444 CPUtime=461.77 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 92360 0 0 0 45693 484 0 0 25 0 1 0 820800267 129478656 30311 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 31611 30311 725 1214 0 30393 0
Current children cumulated CPU time (s) 461.77
Current children cumulated vsize (KiB) 126444
[startup+522.301 s]
/proc/loadavg: 2.01 1.89 1.81 4/435 27077
/proc/meminfo: memFree=12234732/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=134468 CPUtime=521.77 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 100366 0 0 0 51624 553 0 0 25 0 1 0 820800267 137695232 32356 33554432000 4194304 9163163 140733473195024 18446744073709551615 7238293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 33617 32356 725 1214 0 32399 0
Current children cumulated CPU time (s) 521.77
Current children cumulated vsize (KiB) 134468
[startup+582.3 s]
/proc/loadavg: 2.00 1.91 1.82 5/435 27079
/proc/meminfo: memFree=12212760/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=142228 CPUtime=581.78 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 105271 0 0 0 57554 624 0 0 25 0 1 0 820800267 145641472 34380 33554432000 4194304 9163163 140733473195024 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 35557 34380 725 1214 0 34339 0
Current children cumulated CPU time (s) 581.78
Current children cumulated vsize (KiB) 142228
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=12063464/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=196612 CPUtime=1061.79 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 154391 0 0 0 105028 1151 0 0 25 0 1 0 820800267 201330688 48051 33554432000 4194304 9163163 140733473195024 18446744073709551615 6516178 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 49153 48051 725 1214 0 47935 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 196612
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.90 5/435 27093
/proc/meminfo: memFree=12046088/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=202640 CPUtime=1121.79 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 160536 0 0 0 110960 1219 0 0 25 0 1 0 820800267 207503360 49556 33554432000 4194304 9163163 140733473195024 18446744073709551615 6480285 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 50660 49556 725 1214 0 49442 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 202640
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.90 5/435 27095
/proc/meminfo: memFree=12026608/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=208456 CPUtime=1181.8 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 161922 0 0 0 116891 1289 0 0 25 0 1 0 820800267 213458944 50942 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 52114 50942 725 1214 0 50896 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 208456
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/435 27097
/proc/meminfo: memFree=12010104/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=214088 CPUtime=1241.79 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 165373 0 0 0 122826 1353 0 0 25 0 1 0 820800267 219226112 52354 33554432000 4194304 9163163 140733473195024 18446744073709551615 5148488 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 53522 52354 727 1214 0 52304 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 214088
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/435 27098
/proc/meminfo: memFree=11984800/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=221884 CPUtime=1301.81 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 169004 0 0 0 128758 1423 0 0 25 0 1 0 820800267 227209216 54248 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 55471 54248 777 1214 0 54253 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 221884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 5/435 27100
/proc/meminfo: memFree=11972144/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=223692 CPUtime=1361.8 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 174332 0 0 0 134685 1495 0 0 25 0 1 0 820800267 229060608 54725 33554432000 4194304 9163163 140733473195024 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 55923 54725 725 1214 0 54705 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 223692
[startup+1422.32 s]
/proc/loadavg: 2.08 2.03 1.92 4/435 27101
/proc/meminfo: memFree=11963324/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=229788 CPUtime=1421.81 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 175720 0 0 0 140621 1560 0 0 25 0 1 0 820800267 235302912 56090 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 57447 56090 725 1214 0 56229 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 229788
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 1.93 5/435 27103
/proc/meminfo: memFree=11953276/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=230352 CPUtime=1481.8 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 177814 0 0 0 146557 1623 0 0 25 0 1 0 820800267 235880448 56509 33554432000 4194304 9163163 140733473195024 18446744073709551615 5177387 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 57588 56509 726 1214 0 56370 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 230352
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 1.93 5/435 27105
/proc/meminfo: memFree=11939252/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=238868 CPUtime=1541.81 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 181653 0 0 0 152494 1687 0 0 25 0 1 0 820800267 244600832 58507 33554432000 4194304 9163163 140733473195024 18446744073709551615 4542848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 59717 58507 725 1214 0 58499 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 238868
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.93 5/435 27106
/proc/meminfo: memFree=11929680/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=240440 CPUtime=1601.8 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 184090 0 0 0 158426 1754 0 0 25 0 1 0 820800267 246210560 59030 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 60110 59030 725 1214 0 58892 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 240440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.93 5/435 27108
/proc/meminfo: memFree=11920616/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=244672 CPUtime=1661.81 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 187014 0 0 0 164361 1820 0 0 25 0 1 0 820800267 250544128 60047 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 61168 60047 725 1214 0 59950 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 244672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.93 5/435 27109
/proc/meminfo: memFree=11910436/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=247960 CPUtime=1721.81 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 188702 0 0 0 170300 1881 0 0 25 0 1 0 820800267 253911040 60896 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 61990 60896 725 1214 0 60772 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 247960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/435 27111
/proc/meminfo: memFree=11896292/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=254504 CPUtime=1781.81 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 192152 0 0 0 176231 1950 0 0 25 0 1 0 820800267 260612096 62520 33554432000 4194304 9163163 140733473195024 18446744073709551615 6687952 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 63626 62520 725 1214 0 62408 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 254504
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 1.93 5/435 27111
/proc/meminfo: memFree=11895672/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=255732 CPUtime=1791.42 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 193421 0 0 0 177182 1960 0 0 25 0 1 0 820800267 261869568 62843 33554432000 4194304 9163163 140733473195024 18446744073709551615 5179028 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 63933 62843 725 1214 0 62715 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 255732
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.93 4/435 27111
/proc/meminfo: memFree=11895176/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=255732 CPUtime=1794.62 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 193421 0 0 0 177499 1963 0 0 25 0 1 0 820800267 261869568 62843 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 63933 62843 725 1214 0 62715 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 255732
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 1.93 5/435 27111
/proc/meminfo: memFree=11894432/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=256424 CPUtime=1797.8 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 193591 0 0 0 177815 1965 0 0 25 0 1 0 820800267 262578176 63013 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 64106 63013 726 1214 0 62888 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 256424
[startup+1799.1 s]
/proc/loadavg: 2.00 2.01 1.93 4/435 27111
/proc/meminfo: memFree=11894432/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=256424 CPUtime=1798.61 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 193592 0 0 0 177894 1967 0 0 25 0 1 0 820800267 262578176 63013 33554432000 4194304 9163163 140733473195024 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 64106 63013 725 1214 0 62888 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 256424
[startup+1799.9 s]
/proc/loadavg: 2.00 2.01 1.93 5/435 27111
/proc/meminfo: memFree=11894432/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=256424 CPUtime=1799.4 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 193592 0 0 0 177973 1967 0 0 25 0 1 0 820800267 262578176 63013 33554432000 4194304 9163163 140733473195024 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27062/statm: 64106 63013 725 1214 0 62888 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 256424
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 1.93 5/435 27111
/proc/meminfo: memFree=11894432/32951132 swapFree=67093840/67111528
[pid=27062] ppid=27060 vsize=256292 CPUtime=1799.61 cores=0,2,4,6
/proc/27062/stat : 27062 (scip-2.0.1.4b.l) R 27060 27062 27022 0 -1 4202496 193595 0 0 0 177993 1968 0 0 18 0 1 0 820800267 262443008 62983 33554432000 4194304 9163163 140733473195024 18446744073709551615 8095719 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27062/statm: 64073 62983 728 1214 0 62855 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 256292
Child status: 0
Real time (s): 1800.12
CPU time (s): 1799.64
CPU user time (s): 1779.94
CPU system time (s): 19.694
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 256424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.94
system time used= 19.694
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193597
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= 5
involuntary context switches= 3019
runsolver used 8.21975 second user time and 16.9834 second system time
The end