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-3691291-1338023104.opb>
0.59/0.64 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245028 constraints
0.59/0.68 c problem read in 0.64
1.49/1.57 c presolving:
7.89/7.95 c (round 1) 6376 del vars, 19734 del conss, 0 add conss, 4693 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16636336 impls, 0 clqs
12.39/12.44 c (round 2) 13606 del vars, 48014 del conss, 0 add conss, 11613 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678311 impls, 0 clqs
13.69/13.78 c (round 3) 16251 del vars, 60077 del conss, 0 add conss, 13061 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16697685 impls, 0 clqs
14.58/14.67 c (round 4) 17712 del vars, 65661 del conss, 0 add conss, 14014 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16710820 impls, 0 clqs
15.09/15.18 c (round 5) 18637 del vars, 69342 del conss, 0 add conss, 14539 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16722589 impls, 0 clqs
15.49/15.51 c (round 6) 19180 del vars, 71569 del conss, 0 add conss, 14844 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16729756 impls, 0 clqs
15.69/15.73 c (round 7) 19489 del vars, 72905 del conss, 0 add conss, 15034 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16733285 impls, 0 clqs
15.89/15.90 c (round 8) 19677 del vars, 73724 del conss, 0 add conss, 15161 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16735081 impls, 0 clqs
15.99/16.03 c (round 9) 19782 del vars, 74192 del conss, 0 add conss, 15217 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16736760 impls, 0 clqs
16.09/16.12 c (round 10) 19836 del vars, 74455 del conss, 0 add conss, 15247 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16737543 impls, 0 clqs
16.19/16.21 c (round 11) 19884 del vars, 74668 del conss, 0 add conss, 15285 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16737762 impls, 0 clqs
16.19/16.29 c (round 12) 19904 del vars, 74761 del conss, 0 add conss, 15295 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738138 impls, 0 clqs
16.40/16.41 c (round 13) 19918 del vars, 74826 del conss, 0 add conss, 15308 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738304 impls, 0 clqs
16.40/16.49 c (round 14) 19930 del vars, 74892 del conss, 0 add conss, 15312 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738310 impls, 0 clqs
17.19/17.28 c (round 15) 19930 del vars, 74894 del conss, 0 add conss, 15312 chg bounds, 20 chg sides, 26 chg coeffs, 170134 upgd conss, 16738310 impls, 0 clqs
18.39/18.43 c (round 16) 19930 del vars, 74909 del conss, 31 add conss, 15312 chg bounds, 64 chg sides, 240 chg coeffs, 170136 upgd conss, 16738310 impls, 0 clqs
287.91/288.04 c (288.0s) probing: 1000/52912 (1.9%) - 0 fixings, 0 aggregations, 5160661 implications, 0 bound changes
288.22/288.37 c (288.4s) probing: 1001/52912 (1.9%) - 0 fixings, 0 aggregations, 5175473 implications, 0 bound changes
288.22/288.37 c (288.4s) probing aborted: 1000/1000 successive useless probings
288.22/288.37 c (round 17) 19930 del vars, 157255 del conss, 26136 add conss, 15312 chg bounds, 70 chg sides, 278 chg coeffs, 170136 upgd conss, 27089256 impls, 0 clqs
289.02/289.18 c (round 18) 19930 del vars, 178147 del conss, 47028 add conss, 15312 chg bounds, 70 chg sides, 307 chg coeffs, 170136 upgd conss, 27089256 impls, 4041 clqs
289.72/289.82 c presolving (19 rounds):
289.72/289.82 c 19930 deleted vars, 178147 deleted constraints, 47028 added constraints, 15312 tightened bounds, 0 added holes, 70 changed sides, 307 changed coefficients
289.72/289.82 c 27089256 implications, 24933 cliques
289.72/289.82 c presolved problem has 52912 variables (52912 bin, 0 int, 0 impl, 0 cont) and 113909 constraints
289.72/289.82 c 1185 constraints of type <knapsack>
289.72/289.82 c 111558 constraints of type <setppc>
289.72/289.82 c 1166 constraints of type <and>
289.72/289.82 c transformed objective value is always integral (scale: 1)
289.72/289.82 c Presolving Time: 288.93
289.72/289.82 c - non default parameters ----------------------------------------------------------------------
289.72/289.82 c # SCIP version 2.1.1.4
289.72/289.82 c
289.72/289.82 c # maximal time in seconds to run
289.72/289.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
289.72/289.82 c limits/time = 1797
289.72/289.82 c
289.72/289.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
289.72/289.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
289.72/289.82 c limits/memory = 13950
289.72/289.82 c
289.72/289.82 c # default clock type (1: CPU user seconds, 2: wall clock time)
289.72/289.82 c # [type: int, range: [1,2], default: 1]
289.72/289.82 c timing/clocktype = 2
289.72/289.82 c
289.72/289.82 c # belongs reading time to solving time?
289.72/289.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
289.72/289.82 c timing/reading = TRUE
289.72/289.82 c
289.72/289.82 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
289.72/289.82 c # [type: int, range: [-1,2147483647], default: -1]
289.72/289.82 c separating/rapidlearning/freq = 0
289.72/289.82 c
289.72/289.82 c -----------------------------------------------------------------------------------------------
289.72/289.82 c start solving
290.02/290.13 c
1798.28/1798.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.28/1798.64 c 1799s| 1 | 0 |161422 | - |1007M| 0 | - | 52k| 113k| 52k| 115k| 0 | 30 | 0 | 0.000000e+00 | -- | Inf
1798.28/1798.64 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1798.28/1798.69 c 1799s| 1 | 2 |161422 | - |1007M| 0 | - | 52k| 113k| 52k| 115k| 0 | 30 | 0 | 0.000000e+00 | -- | Inf
1798.28/1798.69 c
1798.28/1798.69 c SCIP Status : solving was interrupted [time limit reached]
1798.28/1798.69 c Solving Time (sec) : 1798.68
1798.28/1798.69 c Solving Nodes : 1
1798.28/1798.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.28/1798.69 c Dual Bound : +0.00000000000000e+00
1798.28/1798.69 c Gap : infinite
1798.28/1798.69 s UNKNOWN
1798.28/1798.69 c SCIP Status : solving was interrupted [time limit reached]
1798.28/1798.69 c Total Time : 1798.68
1798.28/1798.69 c solving : 1798.68
1798.28/1798.69 c presolving : 288.93 (included in solving)
1798.28/1798.69 c reading : 0.64 (included in solving)
1798.28/1798.69 c copying : 0.00 (0 times copied the problem)
1798.28/1798.69 c Original Problem :
1798.28/1798.69 c Problem name : HOME/instance-3691291-1338023104.opb
1798.28/1798.69 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.28/1798.69 c Constraints : 245028 initial, 245028 maximal
1798.28/1798.69 c Objective sense : minimize
1798.28/1798.69 c Presolved Problem :
1798.28/1798.69 c Problem name : t_HOME/instance-3691291-1338023104.opb
1798.28/1798.69 c Variables : 52912 (52912 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.28/1798.69 c Constraints : 113909 initial, 113939 maximal
1798.28/1798.69 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.28/1798.69 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c trivial : 0.06 0.00 1212 0 0 0 0 0 0 0 0
1798.28/1798.69 c dualfix : 0.09 0.00 123 0 0 0 0 0 0 0 0
1798.28/1798.69 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c gateextraction : 0.28 0.00 0 0 0 0 0 82342 26100 0 0
1798.28/1798.69 c implics : 0.64 0.00 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c components : 0.08 0.00 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c pseudoobj : 0.00 0.28 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c probing : 269.38 0.00 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c knapsack : 1.50 0.00 0 0 0 0 0 1 36 50 281
1798.28/1798.69 c setppc : 0.56 0.00 0 0 0 0 0 18 0 0 0
1798.28/1798.69 c and : 0.39 0.00 0 0 0 0 0 20892 20892 0 0
1798.28/1798.69 c linear : 14.88 0.00 14100 4495 0 15312 0 74894 0 20 26
1798.28/1798.69 c logicor : 0.10 0.02 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c root node : - - 0 - - 0 - - - - -
1798.28/1798.69 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1798.28/1798.69 c integral : 0 0 0 0 0 0 3 0 0 0 0 0 0
1798.28/1798.69 c knapsack : 1185 1185 0 54880 0 1 3 45 15 0 0 0 0
1798.28/1798.69 c setppc : 111558 111558 0 54865 0 1 1 1095 0 0 0 0 0
1798.28/1798.69 c and : 1166 1166 0 54865 0 1 0 0 0 0 0 0 0
1798.28/1798.69 c logicor : 0+ 30 0 1 0 0 0 0 0 0 0 0 0
1798.28/1798.69 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1798.28/1798.69 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1798.28/1798.69 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1798.28/1798.69 c knapsack : 3.73 0.00 0.00 3.72 0.00 0.00 0.00 0.00
1798.28/1798.69 c setppc : 200.93 0.00 0.00 200.89 0.00 0.04 0.00 0.00
1798.28/1798.69 c and : 51.22 0.00 0.00 51.22 0.00 0.00 0.00 0.00
1798.28/1798.69 c logicor : 0.02 0.02 0.00 0.00 0.00 0.00 0.00 0.00
1798.28/1798.69 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.28/1798.69 c Propagators : #Propagate #ResProp Cutoffs DomReds
1798.28/1798.69 c rootredcost : 0 0 0 0
1798.28/1798.69 c pseudoobj : 5153 0 0 0
1798.28/1798.69 c vbounds : 0 0 0 0
1798.28/1798.69 c redcost : 0 0 0 0
1798.28/1798.69 c probing : 0 0 0 0
1798.28/1798.69 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1798.28/1798.69 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1798.28/1798.69 c pseudoobj : 0.32 0.28 0.00 0.03 0.00
1798.28/1798.69 c vbounds : 0.04 0.01 0.00 0.03 0.00
1798.28/1798.69 c redcost : 0.02 0.00 0.00 0.02 0.00
1798.28/1798.69 c probing : 269.38 0.00 269.38 0.00 0.00
1798.28/1798.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.28/1798.69 c propagation : 0.00 15 15 30 20.0 0 0.0 -
1798.28/1798.69 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.28/1798.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.28/1798.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.28/1798.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.28/1798.69 c applied globally : - - - 30 20.0 - - -
1798.28/1798.69 c applied locally : - - - 0 0.0 - - -
1798.28/1798.69 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1798.28/1798.69 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1798.28/1798.69 c clique : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c closecuts : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c cgmip : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c cmir : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c flowcover : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c gomory : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c impliedbounds : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c intobj : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c mcf : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c oddcycle : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c rapidlearning : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c strongcg : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c zerohalf : 0.00 0.00 0 0 0 0 0
1798.28/1798.69 c Pricers : ExecTime SetupTime Calls Vars
1798.28/1798.69 c problem variables: 0.00 - 0 0
1798.28/1798.69 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1798.28/1798.69 c relpscost : 0.00 0.00 0 0 0 0 0 0
1798.28/1798.69 c pscost : 0.00 0.00 0 0 0 0 0 0
1798.28/1798.69 c inference : 0.01 0.00 1 0 0 0 0 2
1798.28/1798.69 c mostinf : 0.00 0.00 0 0 0 0 0 0
1798.28/1798.69 c leastinf : 0.00 0.00 0 0 0 0 0 0
1798.28/1798.69 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1798.28/1798.69 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1798.28/1798.69 c random : 0.00 0.00 0 0 0 0 0 0
1798.28/1798.69 c Primal Heuristics : ExecTime SetupTime Calls Found
1798.28/1798.69 c LP solutions : 0.00 - - 0
1798.28/1798.69 c pseudo solutions : 0.00 - - 0
1798.28/1798.69 c oneopt : 0.00 0.00 0 0
1798.28/1798.69 c smallcard : 0.00 0.00 0 0
1798.28/1798.69 c trivial : 0.07 0.00 2 0
1798.28/1798.69 c shiftandpropagate: 20.71 0.00 1 0
1798.28/1798.69 c simplerounding : 0.00 0.00 0 0
1798.28/1798.69 c zirounding : 0.00 0.00 0 0
1798.28/1798.69 c rounding : 0.00 0.00 0 0
1798.28/1798.69 c shifting : 0.00 0.00 0 0
1798.28/1798.69 c intshifting : 0.00 0.00 0 0
1798.28/1798.69 c twoopt : 0.00 0.00 0 0
1798.28/1798.69 c indtwoopt : 0.00 0.00 0 0
1798.28/1798.69 c indoneopt : 0.00 0.00 0 0
1798.28/1798.69 c fixandinfer : 0.00 0.00 0 0
1798.28/1798.69 c feaspump : 0.00 0.00 0 0
1798.28/1798.69 c clique : 0.00 0.00 0 0
1798.28/1798.69 c indrounding : 0.00 0.00 0 0
1798.28/1798.69 c indcoefdiving : 0.00 0.00 0 0
1798.28/1798.69 c coefdiving : 0.00 0.00 0 0
1798.28/1798.69 c pscostdiving : 0.00 0.00 0 0
1798.28/1798.69 c nlpdiving : 0.00 0.00 0 0
1798.28/1798.69 c fracdiving : 0.00 0.00 0 0
1798.28/1798.69 c veclendiving : 0.00 0.00 0 0
1798.28/1798.69 c intdiving : 0.00 0.00 0 0
1798.28/1798.69 c actconsdiving : 0.00 0.00 0 0
1798.28/1798.69 c objpscostdiving : 0.00 0.00 0 0
1798.28/1798.69 c rootsoldiving : 0.00 0.00 0 0
1798.28/1798.69 c linesearchdiving : 0.00 0.00 0 0
1798.28/1798.69 c guideddiving : 0.00 0.00 0 0
1798.28/1798.69 c octane : 0.00 0.00 0 0
1798.28/1798.69 c rens : 0.00 0.00 0 0
1798.28/1798.69 c rins : 0.00 0.00 0 0
1798.28/1798.69 c localbranching : 0.00 0.00 0 0
1798.28/1798.69 c mutation : 0.00 0.00 0 0
1798.28/1798.69 c crossover : 0.00 0.00 0 0
1798.28/1798.69 c dins : 0.00 0.00 0 0
1798.28/1798.69 c vbounds : 0.00 0.00 0 0
1798.28/1798.69 c undercover : 0.00 0.00 0 0
1798.28/1798.69 c subnlp : 0.00 0.00 0 0
1798.28/1798.69 c trysol : 0.00 0.00 0 0
1798.28/1798.69 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1798.28/1798.69 c primal LP : 0.00 0 0 0.00 - 0.00 0
1798.28/1798.69 c dual LP : 1487.77 1 161422 161422.00 108.50 0.00 0
1798.28/1798.69 c lex dual LP : 0.00 0 0 0.00 -
1798.28/1798.69 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1798.28/1798.69 c diving/probing LP: 0.00 0 0 0.00 -
1798.28/1798.69 c strong branching : 0.00 0 0 0.00 -
1798.28/1798.69 c (at root node) : - 0 0 0.00 -
1798.28/1798.69 c conflict analysis: 0.00 0 0 0.00 -
1798.28/1798.69 c B&B Tree :
1798.28/1798.69 c number of runs : 1
1798.28/1798.69 c nodes : 1
1798.28/1798.69 c nodes (total) : 1
1798.28/1798.69 c nodes left : 2
1798.28/1798.69 c max depth : 0
1798.28/1798.69 c max depth (total): 0
1798.28/1798.69 c backtracks : 0 (0.0%)
1798.28/1798.69 c delayed cutoffs : 0
1798.28/1798.69 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.28/1798.69 c avg switch length: 1.00
1798.28/1798.69 c switching time : 0.00
1798.28/1798.69 c Solution :
1798.28/1798.69 c Solutions found : 0 (0 improvements)
1798.28/1798.69 c Primal Bound : -
1798.28/1798.69 c Dual Bound : +0.00000000000000e+00
1798.28/1798.69 c Gap : infinite
1798.28/1798.69 c Root Dual Bound : +0.00000000000000e+00
1798.28/1798.69 c Root Iterations : 161422
1798.97/1799.38 c Time complete: 1799.06.
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-3691291-1338023104/watcher-3691291-1338023104 -o /tmp/evaluation-result-3691291-1338023104/solver-3691291-1338023104 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691291-1338023104.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 1.99 3/176 2559
/proc/meminfo: memFree=27838028/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=10672 CPUtime=0 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 1406 0 0 0 0 0 0 0 20 0 1 0 268436436 10928128 1361 33554432000 4194304 10173063 140736724411712 140735468397096 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 2668 1361 416 1460 0 1199 0
[startup+0.083538 s]
/proc/loadavg: 2.01 2.02 1.99 3/176 2559
/proc/meminfo: memFree=27838028/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=40184 CPUtime=0.07 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 8826 0 0 0 6 1 0 0 20 0 1 0 268436436 41148416 8754 33554432000 4194304 10173063 140736724411712 140736724276200 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 10046 8754 416 1460 0 8577 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 40184
[startup+0.100278 s]
/proc/loadavg: 2.01 2.02 1.99 3/176 2559
/proc/meminfo: memFree=27838028/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=44772 CPUtime=0.09 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 9972 0 0 0 8 1 0 0 20 0 1 0 268436436 45846528 9900 33554432000 4194304 10173063 140736724411712 140736724276200 8888798 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 11193 9900 416 1460 0 9724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44772
[startup+0.300274 s]
/proc/loadavg: 2.01 2.02 1.99 3/176 2559
/proc/meminfo: memFree=27838028/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=73848 CPUtime=0.29 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 17245 0 0 0 27 2 0 0 20 0 1 0 268436436 75620352 17173 33554432000 4194304 10173063 140736724411712 140736724276200 7174280 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 18462 17173 416 1460 0 16993 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73848
[startup+0.700168 s]
/proc/loadavg: 2.01 2.02 1.99 3/176 2559
/proc/meminfo: memFree=27838028/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=186488 CPUtime=0.69 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 45277 0 0 0 62 7 0 0 20 0 1 0 268436436 190963712 45186 33554432000 4194304 10173063 140736724411712 140736724276888 7395964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 46622 45186 466 1460 0 45153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 186488
[startup+1.50029 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 2560
/proc/meminfo: memFree=27553688/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=417820 CPUtime=1.49 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 108768 0 0 0 134 15 0 0 20 0 1 0 268436436 427847680 101839 33554432000 4194304 10173063 140736724411712 140736724407224 4903760 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 104455 101839 514 1460 0 102986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 417820
[startup+3.10029 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 2560
/proc/meminfo: memFree=27373640/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=592808 CPUtime=3.08 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 156932 0 0 0 286 22 0 0 20 0 1 0 268436436 607035392 144845 33554432000 4194304 10173063 140736724411712 140736724408712 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 148202 144845 559 1460 0 146733 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 592808
[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 2560
/proc/meminfo: memFree=27066260/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=855244 CPUtime=6.29 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 220420 0 0 0 595 34 0 0 20 0 1 0 268436436 875769856 208333 33554432000 4194304 10173063 140736724411712 140736724408712 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 213811 208333 559 1460 0 212342 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 855244
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 2560
/proc/meminfo: memFree=26945244/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=911168 CPUtime=12.68 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 235046 0 0 0 1223 45 0 0 20 0 1 0 268436436 933036032 221830 33554432000 4194304 10173063 140736724411712 140736724408712 7436472 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 227792 221830 568 1460 0 226323 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 911168
[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 2560
/proc/meminfo: memFree=26883748/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=971444 CPUtime=25.48 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 261784 0 0 0 2459 89 0 0 20 0 1 0 268436436 994758656 236453 33554432000 4194304 10173063 140736724411712 140736724408072 6126957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 242861 236453 626 1460 0 241392 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 971444
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 2561
/proc/meminfo: memFree=26860572/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=984360 CPUtime=51.09 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 264629 0 0 0 5016 93 0 0 20 0 1 0 268436436 1007984640 239265 33554432000 4194304 10173063 140736724411712 140736724408072 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 246090 239265 626 1460 0 244621 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 984360
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 2599
/proc/meminfo: memFree=26493264/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1008196 CPUtime=102.28 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 271322 0 0 0 10128 100 0 0 20 0 1 0 268436436 1032392704 246061 33554432000 4194304 10173063 140736724411712 140736724408072 5871378 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 252049 246061 626 1460 0 250580 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1008196
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 2599
/proc/meminfo: memFree=26417164/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1053072 CPUtime=162.25 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 282101 0 0 0 16116 109 0 0 20 0 1 0 268436436 1078345728 256765 33554432000 4194304 10173063 140736724411712 140736724408072 8922996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 263268 256765 626 1460 0 261799 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1053072
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 2599
/proc/meminfo: memFree=26307840/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1100680 CPUtime=222.23 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 294599 0 0 0 22106 117 0 0 20 0 1 0 268436436 1127096320 269887 33554432000 4194304 10173063 140736724411712 140736724408072 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 275170 269887 626 1460 0 273701 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1100680
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 2599
/proc/meminfo: memFree=26178660/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1164036 CPUtime=282.22 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 310094 0 0 0 28097 125 0 0 20 0 1 0 268436436 1191972864 285414 33554432000 4194304 10173063 140736724411712 140736724408088 4780448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 291009 285414 626 1460 0 289540 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1164036
[startup+342.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/178 2603
/proc/meminfo: memFree=25853832/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1415008 CPUtime=342.2 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 353282 0 0 0 34072 148 0 0 20 0 1 0 268436436 1448968192 349435 33554432000 4194304 10173063 140736724411712 140736724405352 7594563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 353752 349435 789 1460 0 352283 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1415008
[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 2603
/proc/meminfo: memFree=25602948/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1423368 CPUtime=402.19 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 354884 0 0 0 40067 152 0 0 20 0 1 0 268436436 1457528832 351633 33554432000 4194304 10173063 140736724411712 140736724405336 7985021 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 355842 351633 789 1460 0 354373 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1423368
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 2603
/proc/meminfo: memFree=25590060/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1423560 CPUtime=462.18 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 354988 0 0 0 46060 158 0 0 20 0 1 0 268436436 1457725440 353426 33554432000 4194304 10173063 140736724411712 140736724404888 8018037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 355890 353426 789 1460 0 354421 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1423560
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 2603
/proc/meminfo: memFree=25575724/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1428500 CPUtime=522.17 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 355668 0 0 0 52054 163 0 0 20 0 1 0 268436436 1462784000 354510 33554432000 4194304 10173063 140736724411712 140736724404888 8025697 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 357125 354510 789 1460 0 355656 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1428500
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2603
/proc/meminfo: memFree=25571288/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1432936 CPUtime=582.16 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 356520 0 0 0 58049 167 0 0 20 0 1 0 268436436 1467326464 355377 33554432000 4194304 10173063 140736724411712 140736724404888 7710377 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 358234 355377 789 1460 0 356765 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1432936
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25515156/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1454892 CPUtime=1062.08 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361419 0 0 0 106005 203 0 0 20 0 1 0 268436436 1489809408 361684 33554432000 4194304 10173063 140736724411712 140736724404888 8025640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363723 361684 789 1460 0 362254 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 1454892
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2608
/proc/meminfo: memFree=25504592/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1454892 CPUtime=1122.08 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361423 0 0 0 112001 207 0 0 20 0 1 0 268436436 1489809408 361688 33554432000 4194304 10173063 140736724411712 140736724404888 7980752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363723 361688 789 1460 0 362254 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1454892
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2608
/proc/meminfo: memFree=25502900/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1454892 CPUtime=1182.07 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361424 0 0 0 117995 212 0 0 20 0 1 0 268436436 1489809408 361689 33554432000 4194304 10173063 140736724411712 140736724404888 8846798 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363723 361689 790 1460 0 362254 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1454892
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2608
/proc/meminfo: memFree=25500864/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1454892 CPUtime=1242.06 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361437 0 0 0 123990 216 0 0 20 0 1 0 268436436 1489809408 361697 33554432000 4194304 10173063 140736724411712 140736724405384 8035460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363723 361697 790 1460 0 362254 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1454892
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2610
/proc/meminfo: memFree=25499732/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1302.06 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361637 0 0 0 129986 220 0 0 20 0 1 0 268436436 1490636800 361897 33554432000 4194304 10173063 140736724411712 140736724404888 8013268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361897 790 1460 0 362456 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1455700
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2610
/proc/meminfo: memFree=25498900/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1362.04 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361638 0 0 0 135979 225 0 0 20 0 1 0 268436436 1490636800 361898 33554432000 4194304 10173063 140736724411712 140736724404888 8018244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361898 790 1460 0 362456 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1455700
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2610
/proc/meminfo: memFree=25499052/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1422.04 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361649 0 0 0 141974 230 0 0 20 0 1 0 268436436 1490636800 361909 33554432000 4194304 10173063 140736724411712 140736724404888 8012915 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361909 790 1460 0 362456 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1455700
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2610
/proc/meminfo: memFree=25498832/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1482.02 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361652 0 0 0 147969 233 0 0 20 0 1 0 268436436 1490636800 361912 33554432000 4194304 10173063 140736724411712 140736724404888 8012255 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361912 790 1460 0 362456 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1455700
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 2613
/proc/meminfo: memFree=25499096/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1542.01 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361652 0 0 0 153964 237 0 0 20 0 1 0 268436436 1490636800 361912 33554432000 4194304 10173063 140736724411712 140736724404888 8013036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361912 790 1460 0 362456 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1455700
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499256/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1602.01 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361652 0 0 0 159960 241 0 0 20 0 1 0 268436436 1490636800 361912 33554432000 4194304 10173063 140736724411712 140736724404888 7594585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361912 790 1460 0 362456 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1455700
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 2614
/proc/meminfo: memFree=25499624/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1662 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361653 0 0 0 165955 245 0 0 20 0 1 0 268436436 1490636800 361912 33554432000 4194304 10173063 140736724411712 140736724404888 8018124 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361912 790 1460 0 362456 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1455700
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499748/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1721.98 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361653 0 0 0 171950 248 0 0 20 0 1 0 268436436 1490636800 361912 33554432000 4194304 10173063 140736724411712 140736724404888 8012255 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361912 790 1460 0 362456 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1455700
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499252/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1781.98 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361655 0 0 0 177945 253 0 0 20 0 1 0 268436436 1490636800 361914 33554432000 4194304 10173063 140736724411712 140736724405384 8063840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361914 790 1460 0 362456 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1455700
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499252/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1791.58 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361656 0 0 0 178904 254 0 0 20 0 1 0 268436436 1490636800 361915 33554432000 4194304 10173063 140736724411712 140736724404888 8038339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361915 790 1460 0 362456 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 1455700
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499624/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1794.78 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361656 0 0 0 179224 254 0 0 20 0 1 0 268436436 1490636800 361915 33554432000 4194304 10173063 140736724411712 140736724404888 8012178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361915 790 1460 0 362456 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 1455700
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499624/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1796.38 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361656 0 0 0 179384 254 0 0 20 0 1 0 268436436 1490636800 361915 33554432000 4194304 10173063 140736724411712 140736724404888 8846793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361915 790 1460 0 362456 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 1455700
[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499624/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1455700 CPUtime=1797.98 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361656 0 0 0 179544 254 0 0 20 0 1 0 268436436 1490636800 361915 33554432000 4194304 10173063 140736724411712 140736724405384 8012538 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 363925 361915 790 1460 0 362456 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1455700
[startup+1799.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499624/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1438696 CPUtime=1798.77 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361681 0 0 0 179623 254 0 0 20 0 1 0 268436436 1473224704 357758 33554432000 4194304 10173063 140736724411712 140736724404888 7544969 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 359674 357758 815 1460 0 358205 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (KiB) 1438696
[startup+1799.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2614
/proc/meminfo: memFree=25499624/32873648 swapFree=6864/6864
[pid=2559] ppid=2557 vsize=1108012 CPUtime=1798.97 cores=1,3,5,7
/proc/2559/stat : 2559 (scip-2.1.1.4fix) R 2557 2559 1798 0 -1 4202496 361682 0 0 0 179640 257 0 0 20 0 1 0 268436436 1134604288 275365 33554432000 4194304 10173063 140736724411712 140736724404888 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2559/statm: 277003 275365 816 1460 0 275534 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (KiB) 1108012
Child status: 0
Real time (s): 1799.39
CPU time (s): 1799.07
CPU user time (s): 1796.46
CPU system time (s): 2.6116
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 1455700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.46
system time used= 2.6116
maximum resident set size= 1447748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361695
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= 58
involuntary context switches= 1847
runsolver used 3.18552 second user time and 11.9482 second system time
The end