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-3451908-1307115754.opb>
0.04/0.07 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.04/0.07 c problem read
0.04/0.07 c presolving settings loaded
0.08/0.10 c presolving:
0.08/0.12 c (round 1) 7 del vars, 1 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.08/0.13 c (round 2) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.08/0.15 c (round 3) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 9940 impls, 75 clqs
0.29/0.39 c (0.4s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.39 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.29/0.39 c presolving (4 rounds):
0.29/0.39 c 7 deleted vars, 4971 deleted constraints, 0 added constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.39 c 9940 implications, 1111 cliques
0.29/0.39 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
0.29/0.39 c 448 constraints of type <knapsack>
0.29/0.39 c 75 constraints of type <setppc>
0.29/0.39 c transformed objective value is always integral (scale: 1)
0.29/0.39 c Presolving Time: 0.31
0.29/0.39 c - non default parameters ----------------------------------------------------------------------
0.29/0.39 c # SCIP version 2.0.1.4
0.29/0.39 c
0.29/0.39 c # frequency for displaying node information lines
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.39 c display/freq = 10000
0.29/0.39 c
0.29/0.39 c # maximal time in seconds to run
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/time = 1800
0.29/0.39 c
0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/memory = 13950
0.29/0.39 c
0.29/0.39 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.39 c # [type: int, range: [1,2], default: 1]
0.29/0.39 c timing/clocktype = 2
0.29/0.39 c
0.29/0.39 c # belongs reading time to solving time?
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c timing/reading = TRUE
0.29/0.39 c
0.29/0.39 c # should presolving try to simplify inequalities
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/linear/simplifyinequalities = TRUE
0.29/0.39 c
0.29/0.39 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/indicator/addCouplingCons = TRUE
0.29/0.39 c
0.29/0.39 c # should presolving try to simplify knapsacks
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.39 c
0.29/0.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c separating/rapidlearning/freq = 0
0.29/0.39 c
0.29/0.39 c -----------------------------------------------------------------------------------------------
0.29/0.39 c start solving
0.29/0.39 c
0.39/0.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.48 c 0.5s| 1 | 0 | 992 | - | 23M| 0 | 65 |4970 | 582 |4970 | 523 | 0 | 59 | 0 | 7.000000e+00 | -- | Inf
1.79/1.81 c 1.8s| 1 | 0 | 5971 | - | 25M| 0 | 111 |4970 |1043 |4970 | 556 | 33 | 59 | 0 | 7.000000e+00 | -- | Inf
1.99/2.09 c 2.1s| 1 | 0 | 6208 | - | 26M| 0 | 137 |4970 |1043 |4970 | 586 | 63 | 59 | 0 | 7.000000e+00 | -- | Inf
2.39/2.47 c 2.5s| 1 | 0 | 6956 | - | 26M| 0 | 177 |4970 |1043 |4970 | 615 | 92 | 59 | 0 | 7.000000e+00 | -- | Inf
2.79/2.80 c 2.8s| 1 | 0 | 7218 | - | 27M| 0 | 183 |4970 |1043 |4970 | 647 | 124 | 59 | 0 | 7.000000e+00 | -- | Inf
3.09/3.18 c 3.2s| 1 | 0 | 7578 | - | 27M| 0 | 205 |4970 |1043 |4970 | 673 | 150 | 59 | 0 | 7.000000e+00 | -- | Inf
3.49/3.58 c 3.6s| 1 | 0 | 7952 | - | 28M| 0 | 221 |4970 |1043 |4970 | 698 | 175 | 59 | 0 | 7.000000e+00 | -- | Inf
7.89/7.99 c 8.0s| 1 | 2 | 7952 | - | 28M| 0 | 221 |4970 |1043 |4970 | 698 | 175 | 59 | 35 | 7.000000e+00 | -- | Inf
170.09/170.14 c 170s| 10000 | 343 |445738 | 43.8 | 33M| 118 | 24 |4970 |2526 |4970 | 648 | 175 |4571 |3906 | 7.000000e+00 | -- | Inf
335.60/335.68 c 336s| 20000 | 393 | 1019k| 50.6 | 33M| 118 | - |4970 |2408 |4970 | 648 | 175 |9277 |7001 | 7.000000e+00 | -- | Inf
497.70/497.75 c 498s| 30000 | 462 | 1605k| 53.3 | 34M| 118 | 41 |4970 |2417 |4970 | 648 | 175 | 13k| 10k| 7.000000e+00 | -- | Inf
644.31/644.38 c 644s| 40000 | 489 | 2135k| 53.2 | 35M| 118 | - |4970 |2812 |4970 | 648 | 175 | 18k| 12k| 7.000000e+00 | -- | Inf
779.61/779.63 c 780s| 50000 | 504 | 2655k| 52.9 | 35M| 118 | - |4970 |2458 |4970 | 648 | 175 | 23k| 13k| 7.000000e+00 | -- | Inf
936.41/936.41 c 936s| 60000 | 508 | 3243k| 53.9 | 34M| 118 | - |4970 |1915 | 0 | 0 | 175 | 26k| 15k| 7.000000e+00 | -- | Inf
1074.92/1074.96 c 1075s| 70000 | 508 | 3786k| 54.0 | 34M| 118 | - |4970 |2149 |4970 | 648 | 175 | 32k| 17k| 7.000000e+00 | -- | Inf
1217.42/1217.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.42/1217.49 c 1217s| 80000 | 525 | 4322k| 53.9 | 35M| 118 | 39 |4970 |2810 |4970 | 648 | 175 | 35k| 19k| 7.000000e+00 | -- | Inf
1353.42/1353.49 c 1353s| 90000 | 574 | 4857k| 53.9 | 36M| 118 | 61 |4970 |2719 |4970 | 648 | 175 | 39k| 20k| 7.000000e+00 | -- | Inf
1490.32/1490.41 c 1490s|100000 | 539 | 5405k| 54.0 | 36M| 118 | 50 |4970 |3143 |4970 | 648 | 175 | 43k| 22k| 7.000000e+00 | -- | Inf
1610.34/1610.32 c 1610s|110000 | 538 | 5935k| 53.9 | 36M| 118 | - |4970 |3339 | 0 | 0 | 175 | 48k| 22k| 7.000000e+00 | -- | Inf
1756.53/1756.51 c 1757s|120000 | 667 | 6504k| 54.1 | 38M| 118 | - |4970 |3642 | 0 | 0 | 175 | 54k| 24k| 7.000000e+00 | -- | Inf
1800.04/1800.02 c
1800.04/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.02 c Solving Time (sec) : 1800.00
1800.04/1800.02 c Solving Nodes : 122775
1800.04/1800.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.02 c Dual Bound : +7.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 s UNKNOWN
1800.04/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.02 c Total Time : 1800.00
1800.04/1800.02 c solving : 1800.00
1800.04/1800.02 c presolving : 0.31 (included in solving)
1800.04/1800.02 c reading : 0.07 (included in solving)
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-3451908-1307115754.opb
1800.04/1800.02 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.02 c Constraints : 5494 initial, 5494 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-3451908-1307115754.opb
1800.04/1800.02 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.02 c Constraints : 523 initial, 3728 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.05 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c knapsack : 0.19 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.04 7 0 0 7 0 4971 0 0 0
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 0 - - 0 - - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 69396 0 4 0 312 11632 0 0 125614
1800.04/1800.02 c knapsack : 448 6 345602 0 0 3 9223618 1158 5755529 1205 0 0
1800.04/1800.02 c setppc : 75 6 344444 0 0 2 2162192 2 1538410 0 0 0
1800.04/1800.02 c linear : 0+ 6 19 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c logicor : 0+ 6 144770 0 0 0 174986 2709 75794 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.02 c integral : 321.93 0.00 0.00 321.93 0.00 0.00 0.00
1800.04/1800.02 c knapsack : 24.05 0.02 18.18 0.00 0.00 0.00 5.85
1800.04/1800.02 c setppc : 3.17 0.00 2.34 0.00 0.00 0.00 0.83
1800.04/1800.02 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c logicor : 5.71 0.00 4.92 0.00 0.00 0.00 0.78
1800.04/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.02 c vbounds : 0 0 0 0
1800.04/1800.02 c rootredcost : 0 0 0 0
1800.04/1800.02 c pseudoobj : 0 0 0 0
1800.04/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.02 c vbounds : 0.08 0.08 0.00
1800.04/1800.02 c rootredcost : 0.09 0.09 0.00
1800.04/1800.02 c pseudoobj : 0.08 0.08 0.00
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 3.18 3869 3855 57433 207.7 45 165.6 -
1800.04/1800.02 c infeasible LP : 200.19 56965 17946 636545 355.1 150 195.4 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.02 c applied globally : - - - 55904 244.9 - - -
1800.04/1800.02 c applied locally : - - - 2 787.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 5 - - 1213 - (maximal pool size: 1897)
1800.04/1800.02 c redcost : 5.23 69341 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.03 6 0 0 87 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.04 6 0 0 36 0
1800.04/1800.02 c cmir : 0.93 6 0 0 2251 0
1800.04/1800.02 c flowcover : 0.52 6 0 0 1201 0
1800.04/1800.02 c clique : 0.01 6 0 0 13 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 1 0 0 0 0
1800.04/1800.02 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.55 1 0 0 0 461
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 321.85 69396 312 11632 0 0 125614
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.00 - 0
1800.04/1800.02 c oneopt : 0.05 0 0
1800.04/1800.02 c crossover : 0.04 0 0
1800.04/1800.02 c guideddiving : 0.01 0 0
1800.04/1800.02 c feaspump : 2.51 13 0
1800.04/1800.02 c coefdiving : 6.97 27 0
1800.04/1800.02 c linesearchdiving : 2.94 27 0
1800.04/1800.02 c pscostdiving : 2.98 27 0
1800.04/1800.02 c fracdiving : 2.48 27 0
1800.04/1800.02 c veclendiving : 2.38 27 0
1800.04/1800.02 c objpscostdiving : 0.89 14 0
1800.04/1800.02 c rootsoldiving : 1.65 14 0
1800.04/1800.02 c trivial : 0.00 2 0
1800.04/1800.02 c shiftandpropagate: 0.03 1 0
1800.04/1800.02 c simplerounding : 0.02 0 0
1800.04/1800.02 c zirounding : 1.83 0 0
1800.04/1800.02 c rounding : 0.33 3706 0
1800.04/1800.02 c shifting : 2.70 1107 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c clique : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.08 1 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c vbounds : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c subnlp : 0.03 0 0
1800.04/1800.02 c trysol : 0.03 0 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 1155.06 125721 6569048 52.25 5687.20
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 17.98 5369 106578 19.85 5926.14
1800.04/1800.02 c strong branching : 319.12 25717 1640384 63.79 5140.37
1800.04/1800.02 c (at root node) : - 35 18762 536.06 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 122775
1800.04/1800.02 c nodes (total) : 122775
1800.04/1800.02 c nodes left : 668
1800.04/1800.02 c max depth : 118
1800.04/1800.02 c max depth (total): 118
1800.04/1800.02 c backtracks : 21138 (17.2%)
1800.04/1800.02 c delayed cutoffs : 2172
1800.04/1800.02 c repropagations : 85187 (759157 domain reductions, 616 cutoffs)
1800.04/1800.02 c avg switch length: 3.97
1800.04/1800.02 c switching time : 20.06
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 0 (0 improvements)
1800.04/1800.02 c Primal Bound : -
1800.04/1800.02 c Dual Bound : +7.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +7.00000000000000e+00
1800.04/1800.02 c Root Iterations : 7952
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-3451908-1307115754/watcher-3451908-1307115754 -o /tmp/evaluation-result-3451908-1307115754/solver-3451908-1307115754 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451908-1307115754.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.00 1.99 3/527 10705
/proc/meminfo: memFree=24884436/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=10752 CPUtime=0 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 1700 0 0 0 0 0 0 0 25 0 1 0 901806058 11010048 1654 33554432000 4194304 9128323 140736921714704 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10705/statm: 2688 1654 400 1205 0 1479 0
[startup+0.0492759 s]
/proc/loadavg: 1.96 2.00 1.99 3/527 10705
/proc/meminfo: memFree=24884436/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=17428 CPUtime=0.04 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 3341 0 0 0 4 0 0 0 25 0 1 0 901806058 17846272 3294 33554432000 4194304 9128323 140736921714704 18446744073709551615 6165470 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10705/statm: 4357 3294 400 1205 0 3148 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17428
[startup+0.100269 s]
/proc/loadavg: 1.96 2.00 1.99 3/527 10705
/proc/meminfo: memFree=24884436/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=35832 CPUtime=0.08 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 7691 0 0 0 8 0 0 0 25 0 1 0 901806058 36691968 7642 33554432000 4194304 9128323 140736921714704 18446744073709551615 6889381 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 8958 7642 467 1205 0 7749 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35832
[startup+0.300276 s]
/proc/loadavg: 1.96 2.00 1.99 3/527 10705
/proc/meminfo: memFree=24884436/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=46412 CPUtime=0.29 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 10733 0 0 0 28 1 0 0 25 0 1 0 901806058 47525888 10393 33554432000 4194304 9128323 140736921714704 18446744073709551615 5158851 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 11603 10393 535 1205 0 10394 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46412
[startup+0.700167 s]
/proc/loadavg: 1.96 2.00 1.99 3/527 10705
/proc/meminfo: memFree=24884436/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=62064 CPUtime=0.69 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 15005 0 0 0 67 2 0 0 18 0 1 0 901806058 63553536 14375 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 15516 14375 673 1205 0 14307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62064
[startup+1.50107 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10706
/proc/meminfo: memFree=24828500/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=96828 CPUtime=1.49 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 23545 0 0 0 146 3 0 0 19 0 1 0 901806058 99151872 22915 33554432000 4194304 9128323 140736921714704 18446744073709551615 4341645 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24207 22915 715 1205 0 22998 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96828
[startup+3.10074 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10706
/proc/meminfo: memFree=24789192/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=3.09 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 24971 0 0 0 305 4 0 0 23 0 1 0 901806058 102383616 23971 33554432000 4194304 9128323 140736921714704 18446744073709551615 6844210 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 23971 741 1205 0 23787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99984
[startup+6.30023 s]
/proc/loadavg: 1.96 2.00 1.99 3/528 10706
/proc/meminfo: memFree=24784976/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=6.29 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25236 0 0 0 624 5 0 0 25 0 1 0 901806058 102383616 24143 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 24143 739 1205 0 23787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99984
[startup+12.7011 s]
/proc/loadavg: 1.97 2.00 1.99 3/528 10706
/proc/meminfo: memFree=24783416/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=12.7 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25236 0 0 0 1261 9 0 0 25 0 1 0 901806058 102383616 24143 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 24143 739 1205 0 23787 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 99984
[startup+25.5009 s]
/proc/loadavg: 1.97 2.00 1.99 3/528 10706
/proc/meminfo: memFree=24788868/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=25.49 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25236 0 0 0 2535 14 0 0 25 0 1 0 901806058 102383616 24143 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 24143 739 1205 0 23787 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99984
[startup+51.1004 s]
/proc/loadavg: 1.98 2.00 1.99 3/528 10707
/proc/meminfo: memFree=24783424/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=51.09 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25236 0 0 0 5082 27 0 0 25 0 1 0 901806058 102383616 24143 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 24143 739 1205 0 23787 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99984
[startup+102.32 s]
/proc/loadavg: 2.08 2.03 2.00 3/528 10708
/proc/meminfo: memFree=24781024/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=102.32 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25240 0 0 0 10177 55 0 0 25 0 1 0 901806058 102383616 24147 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 24147 741 1205 0 23787 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 99984
[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/528 10710
/proc/meminfo: memFree=24769180/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=162.3 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25240 0 0 0 16145 85 0 0 25 0 1 0 901806058 102383616 24147 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 24147 741 1205 0 23787 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 99984
[startup+222.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/528 10712
/proc/meminfo: memFree=24780428/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=222.3 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25240 0 0 0 22112 118 0 0 25 0 1 0 901806058 102383616 24147 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 24147 741 1205 0 23787 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 99984
[startup+282.301 s]
/proc/loadavg: 2.21 2.08 2.02 3/528 10713
/proc/meminfo: memFree=24779372/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=99984 CPUtime=282.3 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25240 0 0 0 28079 151 0 0 25 0 1 0 901806058 102383616 24147 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 24996 24147 741 1205 0 23787 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 99984
[startup+342.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/528 10715
/proc/meminfo: memFree=24779216/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=100596 CPUtime=342.29 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25378 0 0 0 34043 186 0 0 25 0 1 0 901806058 103010304 24285 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286099 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 25149 24285 741 1205 0 23940 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 100596
[startup+402.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/528 10716
/proc/meminfo: memFree=24777424/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=102392 CPUtime=402.3 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 25812 0 0 0 40007 223 0 0 25 0 1 0 901806058 104849408 24719 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 25598 24719 741 1205 0 24389 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 102392
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 10718
/proc/meminfo: memFree=24776260/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=103504 CPUtime=462.3 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 26831 0 0 0 45974 256 0 0 25 0 1 0 901806058 105988096 24995 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 25876 24995 741 1205 0 24667 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 103504
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 10720
/proc/meminfo: memFree=24775956/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=104672 CPUtime=522.31 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 27153 0 0 0 51941 290 0 0 25 0 1 0 901806058 107184128 25317 33554432000 4194304 9128323 140736921714704 18446744073709551615 4552774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 26168 25317 741 1205 0 24959 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 104672
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10721
/proc/meminfo: memFree=24774428/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=105796 CPUtime=582.31 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 27427 0 0 0 57909 322 0 0 25 0 1 0 901806058 108335104 25591 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 26449 25591 741 1205 0 25240 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 105796
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 10728
/proc/meminfo: memFree=24771040/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=109388 CPUtime=822.31 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 29552 0 0 0 81784 447 0 0 25 0 1 0 901806058 112013312 26490 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 27347 26490 741 1205 0 26138 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 109388
[startup+882.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/528 10729
/proc/meminfo: memFree=24769880/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=109380 CPUtime=882.31 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 30851 0 0 0 87749 482 0 0 25 0 1 0 901806058 112005120 26474 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 27345 26474 741 1205 0 26136 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 109380
[startup+942.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/528 10731
/proc/meminfo: memFree=24767844/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=109616 CPUtime=942.32 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 30921 0 0 0 93712 520 0 0 25 0 1 0 901806058 112246784 26544 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 27404 26544 741 1205 0 26195 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 109616
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 10732
/proc/meminfo: memFree=24769036/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=110676 CPUtime=1002.31 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 31865 0 0 0 99681 550 0 0 25 0 1 0 901806058 113332224 26798 33554432000 4194304 9128323 140736921714704 18446744073709551615 6526639 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 27669 26798 741 1205 0 26460 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 110676
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10734
/proc/meminfo: memFree=24770488/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=110876 CPUtime=1062.31 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 31915 0 0 0 105645 586 0 0 25 0 1 0 901806058 113537024 26848 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 27719 26848 741 1205 0 26510 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 110876
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10745
/proc/meminfo: memFree=24759316/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=111328 CPUtime=1122.31 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 32028 0 0 0 111612 619 0 0 25 0 1 0 901806058 113999872 26961 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 27832 26961 741 1205 0 26623 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 111328
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 10746
/proc/meminfo: memFree=24758016/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=111328 CPUtime=1182.32 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 32028 0 0 0 117582 650 0 0 25 0 1 0 901806058 113999872 26961 33554432000 4194304 9128323 140736921714704 18446744073709551615 7352423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 27832 26961 741 1205 0 26623 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 111328
[startup+1242.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/528 10748
/proc/meminfo: memFree=24761552/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=112016 CPUtime=1242.32 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 32168 0 0 0 123551 681 0 0 25 0 1 0 901806058 114704384 27101 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28004 27101 741 1205 0 26795 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 112016
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/528 10749
/proc/meminfo: memFree=24764236/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=112016 CPUtime=1302.33 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 32168 0 0 0 129520 713 0 0 25 0 1 0 901806058 114704384 27101 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286064 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28004 27101 741 1205 0 26795 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 112016
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/528 10751
/proc/meminfo: memFree=24764556/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=112172 CPUtime=1362.32 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 32239 0 0 0 135482 750 0 0 25 0 1 0 901806058 114864128 27172 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28043 27172 741 1205 0 26834 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 112172
[startup+1422.32 s]
/proc/loadavg: 2.11 2.06 2.01 3/528 10753
/proc/meminfo: memFree=24762524/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=113168 CPUtime=1422.34 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 32502 0 0 0 141454 780 0 0 25 0 1 0 901806058 115884032 27435 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28292 27435 741 1205 0 27083 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 113168
[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/528 10754
/proc/meminfo: memFree=24762488/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=113168 CPUtime=1482.33 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 32502 0 0 0 147420 813 0 0 25 0 1 0 901806058 115884032 27435 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28292 27435 741 1205 0 27083 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 113168
[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/528 10756
/proc/meminfo: memFree=24763564/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=112972 CPUtime=1542.33 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 33064 0 0 0 153386 847 0 0 25 0 1 0 901806058 115683328 27323 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28243 27323 741 1205 0 27034 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 112972
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 10757
/proc/meminfo: memFree=24764020/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=113604 CPUtime=1602.32 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 33193 0 0 0 159354 878 0 0 25 0 1 0 901806058 116330496 27452 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28401 27452 741 1205 0 27192 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 113604
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 10759
/proc/meminfo: memFree=24762216/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=114428 CPUtime=1662.33 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 34193 0 0 0 165320 913 0 0 25 0 1 0 901806058 117174272 27740 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28607 27740 741 1205 0 27398 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 114428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10761
/proc/meminfo: memFree=24760200/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=114660 CPUtime=1722.33 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 34981 0 0 0 171285 948 0 0 25 0 1 0 901806058 117411840 27795 33554432000 4194304 9128323 140736921714704 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 28665 27795 741 1205 0 27456 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 114660
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 10843
/proc/meminfo: memFree=24663524/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=116520 CPUtime=1782.33 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 35972 0 0 0 177251 982 0 0 25 0 1 0 901806058 119316480 28272 33554432000 4194304 9128323 140736921714704 18446744073709551615 7286106 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10705/statm: 29130 28272 741 1205 0 27921 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 116520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.04 2.01 3/528 10844
/proc/meminfo: memFree=24664388/32951124 swapFree=56241860/67111528
[pid=10705] ppid=10703 vsize=116520 CPUtime=1800.04 cores=0,2,4,6
/proc/10705/stat : 10705 (scip-2.0.1.4.li) R 10703 10705 5807 0 -1 4202496 35973 0 0 0 179011 993 0 0 25 0 1 0 901806058 119316480 28273 33554432000 4194304 9128323 140736921714704 18446744073709551615 4840374 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10705/statm: 29130 28273 742 1205 0 27921 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 116520
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.03
CPU time (s): 1800.07
CPU user time (s): 1790.13
CPU system time (s): 9.93749
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 116520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.13
system time used= 9.93749
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35973
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= 21623
runsolver used 10.0705 second user time and 21.0488 second system time
The end