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-3691276-1338023836.opb>
0.39/0.48 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176232 constraints
0.39/0.48 c problem read in 0.49
1.29/1.33 c presolving:
6.69/6.75 c (round 1) 3320 del vars, 9782 del conss, 0 add conss, 2259 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12096042 impls, 0 clqs
9.49/9.57 c (round 2) 8079 del vars, 26639 del conss, 0 add conss, 6861 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12117343 impls, 0 clqs
10.39/10.48 c (round 3) 9792 del vars, 34797 del conss, 0 add conss, 7822 chg bounds, 6 chg sides, 11 chg coeffs, 0 upgd conss, 12124092 impls, 0 clqs
10.90/10.95 c (round 4) 10434 del vars, 37393 del conss, 0 add conss, 8209 chg bounds, 9 chg sides, 16 chg coeffs, 0 upgd conss, 12127603 impls, 0 clqs
11.18/11.25 c (round 5) 10782 del vars, 38761 del conss, 0 add conss, 8385 chg bounds, 9 chg sides, 16 chg coeffs, 0 upgd conss, 12129672 impls, 0 clqs
11.38/11.45 c (round 6) 10874 del vars, 39250 del conss, 0 add conss, 8426 chg bounds, 9 chg sides, 16 chg coeffs, 0 upgd conss, 12130686 impls, 0 clqs
11.58/11.63 c (round 7) 10938 del vars, 39519 del conss, 0 add conss, 8454 chg bounds, 9 chg sides, 16 chg coeffs, 0 upgd conss, 12131296 impls, 0 clqs
11.68/11.79 c (round 8) 10964 del vars, 39647 del conss, 0 add conss, 8469 chg bounds, 9 chg sides, 16 chg coeffs, 0 upgd conss, 12131620 impls, 0 clqs
11.89/11.95 c (round 9) 10982 del vars, 39731 del conss, 0 add conss, 8478 chg bounds, 9 chg sides, 16 chg coeffs, 0 upgd conss, 12131844 impls, 0 clqs
12.09/12.11 c (round 10) 10996 del vars, 39796 del conss, 0 add conss, 8489 chg bounds, 9 chg sides, 16 chg coeffs, 0 upgd conss, 12131886 impls, 0 clqs
12.18/12.26 c (round 11) 10998 del vars, 39812 del conss, 0 add conss, 8490 chg bounds, 9 chg sides, 16 chg coeffs, 0 upgd conss, 12131890 impls, 0 clqs
13.29/13.32 c (round 12) 10998 del vars, 39814 del conss, 0 add conss, 8490 chg bounds, 9 chg sides, 16 chg coeffs, 136418 upgd conss, 12131890 impls, 0 clqs
316.74/316.83 c (316.8s) probing: 1000/43784 (2.3%) - 0 fixings, 0 aggregations, 4924089 implications, 0 bound changes
317.03/317.17 c (317.2s) probing: 1001/43784 (2.3%) - 0 fixings, 0 aggregations, 4929275 implications, 0 bound changes
317.03/317.17 c (317.2s) probing aborted: 1000/1000 successive useless probings
317.03/317.17 c (round 13) 10998 del vars, 108043 del conss, 21668 add conss, 8490 chg bounds, 15 chg sides, 133 chg coeffs, 136418 upgd conss, 21990440 impls, 0 clqs
318.12/318.23 c (round 14) 10998 del vars, 125743 del conss, 39368 add conss, 8490 chg bounds, 15 chg sides, 139 chg coeffs, 136418 upgd conss, 21990440 impls, 3236 clqs
318.93/319.08 c presolving (15 rounds):
318.93/319.08 c 10998 deleted vars, 125743 deleted constraints, 39368 added constraints, 8490 tightened bounds, 0 added holes, 15 changed sides, 139 changed coefficients
318.93/319.08 c 21990440 implications, 20936 cliques
318.93/319.08 c presolved problem has 43784 variables (43784 bin, 0 int, 0 impl, 0 cont) and 89857 constraints
318.93/319.08 c 1168 constraints of type <knapsack>
318.93/319.08 c 87962 constraints of type <setppc>
318.93/319.08 c 727 constraints of type <and>
318.93/319.08 c transformed objective value is always integral (scale: 1)
318.93/319.08 c Presolving Time: 318.38
318.93/319.08 c - non default parameters ----------------------------------------------------------------------
318.93/319.08 c # SCIP version 2.1.1.4
318.93/319.08 c
318.93/319.08 c # maximal time in seconds to run
318.93/319.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
318.93/319.08 c limits/time = 1797
318.93/319.08 c
318.93/319.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
318.93/319.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
318.93/319.08 c limits/memory = 13950
318.93/319.08 c
318.93/319.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
318.93/319.08 c # [type: int, range: [1,2], default: 1]
318.93/319.08 c timing/clocktype = 2
318.93/319.08 c
318.93/319.08 c # belongs reading time to solving time?
318.93/319.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
318.93/319.08 c timing/reading = TRUE
318.93/319.08 c
318.93/319.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
318.93/319.08 c # [type: int, range: [-1,2147483647], default: -1]
318.93/319.08 c separating/rapidlearning/freq = 0
318.93/319.08 c
318.93/319.08 c -----------------------------------------------------------------------------------------------
318.93/319.08 c start solving
319.22/319.39 c
1798.20/1798.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.20/1798.58 c 1799s| 1 | 0 |161640 | - | 831M| 0 | - | 43k| 89k| 43k| 90k| 0 | 30 | 0 | 0.000000e+00 | -- | Inf
1798.20/1798.58 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1798.29/1798.64 c 1799s| 1 | 2 |161640 | - | 831M| 0 | - | 43k| 89k| 43k| 90k| 0 | 30 | 0 | 0.000000e+00 | -- | Inf
1798.29/1798.64 c
1798.29/1798.64 c SCIP Status : solving was interrupted [time limit reached]
1798.29/1798.64 c Solving Time (sec) : 1798.63
1798.29/1798.64 c Solving Nodes : 1
1798.29/1798.64 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.29/1798.64 c Dual Bound : +0.00000000000000e+00
1798.29/1798.64 c Gap : infinite
1798.29/1798.64 s UNKNOWN
1798.29/1798.64 c SCIP Status : solving was interrupted [time limit reached]
1798.29/1798.64 c Total Time : 1798.63
1798.29/1798.64 c solving : 1798.63
1798.29/1798.64 c presolving : 318.38 (included in solving)
1798.29/1798.64 c reading : 0.49 (included in solving)
1798.29/1798.64 c copying : 0.00 (0 times copied the problem)
1798.29/1798.64 c Original Problem :
1798.29/1798.64 c Problem name : HOME/instance-3691276-1338023836.opb
1798.29/1798.64 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.29/1798.64 c Constraints : 176232 initial, 176232 maximal
1798.29/1798.64 c Objective sense : minimize
1798.29/1798.64 c Presolved Problem :
1798.29/1798.64 c Problem name : t_HOME/instance-3691276-1338023836.opb
1798.29/1798.64 c Variables : 43784 (43784 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.29/1798.64 c Constraints : 89857 initial, 89887 maximal
1798.29/1798.64 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.29/1798.64 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c trivial : 0.06 0.00 870 0 0 0 0 0 0 0 0
1798.29/1798.64 c dualfix : 0.08 0.00 90 0 0 0 0 0 0 0 0
1798.29/1798.64 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c gateextraction : 0.31 0.00 0 0 0 0 0 68229 21664 0 0
1798.29/1798.64 c implics : 0.55 0.00 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c components : 0.07 0.00 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c pseudoobj : 0.00 0.28 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c probing : 302.42 0.00 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c knapsack : 1.27 0.00 0 0 0 0 0 0 4 6 123
1798.29/1798.64 c setppc : 0.75 0.00 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c and : 0.61 0.00 0 0 0 0 0 17700 17700 0 0
1798.29/1798.64 c linear : 11.26 0.00 7620 2418 0 8490 0 39814 0 9 16
1798.29/1798.64 c logicor : 0.10 0.02 0 0 0 0 0 0 0 0 0
1798.29/1798.64 c root node : - - 0 - - 0 - - - - -
1798.29/1798.64 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1798.29/1798.64 c integral : 0 0 0 0 0 0 3 0 0 0 0 0 0
1798.29/1798.64 c knapsack : 1168 1168 0 59973 0 1 3 16 0 0 0 0 0
1798.29/1798.64 c setppc : 87962 87962 0 59973 0 1 1 1764 2 0 0 0 0
1798.29/1798.64 c and : 727 727 0 59971 0 1 0 0 0 0 0 0 0
1798.29/1798.64 c logicor : 0+ 30 0 15 0 0 0 1 13 0 0 0 0
1798.29/1798.64 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1798.29/1798.64 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1798.29/1798.64 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1798.29/1798.64 c knapsack : 5.09 0.00 0.00 5.08 0.00 0.00 0.00 0.00
1798.29/1798.64 c setppc : 220.15 0.00 0.00 220.11 0.00 0.04 0.00 0.00
1798.29/1798.64 c and : 63.61 0.00 0.00 63.61 0.00 0.00 0.00 0.00
1798.29/1798.64 c logicor : 0.02 0.02 0.00 0.00 0.00 0.00 0.00 0.00
1798.29/1798.64 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.29/1798.64 c Propagators : #Propagate #ResProp Cutoffs DomReds
1798.29/1798.64 c rootredcost : 0 0 0 0
1798.29/1798.64 c pseudoobj : 7705 0 0 0
1798.29/1798.64 c vbounds : 0 0 0 0
1798.29/1798.64 c redcost : 0 0 0 0
1798.29/1798.64 c probing : 0 0 0 0
1798.29/1798.64 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1798.29/1798.64 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1798.29/1798.64 c pseudoobj : 0.36 0.28 0.00 0.08 0.00
1798.29/1798.64 c vbounds : 0.08 0.01 0.00 0.07 0.00
1798.29/1798.64 c redcost : 0.06 0.00 0.00 0.06 0.00
1798.29/1798.64 c probing : 302.43 0.00 302.42 0.00 0.00
1798.29/1798.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.29/1798.64 c propagation : 0.00 15 15 30 32.5 0 0.0 -
1798.29/1798.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.29/1798.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.29/1798.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.29/1798.64 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.29/1798.64 c applied globally : - - - 30 32.5 - - -
1798.29/1798.64 c applied locally : - - - 0 0.0 - - -
1798.29/1798.64 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1798.29/1798.64 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1798.29/1798.64 c clique : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c closecuts : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c cgmip : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c cmir : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c flowcover : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c gomory : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c impliedbounds : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c intobj : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c mcf : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c oddcycle : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c rapidlearning : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c strongcg : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c zerohalf : 0.00 0.00 0 0 0 0 0
1798.29/1798.64 c Pricers : ExecTime SetupTime Calls Vars
1798.29/1798.64 c problem variables: 0.00 - 0 0
1798.29/1798.64 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1798.29/1798.64 c relpscost : 0.00 0.00 0 0 0 0 0 0
1798.29/1798.64 c pscost : 0.00 0.00 0 0 0 0 0 0
1798.29/1798.64 c inference : 0.01 0.00 1 0 0 0 0 2
1798.29/1798.64 c mostinf : 0.00 0.00 0 0 0 0 0 0
1798.29/1798.64 c leastinf : 0.00 0.00 0 0 0 0 0 0
1798.29/1798.64 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1798.29/1798.64 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1798.29/1798.64 c random : 0.00 0.00 0 0 0 0 0 0
1798.29/1798.64 c Primal Heuristics : ExecTime SetupTime Calls Found
1798.29/1798.64 c LP solutions : 0.00 - - 0
1798.29/1798.64 c pseudo solutions : 0.00 - - 0
1798.29/1798.64 c oneopt : 0.00 0.00 0 0
1798.29/1798.64 c smallcard : 0.00 0.00 0 0
1798.29/1798.64 c trivial : 0.07 0.00 2 0
1798.29/1798.64 c shiftandpropagate: 28.92 0.00 1 0
1798.29/1798.64 c simplerounding : 0.00 0.00 0 0
1798.29/1798.64 c zirounding : 0.00 0.00 0 0
1798.29/1798.64 c rounding : 0.00 0.00 0 0
1798.29/1798.64 c shifting : 0.00 0.00 0 0
1798.29/1798.64 c intshifting : 0.00 0.00 0 0
1798.29/1798.64 c twoopt : 0.00 0.00 0 0
1798.29/1798.64 c indtwoopt : 0.00 0.00 0 0
1798.29/1798.64 c indoneopt : 0.00 0.00 0 0
1798.29/1798.64 c fixandinfer : 0.00 0.00 0 0
1798.29/1798.64 c feaspump : 0.00 0.00 0 0
1798.29/1798.64 c clique : 0.00 0.00 0 0
1798.29/1798.64 c indrounding : 0.00 0.00 0 0
1798.29/1798.64 c indcoefdiving : 0.00 0.00 0 0
1798.29/1798.64 c coefdiving : 0.00 0.00 0 0
1798.29/1798.64 c pscostdiving : 0.00 0.00 0 0
1798.29/1798.64 c nlpdiving : 0.00 0.00 0 0
1798.29/1798.64 c fracdiving : 0.00 0.00 0 0
1798.29/1798.64 c veclendiving : 0.00 0.00 0 0
1798.29/1798.64 c intdiving : 0.00 0.00 0 0
1798.29/1798.64 c actconsdiving : 0.00 0.00 0 0
1798.29/1798.64 c objpscostdiving : 0.00 0.00 0 0
1798.29/1798.64 c rootsoldiving : 0.00 0.00 0 0
1798.29/1798.64 c linesearchdiving : 0.00 0.00 0 0
1798.29/1798.64 c guideddiving : 0.00 0.00 0 0
1798.29/1798.64 c octane : 0.00 0.00 0 0
1798.29/1798.64 c rens : 0.00 0.00 0 0
1798.29/1798.64 c rins : 0.00 0.00 0 0
1798.29/1798.64 c localbranching : 0.00 0.00 0 0
1798.29/1798.64 c mutation : 0.00 0.00 0 0
1798.29/1798.64 c crossover : 0.00 0.00 0 0
1798.29/1798.64 c dins : 0.00 0.00 0 0
1798.29/1798.64 c vbounds : 0.00 0.00 0 0
1798.29/1798.64 c undercover : 0.00 0.00 0 0
1798.29/1798.64 c subnlp : 0.00 0.00 0 0
1798.29/1798.64 c trysol : 0.00 0.00 0 0
1798.29/1798.64 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1798.29/1798.64 c primal LP : 0.00 0 0 0.00 - 0.00 0
1798.29/1798.64 c dual LP : 1450.24 1 161640 161640.00 111.46 0.00 0
1798.29/1798.64 c lex dual LP : 0.00 0 0 0.00 -
1798.29/1798.64 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1798.29/1798.64 c diving/probing LP: 0.00 0 0 0.00 -
1798.29/1798.64 c strong branching : 0.00 0 0 0.00 -
1798.29/1798.64 c (at root node) : - 0 0 0.00 -
1798.29/1798.64 c conflict analysis: 0.00 0 0 0.00 -
1798.29/1798.64 c B&B Tree :
1798.29/1798.64 c number of runs : 1
1798.29/1798.64 c nodes : 1
1798.29/1798.64 c nodes (total) : 1
1798.29/1798.64 c nodes left : 2
1798.29/1798.64 c max depth : 0
1798.29/1798.64 c max depth (total): 0
1798.29/1798.64 c backtracks : 0 (0.0%)
1798.29/1798.64 c delayed cutoffs : 0
1798.29/1798.64 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.29/1798.64 c avg switch length: 1.00
1798.29/1798.64 c switching time : 0.00
1798.29/1798.64 c Solution :
1798.29/1798.64 c Solutions found : 0 (0 improvements)
1798.29/1798.64 c Primal Bound : -
1798.29/1798.64 c Dual Bound : +0.00000000000000e+00
1798.29/1798.64 c Gap : infinite
1798.29/1798.64 c Root Dual Bound : +0.00000000000000e+00
1798.29/1798.64 c Root Iterations : 161640
1798.99/1799.32 c Time complete: 1799.02.
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-3691276-1338023836/watcher-3691276-1338023836 -o /tmp/evaluation-result-3691276-1338023836/solver-3691276-1338023836 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691276-1338023836.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.11 2.06 2.00 3/176 32598
/proc/meminfo: memFree=27103200/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=10528 CPUtime=0 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 1395 0 0 0 0 0 0 0 20 0 1 0 268510565 10780672 1349 33554432000 4194304 10173063 140735380794672 140735632534824 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 2632 1349 416 1460 0 1163 0
[startup+0.082458 s]
/proc/loadavg: 2.11 2.06 2.00 3/176 32598
/proc/meminfo: memFree=27103200/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=38012 CPUtime=0.07 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 8289 0 0 0 6 1 0 0 20 0 1 0 268510565 38924288 8216 33554432000 4194304 10173063 140735380794672 140735380658216 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 9503 8216 416 1460 0 8034 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38012
[startup+0.10036 s]
/proc/loadavg: 2.11 2.06 2.00 3/176 32598
/proc/meminfo: memFree=27103200/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=40488 CPUtime=0.09 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 8904 0 0 0 8 1 0 0 20 0 1 0 268510565 41459712 8831 33554432000 4194304 10173063 140735380794672 140735380658216 8867718 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 10122 8831 416 1460 0 8653 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40488
[startup+0.300302 s]
/proc/loadavg: 2.11 2.06 2.00 3/176 32598
/proc/meminfo: memFree=27103200/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=72792 CPUtime=0.29 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 16966 0 0 0 27 2 0 0 20 0 1 0 268510565 74539008 16893 33554432000 4194304 10173063 140735380794672 140735380658216 5474314 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 18198 16893 416 1460 0 16729 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72792
[startup+0.700314 s]
/proc/loadavg: 2.11 2.06 2.00 3/176 32598
/proc/meminfo: memFree=27103200/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=209060 CPUtime=0.69 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 50732 0 0 0 61 8 0 0 20 0 1 0 268510565 214077440 50598 33554432000 4194304 10173063 140735380794672 140735380658216 5868183 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 52265 50598 468 1460 0 50796 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 209060
[startup+1.50032 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 32599
/proc/meminfo: memFree=26844156/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=325952 CPUtime=1.49 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 87381 0 0 0 134 15 0 0 20 0 1 0 268510565 333774848 78867 33554432000 4194304 10173063 140735380794672 140735380790456 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 81488 78867 550 1460 0 80019 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 325952
[startup+3.10032 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 32599
/proc/meminfo: memFree=26723256/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=486568 CPUtime=3.09 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 127427 0 0 0 278 31 0 0 20 0 1 0 268510565 498245632 118913 33554432000 4194304 10173063 140735380794672 140735380791672 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 121642 118913 559 1460 0 120173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 486568
[startup+6.30032 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 32599
/proc/meminfo: memFree=26480828/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=681492 CPUtime=6.28 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 173956 0 0 0 562 66 0 0 20 0 1 0 268510565 697847808 165442 33554432000 4194304 10173063 140735380794672 140735380791672 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 170373 165442 565 1460 0 168904 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 681492
[startup+12.7003 s]
/proc/loadavg: 2.09 2.06 2.00 3/177 32599
/proc/meminfo: memFree=26441768/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=698860 CPUtime=12.69 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 179505 0 0 0 1074 195 0 0 20 0 1 0 268510565 715632640 169622 33554432000 4194304 10173063 140735380794672 140735380791672 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 174715 169622 580 1460 0 173246 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 698860
[startup+25.5003 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 32599
/proc/meminfo: memFree=26380416/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=744772 CPUtime=25.48 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 197789 0 0 0 2321 227 0 0 20 0 1 0 268510565 762646528 180797 33554432000 4194304 10173063 140735380794672 140735380791032 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 186193 180797 625 1460 0 184724 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 744772
[startup+51.1003 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 32599
/proc/meminfo: memFree=26373148/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=753640 CPUtime=51.08 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 199966 0 0 0 4872 236 0 0 20 0 1 0 268510565 771727360 182939 33554432000 4194304 10173063 140735380794672 140735380791048 4953523 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 188410 182939 625 1460 0 186941 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 753640
[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 32599
/proc/meminfo: memFree=26351368/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=773152 CPUtime=102.28 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 204758 0 0 0 9974 254 0 0 20 0 1 0 268510565 791707648 188054 33554432000 4194304 10173063 140735380794672 140735380791032 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 193288 188054 625 1460 0 191819 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 773152
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 32600
/proc/meminfo: memFree=26308068/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=815496 CPUtime=162.25 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 215392 0 0 0 15952 273 0 0 20 0 1 0 268510565 835067904 199217 33554432000 4194304 10173063 140735380794672 140735380791032 6126957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 203874 199217 625 1460 0 202405 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 815496
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 32603
/proc/meminfo: memFree=26253280/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=866116 CPUtime=222.23 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 228011 0 0 0 21928 295 0 0 20 0 1 0 268510565 886902784 212848 33554432000 4194304 10173063 140735380794672 140735380791032 6126957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 216529 212848 625 1460 0 215060 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 866116
[startup+282.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 32603
/proc/meminfo: memFree=26198760/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=922408 CPUtime=282.23 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 238398 0 0 0 27908 315 0 0 20 0 1 0 268510565 944545792 226437 33554432000 4194304 10173063 140735380794672 140735380791048 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 230602 226437 625 1460 0 229133 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 922408
[startup+342.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 32603
/proc/meminfo: memFree=26053416/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1072460 CPUtime=342.22 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 264523 0 0 0 33831 391 0 0 20 0 1 0 268510565 1098199040 262607 33554432000 4194304 10173063 140735380794672 140735380790552 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 268115 262607 705 1460 0 266646 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1072460
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 32603
/proc/meminfo: memFree=25974244/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1149796 CPUtime=402.21 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 278349 0 0 0 39816 405 0 0 20 0 1 0 268510565 1177391104 282592 33554432000 4194304 10173063 140735380794672 140735380787192 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 287449 282592 788 1460 0 285980 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1149796
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 32604
/proc/meminfo: memFree=25954364/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1168796 CPUtime=462.2 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 281763 0 0 0 45809 411 0 0 20 0 1 0 268510565 1196847104 287501 33554432000 4194304 10173063 140735380794672 140735380787848 8012533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 292199 287501 788 1460 0 290730 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1168796
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 32604
/proc/meminfo: memFree=25946192/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1176836 CPUtime=522.2 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284160 0 0 0 51803 417 0 0 20 0 1 0 268510565 1205080064 289556 33554432000 4194304 10173063 140735380794672 140735380787848 8063651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 294209 289556 788 1460 0 292740 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1176836
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 32604
/proc/meminfo: memFree=25946068/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1176836 CPUtime=582.18 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284198 0 0 0 57798 420 0 0 20 0 1 0 268510565 1205080064 289562 33554432000 4194304 10173063 140735380794672 140735380787848 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 294209 289562 788 1460 0 292740 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1176836
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27252200/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1176836 CPUtime=1062.11 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284209 0 0 0 105761 450 0 0 20 0 1 0 268510565 1205080064 289572 33554432000 4194304 10173063 140735380794672 140735380787848 8012042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 294209 289572 789 1460 0 292740 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1176836
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 32648
/proc/meminfo: memFree=27252060/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1176836 CPUtime=1122.1 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284209 0 0 0 111756 454 0 0 20 0 1 0 268510565 1205080064 289572 33554432000 4194304 10173063 140735380794672 140735380788344 8063651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 294209 289572 789 1460 0 292740 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1176836
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 32648
/proc/meminfo: memFree=27239844/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1182.09 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284719 0 0 0 117751 458 0 0 20 0 1 0 268510565 1222606848 292637 33554432000 4194304 10173063 140735380794672 140735380787848 8013292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 292637 789 1460 0 297019 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1193952
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 32648
/proc/meminfo: memFree=27239844/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1242.08 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284722 0 0 0 123746 462 0 0 20 0 1 0 268510565 1222606848 292640 33554432000 4194304 10173063 140735380794672 140735380787848 8008884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 292640 789 1460 0 297019 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1193952
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 32648
/proc/meminfo: memFree=27231468/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1302.08 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284730 0 0 0 129741 467 0 0 20 0 1 0 268510565 1222606848 294488 33554432000 4194304 10173063 140735380794672 140735380787848 8012276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 294488 789 1460 0 297019 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1193952
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32648
/proc/meminfo: memFree=27231592/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1362.06 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284734 0 0 0 135734 472 0 0 20 0 1 0 268510565 1222606848 294511 33554432000 4194304 10173063 140735380794672 140735380788344 8013280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 294511 789 1460 0 297019 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1193952
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 32652
/proc/meminfo: memFree=27228544/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1422.05 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284745 0 0 0 141729 476 0 0 20 0 1 0 268510565 1222606848 295341 33554432000 4194304 10173063 140735380794672 140735380787192 8063658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 295341 789 1460 0 297019 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1193952
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32652
/proc/meminfo: memFree=27227176/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1482.04 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284747 0 0 0 147724 480 0 0 20 0 1 0 268510565 1222606848 295680 33554432000 4194304 10173063 140735380794672 140735380788312 8012573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 295680 789 1460 0 297019 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1193952
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32652
/proc/meminfo: memFree=27227300/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1542.03 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284753 0 0 0 153718 485 0 0 20 0 1 0 268510565 1222606848 295686 33554432000 4194304 10173063 140735380794672 140735380788344 7595756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 295686 789 1460 0 297019 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1193952
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32652
/proc/meminfo: memFree=27227672/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1602.02 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284754 0 0 0 159712 490 0 0 20 0 1 0 268510565 1222606848 295687 33554432000 4194304 10173063 140735380794672 140735380788344 8008028 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 295687 789 1460 0 297019 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1193952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32652
/proc/meminfo: memFree=27227548/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1662.01 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284760 0 0 0 165707 494 0 0 20 0 1 0 268510565 1222606848 295693 33554432000 4194304 10173063 140735380794672 140735380787848 8013296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 295693 789 1460 0 297019 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1193952
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32653
/proc/meminfo: memFree=27225756/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1722 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 284761 0 0 0 171701 499 0 0 20 0 1 0 268510565 1222606848 295694 33554432000 4194304 10173063 140735380794672 140735380787848 8007064 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 295694 789 1460 0 297019 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1193952
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 32653
/proc/meminfo: memFree=27220628/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1781.99 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 285136 0 0 0 177695 504 0 0 20 0 1 0 268510565 1222606848 296574 33554432000 4194304 10173063 140735380794672 140735380787848 8013296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 296574 789 1460 0 297019 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1193952
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 32653
/proc/meminfo: memFree=27220752/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1791.6 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 285136 0 0 0 178656 504 0 0 20 0 1 0 268510565 1222606848 296574 33554432000 4194304 10173063 140735380794672 140735380787848 8012573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 296574 789 1460 0 297019 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 1193952
[startup+1795.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 32653
/proc/meminfo: memFree=27220752/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1794.79 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 285136 0 0 0 178975 504 0 0 20 0 1 0 268510565 1222606848 296574 33554432000 4194304 10173063 140735380794672 140735380787848 8012598 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 296574 789 1460 0 297019 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 1193952
[startup+1796.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 32653
/proc/meminfo: memFree=27220752/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1796.39 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 285136 0 0 0 179134 505 0 0 20 0 1 0 268510565 1222606848 296574 33554432000 4194304 10173063 140735380794672 140735380787848 8012272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 296574 789 1460 0 297019 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 1193952
[startup+1798.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 32653
/proc/meminfo: memFree=27220752/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1193952 CPUtime=1797.99 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 285136 0 0 0 179294 505 0 0 20 0 1 0 268510565 1222606848 296574 33554432000 4194304 10173063 140735380794672 140735380787192 8007064 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 298488 296574 789 1460 0 297019 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1193952
[startup+1799.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 32653
/proc/meminfo: memFree=27220752/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=1154684 CPUtime=1798.79 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 285329 0 0 0 179374 505 0 0 20 0 1 0 268510565 1182396416 286993 33554432000 4194304 10173063 140735380794672 140735380794056 7544969 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 288671 286993 814 1460 0 287202 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 1154684
[startup+1799.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 32653
/proc/meminfo: memFree=27220752/32873844 swapFree=7100/7100
[pid=32598] ppid=32596 vsize=870376 CPUtime=1798.99 cores=1,3,5,7
/proc/32598/stat : 32598 (scip-2.1.1.4fix) R 32596 32598 32069 0 -1 4202496 285341 0 0 0 179392 507 0 0 20 0 1 0 268510565 891265024 216723 33554432000 4194304 10173063 140735380794672 140735380794056 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32598/statm: 217594 216466 826 1460 0 216125 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 870376
Child status: 0
Real time (s): 1799.33
CPU time (s): 1799.03
CPU user time (s): 1793.92
CPU system time (s): 5.10622
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1193952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 5.10622
maximum resident set size= 1186304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285343
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= 41
involuntary context switches= 1846
runsolver used 3.3065 second user time and 8.47371 second system time
The end