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: 947bdb7-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-3692451-1338040491.opb>
0.49/0.52 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176044 constraints
0.49/0.52 c problem read in 0.52
0.89/0.94 c presolving:
5.59/5.60 c (round 1) 3655 del vars, 11058 del conss, 0 add conss, 2511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12008788 impls, 0 clqs
8.09/8.14 c (round 2) 9570 del vars, 29755 del conss, 0 add conss, 8200 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12035460 impls, 0 clqs
8.89/8.94 c (round 3) 11542 del vars, 39002 del conss, 0 add conss, 9323 chg bounds, 28 chg sides, 26 chg coeffs, 0 upgd conss, 12044665 impls, 0 clqs
9.28/9.39 c (round 4) 12505 del vars, 42575 del conss, 0 add conss, 9918 chg bounds, 34 chg sides, 35 chg coeffs, 0 upgd conss, 12050870 impls, 0 clqs
9.58/9.62 c (round 5) 12979 del vars, 44506 del conss, 0 add conss, 10207 chg bounds, 34 chg sides, 35 chg coeffs, 0 upgd conss, 12053368 impls, 0 clqs
9.69/9.75 c (round 6) 13129 del vars, 45167 del conss, 0 add conss, 10299 chg bounds, 34 chg sides, 35 chg coeffs, 0 upgd conss, 12054330 impls, 0 clqs
9.79/9.85 c (round 7) 13236 del vars, 45583 del conss, 0 add conss, 10362 chg bounds, 34 chg sides, 35 chg coeffs, 0 upgd conss, 12055454 impls, 0 clqs
9.89/9.93 c (round 8) 13282 del vars, 45777 del conss, 0 add conss, 10388 chg bounds, 34 chg sides, 35 chg coeffs, 0 upgd conss, 12056112 impls, 0 clqs
9.99/10.01 c (round 9) 13316 del vars, 45904 del conss, 0 add conss, 10410 chg bounds, 34 chg sides, 35 chg coeffs, 0 upgd conss, 12056240 impls, 0 clqs
9.99/10.07 c (round 10) 13316 del vars, 45957 del conss, 0 add conss, 10410 chg bounds, 34 chg sides, 35 chg coeffs, 0 upgd conss, 12056240 impls, 0 clqs
10.59/10.68 c (round 11) 13316 del vars, 45957 del conss, 0 add conss, 10410 chg bounds, 34 chg sides, 35 chg coeffs, 130089 upgd conss, 12056240 impls, 0 clqs
11.18/11.24 c (round 12) 13316 del vars, 45957 del conss, 6 add conss, 10410 chg bounds, 44 chg sides, 155 chg coeffs, 130089 upgd conss, 12056240 impls, 0 clqs
221.85/221.95 c (221.9s) probing: 1000/41466 (2.4%) - 0 fixings, 0 aggregations, 4935004 implications, 0 bound changes
222.06/222.17 c (222.2s) probing: 1001/41466 (2.4%) - 0 fixings, 0 aggregations, 4949714 implications, 0 bound changes
222.06/222.17 c (222.2s) probing aborted: 1000/1000 successive useless probings
222.06/222.17 c (round 13) 13316 del vars, 109221 del conss, 20483 add conss, 10410 chg bounds, 46 chg sides, 169 chg coeffs, 130089 upgd conss, 21955668 impls, 0 clqs
222.75/222.83 c (round 14) 13316 del vars, 127027 del conss, 38289 add conss, 10410 chg bounds, 46 chg sides, 188 chg coeffs, 130089 upgd conss, 21955668 impls, 1832 clqs
223.35/223.40 c presolving (15 rounds):
223.35/223.40 c 13316 deleted vars, 127027 deleted constraints, 38289 added constraints, 10410 tightened bounds, 0 added holes, 46 changed sides, 188 changed coefficients
223.35/223.40 c 21955668 implications, 19638 cliques
223.35/223.40 c presolved problem has 41466 variables (41466 bin, 0 int, 0 impl, 0 cont) and 87306 constraints
223.35/223.40 c 1133 constraints of type <knapsack>
223.35/223.40 c 85334 constraints of type <setppc>
223.35/223.40 c 838 constraints of type <and>
223.35/223.40 c 1 constraints of type <logicor>
223.35/223.40 c transformed objective value is always integral (scale: 1)
223.35/223.40 c Presolving Time: 222.58
223.35/223.40 c - non default parameters ----------------------------------------------------------------------
223.35/223.40 c # SCIP version 2.1.1.4
223.35/223.40 c
223.35/223.40 c # maximal time in seconds to run
223.35/223.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
223.35/223.40 c limits/time = 1797
223.35/223.40 c
223.35/223.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
223.35/223.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
223.35/223.40 c limits/memory = 13950
223.35/223.40 c
223.35/223.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
223.35/223.40 c # [type: int, range: [1,2], default: 1]
223.35/223.40 c timing/clocktype = 2
223.35/223.40 c
223.35/223.40 c # belongs reading time to solving time?
223.35/223.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
223.35/223.40 c timing/reading = TRUE
223.35/223.40 c
223.35/223.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
223.35/223.40 c # [type: int, range: [-1,2147483647], default: -1]
223.35/223.40 c separating/rapidlearning/freq = 0
223.35/223.40 c
223.35/223.40 c -----------------------------------------------------------------------------------------------
223.35/223.40 c start solving
223.55/223.67 c
611.59/611.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.59/611.77 c 612s| 1 | 0 | 75208 | - | 828M| 0 |7619 | 41k| 87k| 41k| 88k| 0 | 72 | 0 | 9.830164e+01 | -- | Inf
1796.91/1797.20 c 1797s| 1 | 0 |311889 | - | 834M| 0 | - | 41k| 87k| 41k| 88k| 37 | 72 | 0 | 9.830164e+01 | -- | Inf
1796.91/1797.20 c (node 1) LP solver hit time limit in LP 9 -- using pseudo solution instead
1796.91/1797.23 c 1797s| 1 | 2 |311889 | - | 834M| 0 | - | 41k| 87k| 41k| 88k| 37 | 72 | 0 | 9.830164e+01 | -- | Inf
1796.91/1797.23 c
1796.91/1797.23 c SCIP Status : solving was interrupted [time limit reached]
1796.91/1797.23 c Solving Time (sec) : 1797.23
1796.91/1797.23 c Solving Nodes : 1
1796.91/1797.23 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.91/1797.23 c Dual Bound : +9.83016352913903e+01
1796.91/1797.23 c Gap : infinite
1796.91/1797.23 s UNKNOWN
1796.91/1797.23 c SCIP Status : solving was interrupted [time limit reached]
1796.91/1797.23 c Total Time : 1797.23
1796.91/1797.23 c solving : 1797.23
1796.91/1797.23 c presolving : 222.58 (included in solving)
1796.91/1797.23 c reading : 0.52 (included in solving)
1796.91/1797.23 c copying : 0.00 (0 times copied the problem)
1796.91/1797.23 c Original Problem :
1796.91/1797.23 c Problem name : HOME/instance-3692451-1338040491.opb
1796.91/1797.23 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.91/1797.23 c Constraints : 176044 initial, 176044 maximal
1796.91/1797.23 c Objective sense : minimize
1796.91/1797.23 c Presolved Problem :
1796.91/1797.23 c Problem name : t_HOME/instance-3692451-1338040491.opb
1796.91/1797.23 c Variables : 41466 (41466 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.91/1797.23 c Constraints : 87306 initial, 87378 maximal
1796.91/1797.23 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.91/1797.23 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c trivial : 0.04 0.00 1028 0 0 0 0 0 0 0 0
1796.91/1797.23 c dualfix : 0.06 0.00 91 0 0 0 0 0 0 0 0
1796.91/1797.23 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c gateextraction : 0.26 0.00 0 0 0 0 0 63264 20477 0 0
1796.91/1797.23 c implics : 0.40 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c components : 0.05 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c pseudoobj : 0.00 0.24 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c probing : 210.55 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c knapsack : 0.91 0.00 0 0 0 0 0 0 6 12 153
1796.91/1797.23 c setppc : 0.41 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c and : 0.30 0.00 0 0 0 0 0 17806 17806 0 0
1796.91/1797.23 c linear : 9.20 0.09 9382 2815 0 10410 0 45957 0 34 35
1796.91/1797.23 c logicor : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.91/1797.23 c root node : - - 0 - - 0 - - - - -
1796.91/1797.23 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.91/1797.23 c integral : 0 0 0 0 0 0 4 0 0 0 0 0 0
1796.91/1797.23 c knapsack : 1133 1133 1 61252 0 1 3 44 0 0 87 0 0
1796.91/1797.23 c setppc : 85334 85334 1 61252 0 1 1 3419 1 0 0 0 0
1796.91/1797.23 c and : 838 838 1 61251 0 1 0 14 0 0 0 0 0
1796.91/1797.23 c logicor : 1+ 73 1 116 0 1 0 0 14 0 0 0 0
1796.91/1797.23 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.91/1797.23 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.91/1797.23 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1796.91/1797.23 c knapsack : 3.29 0.00 0.01 3.28 0.00 0.00 0.00 0.00
1796.91/1797.23 c setppc : 156.95 0.00 0.01 156.92 0.00 0.02 0.00 0.00
1796.91/1797.23 c and : 44.32 0.00 0.00 44.31 0.00 0.00 0.00 0.00
1796.91/1797.23 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.91/1797.23 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.91/1797.23 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.91/1797.23 c rootredcost : 0 0 0 0
1796.91/1797.23 c pseudoobj : 7857 0 0 0
1796.91/1797.23 c vbounds : 0 0 0 0
1796.91/1797.23 c redcost : 1 0 0 0
1796.91/1797.23 c probing : 0 0 0 0
1796.91/1797.23 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.91/1797.23 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1796.91/1797.23 c pseudoobj : 0.29 0.24 0.00 0.05 0.00
1796.91/1797.23 c vbounds : 0.04 0.01 0.00 0.03 0.00
1796.91/1797.23 c redcost : 0.02 0.00 0.00 0.02 0.00
1796.91/1797.23 c probing : 210.55 0.00 210.55 0.00 0.00
1796.91/1797.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.91/1797.23 c propagation : 0.00 15 15 72 94.6 0 0.0 -
1796.91/1797.23 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.91/1797.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.91/1797.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.91/1797.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.91/1797.23 c applied globally : - - - 72 94.6 - - -
1796.91/1797.23 c applied locally : - - - 0 0.0 - - -
1796.91/1797.23 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.91/1797.23 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.91/1797.23 c closecuts : 0.00 0.00 0 0 0 0 0
1796.91/1797.23 c impliedbounds : 0.04 0.00 1 0 0 0 0
1796.91/1797.23 c intobj : 0.00 0.00 0 0 0 0 0
1796.91/1797.23 c gomory : 14.55 0.00 1 0 0 0 0
1796.91/1797.23 c cgmip : 0.00 0.00 0 0 0 0 0
1796.91/1797.23 c strongcg : 14.63 0.00 1 0 0 0 0
1796.91/1797.23 c cmir : 1.15 0.00 1 0 0 0 0
1796.91/1797.23 c flowcover : 2.71 0.00 1 0 0 0 0
1796.91/1797.23 c clique : 36.44 0.00 1 0 0 0 0
1796.91/1797.23 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.91/1797.23 c mcf : 1.72 0.00 1 0 0 0 0
1796.91/1797.23 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.91/1797.23 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.91/1797.23 c Pricers : ExecTime SetupTime Calls Vars
1796.91/1797.23 c problem variables: 0.00 - 0 0
1796.91/1797.23 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.91/1797.23 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.91/1797.23 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.91/1797.23 c inference : 0.01 0.00 1 0 0 0 0 2
1796.91/1797.23 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.91/1797.23 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.91/1797.23 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.91/1797.23 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.91/1797.23 c random : 0.00 0.00 0 0 0 0 0 0
1796.91/1797.23 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.91/1797.23 c LP solutions : 0.00 - - 0
1796.91/1797.23 c pseudo solutions : 0.00 - - 0
1796.91/1797.23 c oneopt : 0.00 0.00 0 0
1796.91/1797.23 c smallcard : 0.00 0.00 0 0
1796.91/1797.23 c trivial : 0.06 0.00 2 0
1796.91/1797.23 c shiftandpropagate: 25.80 0.00 1 0
1796.91/1797.23 c simplerounding : 0.00 0.00 0 0
1796.91/1797.23 c zirounding : 0.00 0.00 0 0
1796.91/1797.23 c rounding : 0.01 0.00 1 0
1796.91/1797.23 c shifting : 0.02 0.00 1 0
1796.91/1797.23 c intshifting : 0.00 0.00 0 0
1796.91/1797.23 c twoopt : 0.00 0.00 0 0
1796.91/1797.23 c indtwoopt : 0.00 0.00 0 0
1796.91/1797.23 c indoneopt : 0.00 0.00 0 0
1796.91/1797.23 c fixandinfer : 0.00 0.00 0 0
1796.91/1797.23 c feaspump : 896.55 0.00 1 0
1796.91/1797.23 c clique : 0.00 0.00 0 0
1796.91/1797.23 c indrounding : 0.00 0.00 0 0
1796.91/1797.23 c indcoefdiving : 0.00 0.00 0 0
1796.91/1797.23 c coefdiving : 0.00 0.00 0 0
1796.91/1797.23 c pscostdiving : 0.00 0.00 0 0
1796.91/1797.23 c nlpdiving : 0.00 0.00 0 0
1796.91/1797.23 c fracdiving : 0.00 0.00 0 0
1796.91/1797.23 c veclendiving : 0.00 0.00 0 0
1796.91/1797.23 c intdiving : 0.00 0.00 0 0
1796.91/1797.23 c actconsdiving : 0.00 0.00 0 0
1796.91/1797.23 c objpscostdiving : 0.00 0.00 0 0
1796.91/1797.23 c rootsoldiving : 0.00 0.00 0 0
1796.91/1797.23 c linesearchdiving : 0.00 0.00 0 0
1796.91/1797.23 c guideddiving : 0.00 0.00 0 0
1796.91/1797.23 c octane : 0.00 0.00 0 0
1796.91/1797.23 c rens : 0.00 0.00 0 0
1796.91/1797.23 c rins : 0.00 0.00 0 0
1796.91/1797.23 c localbranching : 0.00 0.00 0 0
1796.91/1797.23 c mutation : 0.00 0.00 0 0
1796.91/1797.23 c crossover : 0.00 0.00 0 0
1796.91/1797.23 c dins : 0.00 0.00 0 0
1796.91/1797.23 c vbounds : 0.00 0.00 0 0
1796.91/1797.23 c undercover : 0.00 0.00 1 0
1796.91/1797.23 c subnlp : 0.00 0.00 0 0
1796.91/1797.23 c trysol : 0.00 0.00 0 0
1796.91/1797.23 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.91/1797.23 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.91/1797.23 c dual LP : 579.95 3 108245 54122.50 186.65 0.10 1
1796.91/1797.23 c lex dual LP : 0.00 0 0 0.00 -
1796.91/1797.23 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.91/1797.23 c diving/probing LP: 896.20 7 203644 29092.00 227.23
1796.91/1797.23 c strong branching : 0.00 0 0 0.00 -
1796.91/1797.23 c (at root node) : - 0 0 0.00 -
1796.91/1797.23 c conflict analysis: 0.00 0 0 0.00 -
1796.91/1797.23 c B&B Tree :
1796.91/1797.23 c number of runs : 1
1796.91/1797.23 c nodes : 1
1796.91/1797.23 c nodes (total) : 1
1796.91/1797.23 c nodes left : 2
1796.91/1797.23 c max depth : 0
1796.91/1797.23 c max depth (total): 0
1796.91/1797.23 c backtracks : 0 (0.0%)
1796.91/1797.23 c delayed cutoffs : 0
1796.91/1797.23 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.91/1797.23 c avg switch length: 1.00
1796.91/1797.23 c switching time : 0.00
1796.91/1797.23 c Solution :
1796.91/1797.23 c Solutions found : 0 (0 improvements)
1796.91/1797.23 c Primal Bound : -
1796.91/1797.23 c Dual Bound : +9.83016352913903e+01
1796.91/1797.23 c Gap : infinite
1796.91/1797.23 c Root Dual Bound : +9.83016352913903e+01
1796.91/1797.23 c Root Iterations : 311889
1797.41/1797.75 c Time complete: 1797.47.
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-3692451-1338040491/watcher-3692451-1338040491 -o /tmp/evaluation-result-3692451-1338040491/solver-3692451-1338040491 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692451-1338040491.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10336
/proc/meminfo: memFree=27704056/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 1931 0 0 0 0 0 0 0 20 0 1 0 270173658 13000704 1885 33554432000 4194304 10219143 140734124467920 140735948423048 8844210 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10336/statm: 3174 1887 413 1471 0 1694 0
[startup+0.064137 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10336
/proc/meminfo: memFree=27704056/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=35240 CPUtime=0.05 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 7575 0 0 0 5 0 0 0 20 0 1 0 270173658 36085760 7529 33554432000 4194304 10219143 140734124467920 140735948423048 8904809 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10336/statm: 8810 7529 421 1471 0 7330 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 35240
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10336
/proc/meminfo: memFree=27704056/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=47484 CPUtime=0.09 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 10625 0 0 0 8 1 0 0 20 0 1 0 270173658 48623616 10579 33554432000 4194304 10219143 140734124467920 140735948423048 5345244 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10336/statm: 11871 10579 421 1471 0 10391 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47484
[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10336
/proc/meminfo: memFree=27704056/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=84380 CPUtime=0.29 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 19846 0 0 0 27 2 0 0 20 0 1 0 270173658 86405120 19800 33554432000 4194304 10219143 140734124467920 140734124333096 7394845 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10336/statm: 21095 19800 421 1471 0 19615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84380
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 10336
/proc/meminfo: memFree=27704056/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=247444 CPUtime=0.69 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 60307 0 0 0 60 9 0 0 20 0 1 0 270173658 253382656 60215 33554432000 4194304 10219143 140734124467920 140734124463000 5613934 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10336/statm: 61861 60215 474 1471 0 60381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 247444
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10337
/proc/meminfo: memFree=27401860/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=375220 CPUtime=1.48 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 91351 0 0 0 134 14 0 0 20 0 1 0 270173658 384225280 91260 33554432000 4194304 10219143 140734124467920 140734124464920 7589947 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10336/statm: 93805 91297 550 1471 0 92325 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 375220
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10337
/proc/meminfo: memFree=27271164/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=532360 CPUtime=3.09 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 130534 0 0 0 286 23 0 0 20 0 1 0 270173658 545136640 130442 33554432000 4194304 10219143 140734124467920 140734124464920 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10336/statm: 133090 130442 560 1471 0 131610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 532360
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10337
/proc/meminfo: memFree=27041640/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=681644 CPUtime=6.29 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 165729 0 0 0 595 34 0 0 20 0 1 0 270173658 698003456 165380 33554432000 4194304 10219143 140734124467920 140734124464920 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 170411 165380 569 1471 0 168931 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 681644
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10337
/proc/meminfo: memFree=26989364/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=732176 CPUtime=12.68 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 185259 0 0 0 1207 61 0 0 20 0 1 0 270173658 749748224 178182 33554432000 4194304 10219143 140734124467920 140734124464280 4819061 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 183044 178182 628 1471 0 181564 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 732176
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10337
/proc/meminfo: memFree=26975460/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=741392 CPUtime=25.48 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 187233 0 0 0 2486 62 0 0 20 0 1 0 270173658 759185408 180156 33554432000 4194304 10219143 140734124467920 140734124464280 6352464 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 185348 180156 628 1471 0 183868 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 741392
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10338
/proc/meminfo: memFree=26945592/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=753952 CPUtime=51.08 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 190478 0 0 0 5043 65 0 0 20 0 1 0 270173658 772046848 183401 33554432000 4194304 10219143 140734124467920 140734124464280 4819088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 188488 183401 628 1471 0 187008 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 753952
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10338
/proc/meminfo: memFree=26855312/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=798184 CPUtime=102.28 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 201456 0 0 0 10157 71 0 0 20 0 1 0 270173658 817340416 194379 33554432000 4194304 10219143 140734124467920 140734124464280 4819088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 199546 194379 628 1471 0 198066 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 798184
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10338
/proc/meminfo: memFree=26737044/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=875336 CPUtime=162.27 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 220557 0 0 0 16148 79 0 0 20 0 1 0 270173658 896344064 213480 33554432000 4194304 10219143 140734124467920 140734124464280 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 218834 213480 628 1471 0 217354 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 875336
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10338
/proc/meminfo: memFree=26606004/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=944000 CPUtime=222.25 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 237936 0 0 0 22140 85 0 0 20 0 1 0 270173658 966656000 230859 33554432000 4194304 10219143 140734124467920 140734124464280 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 236000 230859 628 1471 0 234520 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 944000
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10338
/proc/meminfo: memFree=26361332/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1136628 CPUtime=282.24 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 273859 0 0 0 28118 106 0 0 20 0 1 0 270173658 1163907072 277299 33554432000 4194304 10219143 140734124467920 140734124461096 8057481 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 284157 277299 785 1471 0 282677 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1136628
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10341
/proc/meminfo: memFree=26282860/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1149564 CPUtime=342.23 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 275919 0 0 0 34111 112 0 0 20 0 1 0 270173658 1177153536 281252 33554432000 4194304 10219143 140734124467920 140734124461096 8057504 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 287391 281252 785 1471 0 285911 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1149564
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10365
/proc/meminfo: memFree=26051616/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1152884 CPUtime=402.23 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 276164 0 0 0 40107 116 0 0 20 0 1 0 270173658 1180553216 281497 33554432000 4194304 10219143 140734124467920 140734124461096 8890985 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 288221 281497 785 1471 0 286741 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1152884
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10365
/proc/meminfo: memFree=26032240/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1153016 CPUtime=462.22 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 276216 0 0 0 46104 118 0 0 20 0 1 0 270173658 1180688384 281549 33554432000 4194304 10219143 140734124467920 140734124461096 8057481 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 288254 281549 785 1471 0 286774 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1153016
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10365
/proc/meminfo: memFree=26001500/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1153016 CPUtime=522.21 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 276252 0 0 0 52101 120 0 0 20 0 1 0 270173658 1180688384 281585 33554432000 4194304 10219143 140734124467920 140734124461096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 288254 281585 785 1471 0 286774 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1153016
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10365
/proc/meminfo: memFree=26000676/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1153016 CPUtime=582.2 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 276282 0 0 0 58096 124 0 0 20 0 1 0 270173658 1180688384 281614 33554432000 4194304 10219143 140734124467920 140734124461096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 288254 281614 785 1471 0 286774 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1153016
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25994908/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1062.12 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278427 0 0 0 106062 150 0 0 20 0 1 0 270173658 1189408768 288661 33554432000 4194304 10219143 140734124467920 140734124459048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288661 800 1471 0 288903 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1161532
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10370
/proc/meminfo: memFree=25993944/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1122.11 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278427 0 0 0 112059 152 0 0 20 0 1 0 270173658 1189408768 288898 33554432000 4194304 10219143 140734124467920 140734124459048 8067428 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288898 800 1471 0 288903 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1161532
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10370
/proc/meminfo: memFree=25993476/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1182.1 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278427 0 0 0 118054 156 0 0 20 0 1 0 270173658 1189408768 288920 33554432000 4194304 10219143 140734124467920 140734124459048 8051474 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288920 800 1471 0 288903 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1161532
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10370
/proc/meminfo: memFree=25993020/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1242.09 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278427 0 0 0 124048 161 0 0 20 0 1 0 270173658 1189408768 288920 33554432000 4194304 10219143 140734124467920 140734124459080 8056424 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288920 800 1471 0 288903 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1161532
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10371
/proc/meminfo: memFree=25993020/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1302.09 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278427 0 0 0 130043 166 0 0 20 0 1 0 270173658 1189408768 288920 33554432000 4194304 10219143 140734124467920 140734124459224 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288920 800 1471 0 288903 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1161532
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10371
/proc/meminfo: memFree=25991212/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1362.08 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278427 0 0 0 136038 170 0 0 20 0 1 0 270173658 1189408768 288920 33554432000 4194304 10219143 140734124467920 140734124459448 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288920 800 1471 0 288903 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1161532
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10371
/proc/meminfo: memFree=25877756/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1422.07 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278427 0 0 0 142032 175 0 0 20 0 1 0 270173658 1189408768 288920 33554432000 4194304 10219143 140734124467920 140734124459048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288920 800 1471 0 288903 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1161532
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10371
/proc/meminfo: memFree=25830032/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1482.05 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278427 0 0 0 148027 178 0 0 20 0 1 0 270173658 1189408768 288920 33554432000 4194304 10219143 140734124467920 140734124459048 8067428 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288920 800 1471 0 288903 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1161532
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10374
/proc/meminfo: memFree=25829568/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1161532 CPUtime=1542.05 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 278451 0 0 0 154015 190 0 0 20 0 1 0 270173658 1189408768 288944 33554432000 4194304 10219143 140734124467920 140734124463880 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 290383 288944 820 1471 0 288903 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1161532
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10375
/proc/meminfo: memFree=25759468/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1242752 CPUtime=1602.03 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 282767 0 0 0 159891 312 0 0 20 0 1 0 270173658 1272578048 308590 33554432000 4194304 10219143 140734124467920 140734124461176 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 310688 308590 830 1471 0 309208 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1242752
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10375
/proc/meminfo: memFree=25734964/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1260548 CPUtime=1662.02 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283231 0 0 0 165885 317 0 0 20 0 1 0 270173658 1290801152 312120 33554432000 4194304 10219143 140734124467920 140734124461096 8053120 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 315137 312120 830 1471 0 313657 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1260548
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10375
/proc/meminfo: memFree=25735216/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1260548 CPUtime=1722.02 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283231 0 0 0 171881 321 0 0 20 0 1 0 270173658 1290801152 312120 33554432000 4194304 10219143 140734124467920 140734124461096 8057561 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 315137 312120 830 1471 0 313657 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1260548
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10413
/proc/meminfo: memFree=27361708/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1260548 CPUtime=1782.01 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283231 0 0 0 177875 326 0 0 20 0 1 0 270173658 1290801152 312120 33554432000 4194304 10219143 140734124467920 140734124461544 8057596 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 315137 312120 830 1471 0 313657 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1260548
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10413
/proc/meminfo: memFree=27355508/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1260548 CPUtime=1785.21 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283231 0 0 0 178195 326 0 0 20 0 1 0 270173658 1290801152 312120 33554432000 4194304 10219143 140734124467920 140734124461096 7711435 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 315137 312120 830 1471 0 313657 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 1260548
[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10413
/proc/meminfo: memFree=27347200/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1260548 CPUtime=1791.62 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283231 0 0 0 178835 327 0 0 20 0 1 0 270173658 1290801152 312120 33554432000 4194304 10219143 140734124467920 140734124461096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 315137 312120 830 1471 0 313657 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 1260548
[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10413
/proc/meminfo: memFree=27343356/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1260548 CPUtime=1794.82 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283231 0 0 0 179155 327 0 0 20 0 1 0 270173658 1290801152 312120 33554432000 4194304 10219143 140734124467920 140734124461592 8051281 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 315137 312120 830 1471 0 313657 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 1260548
[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10413
/proc/meminfo: memFree=27342612/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1260548 CPUtime=1796.41 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283231 0 0 0 179314 327 0 0 20 0 1 0 270173658 1290801152 312120 33554432000 4194304 10219143 140734124467920 140734124461592 8062415 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 315137 312120 830 1471 0 313657 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 1260548
[startup+1797.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10413
/proc/meminfo: memFree=27410704/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=1186344 CPUtime=1797.21 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283243 0 0 0 179394 327 0 0 20 0 1 0 270173658 1214816256 294247 33554432000 4194304 10219143 140734124467920 140734124461096 5016681 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 296586 294247 842 1471 0 295106 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 1186344
[startup+1797.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10413
/proc/meminfo: memFree=27410704/32873844 swapFree=6080/6080
[pid=10336] ppid=10334 vsize=939320 CPUtime=1797.41 cores=0,2,4,6
/proc/10336/stat : 10336 (scip-2.1.1.4exp) R 10334 10336 8502 0 -1 4202496 283243 0 0 0 179412 329 0 0 20 0 1 0 270173658 961863680 233758 33554432000 4194304 10219143 140734124467920 140734124461096 5957867 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10336/statm: 234830 233758 842 1471 0 233350 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 939320
Child status: 0
Real time (s): 1797.76
CPU time (s): 1797.48
CPU user time (s): 1794.14
CPU system time (s): 3.33349
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1260548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.14
system time used= 3.33349
maximum resident set size= 1248512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283256
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= 13
involuntary context switches= 1919
runsolver used 3.18152 second user time and 7.64884 second system time
The end