0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3741386-1338774460.opb>
0.08/0.11 c original problem has 21856 variables (21856 bin, 0 int, 0 impl, 0 cont) and 12129 constraints
0.08/0.11 c problem read
0.08/0.11 c presolving settings loaded
0.19/0.20 c presolving:
0.19/0.29 c (round 1) 4857 del vars, 2244 del conss, 0 add conss, 4845 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50472 impls, 6474 clqs
0.28/0.31 c (round 2) 5338 del vars, 2557 del conss, 0 add conss, 5227 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50782 impls, 6364 clqs
0.28/0.32 c (round 3) 5450 del vars, 2643 del conss, 0 add conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50792 impls, 6340 clqs
0.28/0.33 c (round 4) 5455 del vars, 2648 del conss, 0 add conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50792 impls, 6340 clqs
0.38/0.40 c (round 5) 5455 del vars, 2648 del conss, 0 add conss, 5319 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 50792 impls, 6340 clqs
2.38/2.41 c (round 6) 5510 del vars, 2648 del conss, 0 add conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 448617 impls, 6334 clqs
2.38/2.42 c (round 7) 5510 del vars, 2679 del conss, 0 add conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 448617 impls, 6334 clqs
3.79/3.83 c (3.8s) probing: 1000/16401 (6.1%) - 58 fixings, 0 aggregations, 149585 implications, 1 bound changes
4.59/4.61 c (round 8) 5562 del vars, 2679 del conss, 0 add conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 753723 impls, 6330 clqs
4.88/4.94 c (round 9) 5562 del vars, 2686 del conss, 0 add conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 753723 impls, 6330 clqs
6.28/6.34 c (6.3s) probing: 2000/16401 (12.2%) - 133 fixings, 1 aggregations, 346533 implications, 1 bound changes
7.08/7.14 c (round 10) 5612 del vars, 2686 del conss, 0 add conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1145105 impls, 6326 clqs
7.08/7.15 c (round 11) 5612 del vars, 2703 del conss, 0 add conss, 5320 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1145105 impls, 6326 clqs
8.38/8.49 c (8.5s) probing: 3000/16401 (18.3%) - 158 fixings, 1 aggregations, 474532 implications, 2 bound changes
10.28/10.31 c (10.3s) probing: 4000/16401 (24.4%) - 173 fixings, 1 aggregations, 542092 implications, 2 bound changes
11.98/12.02 c (12.0s) probing: 5000/16401 (30.5%) - 195 fixings, 1 aggregations, 592285 implications, 2 bound changes
12.38/12.42 c (round 12) 5662 del vars, 2703 del conss, 0 add conss, 5321 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1842612 impls, 6326 clqs
12.38/12.43 c (round 13) 5662 del vars, 2753 del conss, 0 add conss, 5321 chg bounds, 0 chg sides, 0 chg coeffs, 9481 upgd conss, 1842612 impls, 6326 clqs
13.57/13.65 c (13.6s) probing: 6000/16401 (36.6%) - 206 fixings, 1 aggregations, 624055 implications, 2 bound changes
15.18/15.27 c (15.3s) probing: 7000/16401 (42.7%) - 206 fixings, 1 aggregations, 662488 implications, 2 bound changes
15.58/15.68 c (15.7s) probing: 7240/16401 (44.1%) - 206 fixings, 1 aggregations, 673692 implications, 2 bound changes
15.58/15.68 c (15.7s) probing aborted: 2000/2000 successive useless probings
15.58/15.68 c presolving (14 rounds):
15.58/15.68 c 5662 deleted vars, 2753 deleted constraints, 0 added constraints, 5321 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.58/15.68 c 1990652 implications, 6326 cliques
15.58/15.68 c presolved problem has 16194 variables (16194 bin, 0 int, 0 impl, 0 cont) and 9376 constraints
15.58/15.68 c 9376 constraints of type <setppc>
15.58/15.68 c transformed objective value is always integral (scale: 1)
15.58/15.68 c Presolving Time: 15.52
15.58/15.68 c - non default parameters ----------------------------------------------------------------------
15.58/15.68 c # SCIP version 2.0.1.5
15.58/15.68 c
15.58/15.68 c # frequency for displaying node information lines
15.58/15.68 c # [type: int, range: [-1,2147483647], default: 100]
15.58/15.68 c display/freq = 10000
15.58/15.68 c
15.58/15.68 c # maximal time in seconds to run
15.58/15.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.58/15.68 c limits/time = 1797
15.58/15.68 c
15.58/15.68 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.58/15.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.58/15.68 c limits/memory = 13950
15.58/15.68 c
15.58/15.68 c # default clock type (1: CPU user seconds, 2: wall clock time)
15.58/15.68 c # [type: int, range: [1,2], default: 1]
15.58/15.68 c timing/clocktype = 2
15.58/15.68 c
15.58/15.68 c # belongs reading time to solving time?
15.58/15.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.58/15.68 c timing/reading = TRUE
15.58/15.68 c
15.58/15.68 c # should presolving try to simplify inequalities
15.58/15.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.58/15.68 c constraints/linear/simplifyinequalities = TRUE
15.58/15.68 c
15.58/15.68 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
15.58/15.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.58/15.68 c constraints/indicator/addCouplingCons = TRUE
15.58/15.68 c
15.58/15.68 c # should presolving try to simplify knapsacks
15.58/15.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.58/15.68 c constraints/knapsack/simplifyinequalities = TRUE
15.58/15.68 c
15.58/15.68 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.58/15.68 c # [type: int, range: [-1,2147483647], default: -1]
15.58/15.68 c separating/rapidlearning/freq = 0
15.58/15.68 c
15.58/15.68 c -----------------------------------------------------------------------------------------------
15.58/15.68 c start solving
15.58/15.68 c
78.57/78.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.57/78.65 c 78.6s| 1 | 0 | 61398 | - | 117M| 0 |1676 | 16k|9454 | 16k|9376 | 0 | 78 | 0 | 1.307212e+01 | -- | Inf
287.94/288.10 c 288s| 1 | 0 |322506 | - | 118M| 0 |1915 | 16k|9450 | 16k| 10k|1000 | 78 | 0 | 1.400141e+01 | -- | Inf
298.04/298.19 c 298s| 1 | 0 |331417 | - | 119M| 0 |2011 | 16k|9450 | 16k| 10k|1032 | 78 | 0 | 1.400146e+01 | -- | Inf
305.33/305.46 c 305s| 1 | 0 |337174 | - | 119M| 0 |2103 | 16k|9450 | 16k| 10k|1053 | 78 | 0 | 1.400146e+01 | -- | Inf
309.13/309.23 c 309s| 1 | 0 |339013 | - | 119M| 0 |2172 | 16k|9450 | 16k| 10k|1054 | 78 | 0 | 1.400146e+01 | -- | Inf
319.93/320.05 c 320s| 1 | 0 |348019 | - | 121M| 0 |2135 | 16k|9450 | 16k| 10k|1067 | 78 | 0 | 1.400176e+01 | -- | Inf
335.22/335.34 c 335s| 1 | 0 |359919 | - | 121M| 0 |2133 | 16k|9450 | 16k| 10k|1109 | 78 | 0 | 1.400196e+01 | -- | Inf
386.42/386.58 c 387s| 1 | 0 |363890 | - | 121M| 0 |2242 | 16k|9449 | 16k| 10k|1109 | 78 | 33 | 1.400196e+01 | -- | Inf
394.91/395.07 c 395s| 1 | 0 |370861 | - | 121M| 0 |2217 | 16k|9449 | 16k| 10k|1124 | 78 | 33 | 1.400199e+01 | -- | Inf
429.92/430.08 c 430s| 1 | 0 |386198 | - | 120M| 0 |1720 | 16k|9440 | 16k| 10k|1124 | 78 | 49 | 1.400219e+01 | -- | Inf
441.21/441.30 c 441s| 1 | 0 |395626 | - | 120M| 0 |1747 | 16k|9440 | 16k| 10k|1130 | 78 | 49 | 1.400219e+01 | -- | Inf
473.10/473.29 c 473s| 1 | 0 |407494 | - | 120M| 0 |1881 | 16k|9439 | 16k| 10k|1130 | 78 | 68 | 1.500000e+01 | -- | Inf
491.51/491.61 c 492s| 1 | 0 |421241 | - | 120M| 0 |1957 | 16k|9439 | 16k|9686 |1143 | 78 | 68 | 1.500000e+01 | -- | Inf
512.51/512.69 c 513s| 1 | 2 |421241 | - | 120M| 0 |1957 | 16k|9439 | 16k|9686 |1143 | 78 | 87 | 1.500000e+01 | -- | Inf
1796.70/1797.02 c
1796.70/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.02 c Solving Time (sec) : 1797.01
1796.70/1797.02 c Solving Nodes : 42
1796.70/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.02 c Dual Bound : +1.50000000000000e+01
1796.70/1797.02 c Gap : infinite
1796.70/1797.02 s UNKNOWN
1796.70/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.02 c Total Time : 1797.01
1796.70/1797.02 c solving : 1797.01
1796.70/1797.02 c presolving : 15.52 (included in solving)
1796.70/1797.02 c reading : 0.11 (included in solving)
1796.70/1797.02 c Original Problem :
1796.70/1797.02 c Problem name : HOME/instance-3741386-1338774460.opb
1796.70/1797.02 c Variables : 21856 (21856 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02 c Constraints : 12129 initial, 12129 maximal
1796.70/1797.02 c Presolved Problem :
1796.70/1797.02 c Problem name : t_HOME/instance-3741386-1338774460.opb
1796.70/1797.02 c Variables : 16194 (16194 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02 c Constraints : 9376 initial, 9454 maximal
1796.70/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.02 c trivial : 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c dualfix : 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c implics : 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c probing : 15.12 206 1 0 2 0 0 0 0 0
1796.70/1797.02 c setppc : 0.12 0 0 0 0 0 105 0 0 0
1796.70/1797.02 c linear : 0.16 5319 136 0 5319 0 2648 0 0 0
1796.70/1797.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c root node : - 19 - - 19 - - - - -
1796.70/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.70/1797.02 c integral : 0 0 0 46 0 4 0 0 8 0 0 84
1796.70/1797.02 c setppc : 9376 9 36542 0 0 3 1101 58 1599 0 0 0
1796.70/1797.02 c logicor : 0+ 9 31 0 0 0 7 7 2 1 0 0
1796.70/1797.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.70/1797.02 c integral : 569.80 0.00 0.00 569.80 0.00 0.00 0.00
1796.70/1797.02 c setppc : 5.83 0.01 5.83 0.00 0.00 0.00 0.00
1796.70/1797.02 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.70/1797.02 c vbounds : 0 0 0 0
1796.70/1797.02 c rootredcost : 0 0 0 0
1796.70/1797.02 c pseudoobj : 2817 0 0 0
1796.70/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1796.70/1797.02 c vbounds : 0.03 0.03 0.00
1796.70/1797.02 c rootredcost : 0.02 0.02 0.00
1796.70/1797.02 c pseudoobj : 0.03 0.03 0.00
1796.70/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.02 c propagation : 0.00 16 16 82 18.9 12 9.0 -
1796.70/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.02 c applied globally : - - - 79 16.7 - - -
1796.70/1797.02 c applied locally : - - - 0 0.0 - - -
1796.70/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.70/1797.02 c cut pool : 0.00 8 - - 38 - (maximal pool size: 1394)
1796.70/1797.02 c redcost : 0.03 52 0 1 0 0
1796.70/1797.02 c impliedbounds : 0.04 9 0 0 1928 0
1796.70/1797.02 c intobj : 0.00 0 0 0 0 0
1796.70/1797.02 c gomory : 5.44 9 0 0 263 0
1796.70/1797.02 c cgmip : 0.00 0 0 0 0 0
1796.70/1797.02 c closecuts : 0.00 0 0 0 0 0
1796.70/1797.02 c strongcg : 5.69 9 0 0 559 0
1796.70/1797.02 c cmir : 0.76 9 0 0 0 0
1796.70/1797.02 c flowcover : 0.73 9 0 0 0 0
1796.70/1797.02 c clique : 5.76 9 0 0 69 0
1796.70/1797.02 c zerohalf : 0.00 0 0 0 0 0
1796.70/1797.02 c mcf : 0.01 1 0 0 0 0
1796.70/1797.02 c oddcycle : 0.00 0 0 0 0 0
1796.70/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1796.70/1797.02 c Pricers : Time Calls Vars
1796.70/1797.02 c problem variables: 0.00 0 0
1796.70/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.02 c relpscost : 569.80 46 0 8 0 0 84
1796.70/1797.02 c pscost : 0.00 0 0 0 0 0 0
1796.70/1797.02 c inference : 0.00 0 0 0 0 0 0
1796.70/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1796.70/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1796.70/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.02 c random : 0.00 0 0 0 0 0 0
1796.70/1797.02 c Primal Heuristics : Time Calls Found
1796.70/1797.02 c LP solutions : 0.00 - 0
1796.70/1797.02 c pseudo solutions : 0.00 - 0
1796.70/1797.02 c oneopt : 0.00 0 0
1796.70/1797.02 c crossover : 0.00 0 0
1796.70/1797.02 c guideddiving : 0.00 0 0
1796.70/1797.02 c coefdiving : 43.17 1 0
1796.70/1797.02 c pscostdiving : 27.07 1 0
1796.70/1797.02 c fracdiving : 33.06 1 0
1796.70/1797.02 c veclendiving : 339.27 1 0
1796.70/1797.02 c objpscostdiving : 0.82 1 0
1796.70/1797.02 c trivial : 0.02 2 0
1796.70/1797.02 c shiftandpropagate: 0.10 1 0
1796.70/1797.02 c simplerounding : 0.00 0 0
1796.70/1797.02 c zirounding : 0.03 0 0
1796.70/1797.02 c rounding : 0.09 55 0
1796.70/1797.02 c shifting : 0.10 18 0
1796.70/1797.02 c intshifting : 0.00 0 0
1796.70/1797.02 c twoopt : 0.00 0 0
1796.70/1797.02 c fixandinfer : 0.00 0 0
1796.70/1797.02 c feaspump : 190.77 1 0
1796.70/1797.02 c clique : 0.00 0 0
1796.70/1797.02 c intdiving : 0.00 0 0
1796.70/1797.02 c actconsdiving : 0.00 0 0
1796.70/1797.02 c rootsoldiving : 65.94 1 0
1796.70/1797.02 c linesearchdiving : 41.68 1 0
1796.70/1797.02 c octane : 0.00 0 0
1796.70/1797.02 c rens : 10.60 1 0
1796.70/1797.02 c rins : 0.00 0 0
1796.70/1797.02 c localbranching : 0.00 0 0
1796.70/1797.02 c mutation : 0.00 0 0
1796.70/1797.02 c dins : 0.00 0 0
1796.70/1797.02 c vbounds : 0.00 0 0
1796.70/1797.02 c undercover : 0.00 0 0
1796.70/1797.02 c subnlp : 0.00 0 0
1796.70/1797.02 c trysol : 0.00 0 0
1796.70/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1796.70/1797.02 c primal LP : 0.02 0 0 0.00 0.00
1796.70/1797.02 c dual LP : 440.04 55 406844 7397.16 924.57
1796.70/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.02 c barrier LP : 0.00 0 0 0.00 -
1796.70/1797.02 c diving/probing LP: 736.68 1318 754621 572.55 1024.36
1796.70/1797.02 c strong branching : 569.73 563 515965 916.46 905.63
1796.70/1797.02 c (at root node) : - 87 82409 947.23 -
1796.70/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.02 c B&B Tree :
1796.70/1797.02 c number of runs : 1
1796.70/1797.02 c nodes : 42
1796.70/1797.02 c nodes (total) : 42
1796.70/1797.02 c nodes left : 43
1796.70/1797.02 c max depth : 25
1796.70/1797.02 c max depth (total): 25
1796.70/1797.02 c backtracks : 6 (14.3%)
1796.70/1797.02 c delayed cutoffs : 0
1796.70/1797.02 c repropagations : 17 (1 domain reductions, 0 cutoffs)
1796.70/1797.02 c avg switch length: 2.19
1796.70/1797.02 c switching time : 0.03
1796.70/1797.02 c Solution :
1796.70/1797.02 c Solutions found : 0 (0 improvements)
1796.70/1797.02 c Primal Bound : -
1796.70/1797.02 c Dual Bound : +1.50000000000000e+01
1796.70/1797.02 c Gap : infinite
1796.70/1797.02 c Root Dual Bound : +1.50000000000000e+01
1796.70/1797.02 c Root Iterations : 421241
1796.80/1797.11 c Time complete: 1796.82.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3741386-1338774460/watcher-3741386-1338774460 -o /tmp/evaluation-result-3741386-1338774460/solver-3741386-1338774460 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741386-1338774460.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: 2.00 2.00 1.85 2/173 14937
/proc/meminfo: memFree=31253488/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 1737 0 0 0 0 0 0 0 20 0 1 0 343573028 11214848 1691 33554432000 4194304 9016284 140734980175584 140735609707816 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 2738 1703 340 1178 0 1556 0
[startup+0.0139341 s]
/proc/loadavg: 2.00 2.00 1.85 2/173 14937
/proc/meminfo: memFree=31253488/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=15860 CPUtime=0 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 2942 0 0 0 0 0 0 0 20 0 1 0 343573028 16240640 2896 33554432000 4194304 9016284 140734980175584 140735609707816 4530476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 3965 2896 360 1178 0 2783 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15860
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 1.85 2/173 14937
/proc/meminfo: memFree=31253488/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=34800 CPUtime=0.08 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 7676 0 0 0 8 0 0 0 20 0 1 0 343573028 35635200 7630 33554432000 4194304 9016284 140734980175584 140735609707816 6813403 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 8700 7630 360 1178 0 7518 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34800
[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 1.85 2/173 14937
/proc/meminfo: memFree=31253488/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=80516 CPUtime=0.28 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 18745 0 0 0 26 2 0 0 20 0 1 0 343573028 82448384 19162 33554432000 4194304 9016284 140734980175584 140734980172872 18446744073699066235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 20129 19162 491 1178 0 18947 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 80516
[startup+0.700255 s]
/proc/loadavg: 2.00 2.00 1.85 2/173 14937
/proc/meminfo: memFree=31253488/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=102940 CPUtime=0.68 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 24431 0 0 0 65 3 0 0 20 0 1 0 343573028 105410560 24369 33554432000 4194304 9016284 140734980175584 140734980171256 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 25735 24369 514 1178 0 24553 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 102940
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30966700/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=113580 CPUtime=1.48 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 26729 0 0 0 145 3 0 0 20 0 1 0 343573028 116305920 26667 33554432000 4194304 9016284 140734980175584 140734980171336 6480206 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 28395 26667 514 1178 0 27213 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 113580
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30963320/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=125716 CPUtime=3.08 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 29680 0 0 0 305 3 0 0 20 0 1 0 343573028 128733184 29618 33554432000 4194304 9016284 140734980175584 140734980170968 4222927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 31429 29618 515 1178 0 30247 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 125716
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30941992/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=145356 CPUtime=6.28 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 34452 0 0 0 624 4 0 0 20 0 1 0 343573028 148844544 34390 33554432000 4194304 9016284 140734980175584 140734980171176 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 36339 34390 519 1178 0 35157 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 145356
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30908072/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=175492 CPUtime=12.67 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 42024 0 0 0 1262 5 0 0 20 0 1 0 343573028 179703808 41964 33554432000 4194304 9016284 140734980175584 140734980170968 4347916 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 43873 41964 520 1178 0 42691 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 175492
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 14948
/proc/meminfo: memFree=30874244/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=209412 CPUtime=25.48 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 50440 0 0 0 2540 8 0 0 20 0 1 0 343573028 214437888 50059 33554432000 4194304 9016284 140734980175584 140734980169816 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 52353 50059 638 1178 0 51171 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 209412
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 14948
/proc/meminfo: memFree=30860200/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=210200 CPUtime=51.07 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 50677 0 0 0 5096 11 0 0 20 0 1 0 343573028 215244800 50296 33554432000 4194304 9016284 140734980175584 140734980169864 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 52550 50296 638 1178 0 51368 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 210200
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.87 3/177 14948
/proc/meminfo: memFree=30831352/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=210200 CPUtime=102.27 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 51160 0 0 0 10207 20 0 0 20 0 1 0 343573028 215244800 50779 33554432000 4194304 9016284 140734980175584 140734980167368 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 52550 50779 650 1178 0 51368 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 210200
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.87 3/178 14951
/proc/meminfo: memFree=30761432/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=210200 CPUtime=162.26 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 51162 0 0 0 16191 35 0 0 20 0 1 0 343573028 215244800 50781 33554432000 4194304 9016284 140734980175584 140734980167464 7178314 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 52550 50781 650 1178 0 51368 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 210200
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 14951
/proc/meminfo: memFree=30685708/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=210200 CPUtime=222.25 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 51162 0 0 0 22180 45 0 0 20 0 1 0 343573028 215244800 51856 33554432000 4194304 9016284 140734980175584 140734980167368 7178817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 52550 51856 650 1178 0 51368 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 210200
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 14952
/proc/meminfo: memFree=30674516/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=222024 CPUtime=282.23 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 53348 0 0 0 28171 52 0 0 20 0 1 0 343573028 227352576 54645 33554432000 4194304 9016284 140734980175584 140734980169864 7180672 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 55506 54645 679 1178 0 54324 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 222024
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 14952
/proc/meminfo: memFree=30604456/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=293216 CPUtime=342.23 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 70792 0 0 0 34155 68 0 0 20 0 1 0 343573028 300253184 72073 33554432000 4194304 9016284 140734980175584 140734980165832 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 73304 72073 689 1178 0 72122 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 293216
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.90 3/177 14952
/proc/meminfo: memFree=30657916/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=237588 CPUtime=402.22 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 71380 0 0 0 40143 79 0 0 20 0 1 0 343573028 243290112 58350 33554432000 4194304 9016284 140734980175584 140734980169336 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59397 58350 698 1178 0 58215 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 237588
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 14952
/proc/meminfo: memFree=30656868/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=237588 CPUtime=462.21 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 71413 0 0 0 46135 86 0 0 20 0 1 0 343573028 243290112 58383 33554432000 4194304 9016284 140734980175584 140734980169544 7158223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59397 58383 698 1178 0 58215 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 237588
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14952
/proc/meminfo: memFree=30656744/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=237588 CPUtime=522.19 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 71415 0 0 0 52125 94 0 0 20 0 1 0 343573028 243290112 58385 33554432000 4194304 9016284 140734980175584 140734980169432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59397 58385 698 1178 0 58215 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 237588
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 14953
/proc/meminfo: memFree=30656728/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=237588 CPUtime=582.19 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 71420 0 0 0 58118 101 0 0 20 0 1 0 343573028 243290112 58404 33554432000 4194304 9016284 140734980175584 140734980169432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59397 58404 698 1178 0 58215 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 237588
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30654112/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1062.11 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 106050 161 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169640 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 239884
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14980
/proc/meminfo: memFree=30654236/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1122.11 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 112042 169 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169544 7158160 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 239884
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 14981
/proc/meminfo: memFree=30654112/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1182.09 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 118032 177 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 239884
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14981
/proc/meminfo: memFree=30653864/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1242.08 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 124023 185 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169208 7158192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 239884
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 15019
/proc/meminfo: memFree=30803224/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1302.08 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 130016 192 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169624 7160031 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 239884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15022
/proc/meminfo: memFree=30800440/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1362.07 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 136006 201 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169208 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 239884
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15022
/proc/meminfo: memFree=30798244/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1422.06 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 141996 210 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 239884
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15023
/proc/meminfo: memFree=30795780/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1482.05 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 147985 220 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169128 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 239884
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15023
/proc/meminfo: memFree=30795780/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1542.04 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72987 0 0 0 153977 227 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169544 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 239884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15023
/proc/meminfo: memFree=30795840/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1602.03 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72988 0 0 0 159967 236 0 0 20 0 1 0 343573028 245641216 59140 33554432000 4194304 9016284 140734980175584 140734980169864 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59140 698 1178 0 58789 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 239884
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15023
/proc/meminfo: memFree=30795716/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=239884 CPUtime=1662.03 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 72990 0 0 0 165958 245 0 0 20 0 1 0 343573028 245641216 59142 33554432000 4194304 9016284 140734980175584 140734980169240 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59971 59142 698 1178 0 58789 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 239884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15023
/proc/meminfo: memFree=30794472/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=240872 CPUtime=1722.01 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 73235 0 0 0 171946 255 0 0 20 0 1 0 343573028 246652928 59387 33554432000 4194304 9016284 140734980175584 140734980169448 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 60218 59387 698 1178 0 59036 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 240872
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15024
/proc/meminfo: memFree=30798068/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=237708 CPUtime=1782 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 73479 0 0 0 177935 265 0 0 20 0 1 0 343573028 243412992 58550 33554432000 4194304 9016284 140734980175584 140734980169528 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59427 58550 698 1178 0 58245 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 237708
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15024
/proc/meminfo: memFree=30798068/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=237708 CPUtime=1785.2 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 73479 0 0 0 178255 265 0 0 20 0 1 0 343573028 243412992 58550 33554432000 4194304 9016284 140734980175584 140734980169224 7158112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59427 58550 698 1178 0 58245 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 237708
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15024
/proc/meminfo: memFree=30797200/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=238436 CPUtime=1791.61 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 73706 0 0 0 178894 267 0 0 20 0 1 0 343573028 244158464 58777 33554432000 4194304 9016284 140734980175584 140734980169224 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59609 58777 698 1178 0 58427 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 238436
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15024
/proc/meminfo: memFree=30797200/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=238436 CPUtime=1794.81 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 73706 0 0 0 179214 267 0 0 20 0 1 0 343573028 244158464 58777 33554432000 4194304 9016284 140734980175584 140734980169320 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59609 58777 698 1178 0 58427 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 238436
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15024
/proc/meminfo: memFree=30797200/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=238436 CPUtime=1795.6 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 73706 0 0 0 179293 267 0 0 20 0 1 0 343573028 244158464 58777 33554432000 4194304 9016284 140734980175584 140734980169528 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59609 58777 698 1178 0 58427 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 238436
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15024
/proc/meminfo: memFree=30797200/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=238436 CPUtime=1796.4 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 73706 0 0 0 179373 267 0 0 20 0 1 0 343573028 244158464 58777 33554432000 4194304 9016284 140734980175584 140734980169224 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 59609 58777 698 1178 0 58427 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 238436
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 15024
/proc/meminfo: memFree=30797200/32873844 swapFree=7116/7116
[pid=14937] ppid=14935 vsize=206172 CPUtime=1796.8 cores=0,2,4,6
/proc/14937/stat : 14937 (scip-2.0.1.4b_2) R 14935 14937 14772 0 -1 4202496 73707 0 0 0 179413 267 0 0 20 0 1 0 343573028 211120128 50984 33554432000 4194304 9016284 140734980175584 140734980169224 4329622 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14937/statm: 51543 50984 699 1178 0 50361 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 206172
Child status: 0
Real time (s): 1797.11
CPU time (s): 1796.82
CPU user time (s): 1794.14
CPU system time (s): 2.68359
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 293592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.14
system time used= 2.68359
maximum resident set size= 288444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73712
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= 33
involuntary context switches= 1849
runsolver used 2.73358 second user time and 7.07292 second system time
The end