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-3691303-1338023057.opb>
0.49/0.58 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234335 constraints
0.49/0.58 c problem read in 0.59
1.38/1.47 c presolving:
7.48/7.51 c (round 1) 4976 del vars, 15208 del conss, 0 add conss, 3473 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15899880 impls, 0 clqs
11.58/11.69 c (round 2) 11777 del vars, 39036 del conss, 0 add conss, 10076 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15930913 impls, 0 clqs
12.88/12.98 c (round 3) 14394 del vars, 50085 del conss, 0 add conss, 11552 chg bounds, 23 chg sides, 15 chg coeffs, 0 upgd conss, 15942588 impls, 0 clqs
13.58/13.61 c (round 4) 15310 del vars, 53902 del conss, 0 add conss, 12149 chg bounds, 35 chg sides, 31 chg coeffs, 0 upgd conss, 15947180 impls, 0 clqs
13.78/13.84 c (round 5) 15734 del vars, 55762 del conss, 0 add conss, 12365 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 15948789 impls, 0 clqs
13.99/14.00 c (round 6) 15858 del vars, 56355 del conss, 0 add conss, 12444 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 15949891 impls, 0 clqs
14.08/14.11 c (round 7) 15927 del vars, 56675 del conss, 0 add conss, 12477 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 15950773 impls, 0 clqs
14.18/14.21 c (round 8) 15965 del vars, 56865 del conss, 0 add conss, 12504 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 15950986 impls, 0 clqs
14.18/14.29 c (round 9) 15989 del vars, 56972 del conss, 0 add conss, 12521 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 15951024 impls, 0 clqs
14.29/14.37 c (round 10) 15989 del vars, 56991 del conss, 0 add conss, 12521 chg bounds, 35 chg sides, 33 chg coeffs, 0 upgd conss, 15951024 impls, 0 clqs
15.09/15.15 c (round 11) 15989 del vars, 56991 del conss, 0 add conss, 12521 chg bounds, 35 chg sides, 33 chg coeffs, 177344 upgd conss, 15951024 impls, 0 clqs
15.68/15.78 c (round 12) 15989 del vars, 57001 del conss, 22 add conss, 12521 chg bounds, 63 chg sides, 219 chg coeffs, 177344 upgd conss, 15951100 impls, 265 clqs
16.08/16.14 c (round 13) 15989 del vars, 57007 del conss, 43 add conss, 12521 chg bounds, 87 chg sides, 285 chg coeffs, 177344 upgd conss, 15951144 impls, 290 clqs
305.31/305.42 c (305.4s) probing: 1000/56853 (1.8%) - 0 fixings, 0 aggregations, 5648996 implications, 0 bound changes
305.61/305.70 c (305.7s) probing: 1001/56853 (1.8%) - 0 fixings, 0 aggregations, 5654574 implications, 0 bound changes
305.61/305.70 c (305.7s) probing aborted: 1000/1000 successive useless probings
305.61/305.70 c (round 14) 15989 del vars, 144191 del conss, 28143 add conss, 12521 chg bounds, 87 chg sides, 287 chg coeffs, 177344 upgd conss, 27260292 impls, 290 clqs
306.41/306.52 c (round 15) 15989 del vars, 168344 del conss, 52296 add conss, 12521 chg bounds, 87 chg sides, 291 chg coeffs, 177344 upgd conss, 27260292 impls, 3173 clqs
307.01/307.15 c presolving (16 rounds):
307.01/307.15 c 15989 deleted vars, 168344 deleted constraints, 52296 added constraints, 12521 tightened bounds, 0 added holes, 87 changed sides, 292 changed coefficients
307.01/307.15 c 27260292 implications, 27326 cliques
307.01/307.15 c presolved problem has 56853 variables (56853 bin, 0 int, 0 impl, 0 cont) and 118287 constraints
307.01/307.15 c 1136 constraints of type <knapsack>
307.01/307.15 c 116086 constraints of type <setppc>
307.01/307.15 c 1063 constraints of type <and>
307.01/307.15 c 2 constraints of type <logicor>
307.01/307.15 c transformed objective value is always integral (scale: 1)
307.01/307.15 c Presolving Time: 306.32
307.01/307.15 c - non default parameters ----------------------------------------------------------------------
307.01/307.15 c # SCIP version 2.1.1.4
307.01/307.15 c
307.01/307.15 c # maximal time in seconds to run
307.01/307.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
307.01/307.15 c limits/time = 1797
307.01/307.15 c
307.01/307.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
307.01/307.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
307.01/307.15 c limits/memory = 13950
307.01/307.15 c
307.01/307.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
307.01/307.15 c # [type: int, range: [1,2], default: 1]
307.01/307.15 c timing/clocktype = 2
307.01/307.15 c
307.01/307.15 c # belongs reading time to solving time?
307.01/307.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
307.01/307.15 c timing/reading = TRUE
307.01/307.15 c
307.01/307.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
307.01/307.15 c # [type: int, range: [-1,2147483647], default: -1]
307.01/307.15 c separating/rapidlearning/freq = 0
307.01/307.15 c
307.01/307.15 c -----------------------------------------------------------------------------------------------
307.01/307.15 c start solving
307.31/307.47 c
1492.12/1492.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.12/1492.48 c 1492s| 1 | 0 |140074 | - |1027M| 0 |9407 | 56k| 118k| 56k| 119k| 0 | 28 | 0 | 9.433320e+01 | -- | Inf
1796.98/1797.32 c (node 1) unresolved numerical troubles in LP 2 -- using pseudo solution instead (loop 1)
1796.98/1797.32 c (node 1) LP solver hit time limit in LP 2 -- using pseudo solution instead
1796.98/1797.36 c 1797s| 1 | 2 |184894 | - |1034M| 0 | - | 56k| 118k| 56k| 119k| 0 | 28 | 0 | 9.433320e+01 | -- | Inf
1796.98/1797.36 c
1796.98/1797.36 c SCIP Status : solving was interrupted [time limit reached]
1796.98/1797.36 c Solving Time (sec) : 1797.35
1796.98/1797.36 c Solving Nodes : 1
1796.98/1797.36 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.98/1797.36 c Dual Bound : +9.43332019100387e+01
1796.98/1797.36 c Gap : infinite
1796.98/1797.36 s UNKNOWN
1796.98/1797.36 c SCIP Status : solving was interrupted [time limit reached]
1796.98/1797.36 c Total Time : 1797.35
1796.98/1797.36 c solving : 1797.35
1796.98/1797.36 c presolving : 306.32 (included in solving)
1796.98/1797.36 c reading : 0.59 (included in solving)
1796.98/1797.36 c copying : 0.00 (0 times copied the problem)
1796.98/1797.36 c Original Problem :
1796.98/1797.36 c Problem name : HOME/instance-3691303-1338023057.opb
1796.98/1797.36 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.98/1797.36 c Constraints : 234335 initial, 234335 maximal
1796.98/1797.36 c Objective sense : minimize
1796.98/1797.36 c Presolved Problem :
1796.98/1797.36 c Problem name : t_HOME/instance-3691303-1338023057.opb
1796.98/1797.36 c Variables : 56853 (56853 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.98/1797.36 c Constraints : 118287 initial, 118315 maximal
1796.98/1797.36 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.98/1797.36 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c trivial : 0.05 0.00 1207 0 0 0 0 0 0 0 0
1796.98/1797.36 c dualfix : 0.08 0.00 120 0 0 0 0 0 0 0 0
1796.98/1797.36 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c gateextraction : 0.36 0.00 0 0 0 0 0 87184 28100 0 0
1796.98/1797.36 c implics : 0.56 0.00 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c components : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c pseudoobj : 0.00 0.29 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c probing : 289.04 0.00 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c knapsack : 0.96 0.00 0 0 0 0 0 5 43 52 259
1796.98/1797.36 c setppc : 0.66 0.00 0 0 0 0 0 11 0 0 0
1796.98/1797.36 c and : 0.44 0.00 0 0 0 0 0 24153 24153 0 0
1796.98/1797.36 c linear : 12.96 0.00 11314 3348 0 12521 0 56991 0 35 33
1796.98/1797.36 c logicor : 0.24 0.00 0 0 0 0 0 0 0 0 0
1796.98/1797.36 c root node : - - 0 - - 0 - - - - -
1796.98/1797.36 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.98/1797.36 c integral : 0 0 0 0 0 0 4 0 0 0 0 0 0
1796.98/1797.36 c knapsack : 1136 1136 0 74406 0 1 3 15 0 0 0 0 0
1796.98/1797.36 c setppc : 116086 116086 0 74406 0 1 1 1020 2 0 0 0 0
1796.98/1797.36 c and : 1063 1063 0 74404 0 1 0 15 0 0 0 0 0
1796.98/1797.36 c logicor : 2+ 30 0 19 0 1 0 1 13 0 0 0 0
1796.98/1797.36 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.98/1797.36 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.98/1797.36 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1796.98/1797.36 c knapsack : 4.25 0.00 0.00 4.25 0.00 0.00 0.00 0.00
1796.98/1797.36 c setppc : 289.77 0.00 0.00 289.74 0.00 0.04 0.00 0.00
1796.98/1797.36 c and : 61.47 0.00 0.00 61.47 0.00 0.00 0.00 0.00
1796.98/1797.36 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.98/1797.36 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.98/1797.36 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.98/1797.36 c rootredcost : 0 0 0 0
1796.98/1797.36 c pseudoobj : 21693 0 0 0
1796.98/1797.36 c vbounds : 0 0 0 0
1796.98/1797.36 c redcost : 1 0 0 0
1796.98/1797.36 c probing : 0 0 0 0
1796.98/1797.36 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.98/1797.36 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.98/1797.36 c pseudoobj : 0.37 0.29 0.00 0.08 0.00
1796.98/1797.36 c vbounds : 0.05 0.01 0.00 0.04 0.00
1796.98/1797.36 c redcost : 0.03 0.00 0.00 0.03 0.00
1796.98/1797.36 c probing : 289.04 0.00 289.04 0.00 0.00
1796.98/1797.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.98/1797.36 c propagation : 0.00 15 15 28 121.6 0 0.0 -
1796.98/1797.36 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.98/1797.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.98/1797.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.98/1797.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.98/1797.36 c applied globally : - - - 28 121.6 - - -
1796.98/1797.36 c applied locally : - - - 0 0.0 - - -
1796.98/1797.36 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.98/1797.36 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.98/1797.36 c clique : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c closecuts : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c cgmip : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c cmir : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c flowcover : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c gomory : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c impliedbounds : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c intobj : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c mcf : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c strongcg : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.98/1797.36 c Pricers : ExecTime SetupTime Calls Vars
1796.98/1797.36 c problem variables: 0.00 - 0 0
1796.98/1797.36 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.98/1797.36 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.98/1797.36 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.98/1797.36 c inference : 0.01 0.00 1 0 0 0 0 2
1796.98/1797.36 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.98/1797.36 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.98/1797.36 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.98/1797.36 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.98/1797.36 c random : 0.00 0.00 0 0 0 0 0 0
1796.98/1797.36 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.98/1797.36 c LP solutions : 0.00 - - 0
1796.98/1797.36 c pseudo solutions : 0.00 - - 0
1796.98/1797.36 c oneopt : 0.00 0.00 0 0
1796.98/1797.36 c smallcard : 0.00 0.00 0 0
1796.98/1797.36 c trivial : 0.07 0.00 2 0
1796.98/1797.36 c shiftandpropagate: 104.36 0.00 1 0
1796.98/1797.36 c simplerounding : 0.00 0.00 0 0
1796.98/1797.36 c zirounding : 0.00 0.00 0 0
1796.98/1797.36 c rounding : 0.01 0.00 1 0
1796.98/1797.36 c shifting : 0.11 0.00 1 0
1796.98/1797.36 c intshifting : 0.00 0.00 0 0
1796.98/1797.36 c twoopt : 0.00 0.00 0 0
1796.98/1797.36 c indtwoopt : 0.00 0.00 0 0
1796.98/1797.36 c indoneopt : 0.00 0.00 0 0
1796.98/1797.36 c fixandinfer : 0.00 0.00 0 0
1796.98/1797.36 c feaspump : 304.72 0.00 1 0
1796.98/1797.36 c clique : 0.00 0.00 0 0
1796.98/1797.36 c indrounding : 0.00 0.00 0 0
1796.98/1797.36 c indcoefdiving : 0.00 0.00 0 0
1796.98/1797.36 c coefdiving : 0.00 0.00 0 0
1796.98/1797.36 c pscostdiving : 0.00 0.00 0 0
1796.98/1797.36 c nlpdiving : 0.00 0.00 0 0
1796.98/1797.36 c fracdiving : 0.00 0.00 0 0
1796.98/1797.36 c veclendiving : 0.00 0.00 0 0
1796.98/1797.36 c intdiving : 0.00 0.00 0 0
1796.98/1797.36 c actconsdiving : 0.00 0.00 0 0
1796.98/1797.36 c objpscostdiving : 0.00 0.00 0 0
1796.98/1797.36 c rootsoldiving : 0.00 0.00 0 0
1796.98/1797.36 c linesearchdiving : 0.00 0.00 0 0
1796.98/1797.36 c guideddiving : 0.00 0.00 0 0
1796.98/1797.36 c octane : 0.00 0.00 0 0
1796.98/1797.36 c rens : 0.00 0.00 0 0
1796.98/1797.36 c rins : 0.00 0.00 0 0
1796.98/1797.36 c localbranching : 0.00 0.00 0 0
1796.98/1797.36 c mutation : 0.00 0.00 0 0
1796.98/1797.36 c crossover : 0.00 0.00 0 0
1796.98/1797.36 c dins : 0.00 0.00 0 0
1796.98/1797.36 c vbounds : 0.00 0.00 0 0
1796.98/1797.36 c undercover : 0.00 0.00 0 0
1796.98/1797.36 c subnlp : 0.00 0.00 0 0
1796.98/1797.36 c trysol : 0.00 0.00 0 0
1796.98/1797.36 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.98/1797.36 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.98/1797.36 c dual LP : 1080.59 1 140074 140074.00 129.63 0.00 0
1796.98/1797.36 c lex dual LP : 0.00 0 0 0.00 -
1796.98/1797.36 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.98/1797.36 c diving/probing LP: 304.68 1 44820 44820.00 147.10
1796.98/1797.36 c strong branching : 0.00 0 0 0.00 -
1796.98/1797.36 c (at root node) : - 0 0 0.00 -
1796.98/1797.36 c conflict analysis: 0.00 0 0 0.00 -
1796.98/1797.36 c B&B Tree :
1796.98/1797.36 c number of runs : 1
1796.98/1797.36 c nodes : 1
1796.98/1797.36 c nodes (total) : 1
1796.98/1797.36 c nodes left : 2
1796.98/1797.36 c max depth : 0
1796.98/1797.36 c max depth (total): 0
1796.98/1797.36 c backtracks : 0 (0.0%)
1796.98/1797.36 c delayed cutoffs : 0
1796.98/1797.36 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.98/1797.36 c avg switch length: 1.00
1796.98/1797.36 c switching time : 0.00
1796.98/1797.36 c Solution :
1796.98/1797.36 c Solutions found : 0 (0 improvements)
1796.98/1797.36 c Primal Bound : -
1796.98/1797.36 c Dual Bound : +9.43332019100387e+01
1796.98/1797.36 c Gap : infinite
1796.98/1797.36 c Root Dual Bound : +9.43332019100387e+01
1796.98/1797.36 c Root Iterations : 184894
1797.68/1798.02 c Time complete: 1797.71.
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-3691303-1338023057/watcher-3691303-1338023057 -o /tmp/evaluation-result-3691303-1338023057/solver-3691303-1338023057 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691303-1338023057.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.05 1.99 3/176 32222
/proc/meminfo: memFree=28499640/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=10668 CPUtime=0 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 1409 0 0 0 0 0 0 0 20 0 1 0 268431671 10924032 1363 33554432000 4194304 10173063 140734676350256 140734676215096 8886411 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 2667 1372 416 1460 0 1198 0
[startup+0.054785 s]
/proc/loadavg: 2.01 2.05 1.99 3/176 32222
/proc/meminfo: memFree=28499640/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=29372 CPUtime=0.04 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 6139 0 0 0 4 0 0 0 20 0 1 0 268431671 30076928 6066 33554432000 4194304 10173063 140734676350256 140734676215096 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 7343 6066 416 1460 0 5874 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29372
[startup+0.100282 s]
/proc/loadavg: 2.01 2.05 1.99 3/176 32222
/proc/meminfo: memFree=28499640/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=44768 CPUtime=0.09 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 9975 0 0 0 8 1 0 0 20 0 1 0 268431671 45842432 9902 33554432000 4194304 10173063 140734676350256 140734676215096 5474314 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 11192 9902 416 1460 0 9723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44768
[startup+0.300225 s]
/proc/loadavg: 2.01 2.05 1.99 3/176 32222
/proc/meminfo: memFree=28499640/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=74928 CPUtime=0.29 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 17504 0 0 0 27 2 0 0 20 0 1 0 268431671 76726272 17431 33554432000 4194304 10173063 140734676350256 140734676215096 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 18732 17431 416 1460 0 17263 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74928
[startup+0.700243 s]
/proc/loadavg: 2.01 2.05 1.99 3/176 32222
/proc/meminfo: memFree=28499640/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=212224 CPUtime=0.69 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 51756 0 0 0 62 7 0 0 20 0 1 0 268431671 217317376 51603 33554432000 4194304 10173063 140734676350256 140734676215096 4900240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 53056 51603 468 1460 0 51587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212224
[startup+1.50023 s]
/proc/loadavg: 2.01 2.05 1.99 3/177 32223
/proc/meminfo: memFree=28202024/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=408064 CPUtime=1.49 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 108804 0 0 0 134 15 0 0 20 0 1 0 268431671 417857536 98494 33554432000 4194304 10173063 140734676350256 140734676345848 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 102016 98494 550 1460 0 100547 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 408064
[startup+3.10018 s]
/proc/loadavg: 2.01 2.05 1.99 3/177 32223
/proc/meminfo: memFree=28027788/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=597704 CPUtime=3.09 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 156125 0 0 0 285 24 0 0 20 0 1 0 268431671 612048896 146104 33554432000 4194304 10173063 140734676350256 140734676347256 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 149426 146104 559 1460 0 147957 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 597704
[startup+6.30024 s]
/proc/loadavg: 2.01 2.05 1.99 3/177 32223
/proc/meminfo: memFree=27721040/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=847968 CPUtime=6.28 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 216177 0 0 0 591 37 0 0 20 0 1 0 268431671 868319232 206156 33554432000 4194304 10173063 140734676350256 140734676347256 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 211992 206156 565 1460 0 210523 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 847968
[startup+12.7003 s]
/proc/loadavg: 2.01 2.05 1.99 3/177 32223
/proc/meminfo: memFree=27627268/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=893688 CPUtime=12.69 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 228449 0 0 0 1221 48 0 0 20 0 1 0 268431671 915136512 217625 33554432000 4194304 10173063 140734676350256 140734676347256 7436491 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 223422 217625 568 1460 0 221953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 893688
[startup+25.5002 s]
/proc/loadavg: 2.01 2.05 1.99 3/177 32223
/proc/meminfo: memFree=27566108/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=955116 CPUtime=25.48 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 255602 0 0 0 2464 84 0 0 20 0 1 0 268431671 978038784 232922 33554432000 4194304 10173063 140734676350256 140734676346616 4780381 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 238779 232922 628 1460 0 237310 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 955116
[startup+51.1003 s]
/proc/loadavg: 2.00 2.04 1.99 3/177 32223
/proc/meminfo: memFree=27554856/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=965172 CPUtime=51.07 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 257741 0 0 0 5021 86 0 0 20 0 1 0 268431671 988336128 234977 33554432000 4194304 10173063 140734676350256 140734676346616 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 241293 234977 628 1460 0 239824 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 965172
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/177 32224
/proc/meminfo: memFree=27526116/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=988796 CPUtime=102.25 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 264210 0 0 0 10132 93 0 0 20 0 1 0 268431671 1012527104 241615 33554432000 4194304 10173063 140734676350256 140734676346616 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 247199 241615 628 1460 0 245730 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 988796
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 32224
/proc/meminfo: memFree=27476324/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1035272 CPUtime=162.23 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 275090 0 0 0 16121 102 0 0 20 0 1 0 268431671 1060118528 254039 33554432000 4194304 10173063 140734676350256 140734676346632 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 258818 254039 628 1460 0 257349 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1035272
[startup+222.307 s]
/proc/loadavg: 2.05 2.03 1.99 3/177 32224
/proc/meminfo: memFree=27413912/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1097936 CPUtime=222.23 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 286380 0 0 0 22113 110 0 0 20 0 1 0 268431671 1124286464 268170 33554432000 4194304 10173063 140734676350256 140734676346616 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 274484 268170 628 1460 0 273015 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1097936
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 32224
/proc/meminfo: memFree=27346128/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1160832 CPUtime=282.22 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 302628 0 0 0 28101 121 0 0 20 0 1 0 268431671 1188691968 284296 33554432000 4194304 10173063 140734676350256 140734676346616 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 290208 284296 628 1460 0 288739 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1160832
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 32224
/proc/meminfo: memFree=27171760/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1336104 CPUtime=342.2 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 334844 0 0 0 34079 141 0 0 20 0 1 0 268431671 1368170496 326742 33554432000 4194304 10173063 140734676350256 140734676346136 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 334026 326742 708 1460 0 332557 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1336104
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 32228
/proc/meminfo: memFree=27167096/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1336104 CPUtime=402.2 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 334844 0 0 0 40072 148 0 0 20 0 1 0 268431671 1368170496 326746 33554432000 4194304 10173063 140734676350256 140734676346136 4780448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 334026 326746 708 1460 0 332557 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1336104
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 32228
/proc/meminfo: memFree=27065168/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1438436 CPUtime=462.19 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 350874 0 0 0 46060 159 0 0 20 0 1 0 268431671 1472958464 351492 33554432000 4194304 10173063 140734676350256 140734676343432 7984407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 359609 351492 791 1460 0 358140 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1438436
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32228
/proc/meminfo: memFree=27057444/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1443148 CPUtime=522.18 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 351730 0 0 0 52052 166 0 0 20 0 1 0 268431671 1477783552 352868 33554432000 4194304 10173063 140734676350256 140734676343896 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 360787 352868 791 1460 0 359318 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1443148
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32228
/proc/meminfo: memFree=27028164/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=582.17 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355078 0 0 0 58045 172 0 0 20 0 1 0 268431671 1509998592 359403 33554432000 4194304 10173063 140734676350256 140734676343432 8012042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 359403 791 1460 0 367183 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1474608
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26983456/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1062.09 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) D 32220 32222 31092 0 -1 4202496 355614 0 0 0 106001 208 0 0 20 0 1 0 268431671 1509998592 365030 33554432000 4194304 10173063 140734676350256 140734676343432 7955899 0 0 4096 16384 18446744071581355444 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365030 792 1460 0 367183 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1474608
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32233
/proc/meminfo: memFree=26977712/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1122.08 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355632 0 0 0 111996 212 0 0 20 0 1 0 268431671 1509998592 365369 33554432000 4194304 10173063 140734676350256 140734676343432 8012915 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365369 792 1460 0 367183 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1474608
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32233
/proc/meminfo: memFree=26974612/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1182.07 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355632 0 0 0 117992 215 0 0 20 0 1 0 268431671 1509998592 365369 33554432000 4194304 10173063 140734676350256 140734676343928 8013345 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365369 792 1460 0 367183 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1474608
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 32233
/proc/meminfo: memFree=26971636/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1242.06 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355632 0 0 0 123986 220 0 0 20 0 1 0 268431671 1509998592 365369 33554432000 4194304 10173063 140734676350256 140734676343432 8013036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365369 792 1460 0 367183 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1474608
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32272
/proc/meminfo: memFree=27194072/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1302.05 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355691 0 0 0 129981 224 0 0 20 0 1 0 268431671 1509998592 365428 33554432000 4194304 10173063 140734676350256 140734676343432 8013036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365428 792 1460 0 367183 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1474608
[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 32273
/proc/meminfo: memFree=27191248/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1362.05 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355693 0 0 0 135977 228 0 0 20 0 1 0 268431671 1509998592 365430 33554432000 4194304 10173063 140734676350256 140734676343432 8013292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365430 792 1460 0 367183 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1474608
[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 32273
/proc/meminfo: memFree=27188404/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1422.04 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355694 0 0 0 141972 232 0 0 20 0 1 0 268431671 1509998592 365431 33554432000 4194304 10173063 140734676350256 140734676343432 8013273 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365431 792 1460 0 367183 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1474608
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 32273
/proc/meminfo: memFree=27183540/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1482.02 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355694 0 0 0 147966 236 0 0 20 0 1 0 268431671 1509998592 365431 33554432000 4194304 10173063 140734676350256 140734676343432 8008906 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365431 792 1460 0 367183 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1474608
[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 32273
/proc/meminfo: memFree=27182796/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1542.03 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 153962 241 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341384 8022944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1474608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 32277
/proc/meminfo: memFree=27181440/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1602.01 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 159956 245 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341560 8022955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1474608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32277
/proc/meminfo: memFree=27180332/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1661.99 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 165951 248 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341384 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1474608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32277
/proc/meminfo: memFree=27178968/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1721.99 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 171946 253 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341560 8007275 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1474608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32277
/proc/meminfo: memFree=27175992/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1781.98 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 177941 257 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341560 8007101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1474608
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32277
/proc/meminfo: memFree=27176240/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1785.28 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 178271 257 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341384 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1785.28
Current children cumulated vsize (KiB) 1474608
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32277
/proc/meminfo: memFree=27176240/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1791.68 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 178911 257 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341384 8012042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 1474608
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32277
/proc/meminfo: memFree=27176240/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1794.89 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 179231 258 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341384 8023076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 1474608
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32277
/proc/meminfo: memFree=27176240/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1474608 CPUtime=1796.48 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355711 0 0 0 179390 258 0 0 20 0 1 0 268431671 1509998592 365448 33554432000 4194304 10173063 140734676350256 140734676341560 8846793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368652 365448 809 1460 0 367183 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (KiB) 1474608
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32277
/proc/meminfo: memFree=27176240/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1472624 CPUtime=1797.28 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355728 0 0 0 179470 258 0 0 20 0 1 0 268431671 1507966976 364969 33554432000 4194304 10173063 140734676350256 140734676341560 4903214 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 368156 364969 826 1460 0 366687 0
Current children cumulated CPU time (s) 1797.28
Current children cumulated vsize (KiB) 1472624
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32277
/proc/meminfo: memFree=27176240/32873648 swapFree=7372/7372
[pid=32222] ppid=32220 vsize=1000556 CPUtime=1797.68 cores=1,3,5,7
/proc/32222/stat : 32222 (scip-2.1.1.4fix) R 32220 32222 31092 0 -1 4202496 355741 0 0 0 179506 262 0 0 20 0 1 0 268431671 1024569344 249450 33554432000 4194304 10173063 140734676350256 140734676349496 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32222/statm: 250139 249450 839 1460 0 248670 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 1000556
Child status: 0
Real time (s): 1798.03
CPU time (s): 1797.71
CPU user time (s): 1795.06
CPU system time (s): 2.6546
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1474608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 2.6546
maximum resident set size= 1461852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355743
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 2.75158 second user time and 7.27189 second system time
The end