0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3452632-1307098846.opb>
0.00/0.09 c original problem has 1807 variables (1807 bin, 0 int, 0 impl, 0 cont) and 3444 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.08/0.12 c presolving:
0.08/0.15 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.08/0.16 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.08/0.18 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.08/0.19 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.58/0.60 c (0.6s) probing: 204/1806 (11.3%) - 0 fixings, 0 aggregations, 443 implications, 0 bound changes
0.58/0.60 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.58/0.60 c presolving (5 rounds):
0.58/0.60 c 1 deleted vars, 1478 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 135 changed sides, 916 changed coefficients
0.58/0.60 c 1304 implications, 3 cliques
0.58/0.60 c presolved problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 1972 constraints
0.58/0.60 c 489 constraints of type <knapsack>
0.58/0.60 c 6 constraints of type <setppc>
0.58/0.60 c 1477 constraints of type <linear>
0.58/0.60 c transformed objective value is always integral (scale: 1)
0.58/0.60 c Presolving Time: 0.50
0.58/0.60 c - non default parameters ----------------------------------------------------------------------
0.58/0.60 c # SCIP version 2.0.1.4
0.58/0.60 c
0.58/0.60 c # frequency for displaying node information lines
0.58/0.60 c # [type: int, range: [-1,2147483647], default: 100]
0.58/0.60 c display/freq = 10000
0.58/0.60 c
0.58/0.60 c # maximal time in seconds to run
0.58/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.60 c limits/time = 1800
0.58/0.60 c
0.58/0.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.58/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.60 c limits/memory = 13950
0.58/0.60 c
0.58/0.60 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.58/0.60 c # [type: int, range: [1,2], default: 1]
0.58/0.60 c timing/clocktype = 2
0.58/0.60 c
0.58/0.60 c # belongs reading time to solving time?
0.58/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.58/0.60 c timing/reading = TRUE
0.58/0.60 c
0.58/0.60 c # should presolving try to simplify inequalities
0.58/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.58/0.60 c constraints/linear/simplifyinequalities = TRUE
0.58/0.60 c
0.58/0.60 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.58/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.58/0.60 c constraints/indicator/addCouplingCons = TRUE
0.58/0.60 c
0.58/0.60 c # should presolving try to simplify knapsacks
0.58/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.58/0.60 c constraints/knapsack/simplifyinequalities = TRUE
0.58/0.60 c
0.58/0.60 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.58/0.60 c # [type: int, range: [-1,2147483647], default: -1]
0.58/0.60 c separating/rapidlearning/freq = 0
0.58/0.60 c
0.58/0.60 c -----------------------------------------------------------------------------------------------
0.58/0.60 c start solving
0.58/0.60 c
0.58/0.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.58/0.67 c 0.7s| 1 | 0 | 857 | - | 15M| 0 | 506 |1806 |1990 |1806 |1972 | 0 | 18 | 0 | 6.600000e+01 | -- | Inf
1.98/2.04 c 2.0s| 1 | 0 | 7754 | - | 17M| 0 | 860 |1806 |2553 |1806 |2086 | 114 | 18 | 0 | 6.600000e+01 | -- | Inf
2.29/2.34 c 2.3s| 1 | 0 | 8463 | - | 17M| 0 | 897 |1806 |2553 |1806 |2161 | 189 | 18 | 0 | 6.600000e+01 | -- | Inf
2.68/2.73 c 2.7s| 1 | 0 | 9940 | - | 18M| 0 | 984 |1806 |2553 |1806 |2226 | 254 | 18 | 0 | 6.600000e+01 | -- | Inf
3.08/3.17 c 3.2s| 1 | 0 | 10586 | - | 18M| 0 |1096 |1806 |2553 |1806 |2300 | 328 | 18 | 0 | 6.600000e+01 | -- | Inf
3.48/3.59 c 3.6s| 1 | 0 | 11397 | - | 19M| 0 | 950 |1806 |2553 |1806 |2372 | 400 | 18 | 0 | 6.600000e+01 | -- | Inf
3.97/4.06 c 4.1s| 1 | 0 | 11867 | - | 20M| 0 | 904 |1806 |2553 |1806 |2441 | 469 | 18 | 0 | 6.600000e+01 | -- | Inf
5.37/5.45 c 5.4s| 1 | 2 | 11867 | - | 20M| 0 | 904 |1806 |2553 |1806 |2441 | 469 | 18 | 16 | 6.600000e+01 | -- | Inf
291.27/291.37 c 291s| 10000 | 4787 | 2363k| 235.2 | 53M| 75 | - |1806 |4357 | 0 | 0 | 469 | 14k|6303 | 6.600000e+01 | -- | Inf
490.98/491.03 c 491s| 20000 | 8214 | 4277k| 213.3 | 84M| 75 | - |1806 |4296 | 0 | 0 | 469 | 29k|9777 | 6.600000e+01 | -- | Inf
655.88/655.91 c 656s| 30000 | 10794 | 5951k| 198.0 | 108M| 75 | - |1806 |5030 | 0 | 0 | 469 | 47k| 12k| 6.600000e+01 | -- | Inf
810.80/810.81 c 811s| 40000 | 13088 | 7417k| 185.1 | 129M| 85 | 436 |1806 |5474 |1806 |2105 | 469 | 63k| 14k| 6.600000e+01 | -- | Inf
956.09/956.19 c 956s| 50000 | 14721 | 8849k| 176.8 | 143M| 85 | 453 |1806 |5878 |1806 |2105 | 469 | 81k| 16k| 6.600000e+01 | -- | Inf
1094.19/1094.23 c 1094s| 60000 | 16530 | 10305k| 171.6 | 160M| 85 | 529 |1806 |6745 |1806 |2105 | 469 | 99k| 17k| 6.600000e+01 | -- | Inf
1221.80/1221.81 c 1222s| 70000 | 18037 | 11434k| 163.2 | 173M| 100 | 188 |1806 |6596 |1806 |2105 | 469 | 115k| 20k| 6.600000e+01 | -- | Inf
1333.90/1333.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1333.90/1333.90 c 1334s| 80000 | 19509 | 12472k| 155.8 | 188M| 107 | 245 |1806 |6650 |1806 |2105 | 469 | 131k| 22k| 6.600000e+01 | -- | Inf
1416.92/1416.97 c 1417s| 90000 | 20662 | 13351k| 148.2 | 201M| 107 | 195 |1806 |6022 |1806 |2105 | 469 | 146k| 22k| 6.600000e+01 | -- | Inf
1523.63/1523.64 c 1524s|100000 | 21250 | 14294k| 142.8 | 210M| 107 | - |1806 |6651 | 0 | 0 | 469 | 160k| 25k| 6.600000e+01 | -- | Inf
1615.01/1615.04 c 1615s|110000 | 22163 | 15294k| 138.9 | 219M| 119 | 117 |1806 |7700 |1806 |2105 | 469 | 174k| 26k| 6.600000e+01 | -- | Inf
1714.01/1714.01 c 1714s|120000 | 23007 | 16339k| 136.1 | 228M| 119 | 118 |1806 |8064 |1806 |2105 | 469 | 188k| 27k| 6.600000e+01 | -- | Inf
1800.03/1800.02 c
1800.03/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.02 c Solving Time (sec) : 1800.01
1800.03/1800.02 c Solving Nodes : 127169
1800.03/1800.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.02 c Dual Bound : +6.60000000000000e+01
1800.03/1800.02 c Gap : infinite
1800.03/1800.02 s UNKNOWN
1800.03/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.02 c Total Time : 1800.01
1800.03/1800.02 c solving : 1800.01
1800.03/1800.02 c presolving : 0.50 (included in solving)
1800.03/1800.02 c reading : 0.08 (included in solving)
1800.03/1800.02 c Original Problem :
1800.03/1800.02 c Problem name : HOME/instance-3452632-1307098846.opb
1800.03/1800.02 c Variables : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.02 c Constraints : 3444 initial, 3444 maximal
1800.03/1800.02 c Presolved Problem :
1800.03/1800.02 c Problem name : t_HOME/instance-3452632-1307098846.opb
1800.03/1800.02 c Variables : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.02 c Constraints : 1972 initial, 8289 maximal
1800.03/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c probing : 0.40 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c knapsack : 0.02 0 0 0 0 0 0 6 69 577
1800.03/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c linear : 0.05 1 0 0 1 0 1478 0 66 339
1800.03/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c root node : - 0 - - 0 - - - - -
1800.03/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.02 c integral : 0 0 0 92923 0 4 0 114 16647 0 0 178004
1800.03/1800.02 c knapsack : 489 6 582152 0 1 3 966438 10236 1584626 912 0 0
1800.03/1800.02 c setppc : 6 6 79309 0 0 0 599 0 685 0 0 0
1800.03/1800.02 c linear : 1477+ 7 571917 0 1 0 755126 43602 9380014 0 0 0
1800.03/1800.02 c logicor : 0+ 6 308428 0 0 0 770677 2097 348605 10 0 0
1800.03/1800.02 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.03/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.02 c integral : 381.03 0.00 0.00 381.03 0.00 0.00 0.00
1800.03/1800.02 c knapsack : 27.01 0.03 26.37 0.00 0.00 0.00 0.61
1800.03/1800.02 c setppc : 0.03 0.00 0.03 0.00 0.00 0.00 0.00
1800.03/1800.02 c linear : 87.98 0.00 86.88 0.00 0.00 0.00 1.10
1800.03/1800.02 c logicor : 14.67 0.00 13.96 0.00 0.00 0.00 0.71
1800.03/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.02 c vbounds : 0 0 0 0
1800.03/1800.02 c rootredcost : 0 0 0 0
1800.03/1800.02 c pseudoobj : 581736 0 0 0
1800.03/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.02 c vbounds : 0.11 0.11 0.00
1800.03/1800.02 c rootredcost : 0.12 0.12 0.00
1800.03/1800.02 c pseudoobj : 0.29 0.29 0.00
1800.03/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.02 c propagation : 4.69 55935 55901 608010 40.3 3225 25.9 -
1800.03/1800.02 c infeasible LP : 3.68 20890 20890 79288 29.1 1453 17.3 0
1800.03/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.02 c applied globally : - - - 199244 30.5 - - -
1800.03/1800.02 c applied locally : - - - 0 0.0 - - -
1800.03/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.02 c cut pool : 0.00 5 - - 1078 - (maximal pool size: 4202)
1800.03/1800.02 c redcost : 2.65 92966 0 108 0 0
1800.03/1800.02 c impliedbounds : 0.00 6 0 0 33 0
1800.03/1800.02 c intobj : 0.00 0 0 0 0 0
1800.03/1800.02 c gomory : 0.29 6 0 0 87 0
1800.03/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.02 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.02 c strongcg : 0.28 6 0 0 135 0
1800.03/1800.02 c cmir : 0.65 6 0 0 3000 0
1800.03/1800.02 c flowcover : 0.39 6 0 0 1200 0
1800.03/1800.02 c clique : 0.00 6 0 0 0 0
1800.03/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.02 c mcf : 0.00 1 0 0 0 0
1800.03/1800.02 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.02 c rapidlearning : 0.60 1 0 0 0 563
1800.03/1800.02 c Pricers : Time Calls Vars
1800.03/1800.02 c problem variables: 0.00 0 0
1800.03/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.02 c relpscost : 380.94 92923 114 16647 0 0 178004
1800.03/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.02 c inference : 0.00 1 0 0 0 0 2
1800.03/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.02 c random : 0.00 0 0 0 0 0 0
1800.03/1800.02 c Primal Heuristics : Time Calls Found
1800.03/1800.02 c LP solutions : 0.00 - 0
1800.03/1800.02 c pseudo solutions : 0.00 - 0
1800.03/1800.02 c oneopt : 0.06 0 0
1800.03/1800.02 c crossover : 0.03 0 0
1800.03/1800.02 c guideddiving : 0.00 0 0
1800.03/1800.02 c intshifting : 0.00 0 0
1800.03/1800.02 c feaspump : 24.35 102 0
1800.03/1800.02 c objpscostdiving : 20.70 109 0
1800.03/1800.02 c pscostdiving : 38.00 296 0
1800.03/1800.02 c veclendiving : 21.09 296 0
1800.03/1800.02 c linesearchdiving : 19.27 296 0
1800.03/1800.02 c coefdiving : 67.42 296 0
1800.03/1800.02 c fracdiving : 66.06 296 0
1800.03/1800.02 c rootsoldiving : 12.05 149 0
1800.03/1800.02 c trivial : 0.00 2 0
1800.03/1800.02 c shiftandpropagate: 0.04 1 0
1800.03/1800.02 c simplerounding : 0.03 0 0
1800.03/1800.02 c zirounding : 0.21 1000 0
1800.03/1800.02 c rounding : 1.04 4268 0
1800.03/1800.02 c shifting : 6.49 1312 0
1800.03/1800.02 c twoopt : 0.00 0 0
1800.03/1800.02 c fixandinfer : 0.00 0 0
1800.03/1800.02 c clique : 0.00 0 0
1800.03/1800.02 c intdiving : 0.00 0 0
1800.03/1800.02 c actconsdiving : 0.00 0 0
1800.03/1800.02 c octane : 0.00 0 0
1800.03/1800.02 c rens : 0.01 0 0
1800.03/1800.02 c rins : 0.00 0 0
1800.03/1800.02 c localbranching : 0.00 0 0
1800.03/1800.02 c mutation : 0.00 0 0
1800.03/1800.02 c dins : 0.00 0 0
1800.03/1800.02 c vbounds : 0.00 0 0
1800.03/1800.02 c undercover : 0.00 0 0
1800.03/1800.02 c subnlp : 0.02 0 0
1800.03/1800.02 c trysol : 0.04 0 0
1800.03/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.02 c primal LP : 0.01 0 0 0.00 -
1800.03/1800.02 c dual LP : 888.57 99246 14736290 148.48 16584.24
1800.03/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.02 c diving/probing LP: 227.11 56953 2443192 42.90 10757.87
1800.03/1800.02 c strong branching : 372.22 29035 4027398 138.71 10820.01
1800.03/1800.02 c (at root node) : - 16 8360 522.50 -
1800.03/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.02 c B&B Tree :
1800.03/1800.02 c number of runs : 1
1800.03/1800.02 c nodes : 127169
1800.03/1800.02 c nodes (total) : 127169
1800.03/1800.02 c nodes left : 23843
1800.03/1800.02 c max depth : 119
1800.03/1800.02 c max depth (total): 119
1800.03/1800.02 c backtracks : 25727 (20.2%)
1800.03/1800.02 c delayed cutoffs : 26995
1800.03/1800.02 c repropagations : 131981 (3130229 domain reductions, 18140 cutoffs)
1800.03/1800.02 c avg switch length: 7.10
1800.03/1800.02 c switching time : 92.01
1800.03/1800.02 c Solution :
1800.03/1800.02 c Solutions found : 0 (0 improvements)
1800.03/1800.02 c Primal Bound : -
1800.03/1800.02 c Dual Bound : +6.60000000000000e+01
1800.03/1800.02 c Gap : infinite
1800.03/1800.02 c Root Dual Bound : +6.60000000000000e+01
1800.03/1800.03 c Root Iterations : 11867
1800.13/1800.19 c Time complete: 1800.2.
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-3452632-1307098846/watcher-3452632-1307098846 -o /tmp/evaluation-result-3452632-1307098846/solver-3452632-1307098846 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452632-1307098846.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: 1.92 1.98 1.99 2/373 9645
/proc/meminfo: memFree=22825116/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/9645/stat : 9645 (runsolver) R 9643 9645 9067 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 821485004 12079104 51 33554432000 4194304 5432328 140735105158800 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/9645/statm: 2949 51 31 303 0 2643 0
[startup+0.10893 s]
/proc/loadavg: 1.92 1.98 1.99 2/373 9645
/proc/meminfo: memFree=22825116/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=27284 CPUtime=0.08 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 5460 0 0 0 8 0 0 0 25 0 1 0 821485004 27938816 5412 33554432000 4194304 9128323 140733568648144 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 6821 5449 468 1205 0 5612 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27284
[startup+0.200912 s]
/proc/loadavg: 1.92 1.98 1.99 2/373 9645
/proc/meminfo: memFree=22825116/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=51748 CPUtime=0.18 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 11732 0 0 0 17 1 0 0 25 0 1 0 821485004 52989952 11426 33554432000 4194304 9128323 140733568648144 18446744073709551615 5266574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 12937 11426 540 1205 0 11728 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 51748
[startup+0.300893 s]
/proc/loadavg: 1.92 1.98 1.99 2/373 9645
/proc/meminfo: memFree=22825116/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=51748 CPUtime=0.28 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 11765 0 0 0 27 1 0 0 25 0 1 0 821485004 52989952 11459 33554432000 4194304 9128323 140733568648144 18446744073709551615 5234362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 12937 11459 551 1205 0 11728 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 51748
[startup+0.700831 s]
/proc/loadavg: 1.92 1.98 1.99 2/373 9645
/proc/meminfo: memFree=22825116/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=62976 CPUtime=0.67 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 15323 0 0 0 66 1 0 0 25 0 1 0 821485004 64487424 14306 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 15744 14306 716 1205 0 14535 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 62976
[startup+1.50067 s]
/proc/loadavg: 1.93 1.98 1.99 3/374 9646
/proc/meminfo: memFree=22770176/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=91748 CPUtime=1.48 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 22351 0 0 0 144 4 0 0 25 0 1 0 821485004 93949952 21318 33554432000 4194304 9128323 140733568648144 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 22937 21318 743 1205 0 21728 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91748
[startup+3.10038 s]
/proc/loadavg: 1.93 1.98 1.99 3/374 9646
/proc/meminfo: memFree=22737852/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=94576 CPUtime=3.08 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 23403 0 0 0 302 6 0 0 25 0 1 0 821485004 96845824 22347 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 23644 22347 766 1205 0 22435 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 94576
[startup+6.3008 s]
/proc/loadavg: 1.93 1.98 1.99 3/374 9646
/proc/meminfo: memFree=22736008/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=94576 CPUtime=6.28 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 23548 0 0 0 614 14 0 0 25 0 1 0 821485004 96845824 22458 33554432000 4194304 9128323 140733568648144 18446744073709551615 7343116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 23644 22458 737 1205 0 22435 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 94576
[startup+12.7006 s]
/proc/loadavg: 1.94 1.98 1.99 3/374 9646
/proc/meminfo: memFree=22735528/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=94576 CPUtime=12.68 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 23548 0 0 0 1235 33 0 0 25 0 1 0 821485004 96845824 22458 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 23644 22458 737 1205 0 22435 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 94576
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/374 9656
/proc/meminfo: memFree=22735216/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=94576 CPUtime=25.47 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 23549 0 0 0 2458 89 0 0 25 0 1 0 821485004 96845824 22459 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 23644 22459 738 1205 0 22435 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 94576
[startup+51.1006 s]
/proc/loadavg: 1.97 1.98 1.99 3/374 9656
/proc/meminfo: memFree=22726492/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=94576 CPUtime=51.08 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 23552 0 0 0 4929 179 0 0 25 0 1 0 821485004 96845824 22462 33554432000 4194304 9128323 140733568648144 18446744073709551615 7342922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 23644 22462 739 1205 0 22435 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94576
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/374 9658
/proc/meminfo: memFree=22711360/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=94576 CPUtime=102.29 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 23562 0 0 0 9865 364 0 0 25 0 1 0 821485004 96845824 22471 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 23644 22471 738 1205 0 22435 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 94576
[startup+162.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/374 9659
/proc/meminfo: memFree=22689772/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=101948 CPUtime=162.28 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 27377 0 0 0 15653 575 0 0 25 0 1 0 821485004 104394752 24287 33554432000 4194304 9128323 140733568648144 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 25487 24287 738 1205 0 24278 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 101948
[startup+222.314 s]
/proc/loadavg: 2.05 2.02 2.00 3/374 9664
/proc/meminfo: memFree=22666792/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=112008 CPUtime=222.29 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 45883 0 0 0 21441 788 0 0 25 0 1 0 821485004 114696192 26808 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9645/statm: 28002 26808 738 1205 0 26793 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 112008
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 9665
/proc/meminfo: memFree=22639556/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=123996 CPUtime=282.27 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 51967 0 0 0 27203 1024 0 0 25 0 1 0 821485004 126971904 29813 33554432000 4194304 9128323 140733568648144 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 30999 29813 738 1205 0 29790 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 123996
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 9667
/proc/meminfo: memFree=22616720/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=132592 CPUtime=342.27 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 58733 0 0 0 32981 1246 0 0 25 0 1 0 821485004 135774208 32001 33554432000 4194304 9128323 140733568648144 18446744073709551615 7346395 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 33148 32001 738 1205 0 31939 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 132592
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9669
/proc/meminfo: memFree=22589920/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=152248 CPUtime=402.27 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 72901 0 0 0 38753 1474 0 0 25 0 1 0 821485004 155901952 36970 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 38062 36970 742 1205 0 36853 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 152248
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9670
/proc/meminfo: memFree=22562380/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=165892 CPUtime=462.28 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 82366 0 0 0 44503 1725 0 0 25 0 1 0 821485004 169873408 40400 33554432000 4194304 9128323 140733568648144 18446744073709551615 7342760 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 41473 40400 738 1205 0 40264 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 165892
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9672
/proc/meminfo: memFree=22550956/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=177260 CPUtime=522.27 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 91545 0 0 0 50260 1967 0 0 25 0 1 0 821485004 181514240 43234 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 44315 43234 747 1205 0 43106 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 177260
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9673
/proc/meminfo: memFree=22535308/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=190604 CPUtime=582.28 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 103969 0 0 0 56024 2204 0 0 25 0 1 0 821485004 195178496 46598 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 47651 46598 746 1205 0 46442 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 190604
[startup+642.301 s]
################
# More data... #
################
[startup+882.314 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 9681
/proc/meminfo: memFree=22422760/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=247972 CPUtime=882.3 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 149937 0 0 0 84890 3340 0 0 25 0 1 0 821485004 253923328 61013 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 61993 61013 747 1205 0 60784 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 247972
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 9683
/proc/meminfo: memFree=22402664/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=258404 CPUtime=942.29 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 157081 0 0 0 90653 3576 0 0 25 0 1 0 821485004 264605696 63614 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 64601 63614 742 1205 0 63392 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 258404
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9685
/proc/meminfo: memFree=22380692/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=268352 CPUtime=1002.29 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 160692 0 0 0 96420 3809 0 0 25 0 1 0 821485004 274792448 66151 33554432000 4194304 9128323 140733568648144 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 67088 66151 741 1205 0 65879 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 268352
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9686
/proc/meminfo: memFree=22366664/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=278084 CPUtime=1062.29 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 171906 0 0 0 102202 4027 0 0 25 0 1 0 821485004 284758016 68568 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 69521 68568 741 1205 0 68312 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 278084
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9688
/proc/meminfo: memFree=22343952/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=289236 CPUtime=1122.3 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 175542 0 0 0 107978 4252 0 0 25 0 1 0 821485004 296177664 71239 33554432000 4194304 9128323 140733568648144 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 72309 71239 738 1205 0 71100 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 289236
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9689
/proc/meminfo: memFree=22324840/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=299424 CPUtime=1182.3 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 179899 0 0 0 113764 4466 0 0 25 0 1 0 821485004 306610176 73829 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 74856 73829 738 1205 0 73647 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 299424
[startup+1242.3 s]
/proc/loadavg: 2.18 2.04 2.01 3/374 9691
/proc/meminfo: memFree=22310324/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=307032 CPUtime=1242.3 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 183788 0 0 0 119568 4662 0 0 25 0 1 0 821485004 314400768 75853 33554432000 4194304 9128323 140733568648144 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 76758 75853 738 1205 0 75549 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 307032
[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/374 9693
/proc/meminfo: memFree=22288980/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=314900 CPUtime=1302.3 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 189270 0 0 0 125344 4886 0 0 25 0 1 0 821485004 322457600 77638 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 78725 77638 738 1205 0 77516 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 314900
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/374 9694
/proc/meminfo: memFree=22265408/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=330236 CPUtime=1362.3 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 195386 0 0 0 131132 5098 0 0 25 0 1 0 821485004 338161664 81644 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 82559 81644 738 1205 0 81350 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 330236
[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/374 9696
/proc/meminfo: memFree=22247168/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=338076 CPUtime=1422.31 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 198887 0 0 0 136914 5317 0 0 25 0 1 0 821485004 346189824 83505 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 84519 83505 738 1205 0 83310 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 338076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 9697
/proc/meminfo: memFree=22227060/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=347836 CPUtime=1482.3 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 202426 0 0 0 142690 5540 0 0 25 0 1 0 821485004 356184064 85952 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 86959 85952 738 1205 0 85750 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 347836
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 9699
/proc/meminfo: memFree=22213280/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=354148 CPUtime=1542.32 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 204117 0 0 0 148479 5753 0 0 25 0 1 0 821485004 362647552 87628 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 88537 87628 738 1205 0 87328 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 354148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 9701
/proc/meminfo: memFree=22188592/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=363744 CPUtime=1602.31 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 207709 0 0 0 154247 5984 0 0 25 0 1 0 821485004 372473856 90046 33554432000 4194304 9128323 140733568648144 18446744073709551615 6712753 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 90936 90046 738 1205 0 89727 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 363744
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9702
/proc/meminfo: memFree=22175184/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=373620 CPUtime=1662.31 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 211270 0 0 0 160017 6214 0 0 25 0 1 0 821485004 382586880 92507 33554432000 4194304 9128323 140733568648144 18446744073709551615 5239337 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 93405 92507 738 1205 0 92196 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 373620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 9704
/proc/meminfo: memFree=22165996/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=382612 CPUtime=1722.31 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 213461 0 0 0 165797 6434 0 0 25 0 1 0 821485004 391794688 94660 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 95653 94660 738 1205 0 94444 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 382612
[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/374 9705
/proc/meminfo: memFree=22153956/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=392684 CPUtime=1782.31 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 216069 0 0 0 171564 6667 0 0 25 0 1 0 821485004 402108416 97223 33554432000 4194304 9128323 140733568648144 18446744073709551615 7343020 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 98171 97223 738 1205 0 96962 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 392684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 9734
/proc/meminfo: memFree=22398368/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=393516 CPUtime=1800.03 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 216354 0 0 0 173258 6745 0 0 25 0 1 0 821485004 402960384 97508 33554432000 4194304 9128323 140733568648144 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9645/statm: 98379 97508 738 1205 0 97170 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 393516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 9734
/proc/meminfo: memFree=22398368/32951124 swapFree=37148216/67111528
[pid=9645] ppid=9643 vsize=393516 CPUtime=1800.13 cores=1,3,5,7
/proc/9645/stat : 9645 (scip-2.0.1.4.li) R 9643 9645 9067 0 -1 4202496 216357 0 0 0 173268 6745 0 0 18 0 1 0 821485004 402960384 97511 33554432000 4194304 9128323 140733568648144 18446744073709551615 4219332 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9645/statm: 98379 97511 741 1205 0 97170 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 393516
Child status: 0
Real time (s): 1800.19
CPU time (s): 1800.22
CPU user time (s): 1732.75
CPU system time (s): 67.4677
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 393516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.75
system time used= 67.4677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216359
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= 4297
runsolver used 6.40403 second user time and 14.8947 second system time
The end