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-3450972-1307097518.opb>
0.00/0.08 c original problem has 1807 variables (1807 bin, 0 int, 0 impl, 0 cont) and 3444 constraints
0.00/0.08 c problem read
0.00/0.08 c presolving settings loaded
0.09/0.10 c presolving:
0.09/0.12 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 66 chg sides, 339 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.14 c (round 2) 1 del vars, 1478 del conss, 0 add conss, 1 chg bounds, 66 chg sides, 339 chg coeffs, 250 upgd conss, 0 impls, 0 clqs
0.09/0.16 c (round 3) 1 del vars, 1478 del conss, 6 add conss, 1 chg bounds, 127 chg sides, 770 chg coeffs, 489 upgd conss, 418 impls, 3 clqs
0.09/0.17 c (round 4) 1 del vars, 1478 del conss, 6 add conss, 1 chg bounds, 135 chg sides, 916 chg coeffs, 489 upgd conss, 418 impls, 3 clqs
0.49/0.59 c (0.6s) probing: 204/1806 (11.3%) - 0 fixings, 0 aggregations, 443 implications, 0 bound changes
0.49/0.59 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.59 c presolving (5 rounds):
0.49/0.59 c 1 deleted vars, 1478 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 135 changed sides, 916 changed coefficients
0.49/0.59 c 1304 implications, 3 cliques
0.49/0.59 c presolved problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 1972 constraints
0.49/0.59 c 489 constraints of type <knapsack>
0.49/0.59 c 6 constraints of type <setppc>
0.49/0.59 c 1477 constraints of type <linear>
0.49/0.59 c transformed objective value is always integral (scale: 1)
0.49/0.59 c Presolving Time: 0.49
0.49/0.59 c - non default parameters ----------------------------------------------------------------------
0.49/0.59 c # SCIP version 2.0.1.5
0.49/0.59 c
0.49/0.59 c # frequency for displaying node information lines
0.49/0.59 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.59 c display/freq = 10000
0.49/0.59 c
0.49/0.59 c # maximal time in seconds to run
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/time = 1800
0.49/0.59 c
0.49/0.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59 c limits/memory = 13950
0.49/0.59 c
0.49/0.59 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.59 c # [type: int, range: [1,2], default: 1]
0.49/0.59 c timing/clocktype = 2
0.49/0.59 c
0.49/0.59 c # belongs reading time to solving time?
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c timing/reading = TRUE
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify inequalities
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/linear/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/indicator/addCouplingCons = TRUE
0.49/0.59 c
0.49/0.59 c # should presolving try to simplify knapsacks
0.49/0.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.59 c
0.49/0.59 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.59 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59 c separating/rapidlearning/freq = 0
0.49/0.59 c
0.49/0.59 c -----------------------------------------------------------------------------------------------
0.49/0.59 c start solving
0.49/0.59 c
0.59/0.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.66 c 0.7s| 1 | 0 | 857 | - | 15M| 0 | 506 |1806 |1990 |1806 |1972 | 0 | 18 | 0 | 6.600000e+01 | -- | Inf
1.99/2.02 c 2.0s| 1 | 0 | 7754 | - | 17M| 0 | 860 |1806 |2553 |1806 |2086 | 114 | 18 | 0 | 6.600000e+01 | -- | Inf
2.29/2.32 c 2.3s| 1 | 0 | 8463 | - | 18M| 0 | 897 |1806 |2553 |1806 |2161 | 189 | 18 | 0 | 6.600000e+01 | -- | Inf
2.69/2.70 c 2.7s| 1 | 0 | 9940 | - | 18M| 0 | 984 |1806 |2553 |1806 |2226 | 254 | 18 | 0 | 6.600000e+01 | -- | Inf
3.09/3.15 c 3.1s| 1 | 0 | 10586 | - | 19M| 0 |1096 |1806 |2553 |1806 |2300 | 328 | 18 | 0 | 6.600000e+01 | -- | Inf
3.49/3.57 c 3.6s| 1 | 0 | 11397 | - | 19M| 0 | 950 |1806 |2553 |1806 |2372 | 400 | 18 | 0 | 6.600000e+01 | -- | Inf
3.99/4.04 c 4.0s| 1 | 0 | 11867 | - | 20M| 0 | 904 |1806 |2553 |1806 |2441 | 469 | 18 | 0 | 6.600000e+01 | -- | Inf
5.40/5.43 c 5.4s| 1 | 2 | 11867 | - | 20M| 0 | 904 |1806 |2553 |1806 |2441 | 469 | 18 | 16 | 6.600000e+01 | -- | Inf
289.31/289.38 c 289s| 10000 | 4787 | 2363k| 235.2 | 54M| 75 | - |1806 |4357 | 0 | 0 | 469 | 14k|6303 | 6.600000e+01 | -- | Inf
487.50/487.53 c 488s| 20000 | 8214 | 4277k| 213.3 | 84M| 75 | - |1806 |4296 | 0 | 0 | 469 | 29k|9777 | 6.600000e+01 | -- | Inf
651.11/651.17 c 651s| 30000 | 10794 | 5951k| 198.0 | 108M| 75 | - |1806 |5030 | 0 | 0 | 469 | 47k| 12k| 6.600000e+01 | -- | Inf
804.90/804.92 c 805s| 40000 | 13088 | 7417k| 185.1 | 130M| 85 | 436 |1806 |5474 |1806 |2105 | 469 | 63k| 14k| 6.600000e+01 | -- | Inf
949.09/949.20 c 949s| 50000 | 14721 | 8849k| 176.8 | 143M| 85 | 453 |1806 |5878 |1806 |2105 | 469 | 81k| 16k| 6.600000e+01 | -- | Inf
1086.20/1086.20 c 1086s| 60000 | 16530 | 10305k| 171.6 | 160M| 85 | 529 |1806 |6745 |1806 |2105 | 469 | 99k| 17k| 6.600000e+01 | -- | Inf
1212.70/1212.78 c 1213s| 70000 | 18037 | 11434k| 163.2 | 173M| 100 | 188 |1806 |6596 |1806 |2105 | 469 | 115k| 20k| 6.600000e+01 | -- | Inf
1323.90/1323.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.90/1323.95 c 1324s| 80000 | 19509 | 12472k| 155.8 | 189M| 107 | 245 |1806 |6650 |1806 |2105 | 469 | 131k| 22k| 6.600000e+01 | -- | Inf
1406.30/1406.38 c 1406s| 90000 | 20662 | 13351k| 148.2 | 201M| 107 | 195 |1806 |6022 |1806 |2105 | 469 | 146k| 22k| 6.600000e+01 | -- | Inf
1512.10/1512.15 c 1512s|100000 | 21250 | 14294k| 142.8 | 210M| 107 | - |1806 |6651 | 0 | 0 | 469 | 160k| 25k| 6.600000e+01 | -- | Inf
1602.80/1602.86 c 1603s|110000 | 22163 | 15294k| 138.9 | 219M| 119 | 117 |1806 |7700 |1806 |2105 | 469 | 174k| 26k| 6.600000e+01 | -- | Inf
1701.01/1701.07 c 1701s|120000 | 23007 | 16339k| 136.1 | 229M| 119 | 118 |1806 |8064 |1806 |2105 | 469 | 188k| 27k| 6.600000e+01 | -- | Inf
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Solving Time (sec) : 1800.00
1800.00/1800.00 c Solving Nodes : 128354
1800.00/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.00 c Dual Bound : +6.60000000000000e+01
1800.00/1800.00 c Gap : infinite
1800.00/1800.00 s UNKNOWN
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Total Time : 1800.00
1800.00/1800.00 c solving : 1800.00
1800.00/1800.00 c presolving : 0.49 (included in solving)
1800.00/1800.00 c reading : 0.08 (included in solving)
1800.00/1800.00 c Original Problem :
1800.00/1800.00 c Problem name : HOME/instance-3450972-1307097518.opb
1800.00/1800.00 c Variables : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 3444 initial, 3444 maximal
1800.00/1800.00 c Presolved Problem :
1800.00/1800.00 c Problem name : t_HOME/instance-3450972-1307097518.opb
1800.00/1800.00 c Variables : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 1972 initial, 8289 maximal
1800.00/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c probing : 0.42 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c knapsack : 0.02 0 0 0 0 0 0 6 69 577
1800.00/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c linear : 0.05 1 0 0 1 0 1478 0 66 339
1800.00/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c root node : - 0 - - 0 - - - - -
1800.00/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c integral : 0 0 0 93749 0 4 0 114 16767 0 0 179606
1800.00/1800.00 c knapsack : 489 6 587098 0 1 3 975866 10309 1593066 912 0 0
1800.00/1800.00 c setppc : 6 6 79338 0 0 0 599 0 685 0 0 0
1800.00/1800.00 c linear : 1477+ 7 576790 0 1 0 762392 44048 9465317 0 0 0
1800.00/1800.00 c logicor : 0+ 6 310887 0 0 0 778889 2123 351340 10 0 0
1800.00/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.00/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.00 c integral : 381.13 0.00 0.00 381.13 0.00 0.00 0.00
1800.00/1800.00 c knapsack : 26.45 0.03 25.81 0.00 0.00 0.00 0.60
1800.00/1800.00 c setppc : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
1800.00/1800.00 c linear : 87.51 0.00 86.34 0.00 0.00 0.00 1.17
1800.00/1800.00 c logicor : 14.73 0.00 14.02 0.00 0.00 0.00 0.70
1800.00/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.00 c vbounds : 0 0 0 0
1800.00/1800.00 c rootredcost : 0 0 0 0
1800.00/1800.00 c pseudoobj : 586682 0 0 0
1800.00/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.00 c vbounds : 0.11 0.11 0.00
1800.00/1800.00 c rootredcost : 0.13 0.13 0.00
1800.00/1800.00 c pseudoobj : 0.31 0.31 0.00
1800.00/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.00 c propagation : 4.74 56480 56440 614124 40.3 3258 26.0 -
1800.00/1800.00 c infeasible LP : 3.66 20969 20969 79966 29.1 1461 17.3 0
1800.00/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.00 c applied globally : - - - 200790 30.5 - - -
1800.00/1800.00 c applied locally : - - - 0 0.0 - - -
1800.00/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.00 c cut pool : 0.00 5 - - 1078 - (maximal pool size: 4202)
1800.00/1800.00 c redcost : 2.69 93792 0 108 0 0
1800.00/1800.00 c impliedbounds : 0.00 6 0 0 33 0
1800.00/1800.00 c intobj : 0.00 0 0 0 0 0
1800.00/1800.00 c gomory : 0.29 6 0 0 87 0
1800.00/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.00 c strongcg : 0.27 6 0 0 135 0
1800.00/1800.00 c cmir : 0.65 6 0 0 3000 0
1800.00/1800.00 c flowcover : 0.39 6 0 0 1200 0
1800.00/1800.00 c clique : 0.00 6 0 0 0 0
1800.00/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.00 c mcf : 0.00 1 0 0 0 0
1800.00/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.00 c rapidlearning : 0.60 1 0 0 0 563
1800.00/1800.00 c Pricers : Time Calls Vars
1800.00/1800.00 c problem variables: 0.00 0 0
1800.00/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c relpscost : 381.04 93749 114 16767 0 0 179606
1800.00/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.00/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c random : 0.00 0 0 0 0 0 0
1800.00/1800.00 c Primal Heuristics : Time Calls Found
1800.00/1800.00 c LP solutions : 0.00 - 0
1800.00/1800.00 c pseudo solutions : 0.00 - 0
1800.00/1800.00 c oneopt : 0.05 0 0
1800.00/1800.00 c crossover : 0.04 0 0
1800.00/1800.00 c guideddiving : 0.00 0 0
1800.00/1800.00 c feaspump : 24.37 102 0
1800.00/1800.00 c objpscostdiving : 20.66 109 0
1800.00/1800.00 c veclendiving : 20.90 297 0
1800.00/1800.00 c linesearchdiving : 19.11 297 0
1800.00/1800.00 c pscostdiving : 37.73 298 0
1800.00/1800.00 c coefdiving : 66.87 298 0
1800.00/1800.00 c fracdiving : 65.54 298 0
1800.00/1800.00 c rootsoldiving : 12.15 150 0
1800.00/1800.00 c trivial : 0.00 2 0
1800.00/1800.00 c shiftandpropagate: 0.04 1 0
1800.00/1800.00 c simplerounding : 0.02 0 0
1800.00/1800.00 c zirounding : 0.22 1000 0
1800.00/1800.00 c rounding : 1.07 4286 0
1800.00/1800.00 c shifting : 6.46 1313 0
1800.00/1800.00 c intshifting : 0.00 0 0
1800.00/1800.00 c twoopt : 0.00 0 0
1800.00/1800.00 c fixandinfer : 0.00 0 0
1800.00/1800.00 c clique : 0.00 0 0
1800.00/1800.00 c intdiving : 0.00 0 0
1800.00/1800.00 c actconsdiving : 0.00 0 0
1800.00/1800.00 c octane : 0.00 0 0
1800.00/1800.00 c rens : 0.02 0 0
1800.00/1800.00 c rins : 0.00 0 0
1800.00/1800.00 c localbranching : 0.00 0 0
1800.00/1800.00 c mutation : 0.00 0 0
1800.00/1800.00 c dins : 0.00 0 0
1800.00/1800.00 c vbounds : 0.00 0 0
1800.00/1800.00 c undercover : 0.00 0 0
1800.00/1800.00 c subnlp : 0.03 0 0
1800.00/1800.00 c trysol : 0.04 0 0
1800.00/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.00 c primal LP : 0.01 0 0 0.00 -
1800.00/1800.00 c dual LP : 891.47 100137 14876242 148.56 16687.32
1800.00/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.00 c diving/probing LP: 225.99 57005 2448179 42.95 10833.29
1800.00/1800.00 c strong branching : 372.25 29269 4066423 138.93 10924.01
1800.00/1800.00 c (at root node) : - 16 8360 522.50 -
1800.00/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.00 c B&B Tree :
1800.00/1800.00 c number of runs : 1
1800.00/1800.00 c nodes : 128354
1800.00/1800.00 c nodes (total) : 128354
1800.00/1800.00 c nodes left : 23919
1800.00/1800.00 c max depth : 119
1800.00/1800.00 c max depth (total): 119
1800.00/1800.00 c backtracks : 25985 (20.2%)
1800.00/1800.00 c delayed cutoffs : 27336
1800.00/1800.00 c repropagations : 133406 (3162026 domain reductions, 18351 cutoffs)
1800.00/1800.00 c avg switch length: 7.09
1800.00/1800.00 c switching time : 91.05
1800.00/1800.00 c Solution :
1800.00/1800.00 c Solutions found : 0 (0 improvements)
1800.00/1800.00 c Primal Bound : -
1800.00/1800.00 c Dual Bound : +6.60000000000000e+01
1800.00/1800.00 c Gap : infinite
1800.00/1800.00 c Root Dual Bound : +6.60000000000000e+01
1800.00/1800.00 c Root Iterations : 11867
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-3450972-1307097518/watcher-3450972-1307097518 -o /tmp/evaluation-result-3450972-1307097518/solver-3450972-1307097518 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450972-1307097518.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.04 2.05 2.01 2/434 27445
/proc/meminfo: memFree=12456228/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=13240 CPUtime=0.01 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 2299 0 0 0 1 0 0 0 25 0 1 0 821351424 13557760 2252 33554432000 4194304 9163163 140733797311584 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27445/statm: 3310 2252 395 1214 0 2092 0
[startup+0.096888 s]
/proc/loadavg: 2.04 2.05 2.01 2/434 27445
/proc/meminfo: memFree=12456228/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=31572 CPUtime=0.08 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 6839 0 0 0 8 0 0 0 25 0 1 0 821351424 32329728 6792 33554432000 4194304 9163163 140733797311584 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 7893 6804 439 1214 0 6675 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31572
[startup+0.100885 s]
/proc/loadavg: 2.04 2.05 2.01 2/434 27445
/proc/meminfo: memFree=12456228/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=38372 CPUtime=0.09 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 8490 0 0 0 9 0 0 0 25 0 1 0 821351424 39292928 8442 33554432000 4194304 9163163 140733797311584 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 9593 8442 439 1214 0 8375 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38372
[startup+0.30086 s]
/proc/loadavg: 2.04 2.05 2.01 2/434 27445
/proc/meminfo: memFree=12456228/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=50644 CPUtime=0.29 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 11476 0 0 0 28 1 0 0 25 0 1 0 821351424 51859456 11171 33554432000 4194304 9163163 140733797311584 18446744073709551615 5178907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 12661 11171 547 1214 0 11443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50644
[startup+0.70079 s]
/proc/loadavg: 2.04 2.05 2.01 2/434 27445
/proc/meminfo: memFree=12456228/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=62348 CPUtime=0.69 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 15137 0 0 0 67 2 0 0 18 0 1 0 821351424 63844352 14136 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 15587 14136 726 1214 0 14369 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62348
[startup+1.50065 s]
/proc/loadavg: 2.04 2.05 2.01 3/435 27446
/proc/meminfo: memFree=12401792/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=92652 CPUtime=1.49 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 22529 0 0 0 144 5 0 0 19 0 1 0 821351424 94875648 21498 33554432000 4194304 9163163 140733797311584 18446744073709551615 5176405 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 23163 21498 732 1214 0 21945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92652
[startup+3.10038 s]
/proc/loadavg: 2.04 2.05 2.01 3/435 27446
/proc/meminfo: memFree=12366948/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=95356 CPUtime=3.09 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 23443 0 0 0 301 8 0 0 22 0 1 0 821351424 97644544 22349 33554432000 4194304 9163163 140733797311584 18446744073709551615 7379229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 23839 22349 721 1214 0 22621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95356
[startup+6.30082 s]
/proc/loadavg: 2.04 2.05 2.01 3/435 27446
/proc/meminfo: memFree=12365672/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=95356 CPUtime=6.29 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 23455 0 0 0 615 14 0 0 25 0 1 0 821351424 97644544 22360 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 23839 22360 725 1214 0 22621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95356
[startup+12.7007 s]
/proc/loadavg: 2.03 2.05 2.01 3/435 27446
/proc/meminfo: memFree=12363852/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=95356 CPUtime=12.69 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 23455 0 0 0 1237 32 0 0 25 0 1 0 821351424 97644544 22360 33554432000 4194304 9163163 140733797311584 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 23839 22360 725 1214 0 22621 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95356
[startup+25.5005 s]
/proc/loadavg: 2.03 2.04 2.01 3/435 27446
/proc/meminfo: memFree=12362312/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=95356 CPUtime=25.49 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 23457 0 0 0 2465 84 0 0 25 0 1 0 821351424 97644544 22362 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 23839 22362 727 1214 0 22621 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95356
[startup+51.1011 s]
/proc/loadavg: 2.02 2.04 2.01 3/435 27447
/proc/meminfo: memFree=12358684/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=95356 CPUtime=51.1 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 23460 0 0 0 4936 174 0 0 25 0 1 0 821351424 97644544 22365 33554432000 4194304 9163163 140733797311584 18446744073709551615 6889880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 23839 22365 728 1214 0 22621 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 95356
[startup+102.317 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27448
/proc/meminfo: memFree=12349136/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=95356 CPUtime=102.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 23761 0 0 0 9876 354 0 0 25 0 1 0 821351424 97644544 22666 33554432000 4194304 9163163 140733797311584 18446744073709551615 6687959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 23839 22666 728 1214 0 22621 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 95356
[startup+162.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/435 27450
/proc/meminfo: memFree=12329164/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=100928 CPUtime=162.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 30359 0 0 0 15664 566 0 0 25 0 1 0 821351424 103350272 24001 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 25232 24001 728 1214 0 24014 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 100928
[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/435 27451
/proc/meminfo: memFree=12302996/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=112392 CPUtime=222.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 49655 0 0 0 21446 784 0 0 25 0 1 0 821351424 115089408 26879 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 28098 26879 728 1214 0 26880 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 112392
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 27453
/proc/meminfo: memFree=12277816/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=124108 CPUtime=282.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 55702 0 0 0 27207 1023 0 0 25 0 1 0 821351424 127086592 29897 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 31027 29897 728 1214 0 29809 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 124108
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27455
/proc/meminfo: memFree=12253624/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=136012 CPUtime=342.29 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 69338 0 0 0 32985 1244 0 0 25 0 1 0 821351424 139276288 32749 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 34003 32749 728 1214 0 32785 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 136012
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27456
/proc/meminfo: memFree=12211828/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=154112 CPUtime=402.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 84641 0 0 0 38762 1468 0 0 25 0 1 0 821351424 157810688 37415 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 38528 37415 728 1214 0 37310 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 154112
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27458
/proc/meminfo: memFree=12182676/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=166356 CPUtime=462.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 91504 0 0 0 44525 1705 0 0 25 0 1 0 821351424 170348544 40490 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 41589 40490 728 1214 0 40371 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 166356
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 27459
/proc/meminfo: memFree=12147212/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=177248 CPUtime=522.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 99791 0 0 0 50293 1937 0 0 25 0 1 0 821351424 181501952 43225 33554432000 4194304 9163163 140733797311584 18446744073709551615 7375384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 44312 43225 742 1214 0 43094 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 177248
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 27461
/proc/meminfo: memFree=12109636/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=191964 CPUtime=582.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 107053 0 0 0 56072 2158 0 0 25 0 1 0 821351424 196571136 46821 33554432000 4194304 9163163 140733797311584 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 47991 46821 741 1214 0 46773 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 191964
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/435 27467
/proc/meminfo: memFree=12005688/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=243376 CPUtime=822.31 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 146397 0 0 0 79156 3075 0 0 25 0 1 0 821351424 249217024 59848 33554432000 4194304 9163163 140733797311584 18446744073709551615 7379350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27445/statm: 60844 59848 739 1214 0 59626 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 243376
[startup+882.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/435 27469
/proc/meminfo: memFree=11996004/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=250768 CPUtime=882.29 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 152705 0 0 0 84940 3289 0 0 25 0 1 0 821351424 256786432 61702 33554432000 4194304 9163163 140733797311584 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 62692 61702 739 1214 0 61474 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 250768
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27471
/proc/meminfo: memFree=11981116/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=261688 CPUtime=942.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 163511 0 0 0 90709 3521 0 0 25 0 1 0 821351424 267968512 64451 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 65422 64451 758 1214 0 64204 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 261688
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27472
/proc/meminfo: memFree=11969448/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=268944 CPUtime=1002.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 168963 0 0 0 96480 3750 0 0 25 0 1 0 821351424 275398656 66271 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 67236 66271 742 1214 0 66018 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 268944
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27474
/proc/meminfo: memFree=11950960/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=281124 CPUtime=1062.29 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 179144 0 0 0 102255 3974 0 0 25 0 1 0 821351424 287870976 69317 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 70281 69317 740 1214 0 69063 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 281124
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 27475
/proc/meminfo: memFree=11938184/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=290732 CPUtime=1122.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 184947 0 0 0 108033 4197 0 0 25 0 1 0 821351424 297709568 71737 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 72683 71737 735 1214 0 71465 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 290732
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 27477
/proc/meminfo: memFree=11919952/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=301684 CPUtime=1182.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 188597 0 0 0 113824 4406 0 0 25 0 1 0 821351424 308924416 74402 33554432000 4194304 9163163 140733797311584 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 75421 74402 735 1214 0 74203 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 301684
[startup+1242.3 s]
/proc/loadavg: 2.31 2.07 2.02 3/435 27479
/proc/meminfo: memFree=11901468/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=309984 CPUtime=1242.29 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 195540 0 0 0 119624 4605 0 0 25 0 1 0 821351424 317423616 76595 33554432000 4194304 9163163 140733797311584 18446744073709551615 7209171 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 77496 76595 735 1214 0 76278 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 309984
[startup+1302.3 s]
/proc/loadavg: 2.25 2.08 2.03 3/435 27480
/proc/meminfo: memFree=11879760/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=318264 CPUtime=1302.31 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 202017 0 0 0 125412 4819 0 0 25 0 1 0 821351424 325902336 78675 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 79566 78675 735 1214 0 78348 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 318264
[startup+1362.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/435 27491
/proc/meminfo: memFree=11860300/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=333604 CPUtime=1362.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 207468 0 0 0 131203 5027 0 0 25 0 1 0 821351424 341610496 82320 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 83401 82320 733 1214 0 82183 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 333604
[startup+1422.32 s]
/proc/loadavg: 2.03 2.05 2.01 3/435 27492
/proc/meminfo: memFree=11833376/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=343768 CPUtime=1422.31 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 214328 0 0 0 136992 5239 0 0 25 0 1 0 821351424 352018432 84970 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 85942 84970 739 1214 0 84724 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 343768
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/435 27494
/proc/meminfo: memFree=11799644/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=350052 CPUtime=1482.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 218479 0 0 0 142781 5449 0 0 25 0 1 0 821351424 358453248 86535 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 87513 86535 737 1214 0 86295 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 350052
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27496
/proc/meminfo: memFree=11778192/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=356016 CPUtime=1542.31 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 223610 0 0 0 148571 5660 0 0 25 0 1 0 821351424 364560384 88003 33554432000 4194304 9163163 140733797311584 18446744073709551615 5077349 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 89004 88003 737 1214 0 87786 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 356016
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27497
/proc/meminfo: memFree=11750164/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=369192 CPUtime=1602.31 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 228048 0 0 0 154345 5886 0 0 25 0 1 0 821351424 378052608 91325 33554432000 4194304 9163163 140733797311584 18446744073709551615 5150168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 92298 91325 754 1214 0 91080 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 369192
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/435 27502
/proc/meminfo: memFree=11729424/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=375308 CPUtime=1662.31 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 231385 0 0 0 160122 6109 0 0 25 0 1 0 821351424 384315392 92855 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 93827 92855 737 1214 0 92609 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 375308
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/435 27716
/proc/meminfo: memFree=11738076/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=387196 CPUtime=1722.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 235240 0 0 0 165899 6331 0 0 25 0 1 0 821351424 396488704 95861 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 96799 95861 737 1214 0 95581 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 387196
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/435 27774
/proc/meminfo: memFree=11982948/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=393512 CPUtime=1782.3 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 238476 0 0 0 171654 6576 0 0 25 0 1 0 821351424 402956288 97390 33554432000 4194304 9163163 140733797311584 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27445/statm: 98378 97390 737 1214 0 97160 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 393512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/435 27803
/proc/meminfo: memFree=12013976/32951132 swapFree=67093840/67111528
[pid=27445] ppid=27443 vsize=395880 CPUtime=1800.01 cores=1,3,5,7
/proc/27445/stat : 27445 (scip-2.0.1.4b.l) R 27443 27445 27022 0 -1 4202496 239125 0 0 0 173359 6642 0 0 25 0 1 0 821351424 405381120 98039 33554432000 4194304 9163163 140733797311584 18446744073709551615 7137056 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27445/statm: 98970 98039 741 1214 0 97752 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 395880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.05
CPU user time (s): 1733.6
CPU system time (s): 66.4469
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 395880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.6
system time used= 66.4469
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239125
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= 4
involuntary context switches= 3337
runsolver used 7.56485 second user time and 18.4382 second system time
The end