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-3450248-1307114871.opb>
0.02/0.06 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.02/0.06 c problem read
0.02/0.07 c presolving settings loaded
0.02/0.09 c presolving:
0.09/0.10 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.09/0.11 c (round 2) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.09/0.13 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.35 c (0.3s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.35 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.35 c presolving (4 rounds):
0.29/0.35 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.35 c 9940 implications, 1111 cliques
0.29/0.35 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
0.29/0.35 c 448 constraints of type <knapsack>
0.29/0.35 c 75 constraints of type <setppc>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.26
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 2.0.1.5
0.29/0.35 c
0.29/0.35 c # frequency for displaying node information lines
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35 c display/freq = 10000
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1800
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 13950
0.29/0.35 c
0.29/0.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.35 c # [type: int, range: [1,2], default: 1]
0.29/0.35 c timing/clocktype = 2
0.29/0.35 c
0.29/0.35 c # belongs reading time to solving time?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c timing/reading = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify inequalities
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/linear/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/indicator/addCouplingCons = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify knapsacks
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c separating/rapidlearning/freq = 0
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
0.39/0.43 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.43 c 0.4s| 1 | 0 | 992 | - | 23M| 0 | 65 |4970 | 582 |4970 | 523 | 0 | 59 | 0 | 7.000000e+00 | -- | Inf
1.59/1.63 c 1.6s| 1 | 0 | 5971 | - | 25M| 0 | 111 |4970 |1043 |4970 | 556 | 33 | 59 | 0 | 7.000000e+00 | -- | Inf
1.79/1.89 c 1.9s| 1 | 0 | 6208 | - | 26M| 0 | 137 |4970 |1043 |4970 | 586 | 63 | 59 | 0 | 7.000000e+00 | -- | Inf
2.21/2.24 c 2.2s| 1 | 0 | 6956 | - | 27M| 0 | 177 |4970 |1043 |4970 | 615 | 92 | 59 | 0 | 7.000000e+00 | -- | Inf
2.49/2.55 c 2.6s| 1 | 0 | 7218 | - | 27M| 0 | 183 |4970 |1043 |4970 | 647 | 124 | 59 | 0 | 7.000000e+00 | -- | Inf
2.89/2.90 c 2.9s| 1 | 0 | 7578 | - | 28M| 0 | 205 |4970 |1043 |4970 | 673 | 150 | 59 | 0 | 7.000000e+00 | -- | Inf
3.20/3.27 c 3.3s| 1 | 0 | 7952 | - | 28M| 0 | 221 |4970 |1043 |4970 | 698 | 175 | 59 | 0 | 7.000000e+00 | -- | Inf
7.29/7.30 c 7.3s| 1 | 2 | 7952 | - | 28M| 0 | 221 |4970 |1043 |4970 | 698 | 175 | 59 | 35 | 7.000000e+00 | -- | Inf
154.00/154.08 c 154s| 10000 | 343 |445738 | 43.8 | 33M| 118 | 24 |4970 |2526 |4970 | 648 | 175 |4571 |3906 | 7.000000e+00 | -- | Inf
303.99/304.05 c 304s| 20000 | 393 | 1019k| 50.6 | 34M| 118 | - |4970 |2408 |4970 | 648 | 175 |9277 |7001 | 7.000000e+00 | -- | Inf
450.59/450.68 c 451s| 30000 | 462 | 1605k| 53.3 | 34M| 118 | 41 |4970 |2417 |4970 | 648 | 175 | 13k| 10k| 7.000000e+00 | -- | Inf
583.29/583.30 c 583s| 40000 | 489 | 2135k| 53.2 | 35M| 118 | - |4970 |2812 |4970 | 648 | 175 | 18k| 12k| 7.000000e+00 | -- | Inf
705.49/705.51 c 706s| 50000 | 504 | 2655k| 52.9 | 35M| 118 | - |4970 |2458 |4970 | 648 | 175 | 23k| 13k| 7.000000e+00 | -- | Inf
847.30/847.38 c 847s| 60000 | 508 | 3243k| 53.9 | 35M| 118 | - |4970 |1915 | 0 | 0 | 175 | 26k| 15k| 7.000000e+00 | -- | Inf
972.70/972.72 c 973s| 70000 | 508 | 3786k| 54.0 | 35M| 118 | - |4970 |2149 |4970 | 648 | 175 | 32k| 17k| 7.000000e+00 | -- | Inf
1101.80/1101.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.80/1101.82 c 1102s| 80000 | 525 | 4322k| 53.9 | 36M| 118 | 39 |4970 |2810 |4970 | 648 | 175 | 35k| 19k| 7.000000e+00 | -- | Inf
1224.80/1224.88 c 1225s| 90000 | 574 | 4857k| 53.9 | 36M| 118 | 61 |4970 |2719 |4970 | 648 | 175 | 39k| 20k| 7.000000e+00 | -- | Inf
1348.71/1348.75 c 1349s|100000 | 539 | 5405k| 54.0 | 37M| 118 | 50 |4970 |3143 |4970 | 648 | 175 | 43k| 22k| 7.000000e+00 | -- | Inf
1457.10/1457.16 c 1457s|110000 | 538 | 5935k| 53.9 | 37M| 118 | - |4970 |3339 | 0 | 0 | 175 | 48k| 22k| 7.000000e+00 | -- | Inf
1589.30/1589.32 c 1589s|120000 | 667 | 6504k| 54.1 | 38M| 118 | - |4970 |3642 | 0 | 0 | 175 | 54k| 24k| 7.000000e+00 | -- | Inf
1725.51/1725.59 c 1726s|130000 | 657 | 7093k| 54.5 | 37M| 118 | - |4970 |2135 |4970 | 648 | 175 | 59k| 27k| 7.000000e+00 | -- | Inf
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Solving Time (sec) : 1800.01
1800.01/1800.01 c Solving Nodes : 137078
1800.01/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.01 c Dual Bound : +7.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.01 s UNKNOWN
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Total Time : 1800.01
1800.01/1800.01 c solving : 1800.01
1800.01/1800.01 c presolving : 0.26 (included in solving)
1800.01/1800.01 c reading : 0.07 (included in solving)
1800.01/1800.01 c Original Problem :
1800.01/1800.01 c Problem name : HOME/instance-3450248-1307114871.opb
1800.01/1800.01 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.01 c Constraints : 5494 initial, 5494 maximal
1800.01/1800.01 c Presolved Problem :
1800.01/1800.01 c Problem name : t_HOME/instance-3450248-1307114871.opb
1800.01/1800.01 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.01 c Constraints : 523 initial, 3728 maximal
1800.01/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c probing : 0.04 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c knapsack : 0.17 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c linear : 0.03 7 0 0 7 0 4971 0 0 0
1800.01/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c root node : - 0 - - 0 - - - - -
1800.01/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c integral : 0 0 0 77376 0 4 0 320 12491 0 0 140312
1800.01/1800.01 c knapsack : 448 6 386474 0 1 3 10367927 1516 6592052 1205 0 0
1800.01/1800.01 c setppc : 75 6 384958 0 1 2 2399598 4 1690913 0 0 0
1800.01/1800.01 c linear : 0+ 6 19 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c logicor : 0+ 6 163108 0 0 0 198395 3105 87544 0 0 0
1800.01/1800.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.01/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.01/1800.01 c integral : 310.40 0.00 0.00 310.40 0.00 0.00 0.00
1800.01/1800.01 c knapsack : 23.70 0.02 17.85 0.00 0.00 0.00 5.83
1800.01/1800.01 c setppc : 3.11 0.00 2.26 0.00 0.00 0.00 0.86
1800.01/1800.01 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c logicor : 5.75 0.00 4.94 0.00 0.00 0.00 0.81
1800.01/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.01/1800.01 c vbounds : 0 0 0 0
1800.01/1800.01 c rootredcost : 0 0 0 0
1800.01/1800.01 c pseudoobj : 0 0 0 0
1800.01/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.01/1800.01 c vbounds : 0.08 0.08 0.00
1800.01/1800.01 c rootredcost : 0.10 0.10 0.00
1800.01/1800.01 c pseudoobj : 0.05 0.05 0.00
1800.01/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.01 c propagation : 3.30 4625 4611 65944 204.1 52 161.0 -
1800.01/1800.01 c infeasible LP : 202.00 63378 20074 711109 354.4 162 194.9 0
1800.01/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.01 c applied globally : - - - 63631 243.5 - - -
1800.01/1800.01 c applied locally : - - - 2 787.0 - - -
1800.01/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.01 c cut pool : 0.00 5 - - 1213 - (maximal pool size: 1897)
1800.01/1800.01 c redcost : 5.31 77290 0 0 0 0
1800.01/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.01 c intobj : 0.00 0 0 0 0 0
1800.01/1800.01 c gomory : 0.03 6 0 0 87 0
1800.01/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.01/1800.01 c strongcg : 0.04 6 0 0 36 0
1800.01/1800.01 c cmir : 0.85 6 0 0 2251 0
1800.01/1800.01 c flowcover : 0.49 6 0 0 1201 0
1800.01/1800.01 c clique : 0.01 6 0 0 13 0
1800.01/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.01 c mcf : 0.00 1 0 0 0 0
1800.01/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.01/1800.01 c rapidlearning : 0.49 1 0 0 0 461
1800.01/1800.01 c Pricers : Time Calls Vars
1800.01/1800.01 c problem variables: 0.00 0 0
1800.01/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c relpscost : 310.32 77376 320 12491 0 0 140312
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 0
1800.01/1800.01 c pseudo solutions : 0.00 - 0
1800.01/1800.01 c oneopt : 0.06 0 0
1800.01/1800.01 c crossover : 0.05 0 0
1800.01/1800.01 c guideddiving : 0.01 0 0
1800.01/1800.01 c fracdiving : 2.24 27 0
1800.01/1800.01 c veclendiving : 2.16 27 0
1800.01/1800.01 c objpscostdiving : 0.81 14 0
1800.01/1800.01 c rootsoldiving : 1.49 14 0
1800.01/1800.01 c coefdiving : 6.35 28 0
1800.01/1800.01 c linesearchdiving : 2.76 28 0
1800.01/1800.01 c pscostdiving : 2.80 28 0
1800.01/1800.01 c feaspump : 2.39 14 0
1800.01/1800.01 c trivial : 0.00 2 0
1800.01/1800.01 c shiftandpropagate: 0.03 1 0
1800.01/1800.01 c simplerounding : 0.02 0 0
1800.01/1800.01 c zirounding : 1.82 0 0
1800.01/1800.01 c rounding : 0.33 3917 0
1800.01/1800.01 c shifting : 2.58 1173 0
1800.01/1800.01 c intshifting : 0.00 0 0
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c clique : 0.00 0 0
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.11 1 0
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c vbounds : 0.00 0 0
1800.01/1800.01 c undercover : 0.00 0 0
1800.01/1800.01 c subnlp : 0.03 0 0
1800.01/1800.01 c trysol : 0.03 0 0
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.01 c dual LP : 1167.41 140098 7344616 52.42 6291.37
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 16.59 5452 109207 20.03 6581.21
1800.01/1800.01 c strong branching : 307.76 27487 1750106 63.67 5686.53
1800.01/1800.01 c (at root node) : - 35 18762 536.06 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 137078
1800.01/1800.01 c nodes (total) : 137078
1800.01/1800.01 c nodes left : 667
1800.01/1800.01 c max depth : 118
1800.01/1800.01 c max depth (total): 118
1800.01/1800.01 c backtracks : 23857 (17.4%)
1800.01/1800.01 c delayed cutoffs : 2570
1800.01/1800.01 c repropagations : 94945 (882007 domain reductions, 829 cutoffs)
1800.01/1800.01 c avg switch length: 3.95
1800.01/1800.01 c switching time : 19.98
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 0 (0 improvements)
1800.01/1800.01 c Primal Bound : -
1800.01/1800.01 c Dual Bound : +7.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.01 c Root Dual Bound : +7.00000000000000e+00
1800.01/1800.01 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-3450248-1307114871/watcher-3450248-1307114871 -o /tmp/evaluation-result-3450248-1307114871/solver-3450248-1307114871 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450248-1307114871.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.99 2.04 2.01 2/498 12143
/proc/meminfo: memFree=29020768/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=14752 CPUtime=0 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 2665 0 0 0 0 0 0 0 25 0 1 0 823086761 15106048 2618 33554432000 4194304 9163163 140737172070624 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12143/statm: 3688 2618 395 1214 0 2470 0
[startup+0.0327529 s]
/proc/loadavg: 1.99 2.04 2.01 2/498 12143
/proc/meminfo: memFree=29020768/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=18272 CPUtime=0.02 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 3569 0 0 0 2 0 0 0 25 0 1 0 823086761 18710528 3522 33554432000 4194304 9163163 140737172070624 18446744073709551615 6165461 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12143/statm: 4568 3522 395 1214 0 3350 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18272
[startup+0.100745 s]
/proc/loadavg: 1.99 2.04 2.01 2/498 12143
/proc/meminfo: memFree=29020768/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=38184 CPUtime=0.09 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 8286 0 0 0 8 1 0 0 25 0 1 0 823086761 39100416 8238 33554432000 4194304 9163163 140737172070624 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12143/statm: 9546 8238 500 1214 0 8328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38184
[startup+0.300709 s]
/proc/loadavg: 1.99 2.04 2.01 2/498 12143
/proc/meminfo: memFree=29020768/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=47288 CPUtime=0.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 10978 0 0 0 28 1 0 0 25 0 1 0 823086761 48422912 10609 33554432000 4194304 9163163 140737172070624 18446744073709551615 6569720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12143/statm: 11822 10609 540 1214 0 10604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47288
[startup+0.700644 s]
/proc/loadavg: 1.99 2.04 2.01 2/498 12143
/proc/meminfo: memFree=29020768/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=61160 CPUtime=0.69 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 14842 0 0 0 66 3 0 0 25 0 1 0 823086761 62627840 14172 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12143/statm: 15290 14172 675 1214 0 14072 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61160
[startup+1.50051 s]
/proc/loadavg: 1.99 2.04 2.01 3/499 12144
/proc/meminfo: memFree=28965580/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=99632 CPUtime=1.49 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 24285 0 0 0 144 5 0 0 25 0 1 0 823086761 102023168 23615 33554432000 4194304 9163163 140737172070624 18446744073709551615 6555950 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12143/statm: 24908 23615 714 1214 0 23690 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99632
[startup+3.10026 s]
/proc/loadavg: 1.99 2.04 2.01 3/499 12144
/proc/meminfo: memFree=28927080/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=99052 CPUtime=3.09 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25224 0 0 0 303 6 0 0 25 0 1 0 823086761 101429248 23819 33554432000 4194304 9163163 140737172070624 18446744073709551615 8041849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12143/statm: 24763 23819 724 1214 0 23545 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99052
[startup+6.30072 s]
/proc/loadavg: 2.07 2.06 2.02 3/499 12144
/proc/meminfo: memFree=28924056/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=6.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25809 0 0 0 616 13 0 0 25 0 1 0 823086761 104058880 24404 33554432000 4194304 9163163 140737172070624 18446744073709551615 7399174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12143/statm: 25405 24404 733 1214 0 24187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101620
[startup+12.7006 s]
/proc/loadavg: 2.06 2.06 2.02 3/499 12144
/proc/meminfo: memFree=28923468/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=12.7 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25809 0 0 0 1244 26 0 0 25 0 1 0 823086761 104058880 24404 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12143/statm: 25405 24404 733 1214 0 24187 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 101620
[startup+25.5005 s]
/proc/loadavg: 2.05 2.06 2.02 3/499 12144
/proc/meminfo: memFree=28924132/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=25.49 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25809 0 0 0 2496 53 0 0 25 0 1 0 823086761 104058880 24404 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12143/statm: 25405 24404 733 1214 0 24187 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101620
[startup+51.1011 s]
/proc/loadavg: 2.03 2.05 2.01 3/499 12146
/proc/meminfo: memFree=28923904/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=51.08 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25810 0 0 0 5006 102 0 0 25 0 1 0 823086761 104058880 24405 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25405 24405 734 1214 0 24187 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101620
[startup+102.32 s]
/proc/loadavg: 2.01 2.04 2.01 3/499 12146
/proc/meminfo: memFree=28923840/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=102.3 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25814 0 0 0 10011 219 0 0 25 0 1 0 823086761 104058880 24409 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25405 24409 736 1214 0 24187 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 101620
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12148
/proc/meminfo: memFree=28922464/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=162.28 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25814 0 0 0 15878 350 0 0 25 0 1 0 823086761 104058880 24409 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25405 24409 736 1214 0 24187 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 101620
[startup+222.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 12150
/proc/meminfo: memFree=28922208/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=222.28 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25814 0 0 0 21751 477 0 0 25 0 1 0 823086761 104058880 24409 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25405 24409 736 1214 0 24187 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 101620
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 12152
/proc/meminfo: memFree=28921820/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=282.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25814 0 0 0 27617 612 0 0 25 0 1 0 823086761 104058880 24409 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25405 24409 736 1214 0 24187 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 101620
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 12154
/proc/meminfo: memFree=28918456/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=101620 CPUtime=342.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 25843 0 0 0 33480 749 0 0 25 0 1 0 823086761 104058880 24438 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25405 24438 736 1214 0 24187 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 101620
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12154
/proc/meminfo: memFree=28915348/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=100980 CPUtime=402.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 26514 0 0 0 39347 882 0 0 25 0 1 0 823086761 103403520 24377 33554432000 4194304 9163163 140737172070624 18446744073709551615 6500984 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25245 24377 736 1214 0 24027 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 100980
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12156
/proc/meminfo: memFree=28908144/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=103500 CPUtime=462.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 27001 0 0 0 45211 1018 0 0 25 0 1 0 823086761 105984000 24864 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25875 24864 736 1214 0 24657 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 103500
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 12158
/proc/meminfo: memFree=28907260/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=103724 CPUtime=522.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 28326 0 0 0 51078 1151 0 0 25 0 1 0 823086761 106213376 25066 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 25931 25066 736 1214 0 24713 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 103724
[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/499 12160
/proc/meminfo: memFree=28904392/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=105620 CPUtime=582.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 28779 0 0 0 56944 1285 0 0 25 0 1 0 823086761 108154880 25519 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 26405 25519 736 1214 0 25187 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 105620
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.16 2.07 2.01 3/499 12166
/proc/meminfo: memFree=28896412/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=109268 CPUtime=822.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 30399 0 0 0 80410 1819 0 0 25 0 1 0 823086761 111890432 26441 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27317 26441 736 1214 0 26099 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 109268
[startup+882.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/499 12168
/proc/meminfo: memFree=28894156/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=109268 CPUtime=882.3 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 30399 0 0 0 86278 1952 0 0 25 0 1 0 823086761 111890432 26441 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27317 26441 736 1214 0 26099 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 109268
[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 12170
/proc/meminfo: memFree=28891784/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=109904 CPUtime=942.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 30570 0 0 0 92141 2088 0 0 25 0 1 0 823086761 112541696 26612 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27476 26612 736 1214 0 26258 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 109904
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12170
/proc/meminfo: memFree=28889900/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=110084 CPUtime=1002.3 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 30596 0 0 0 98008 2222 0 0 25 0 1 0 823086761 112726016 26638 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27521 26638 736 1214 0 26303 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 110084
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12172
/proc/meminfo: memFree=28888892/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=110568 CPUtime=1062.29 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 30711 0 0 0 103873 2356 0 0 25 0 1 0 823086761 113221632 26753 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27642 26753 736 1214 0 26424 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 110568
[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/499 12174
/proc/meminfo: memFree=28886264/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=110568 CPUtime=1122.3 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 30751 0 0 0 109746 2484 0 0 25 0 1 0 823086761 113221632 26793 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27642 26793 736 1214 0 26424 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 110568
[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 12176
/proc/meminfo: memFree=28884268/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=111204 CPUtime=1182.3 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 30844 0 0 0 115613 2617 0 0 25 0 1 0 823086761 113872896 26886 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27801 26886 736 1214 0 26583 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 111204
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 12178
/proc/meminfo: memFree=28882900/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=111204 CPUtime=1242.3 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 30910 0 0 0 121473 2757 0 0 25 0 1 0 823086761 113872896 26952 33554432000 4194304 9163163 140737172070624 18446744073709551615 6499616 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27801 26952 736 1214 0 26583 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 111204
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 12178
/proc/meminfo: memFree=28881904/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=111448 CPUtime=1302.32 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 31651 0 0 0 127339 2893 0 0 25 0 1 0 823086761 114122752 26975 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 27862 26975 736 1214 0 26644 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 111448
[startup+1362.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/499 12180
/proc/meminfo: memFree=28882264/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=112700 CPUtime=1362.31 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 31851 0 0 0 133209 3022 0 0 25 0 1 0 823086761 115404800 27175 33554432000 4194304 9163163 140737172070624 18446744073709551615 5073636 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 28175 27175 736 1214 0 26957 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 112700
[startup+1422.32 s]
/proc/loadavg: 2.13 2.06 2.01 3/499 12182
/proc/meminfo: memFree=28880132/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=112628 CPUtime=1422.32 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 32574 0 0 0 139074 3158 0 0 25 0 1 0 823086761 115331072 27235 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 28157 27235 736 1214 0 26939 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 112628
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.00 4/499 12184
/proc/meminfo: memFree=28876396/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=113028 CPUtime=1482.31 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 33363 0 0 0 144936 3295 0 0 25 0 1 0 823086761 115740672 27373 33554432000 4194304 9163163 140737172070624 18446744073709551615 6499648 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 28257 27373 736 1214 0 27039 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 113028
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 12186
/proc/meminfo: memFree=28875264/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=114196 CPUtime=1542.3 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 33655 0 0 0 150800 3430 0 0 25 0 1 0 823086761 116936704 27665 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 28549 27665 736 1214 0 27331 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 114196
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 12186
/proc/meminfo: memFree=28873872/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=115504 CPUtime=1602.3 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 34754 0 0 0 156657 3573 0 0 25 0 1 0 823086761 118276096 28013 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 28876 28013 736 1214 0 27658 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 115504
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12188
/proc/meminfo: memFree=28874104/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=115784 CPUtime=1662.31 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 35955 0 0 0 162516 3715 0 0 25 0 1 0 823086761 118562816 27983 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 28946 27983 736 1214 0 27728 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 115784
[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 12190
/proc/meminfo: memFree=28872848/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=116300 CPUtime=1722.31 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 36152 0 0 0 168384 3847 0 0 25 0 1 0 823086761 119091200 28180 33554432000 4194304 9163163 140737172070624 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 29075 28180 736 1214 0 27857 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 116300
[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 12192
/proc/meminfo: memFree=28870848/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=116300 CPUtime=1782.31 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 36158 0 0 0 174257 3974 0 0 25 0 1 0 823086761 119091200 28186 33554432000 4194304 9163163 140737172070624 18446744073709551615 7379298 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12143/statm: 29075 28186 736 1214 0 27857 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 116300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.23 2.08 2.02 3/499 12273
/proc/meminfo: memFree=28790324/32951132 swapFree=57925096/67111528
[pid=12143] ppid=12141 vsize=114784 CPUtime=1800.02 cores=1,3,5,7
/proc/12143/stat : 12143 (scip-2.0.1.4b.l) R 12141 12143 10513 0 -1 4202496 36275 0 0 0 175988 4014 0 0 25 0 1 0 823086761 117538816 27829 33554432000 4194304 9163163 140737172070624 18446744073709551615 6923145 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12143/statm: 28696 27829 739 1214 0 27478 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 114784
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.02
CPU time (s): 1800.04
CPU user time (s): 1759.89
CPU system time (s): 40.1539
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 116344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.89
system time used= 40.1539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36275
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= 3
involuntary context switches= 3635
runsolver used 8.42572 second user time and 21.0698 second system time
The end