0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692970-1338041247.opb>
0.39/0.47 c original problem has 7903 variables (7903 bin, 0 int, 0 impl, 0 cont) and 176726 constraints
0.39/0.47 c problem read in 0.47
0.88/0.95 c presolving:
1.28/1.38 c (round 1) 172 del vars, 2892 del conss, 0 add conss, 172 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 86900 impls, 286 clqs
1.39/1.42 c (round 2) 172 del vars, 4812 del conss, 0 add conss, 172 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 86900 impls, 286 clqs
2.19/2.26 c (round 3) 172 del vars, 4857 del conss, 0 add conss, 172 chg bounds, 7 chg sides, 0 chg coeffs, 171928 upgd conss, 86900 impls, 286 clqs
2.49/2.53 c (round 4) 172 del vars, 4879 del conss, 0 add conss, 172 chg bounds, 7 chg sides, 0 chg coeffs, 171928 upgd conss, 86900 impls, 286 clqs
3.09/3.11 c (round 5) 197 del vars, 4879 del conss, 0 add conss, 172 chg bounds, 7 chg sides, 0 chg coeffs, 171928 upgd conss, 87392 impls, 286 clqs
3.19/3.29 c (round 6) 197 del vars, 4904 del conss, 0 add conss, 172 chg bounds, 7 chg sides, 10 chg coeffs, 171930 upgd conss, 87392 impls, 286 clqs
3.40/3.40 c (round 7) 197 del vars, 4950 del conss, 0 add conss, 172 chg bounds, 7 chg sides, 10 chg coeffs, 171930 upgd conss, 87392 impls, 286 clqs
4.68/4.74 c (4.7s) probing: 244/7731 (3.2%) - 0 fixings, 41 aggregations, 15839 implications, 0 bound changes
4.68/4.74 c (4.7s) probing aborted: 50/50 successive totally useless probings
4.68/4.74 c (round 8) 213 del vars, 4950 del conss, 0 add conss, 172 chg bounds, 7 chg sides, 10 chg coeffs, 171930 upgd conss, 118578 impls, 286 clqs
4.89/4.97 c (5.0s) probing: 249/7731 (3.2%) - 0 fixings, 41 aggregations, 15839 implications, 0 bound changes
4.89/4.97 c (5.0s) probing aborted: 50/50 successive totally useless probings
5.29/5.33 c presolving (9 rounds):
5.29/5.33 c 213 deleted vars, 4966 deleted constraints, 0 added constraints, 172 tightened bounds, 0 added holes, 7 changed sides, 10 changed coefficients
5.29/5.33 c 118578 implications, 286 cliques
5.29/5.33 c presolved problem has 7690 variables (7690 bin, 0 int, 0 impl, 0 cont) and 171760 constraints
5.29/5.33 c 17621 constraints of type <knapsack>
5.29/5.33 c 35913 constraints of type <setppc>
5.29/5.33 c 1 constraints of type <linear>
5.29/5.33 c 118225 constraints of type <logicor>
5.29/5.33 c transformed objective value is always integral (scale: 1)
5.29/5.33 c Presolving Time: 4.72
5.29/5.33 c - non default parameters ----------------------------------------------------------------------
5.29/5.33 c # SCIP version 2.1.1.4
5.29/5.33 c
5.29/5.33 c # maximal time in seconds to run
5.29/5.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.33 c limits/time = 1797
5.29/5.33 c
5.29/5.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.29/5.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.33 c limits/memory = 13950
5.29/5.33 c
5.29/5.33 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.29/5.33 c # [type: int, range: [1,2], default: 1]
5.29/5.33 c timing/clocktype = 2
5.29/5.33 c
5.29/5.33 c # belongs reading time to solving time?
5.29/5.33 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.33 c timing/reading = TRUE
5.29/5.33 c
5.29/5.33 c -----------------------------------------------------------------------------------------------
5.29/5.33 c start solving
5.29/5.33 c
7.69/7.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.69/7.75 c 7.7s| 1 | 0 | 1609 | - | 269M| 0 | 439 |7690 | 171k|7690 | 171k| 0 | 31 | 0 | 0.000000e+00 | -- | Inf
56.68/56.74 c 56.7s| 1 | 0 | 12464 | - | 274M| 0 | 762 |7690 | 171k|7690 | 171k| 8 | 31 | 0 | 0.000000e+00 | -- | Inf
72.88/72.95 c 72.9s| 1 | 0 | 13813 | - | 274M| 0 |1815 |7690 | 171k|7690 | 171k| 23 | 31 | 0 | 0.000000e+00 | -- | Inf
88.78/88.88 c 88.9s| 1 | 0 | 14270 | - | 274M| 0 |1987 |7690 | 171k|7690 | 171k| 39 | 31 | 0 | 0.000000e+00 | -- | Inf
105.97/106.01 c 106s| 1 | 0 | 15243 | - | 275M| 0 |2267 |7690 | 171k|7690 | 171k| 59 | 31 | 0 | 0.000000e+00 | -- | Inf
124.87/124.98 c 125s| 1 | 0 | 16159 | - | 276M| 0 |2580 |7690 | 171k|7690 | 171k| 82 | 31 | 0 | 0.000000e+00 | -- | Inf
146.17/146.25 c 146s| 1 | 0 | 17710 | - | 276M| 0 |2589 |7690 | 171k|7690 | 171k| 116 | 31 | 0 | 0.000000e+00 | -- | Inf
149.86/149.99 c 150s| 1 | 0 | 17715 | - | 276M| 0 |2584 |7690 | 171k|7690 | 171k| 116 | 31 | 6 | 0.000000e+00 | -- | Inf
172.47/172.52 c 173s| 1 | 0 | 19199 | - | 278M| 0 |2157 |7690 | 171k|7690 | 171k| 135 | 31 | 6 | 0.000000e+00 | -- | Inf
215.36/215.42 c 215s| 1 | 2 | 19199 | - | 278M| 0 |2157 |7690 | 171k|7690 | 171k| 135 | 31 | 23 | 0.000000e+00 | -- | Inf
1163.40/1163.66 c 1164s| 100 | 97 |131744 |1136.8 | 285M| 93 |1016 |7690 | 171k|7690 | 171k| 135 | 78 | 205 | 0.000000e+00 | -- | Inf
1298.08/1298.32 c 1298s| 200 | 37 |160234 | 708.7 | 282M| 112 |2650 |7690 | 171k|7690 | 171k| 135 | 169 | 253 | 0.000000e+00 | -- | Inf
1441.56/1441.89 c 1442s| 300 | 121 |195008 | 588.0 | 286M| 112 | - |7690 | 171k| 0 | 0 | 135 | 182 | 269 | 0.000000e+00 | -- | Inf
1486.25/1486.54 c 1487s| 400 | 63 |199246 | 451.2 | 284M| 142 |2213 |7690 | 171k|7690 | 171k| 135 | 276 | 299 | 0.000000e+00 | -- | Inf
1525.25/1525.58 c 1526s| 500 | 77 |205944 | 374.2 | 285M| 142 |1617 |7690 | 171k|7690 | 171k| 135 | 420 | 299 | 0.000000e+00 | -- | Inf
1567.04/1567.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.04/1567.37 c 1567s| 600 | 72 |211532 | 321.1 | 284M| 142 |1582 |7690 | 172k|7690 | 171k| 135 | 684 | 347 | 0.000000e+00 | -- | Inf
1601.63/1601.96 c 1602s| 700 | 70 |217239 | 283.3 | 284M| 142 |1542 |7690 | 172k|7690 | 171k| 135 | 829 | 363 | 0.000000e+00 | -- | Inf
1635.93/1636.26 c 1636s| 800 | 67 |221667 | 253.4 | 284M| 142 |1607 |7690 | 172k|7690 | 171k| 135 | 996 | 379 | 0.000000e+00 | -- | Inf
1740.61/1740.91 c 1741s| 900 | 89 |245190 | 251.4 | 286M| 142 |1624 |7690 | 172k|7690 | 171k| 135 |1128 | 421 | 0.000000e+00 | -- | Inf
1796.81/1797.10 c
1796.81/1797.10 c SCIP Status : solving was interrupted [time limit reached]
1796.81/1797.10 c Solving Time (sec) : 1797.09
1796.81/1797.10 c Solving Nodes : 924
1796.81/1797.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.81/1797.10 c Dual Bound : +0.00000000000000e+00
1796.81/1797.10 c Gap : infinite
1796.81/1797.10 s UNKNOWN
1796.81/1797.10 c SCIP Status : solving was interrupted [time limit reached]
1796.81/1797.10 c Total Time : 1797.09
1796.81/1797.10 c solving : 1797.09
1796.81/1797.10 c presolving : 4.72 (included in solving)
1796.81/1797.10 c reading : 0.47 (included in solving)
1796.81/1797.10 c copying : 0.28 (1 #copies) (minimal 0.28, maximal 0.28, average 0.28)
1796.81/1797.10 c Original Problem :
1796.81/1797.10 c Problem name : HOME/instance-3692970-1338041247.opb
1796.81/1797.10 c Variables : 7903 (7903 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.81/1797.10 c Constraints : 176726 initial, 176726 maximal
1796.81/1797.10 c Objective sense : minimize
1796.81/1797.10 c Presolved Problem :
1796.81/1797.10 c Problem name : t_HOME/instance-3692970-1338041247.opb
1796.81/1797.10 c Variables : 7690 (7690 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.81/1797.10 c Constraints : 171760 initial, 172470 maximal
1796.81/1797.10 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.81/1797.10 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c gateextraction : 0.10 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c components : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c probing : 1.56 0.00 0 41 0 0 0 0 0 0 0
1796.81/1797.10 c knapsack : 0.11 0.00 0 0 0 0 0 0 0 0 10
1796.81/1797.10 c setppc : 0.13 0.00 0 0 0 0 0 109 0 0 0
1796.81/1797.10 c linear : 0.96 0.00 172 0 0 172 0 4819 0 7 0
1796.81/1797.10 c logicor : 1.04 0.28 0 0 0 0 0 38 0 0 0
1796.81/1797.10 c root node : - - 13 - - 13 - - - - -
1796.81/1797.10 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.81/1797.10 c integral : 0 0 0 0 695 0 4 0 2 48 0 0 1360
1796.81/1797.10 c knapsack : 17621 17621 7 8537 0 0 3 1836 49 1860 102 0 0
1796.81/1797.10 c setppc : 35913 35913 7 8488 0 0 2 15059 67 15528 0 0 0
1796.81/1797.10 c linear : 1 1 7 7274 0 0 0 14 3 0 0 0 0
1796.81/1797.10 c logicor : 118225+ 118989 7 5692 0 0 0 6685 242 10538 0 0 0
1796.81/1797.10 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.81/1797.10 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.81/1797.10 c integral : 704.20 0.00 0.00 0.00 704.20 0.00 0.00 0.00
1796.81/1797.10 c knapsack : 3.66 0.00 0.11 3.54 0.00 0.00 0.01 0.00
1796.81/1797.10 c setppc : 3.26 0.00 0.01 3.23 0.00 0.00 0.00 0.01
1796.81/1797.10 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.81/1797.10 c logicor : 1.01 0.28 0.07 0.65 0.00 0.00 0.00 0.01
1796.81/1797.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.81/1797.10 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.81/1797.10 c rootredcost : 0 0 0 0
1796.81/1797.10 c pseudoobj : 0 0 0 0
1796.81/1797.10 c vbounds : 0 0 0 0
1796.81/1797.10 c redcost : 702 0 0 0
1796.81/1797.10 c probing : 0 0 0 0
1796.81/1797.10 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.81/1797.10 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.81/1797.10 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1796.81/1797.10 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.81/1797.10 c redcost : 0.07 0.00 0.00 0.07 0.00
1796.81/1797.10 c probing : 1.56 0.00 1.56 0.00 0.00
1796.81/1797.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.81/1797.10 c propagation : 0.04 361 361 3041 38.9 147 20.5 -
1796.81/1797.10 c infeasible LP : 0.12 35 35 263 33.3 17 14.6 0
1796.81/1797.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.81/1797.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.81/1797.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.81/1797.10 c applied globally : - - - 1161 21.9 - - -
1796.81/1797.10 c applied locally : - - - 0 0.0 - - -
1796.81/1797.10 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.81/1797.10 c cut pool : 0.00 6 - - 95 - (maximal pool size: 863)
1796.81/1797.10 c closecuts : 0.00 0.00 0 0 0 0 0
1796.81/1797.10 c impliedbounds : 0.01 0.00 7 0 0 0 0
1796.81/1797.10 c intobj : 0.00 0.00 0 0 0 0 0
1796.81/1797.10 c gomory : 1.29 0.00 7 0 0 350 0
1796.81/1797.10 c cgmip : 0.00 0.00 0 0 0 0 0
1796.81/1797.10 c strongcg : 8.05 0.00 7 0 0 3500 0
1796.81/1797.10 c cmir : 10.47 0.00 7 0 0 0 0
1796.81/1797.10 c flowcover : 90.48 0.00 7 0 0 61 0
1796.81/1797.10 c clique : 0.40 0.00 7 0 0 51 0
1796.81/1797.10 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.81/1797.10 c mcf : 0.26 0.00 1 0 0 0 0
1796.81/1797.10 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.81/1797.10 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.81/1797.10 c Pricers : ExecTime SetupTime Calls Vars
1796.81/1797.10 c problem variables: 0.00 - 0 0
1796.81/1797.10 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.81/1797.10 c relpscost : 704.20 0.00 695 2 48 0 0 1360
1796.81/1797.10 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.81/1797.10 c inference : 0.00 0.00 0 0 0 0 0 0
1796.81/1797.10 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.81/1797.10 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.81/1797.10 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.81/1797.10 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.81/1797.10 c random : 0.00 0.00 0 0 0 0 0 0
1796.81/1797.10 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.81/1797.10 c LP solutions : 0.00 - - 0
1796.81/1797.10 c pseudo solutions : 0.00 - - 0
1796.81/1797.10 c oneopt : 0.00 0.00 0 0
1796.81/1797.10 c crossover : 0.00 0.00 0 0
1796.81/1797.10 c coefdiving : 46.34 0.00 1 0
1796.81/1797.10 c pscostdiving : 77.15 0.00 1 0
1796.81/1797.10 c fracdiving : 59.38 0.00 1 0
1796.81/1797.10 c linesearchdiving : 16.31 0.00 1 0
1796.81/1797.10 c objpscostdiving : 2.48 0.00 1 0
1796.81/1797.10 c rootsoldiving : 56.43 0.00 1 0
1796.81/1797.10 c feaspump : 33.37 0.00 1 0
1796.81/1797.10 c smallcard : 0.00 0.00 0 0
1796.81/1797.10 c trivial : 0.01 0.00 2 0
1796.81/1797.10 c shiftandpropagate: 0.80 0.00 1 0
1796.81/1797.10 c simplerounding : 0.00 0.00 0 0
1796.81/1797.10 c zirounding : 3.67 0.00 0 0
1796.81/1797.10 c rounding : 2.14 0.00 329 0
1796.81/1797.10 c shifting : 8.85 0.00 63 0
1796.81/1797.10 c intshifting : 0.00 0.00 0 0
1796.81/1797.10 c twoopt : 0.00 0.00 0 0
1796.81/1797.10 c indtwoopt : 0.00 0.00 0 0
1796.81/1797.10 c indoneopt : 0.00 0.00 0 0
1796.81/1797.10 c fixandinfer : 0.00 0.00 0 0
1796.81/1797.10 c clique : 0.00 0.00 0 0
1796.81/1797.10 c indcoefdiving : 0.00 0.00 0 0
1796.81/1797.10 c indrounding : 0.00 0.00 0 0
1796.81/1797.10 c nlpdiving : 0.00 0.00 0 0
1796.81/1797.10 c veclendiving : 70.10 0.00 2 0
1796.81/1797.10 c intdiving : 0.00 0.00 0 0
1796.81/1797.10 c actconsdiving : 0.00 0.00 0 0
1796.81/1797.10 c guideddiving : 0.00 0.00 0 0
1796.81/1797.10 c octane : 0.00 0.00 0 0
1796.81/1797.10 c rens : 0.96 0.00 1 0
1796.81/1797.10 c rins : 0.00 0.00 0 0
1796.81/1797.10 c localbranching : 0.00 0.00 0 0
1796.81/1797.10 c mutation : 0.00 0.00 0 0
1796.81/1797.10 c dins : 0.00 0.00 0 0
1796.81/1797.10 c vbounds : 0.00 0.00 0 0
1796.81/1797.10 c undercover : 0.00 0.00 0 0
1796.81/1797.10 c subnlp : 0.00 0.00 0 0
1796.81/1797.10 c trysol : 0.00 0.00 0 0
1796.81/1797.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.81/1797.10 c primal LP : 0.10 1 0 0.00 0.00 0.10 1
1796.81/1797.10 c dual LP : 579.61 734 174694 239.31 301.40 0.37 4
1796.81/1797.10 c lex dual LP : 0.00 0 0 0.00 -
1796.81/1797.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.81/1797.10 c diving/probing LP: 339.22 1165 85481 73.37 251.99
1796.81/1797.10 c strong branching : 703.71 452 207192 458.39 294.43
1796.81/1797.10 c (at root node) : - 23 13622 592.26 -
1796.81/1797.10 c conflict analysis: 0.00 0 0 0.00 -
1796.81/1797.10 c B&B Tree :
1796.81/1797.10 c number of runs : 1
1796.81/1797.10 c nodes : 924
1796.81/1797.10 c nodes (total) : 924
1796.81/1797.10 c nodes left : 86
1796.81/1797.10 c max depth : 142
1796.81/1797.10 c max depth (total): 142
1796.81/1797.10 c backtracks : 155 (16.8%)
1796.81/1797.10 c delayed cutoffs : 351
1796.81/1797.10 c repropagations : 3035 (4357 domain reductions, 131 cutoffs)
1796.81/1797.10 c avg switch length: 8.02
1796.81/1797.10 c switching time : 1.96
1796.81/1797.10 c Solution :
1796.81/1797.10 c Solutions found : 0 (0 improvements)
1796.81/1797.10 c Primal Bound : -
1796.81/1797.10 c Dual Bound : +0.00000000000000e+00
1796.81/1797.10 c Gap : infinite
1796.81/1797.10 c Root Dual Bound : +0.00000000000000e+00
1796.81/1797.10 c Root Iterations : 19199
1797.21/1797.50 c Time complete: 1797.21.
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-3692970-1338041247/watcher-3692970-1338041247 -o /tmp/evaluation-result-3692970-1338041247/solver-3692970-1338041247 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692970-1338041247.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.07 2.02 2.00 3/176 9440
/proc/meminfo: memFree=27611768/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=10136 CPUtime=0 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 1266 0 0 0 0 0 0 0 20 0 1 0 270249026 10379264 1221 33554432000 4194304 10169799 140734682880784 140735252792552 8725922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 2534 1227 409 1459 0 1066 0
[startup+0.101265 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 9440
/proc/meminfo: memFree=27611768/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=23840 CPUtime=0.09 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 4684 0 0 0 9 0 0 0 20 0 1 0 270249026 24412160 4639 33554432000 4194304 10169799 140734682880784 140735252792552 4906977 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 5960 4640 409 1459 0 4492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23840
[startup+0.200286 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 9440
/proc/meminfo: memFree=27611768/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=35848 CPUtime=0.19 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 7712 0 0 0 18 1 0 0 20 0 1 0 270249026 36708352 7667 33554432000 4194304 10169799 140734682880784 140735252792552 7139699 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 8962 7667 409 1459 0 7494 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35848
[startup+0.300277 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 9440
/proc/meminfo: memFree=27611768/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=49940 CPUtime=0.29 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 11210 0 0 0 27 2 0 0 20 0 1 0 270249026 51138560 11165 33554432000 4194304 10169799 140734682880784 140735252792552 8779531 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 12485 11165 409 1459 0 11017 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49940
[startup+0.700277 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 9440
/proc/meminfo: memFree=27611768/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=187156 CPUtime=0.69 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 44820 0 0 0 63 6 0 0 20 0 1 0 270249026 191647744 44734 33554432000 4194304 10169799 140734682880784 140734682747112 7543003 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 46789 44768 497 1459 0 45321 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 187156
[startup+1.50028 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9441
/proc/meminfo: memFree=27378872/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=261372 CPUtime=1.48 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 69128 0 0 0 128 20 0 0 20 0 1 0 270249026 267644928 62961 33554432000 4194304 10169799 140734682880784 140734682878936 7542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 65343 62961 558 1459 0 63875 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 261372
[startup+3.10028 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9441
/proc/meminfo: memFree=27342528/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=285176 CPUtime=3.09 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 89057 0 0 0 270 39 0 0 20 0 1 0 270249026 292020224 68503 33554432000 4194304 10169799 140734682880784 140734682877992 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 71294 68503 618 1459 0 69826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 285176
[startup+6.30028 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9441
/proc/meminfo: memFree=27261528/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=550304 CPUtime=6.29 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 125561 0 0 0 570 59 0 0 20 0 1 0 270249026 563511296 129903 33554432000 4194304 10169799 140734682880784 140734682877384 8795236 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 137576 129903 727 1459 0 136108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 550304
[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 9441
/proc/meminfo: memFree=27038824/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=617928 CPUtime=12.69 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 139773 0 0 0 1206 63 0 0 20 0 1 0 270249026 632758272 147228 33554432000 4194304 10169799 140734682880784 140734682873096 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 154482 147228 788 1459 0 153014 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 617928
[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 9441
/proc/meminfo: memFree=27022296/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=617928 CPUtime=25.48 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 140040 0 0 0 2484 64 0 0 20 0 1 0 270249026 632758272 147491 33554432000 4194304 10169799 140734682880784 140734682873096 7707146 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 154482 147491 788 1459 0 153014 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 617928
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9441
/proc/meminfo: memFree=27010416/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=617928 CPUtime=51.08 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 140066 0 0 0 5042 66 0 0 20 0 1 0 270249026 632758272 147517 33554432000 4194304 10169799 140734682880784 140734682877096 7280659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 154482 147517 807 1459 0 153014 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 617928
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9441
/proc/meminfo: memFree=26970048/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=640376 CPUtime=102.28 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 146340 0 0 0 10159 69 0 0 20 0 1 0 270249026 655745024 156991 33554432000 4194304 10169799 140734682880784 140734682877096 7280635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 160094 156991 821 1459 0 158626 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 640376
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9445
/proc/meminfo: memFree=26887668/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=718712 CPUtime=162.26 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 191790 0 0 0 16144 82 0 0 20 0 1 0 270249026 735961088 176696 33554432000 4194304 10169799 140734682880784 140734682877096 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179678 176696 856 1459 0 178210 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 718712
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26880964/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=718712 CPUtime=222.27 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 191864 0 0 0 22138 89 0 0 20 0 1 0 270249026 735961088 176770 33554432000 4194304 10169799 140734682880784 140734682875384 7899382 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179678 176770 857 1459 0 178210 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 718712
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26889296/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=718712 CPUtime=282.25 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 191864 0 0 0 28129 96 0 0 20 0 1 0 270249026 735961088 176770 33554432000 4194304 10169799 140734682880784 140734682874648 8009677 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179678 176770 857 1459 0 178210 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 718712
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26887640/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=718712 CPUtime=342.24 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 191864 0 0 0 34123 101 0 0 20 0 1 0 270249026 735961088 176770 33554432000 4194304 10169799 140734682880784 140734682875384 8030216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179678 176770 857 1459 0 178210 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 718712
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9445
/proc/meminfo: memFree=26886692/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=718712 CPUtime=402.23 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 191865 0 0 0 40116 107 0 0 20 0 1 0 270249026 735961088 176940 33554432000 4194304 10169799 140734682880784 140734682875192 8060758 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179678 176940 857 1459 0 178210 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 718712
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9446
/proc/meminfo: memFree=26869124/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=735364 CPUtime=462.21 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 192964 0 0 0 46112 109 0 0 20 0 1 0 270249026 753012736 181424 33554432000 4194304 10169799 140734682880784 140734682875112 8844127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 183841 181424 860 1459 0 182373 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 735364
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9446
/proc/meminfo: memFree=26864472/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=736708 CPUtime=522.2 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 193345 0 0 0 52107 113 0 0 20 0 1 0 270249026 754388992 182553 33554432000 4194304 10169799 140734682880784 140734682875112 7978034 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 184177 182553 860 1459 0 182709 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 736708
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9446
/proc/meminfo: memFree=26905280/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=706720 CPUtime=582.19 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 196278 0 0 0 58102 117 0 0 20 0 1 0 270249026 723681280 172434 33554432000 4194304 10169799 140734682880784 140734682875112 8009802 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 176680 172434 860 1459 0 175212 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 706720
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26851496/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=716176 CPUtime=1122.11 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 197140 0 0 0 112040 171 0 0 20 0 1 0 270249026 733364224 177381 33554432000 4194304 10169799 140734682880784 140734682875576 8009802 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179044 177381 861 1459 0 177576 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 716176
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851620/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=716176 CPUtime=1182.1 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 197140 0 0 0 118034 176 0 0 20 0 1 0 270249026 733364224 177381 33554432000 4194304 10169799 140734682880784 140734682875192 8009913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179044 177381 861 1459 0 177576 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 716176
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851372/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=716176 CPUtime=1242.08 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 197140 0 0 0 124025 183 0 0 20 0 1 0 270249026 733364224 177381 33554432000 4194304 10169799 140734682880784 140734682875384 7908985 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179044 177381 861 1459 0 177576 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 716176
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26840948/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=716176 CPUtime=1302.08 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 197140 0 0 0 130018 190 0 0 20 0 1 0 270249026 733364224 177381 33554432000 4194304 10169799 140734682880784 140734682875192 8009933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179044 177381 861 1459 0 177576 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 716176
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9454
/proc/meminfo: memFree=26840444/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=716176 CPUtime=1362.07 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 197140 0 0 0 136013 194 0 0 20 0 1 0 270249026 733364224 177381 33554432000 4194304 10169799 140734682880784 140734682875016 7703696 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 179044 177381 861 1459 0 177576 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 716176
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9455
/proc/meminfo: memFree=26874580/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=685068 CPUtime=1422.07 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 198778 0 0 0 142005 202 0 0 20 0 1 0 270249026 701509632 168879 33554432000 4194304 10169799 140734682880784 140734682875576 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 171267 168879 861 1459 0 169799 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 685068
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9455
/proc/meminfo: memFree=26854292/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=711896 CPUtime=1482.05 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 200244 0 0 0 147999 206 0 0 20 0 1 0 270249026 728981504 173922 33554432000 4194304 10169799 140734682880784 140734682875192 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 177974 173922 861 1459 0 176506 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 711896
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9456
/proc/meminfo: memFree=26851988/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=711896 CPUtime=1542.05 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 200306 0 0 0 153993 212 0 0 20 0 1 0 270249026 728981504 174495 33554432000 4194304 10169799 140734682880784 140734682874920 7908985 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 177974 174495 861 1459 0 176506 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 711896
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26851624/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=711896 CPUtime=1602.03 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 200306 0 0 0 159985 218 0 0 20 0 1 0 270249026 728981504 174495 33554432000 4194304 10169799 140734682880784 140734682875192 8844112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 177974 174495 861 1459 0 176506 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 711896
[startup+1662.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 9494
/proc/meminfo: memFree=27546040/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=723256 CPUtime=1662.02 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 201003 0 0 0 165977 225 0 0 20 0 1 0 270249026 740614144 178258 33554432000 4194304 10169799 140734682880784 140734682875576 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 180814 178258 861 1459 0 179346 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 723256
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27543800/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=723256 CPUtime=1722.01 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 201012 0 0 0 171970 231 0 0 20 0 1 0 270249026 740614144 178267 33554432000 4194304 10169799 140734682880784 140734682875112 8030309 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 180814 178267 861 1459 0 179346 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 723256
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27566076/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=712936 CPUtime=1782.01 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 205351 0 0 0 177961 240 0 0 20 0 1 0 270249026 730046464 172440 33554432000 4194304 10169799 140734682880784 140734682875576 8009811 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 178234 172440 861 1459 0 176766 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 712936
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27565952/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=712936 CPUtime=1785.3 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 205372 0 0 0 178290 240 0 0 20 0 1 0 270249026 730046464 172461 33554432000 4194304 10169799 140734682880784 140734682875192 8035669 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 178234 172461 861 1459 0 176766 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 712936
[startup+1792.01 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27568124/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=712300 CPUtime=1791.71 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 207459 0 0 0 178929 242 0 0 20 0 1 0 270249026 729395200 171875 33554432000 4194304 10169799 140734682880784 140734682875768 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 178075 171875 861 1459 0 176607 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 712300
[startup+1795.2 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27568000/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=712300 CPUtime=1794.91 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 207464 0 0 0 179249 242 0 0 20 0 1 0 270249026 729395200 171880 33554432000 4194304 10169799 140734682880784 140734682874856 7593032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 178075 171880 861 1459 0 176607 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 712300
[startup+1796.8 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27567752/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=712300 CPUtime=1796.51 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 207464 0 0 0 179408 243 0 0 20 0 1 0 270249026 729395200 171880 33554432000 4194304 10169799 140734682880784 140734682874856 8004337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 178075 171880 861 1459 0 176607 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (KiB) 712300
[startup+1797.2 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27567752/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=712040 CPUtime=1796.91 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 207467 0 0 0 179448 243 0 0 20 0 1 0 270249026 729128960 171818 33554432000 4194304 10169799 140734682880784 140734682874856 5058534 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 178010 171818 864 1459 0 176542 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 712040
[startup+1797.4 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27569612/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=709656 CPUtime=1797.11 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 207467 0 0 0 179468 243 0 0 20 0 1 0 270249026 726687744 171222 33554432000 4194304 10169799 140734682880784 140734682874856 6349502 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 177414 171222 864 1459 0 175946 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 709656
[startup+1797.51 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 9496
/proc/meminfo: memFree=27569612/32873844 swapFree=7616/7616
[pid=9440] ppid=9438 vsize=139504 CPUtime=1797.21 cores=0,2,4,6
/proc/9440/stat : 9440 (scip-2.1.1.4sfi) R 9438 9440 6477 0 -1 4202496 207467 0 0 0 179477 244 0 0 20 0 1 0 270249026 142852096 1082 33554432000 4194304 10169799 140734682880784 140734682880008 9174538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9440/statm: 1718 1082 864 1459 0 250 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 139504
Child status: 0
Real time (s): 1797.51
CPU time (s): 1797.22
CPU user time (s): 1794.77
CPU system time (s): 2.44463
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 840648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.77
system time used= 2.44463
maximum resident set size= 825244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207469
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= 15
involuntary context switches= 1945
runsolver used 3.23251 second user time and 10.4384 second system time
The end