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-3693118-1338028838.opb>
0.00/0.01 c original problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2112 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 c presolving:
0.05/0.07 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2110 upgd conss, 0 impls, 84 clqs
0.09/0.11 c (0.1s) probing: 51/1835 (2.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.11 c presolving (2 rounds):
0.09/0.11 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 0 implications, 84 cliques
0.09/0.11 c presolved problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2112 constraints
0.09/0.11 c 120 constraints of type <knapsack>
0.09/0.11 c 84 constraints of type <setppc>
0.09/0.11 c 2 constraints of type <linear>
0.09/0.11 c 1906 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.10
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 2.1.1.4
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1797
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.12 c
1.59/1.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.68 c 1.7s| 1 | 0 | 9273 | - | 10M| 0 | 524 |1835 |2148 |1835 |2112 | 0 | 36 | 0 |-4.195745e+01 | -- | Inf
28.09/28.16 c 28.2s| 1 | 2 | 44100 | - | 10M| 0 | 524 |1835 |2148 |1835 |2112 | 0 | 36 | 46 |-4.195745e+01 | -- | Inf
184.85/184.96 c 185s| 100 | 40 |430938 |3907.5 | 11M| 32 | 187 |1835 |2208 |1835 |2112 | 0 | 96 | 297 |-4.159574e+01 | -- | Inf
211.55/211.65 c 212s| 200 | 42 |509987 |2341.1 | 11M| 45 | 159 |1835 |2264 |1835 |2112 | 0 | 158 | 352 |-4.159574e+01 | -- | Inf
329.94/330.09 c 330s| 300 | 62 |882621 |2804.4 | 11M| 45 | 297 |1835 |2318 |1835 |2112 | 0 | 228 | 505 |-4.123404e+01 | -- | Inf
543.30/543.42 c 543s| 400 | 130 | 1552k|3781.2 | 11M| 45 | 299 |1835 |2296 |1835 |2112 | 0 | 261 | 763 |-4.014894e+01 | -- | Inf
713.79/713.96 c 714s| 500 | 196 | 2058k|4037.0 | 11M| 45 | 265 |1835 |2310 |1835 |2112 | 0 | 296 |1019 |-3.913953e+01 | -- | Inf
870.85/871.02 c 871s| 600 | 250 | 2552k|4188.2 | 12M| 57 | 183 |1835 |2345 |1835 |2112 | 0 | 348 |1253 |-3.913953e+01 | -- | Inf
987.43/987.68 c 988s| 700 | 288 | 2896k|4080.6 | 12M| 71 | 421 |1835 |2417 |1835 |2112 | 0 | 428 |1440 |-3.913953e+01 | -- | Inf
1080.03/1080.24 c 1080s| 800 | 334 | 3163k|3904.3 | 12M| 75 | 234 |1835 |2457 |1835 |2112 | 0 | 488 |1607 |-3.905000e+01 | -- | Inf
1148.41/1148.66 c 1149s| 900 | 354 | 3361k|3689.9 | 12M| 81 | 165 |1835 |2545 |1835 |2112 | 0 | 593 |1731 |-3.905000e+01 | -- | Inf
1202.20/1202.41 c 1202s| 1000 | 378 | 3526k|3486.1 | 12M| 81 | 160 |1835 |2631 |1835 |2112 | 0 | 700 |1830 |-3.905000e+01 | -- | Inf
1295.08/1295.36 c 1295s| 1100 | 416 | 3809k|3426.6 | 13M| 81 | - |1835 |2659 |1835 |2112 | 0 | 775 |1978 |-3.874419e+01 | -- | Inf
1360.87/1361.11 c 1361s| 1200 | 442 | 3995k|3295.8 | 13M| 107 | 291 |1835 |2691 |1835 |2112 | 0 | 837 |2098 |-3.874419e+01 | -- | Inf
1439.67/1439.95 c 1440s| 1300 | 462 | 4231k|3223.6 | 13M| 107 | 315 |1835 |2742 |1835 |2112 | 0 | 951 |2209 |-3.874419e+01 | -- | Inf
1524.95/1525.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.95/1525.24 c 1525s| 1400 | 496 | 4493k|3180.8 | 13M| 107 | - |1835 |2746 |1835 |2112 | 0 |1041 |2325 |-3.874419e+01 | -- | Inf
1577.24/1577.55 c 1578s| 1500 | 524 | 4647k|3071.3 | 13M| 107 | 289 |1835 |2714 |1835 |2112 | 0 |1122 |2427 |-3.874419e+01 | -- | Inf
1670.33/1670.66 c 1671s| 1600 | 548 | 4927k|3053.7 | 13M| 107 | - |1835 |2721 |1835 |2112 | 0 |1219 |2555 |-3.870270e+01 | -- | Inf
1745.71/1746.00 c 1746s| 1700 | 594 | 5175k|3020.0 | 13M| 107 | 169 |1835 |2706 |1835 |2112 | 0 |1282 |2683 |-3.835000e+01 | -- | Inf
1796.71/1797.02 c 1797s| 1800 | 616 | 5331k|2939.3 | 14M| 107 | 301 |1835 |2734 |1835 |2112 | 0 |1322 |2804 |-3.835000e+01 | -- | Inf
1796.71/1797.02 c
1796.71/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.02 c Solving Time (sec) : 1797.02
1796.71/1797.02 c Solving Nodes : 1800
1796.71/1797.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.02 c Dual Bound : -3.83500000000001e+01
1796.71/1797.02 c Gap : infinite
1796.71/1797.02 s UNKNOWN
1796.71/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.02 c Total Time : 1797.02
1796.71/1797.02 c solving : 1797.02
1796.71/1797.02 c presolving : 0.10 (included in solving)
1796.71/1797.02 c reading : 0.01 (included in solving)
1796.71/1797.02 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.02 c Original Problem :
1796.71/1797.02 c Problem name : HOME/instance-3693118-1338028838.opb
1796.71/1797.02 c Variables : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.02 c Constraints : 2112 initial, 2112 maximal
1796.71/1797.02 c Objective sense : minimize
1796.71/1797.02 c Presolved Problem :
1796.71/1797.02 c Problem name : t_HOME/instance-3693118-1338028838.opb
1796.71/1797.02 c Variables : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.02 c Constraints : 2112 initial, 2769 maximal
1796.71/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c linear : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c root node : - - 0 - - 0 - - - - -
1796.71/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.02 c integral : 0 0 0 0 1288 0 4 0 8 175 0 0 2422
1796.71/1797.02 c knapsack : 120 120 1 9397 0 0 3 2539 1 3963 0 0 0
1796.71/1797.02 c setppc : 84 84 1 9396 0 0 1 62187 6 35965 0 0 0
1796.71/1797.02 c linear : 2 2 1 9390 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c logicor : 1906+ 2563 1 6100 0 0 0 92307 34 63736 0 0 0
1796.71/1797.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.02 c integral : 559.39 0.00 0.00 0.00 559.39 0.00 0.00 0.00
1796.71/1797.02 c knapsack : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00
1796.71/1797.02 c setppc : 0.13 0.00 0.00 0.07 0.00 0.00 0.00 0.06
1796.71/1797.02 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.71/1797.02 c logicor : 0.29 0.00 0.00 0.18 0.00 0.00 0.00 0.10
1796.71/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.02 c rootredcost : 0 0 0 0
1796.71/1797.02 c pseudoobj : 10585 0 0 0
1796.71/1797.02 c vbounds : 0 0 0 0
1796.71/1797.02 c redcost : 1388 0 0 7211
1796.71/1797.02 c probing : 0 0 0 0
1796.71/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.02 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.71/1797.02 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
1796.71/1797.02 c vbounds : 0.01 0.00 0.00 0.01 0.00
1796.71/1797.02 c redcost : 0.06 0.00 0.00 0.06 0.00
1796.71/1797.02 c probing : 0.01 0.00 0.01 0.00 0.00
1796.71/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.02 c propagation : 0.01 41 41 147 41.4 1 3.0 -
1796.71/1797.02 c infeasible LP : 0.52 532 503 2685 119.3 4 14.2 0
1796.71/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.02 c applied globally : - - - 1322 71.4 - - -
1796.71/1797.02 c applied locally : - - - 0 0.0 - - -
1796.71/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.71/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c impliedbounds : 0.00 0.00 1 0 0 0 0
1796.71/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c gomory : 0.04 0.00 1 0 0 0 0
1796.71/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c strongcg : 0.04 0.00 1 0 0 0 0
1796.71/1797.02 c cmir : 0.01 0.00 1 0 0 0 0
1796.71/1797.02 c flowcover : 0.01 0.00 1 0 0 0 0
1796.71/1797.02 c clique : 0.01 0.00 1 0 0 0 0
1796.71/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.02 c problem variables: 0.00 - 0 0
1796.71/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.02 c relpscost : 559.38 0.00 1288 8 175 0 0 2422
1796.71/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.02 c LP solutions : 0.00 - - 0
1796.71/1797.02 c pseudo solutions : 0.00 - - 0
1796.71/1797.02 c oneopt : 0.00 0.00 0 0
1796.71/1797.02 c crossover : 0.00 0.00 0 0
1796.71/1797.02 c guideddiving : 0.00 0.00 0 0
1796.71/1797.02 c fracdiving : 2.93 0.00 7 0
1796.71/1797.02 c veclendiving : 66.36 0.00 7 0
1796.71/1797.02 c linesearchdiving : 10.03 0.00 7 0
1796.71/1797.02 c objpscostdiving : 35.90 0.00 4 0
1796.71/1797.02 c rootsoldiving : 46.46 0.00 4 0
1796.71/1797.02 c pscostdiving : 52.49 0.00 8 0
1796.71/1797.02 c coefdiving : 52.22 0.00 8 0
1796.71/1797.02 c feaspump : 57.85 0.00 4 0
1796.71/1797.02 c smallcard : 0.00 0.00 0 0
1796.71/1797.02 c trivial : 0.00 0.00 2 0
1796.71/1797.02 c shiftandpropagate: 0.03 0.00 1 0
1796.71/1797.02 c simplerounding : 0.00 0.00 0 0
1796.71/1797.02 c zirounding : 0.09 0.00 0 0
1796.71/1797.02 c rounding : 0.13 0.00 448 0
1796.71/1797.02 c shifting : 0.13 0.00 119 0
1796.71/1797.02 c intshifting : 0.00 0.00 0 0
1796.71/1797.02 c twoopt : 0.00 0.00 0 0
1796.71/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.02 c indoneopt : 0.00 0.00 0 0
1796.71/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.02 c clique : 0.00 0.00 0 0
1796.71/1797.02 c indrounding : 0.00 0.00 0 0
1796.71/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.02 c intdiving : 0.00 0.00 0 0
1796.71/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.02 c octane : 0.00 0.00 0 0
1796.71/1797.02 c rens : 1.87 0.00 1 0
1796.71/1797.02 c rins : 0.00 0.00 0 0
1796.71/1797.02 c localbranching : 0.00 0.00 0 0
1796.71/1797.02 c mutation : 0.00 0.00 0 0
1796.71/1797.02 c dins : 0.00 0.00 0 0
1796.71/1797.02 c vbounds : 0.00 0.00 0 0
1796.71/1797.02 c undercover : 0.00 0.00 0 0
1796.71/1797.02 c subnlp : 0.00 0.00 0 0
1796.71/1797.02 c trysol : 0.00 0.00 0 0
1796.71/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.02 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.02 c dual LP : 909.16 1961 4158459 2246.60 4573.97 0.11 110
1796.71/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.02 c diving/probing LP: 323.47 1583 1173441 741.28 3627.72
1796.71/1797.02 c strong branching : 559.22 2804 2239810 798.79 4005.22
1796.71/1797.02 c (at root node) : - 46 43672 949.39 -
1796.71/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.02 c B&B Tree :
1796.71/1797.02 c number of runs : 1
1796.71/1797.02 c nodes : 1800
1796.71/1797.02 c nodes (total) : 1800
1796.71/1797.02 c nodes left : 616
1796.71/1797.02 c max depth : 107
1796.71/1797.02 c max depth (total): 107
1796.71/1797.02 c backtracks : 163 (9.1%)
1796.71/1797.02 c delayed cutoffs : 7
1796.71/1797.02 c repropagations : 1363 (1110 domain reductions, 1 cutoffs)
1796.71/1797.02 c avg switch length: 3.90
1796.71/1797.02 c switching time : 0.23
1796.71/1797.02 c Solution :
1796.71/1797.02 c Solutions found : 0 (0 improvements)
1796.71/1797.02 c Primal Bound : -
1796.71/1797.02 c Dual Bound : -3.83500000000001e+01
1796.71/1797.02 c Gap : infinite
1796.71/1797.02 c Root Dual Bound : -4.19574468085107e+01
1796.71/1797.02 c Root Iterations : 44100
1796.71/1797.04 c Time complete: 1796.74.
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-3693118-1338028838/watcher-3693118-1338028838 -o /tmp/evaluation-result-3693118-1338028838/solver-3693118-1338028838 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693118-1338028838.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 1.68 1.68 2/175 31586
/proc/meminfo: memFree=28298164/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=10472 CPUtime=0 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 1 0 269012285 10723328 1309 33554432000 4194304 10169799 140736879209936 140735297626536 8797266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 2618 1310 412 1459 0 1150 0
[startup+0.0700469 s]
/proc/loadavg: 2.00 1.68 1.68 2/175 31586
/proc/meminfo: memFree=28298164/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=29052 CPUtime=0.05 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 6047 0 0 0 4 1 0 0 20 0 1 0 269012285 29749248 5745 33554432000 4194304 10169799 140736879209936 140735297626536 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 7263 5745 557 1459 0 5795 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29052
[startup+0.100277 s]
/proc/loadavg: 2.00 1.68 1.68 2/175 31586
/proc/meminfo: memFree=28298164/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=29052 CPUtime=0.09 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 6074 0 0 0 7 2 0 0 20 0 1 0 269012285 29749248 5772 33554432000 4194304 10169799 140736879209936 140735297626536 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 7263 5772 575 1459 0 5795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29052
[startup+0.300279 s]
/proc/loadavg: 2.00 1.68 1.68 2/175 31586
/proc/meminfo: memFree=28298164/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=41160 CPUtime=0.29 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 9367 0 0 0 26 3 0 0 20 0 1 0 269012285 42147840 8932 33554432000 4194304 10169799 140736879209936 140735297626536 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 10290 8932 765 1459 0 8822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41160
[startup+0.700272 s]
/proc/loadavg: 2.00 1.68 1.68 2/175 31586
/proc/meminfo: memFree=28298164/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=41292 CPUtime=0.69 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 9428 0 0 0 66 3 0 0 20 0 1 0 269012285 42283008 8993 33554432000 4194304 10169799 140736879209936 140735297626536 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 10323 8993 765 1459 0 8855 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41292
[startup+1.50028 s]
/proc/loadavg: 2.00 1.68 1.68 3/176 31587
/proc/meminfo: memFree=28264420/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=41872 CPUtime=1.49 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 9603 0 0 0 145 4 0 0 20 0 1 0 269012285 42876928 9159 33554432000 4194304 10169799 140736879209936 140736879204440 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 10468 9159 765 1459 0 9000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41872
[startup+3.10028 s]
/proc/loadavg: 2.00 1.68 1.68 3/176 31587
/proc/meminfo: memFree=28261676/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=43048 CPUtime=3.09 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 10965 0 0 0 305 4 0 0 20 0 1 0 269012285 44081152 9582 33554432000 4194304 10169799 140736879209936 140736879202616 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 10762 9582 780 1459 0 9294 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43048
[startup+6.30021 s]
/proc/loadavg: 2.00 1.69 1.69 3/176 31587
/proc/meminfo: memFree=28259320/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=43736 CPUtime=6.29 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 11145 0 0 0 624 5 0 0 20 0 1 0 269012285 44785664 9762 33554432000 4194304 10169799 140736879209936 140736879202344 8009933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 10934 9762 783 1459 0 9466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43736
[startup+12.7003 s]
/proc/loadavg: 2.00 1.69 1.69 3/176 31587
/proc/meminfo: memFree=28254004/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=45136 CPUtime=12.69 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 11807 0 0 0 1263 6 0 0 20 0 1 0 269012285 46219264 10114 33554432000 4194304 10169799 140736879209936 140736879202296 8051968 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11284 10114 783 1459 0 9816 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45136
[startup+25.5003 s]
/proc/loadavg: 2.00 1.71 1.69 3/175 31587
/proc/meminfo: memFree=28254508/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=42728 CPUtime=25.49 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 17634 0 0 0 2535 14 0 0 20 0 1 0 269012285 43753472 9502 33554432000 4194304 10169799 140736879209936 140736879204920 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 10682 9502 856 1459 0 9214 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42728
[startup+51.1003 s]
/proc/loadavg: 2.00 1.73 1.70 3/175 31587
/proc/meminfo: memFree=28242272/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=43444 CPUtime=51.08 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 17875 0 0 0 5087 21 0 0 20 0 1 0 269012285 44486656 9743 33554432000 4194304 10169799 140736879209936 140736879204536 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 10861 9743 856 1459 0 9393 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43444
[startup+102.306 s]
/proc/loadavg: 2.05 1.78 1.72 3/175 31587
/proc/meminfo: memFree=28224460/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=43612 CPUtime=102.27 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 17944 0 0 0 10189 38 0 0 20 0 1 0 269012285 44658688 10136 33554432000 4194304 10169799 140736879209936 140736879204344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 10903 10136 856 1459 0 9435 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43612
[startup+162.3 s]
/proc/loadavg: 2.02 1.82 1.73 3/175 31587
/proc/meminfo: memFree=28204680/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=45624 CPUtime=162.26 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 18456 0 0 0 16171 55 0 0 20 0 1 0 269012285 46718976 10639 33554432000 4194304 10169799 140736879209936 140736879204232 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11406 10639 857 1459 0 9938 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 45624
[startup+222.3 s]
/proc/loadavg: 2.00 1.85 1.75 3/175 31587
/proc/meminfo: memFree=28182396/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=45624 CPUtime=222.25 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 18456 0 0 0 22144 81 0 0 20 0 1 0 269012285 46718976 10639 33554432000 4194304 10169799 140736879209936 140736879204536 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11406 10639 857 1459 0 9938 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45624
[startup+282.3 s]
/proc/loadavg: 2.00 1.87 1.76 3/175 31588
/proc/meminfo: memFree=28168300/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=46284 CPUtime=282.24 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 18622 0 0 0 28122 102 0 0 20 0 1 0 269012285 47394816 10804 33554432000 4194304 10169799 140736879209936 140736879204264 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11571 10804 857 1459 0 10103 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 46284
[startup+342.3 s]
/proc/loadavg: 2.07 1.91 1.77 3/175 31588
/proc/meminfo: memFree=28150692/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=45032 CPUtime=342.23 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 18933 0 0 0 34098 125 0 0 20 0 1 0 269012285 46112768 10439 33554432000 4194304 10169799 140736879209936 140736879203608 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11258 10439 857 1459 0 9790 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 45032
[startup+402.3 s]
/proc/loadavg: 2.02 1.92 1.79 3/175 31588
/proc/meminfo: memFree=28130828/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=47684 CPUtime=402.22 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 19973 0 0 0 40079 143 0 0 20 0 1 0 269012285 48828416 11153 33554432000 4194304 10169799 140736879209936 140736879204264 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11921 11153 857 1459 0 10453 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 47684
[startup+462.3 s]
/proc/loadavg: 2.01 1.93 1.80 3/175 31588
/proc/meminfo: memFree=28118836/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=46744 CPUtime=462.21 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 20897 0 0 0 46058 163 0 0 20 0 1 0 269012285 47865856 10933 33554432000 4194304 10169799 140736879209936 140736879204104 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11686 10933 857 1459 0 10218 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 46744
[startup+522.3 s]
/proc/loadavg: 2.00 1.94 1.81 3/175 31588
/proc/meminfo: memFree=28110776/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=45844 CPUtime=522.21 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 21403 0 0 0 52039 182 0 0 20 0 1 0 269012285 46944256 10698 33554432000 4194304 10169799 140736879209936 140736879204440 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11461 10698 857 1459 0 9993 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 45844
[startup+582.3 s]
/proc/loadavg: 2.00 1.95 1.82 3/176 31592
/proc/meminfo: memFree=28093036/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=47300 CPUtime=582.19 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 21763 0 0 0 58018 201 0 0 20 0 1 0 269012285 48435200 11058 33554432000 4194304 10169799 140736879209936 140736879204392 8022956 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 11825 11058 857 1459 0 10357 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 47300
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28003212/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=48212 CPUtime=1122.11 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 26162 0 0 0 111845 366 0 0 20 0 1 0 269012285 49369088 11295 33554432000 4194304 10169799 140736879209936 140736879204536 8044567 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12053 11295 857 1459 0 10585 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 48212
[startup+1182.3 s]
/proc/loadavg: 2.07 1.99 1.89 3/176 31597
/proc/meminfo: memFree=27993592/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=48680 CPUtime=1182.11 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 27614 0 0 0 117822 389 0 0 20 0 1 0 269012285 49848320 11405 33554432000 4194304 10169799 140736879209936 140736879204392 7591849 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12170 11405 857 1459 0 10702 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 48680
[startup+1242.3 s]
/proc/loadavg: 2.02 1.99 1.90 3/176 31620
/proc/meminfo: memFree=27987888/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=48680 CPUtime=1242.1 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 27638 0 0 0 123802 408 0 0 20 0 1 0 269012285 49848320 11429 33554432000 4194304 10169799 140736879209936 140736879204392 8019855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12170 11429 857 1459 0 10702 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 48680
[startup+1302.3 s]
/proc/loadavg: 2.12 2.02 1.91 3/175 31620
/proc/meminfo: memFree=27978968/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=49560 CPUtime=1302.09 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 27830 0 0 0 129782 427 0 0 20 0 1 0 269012285 50749440 11621 33554432000 4194304 10169799 140736879209936 140736879204344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12390 11621 857 1459 0 10922 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 49560
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/175 31620
/proc/meminfo: memFree=27971900/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=50028 CPUtime=1362.08 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 28598 0 0 0 135762 446 0 0 20 0 1 0 269012285 51228672 11756 33554432000 4194304 10169799 140736879209936 140736879204296 8009608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12507 11756 857 1459 0 11039 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 50028
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.91 3/175 31620
/proc/meminfo: memFree=27966284/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=49408 CPUtime=1422.08 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 29695 0 0 0 141741 467 0 0 20 0 1 0 269012285 50593792 11495 33554432000 4194304 10169799 140736879209936 140736879204344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12352 11495 857 1459 0 10884 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 49408
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31621
/proc/meminfo: memFree=27965044/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=49300 CPUtime=1482.06 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 30936 0 0 0 147719 487 0 0 20 0 1 0 269012285 50483200 11453 33554432000 4194304 10169799 140736879209936 140736879204344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12325 11453 857 1459 0 10857 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 49300
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28281148/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=49468 CPUtime=1542.05 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 31108 0 0 0 153696 509 0 0 20 0 1 0 269012285 50655232 11625 33554432000 4194304 10169799 140736879209936 140736879204440 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12367 11625 857 1459 0 10899 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 49468
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28279040/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=49540 CPUtime=1602.04 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 31756 0 0 0 159672 532 0 0 20 0 1 0 269012285 50728960 11599 33554432000 4194304 10169799 140736879209936 140736879204584 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12385 11599 857 1459 0 10917 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 49540
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/175 31659
/proc/meminfo: memFree=28277428/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=50612 CPUtime=1662.03 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32048 0 0 0 165649 554 0 0 20 0 1 0 269012285 51826688 11891 33554432000 4194304 10169799 140736879209936 140736879204440 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12653 11891 857 1459 0 11185 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 50612
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.92 3/175 31659
/proc/meminfo: memFree=28276744/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1722.02 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32163 0 0 0 171626 576 0 0 20 0 1 0 269012285 52555776 12005 33554432000 4194304 10169799 140736879209936 140736879204344 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12005 857 1459 0 11363 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 51324
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/176 31663
/proc/meminfo: memFree=28278348/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1782.02 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32164 0 0 0 177602 600 0 0 20 0 1 0 269012285 52555776 12006 33554432000 4194304 10169799 140736879209936 140736879204392 8019733 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12006 857 1459 0 11363 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 51324
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 1.92 3/176 31663
/proc/meminfo: memFree=28278472/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1785.21 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32164 0 0 0 177920 601 0 0 20 0 1 0 269012285 52555776 12006 33554432000 4194304 10169799 140736879209936 140736879204920 7983394 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12006 857 1459 0 11363 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 51324
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 1.92 3/176 31663
/proc/meminfo: memFree=28278472/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1791.61 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32164 0 0 0 178558 603 0 0 20 0 1 0 269012285 52555776 12006 33554432000 4194304 10169799 140736879209936 140736879203800 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12006 857 1459 0 11363 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 51324
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 1.92 3/176 31663
/proc/meminfo: memFree=28278472/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1794.81 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32164 0 0 0 178877 604 0 0 20 0 1 0 269012285 52555776 12006 33554432000 4194304 10169799 140736879209936 140736879204392 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12006 857 1459 0 11363 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 51324
[startup+1795.9 s]
/proc/loadavg: 2.02 2.02 1.92 3/176 31663
/proc/meminfo: memFree=28278472/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1795.61 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32164 0 0 0 178956 605 0 0 20 0 1 0 269012285 52555776 12006 33554432000 4194304 10169799 140736879209936 140736879204344 7978384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12006 857 1459 0 11363 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 51324
[startup+1796.7 s]
/proc/loadavg: 2.02 2.02 1.92 3/176 31663
/proc/meminfo: memFree=28278472/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1796.41 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32164 0 0 0 179036 605 0 0 20 0 1 0 269012285 52555776 12006 33554432000 4194304 10169799 140736879209936 140736879204344 8022984 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12006 857 1459 0 11363 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 51324
[startup+1796.9 s]
/proc/loadavg: 2.02 2.02 1.92 3/176 31663
/proc/meminfo: memFree=28278472/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1796.61 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32164 0 0 0 179056 605 0 0 20 0 1 0 269012285 52555776 12006 33554432000 4194304 10169799 140736879209936 140736879204536 7983406 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12006 857 1459 0 11363 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 51324
[startup+1797 s]
/proc/loadavg: 2.02 2.02 1.92 3/176 31663
/proc/meminfo: memFree=28278472/32873844 swapFree=6080/6080
[pid=31586] ppid=31584 vsize=51324 CPUtime=1796.71 cores=0,2,4,6
/proc/31586/stat : 31586 (scip-2.1.1.4sfi) R 31584 31586 29432 0 -1 4202496 32164 0 0 0 179066 605 0 0 20 0 1 0 269012285 52555776 12006 33554432000 4194304 10169799 140736879209936 140736879204536 8020859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31586/statm: 12831 12006 857 1459 0 11363 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 51324
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.76
CPU user time (s): 1790.7
CPU system time (s): 6.06008
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 65880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.7
system time used= 6.06008
maximum resident set size= 60136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32168
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= 19
involuntary context switches= 1872
runsolver used 4.87126 second user time and 8.78666 second system time
The end