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-3693636-1338040253.opb>
0.58/0.61 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234141 constraints
0.58/0.61 c problem read in 0.61
1.39/1.45 c presolving:
7.48/7.58 c (round 1) 5047 del vars, 15271 del conss, 0 add conss, 3503 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034200 impls, 0 clqs
11.99/12.06 c (round 2) 12844 del vars, 42362 del conss, 0 add conss, 11000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074485 impls, 0 clqs
13.28/13.38 c (round 3) 15687 del vars, 54937 del conss, 0 add conss, 12623 chg bounds, 29 chg sides, 19 chg coeffs, 0 upgd conss, 16091281 impls, 0 clqs
14.09/14.19 c (round 4) 16875 del vars, 59552 del conss, 0 add conss, 13402 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16098910 impls, 0 clqs
14.48/14.58 c (round 5) 17532 del vars, 62185 del conss, 0 add conss, 13759 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16103405 impls, 0 clqs
14.69/14.78 c (round 6) 17834 del vars, 63489 del conss, 0 add conss, 13905 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16105955 impls, 0 clqs
14.89/14.93 c (round 7) 17973 del vars, 64070 del conss, 0 add conss, 13989 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16107417 impls, 0 clqs
14.98/15.06 c (round 8) 18073 del vars, 64485 del conss, 0 add conss, 14049 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108307 impls, 0 clqs
15.08/15.15 c (round 9) 18105 del vars, 64671 del conss, 0 add conss, 14067 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108617 impls, 0 clqs
15.19/15.23 c (round 10) 18123 del vars, 64769 del conss, 0 add conss, 14076 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108753 impls, 0 clqs
15.19/15.30 c (round 11) 18125 del vars, 64792 del conss, 0 add conss, 14077 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108771 impls, 0 clqs
321.13/321.25 c (321.2s) probing: 1000/54715 (1.8%) - 0 fixings, 0 aggregations, 5522285 implications, 0 bound changes
321.33/321.44 c (321.4s) probing: 1001/54715 (1.8%) - 0 fixings, 0 aggregations, 5525062 implications, 0 bound changes
321.33/321.44 c (321.4s) probing aborted: 1000/1000 successive useless probings
322.13/322.26 c (round 12) 18127 del vars, 64804 del conss, 0 add conss, 14078 chg bounds, 53 chg sides, 45 chg coeffs, 169337 upgd conss, 27158911 impls, 0 clqs
322.93/323.02 c (round 13) 18127 del vars, 64810 del conss, 15 add conss, 14078 chg bounds, 77 chg sides, 165 chg coeffs, 169337 upgd conss, 27159799 impls, 2778 clqs
323.63/323.76 c (round 14) 18127 del vars, 148731 del conss, 27033 add conss, 14078 chg bounds, 83 chg sides, 192 chg coeffs, 169337 upgd conss, 27159805 impls, 2879 clqs
324.22/324.33 c (round 15) 18127 del vars, 171742 del conss, 50048 add conss, 14078 chg bounds, 91 chg sides, 218 chg coeffs, 169337 upgd conss, 27159805 impls, 5758 clqs
324.83/324.96 c presolving (16 rounds):
324.83/324.96 c 18127 deleted vars, 171742 deleted constraints, 50048 added constraints, 14078 tightened bounds, 0 added holes, 91 changed sides, 220 changed coefficients
324.83/324.96 c 27159805 implications, 28768 cliques
324.83/324.96 c presolved problem has 54715 variables (54715 bin, 0 int, 0 impl, 0 cont) and 112447 constraints
324.83/324.96 c 1138 constraints of type <knapsack>
324.83/324.96 c 110183 constraints of type <setppc>
324.83/324.96 c 1124 constraints of type <and>
324.83/324.96 c 2 constraints of type <logicor>
324.83/324.96 c transformed objective value is always integral (scale: 1)
324.83/324.96 c Presolving Time: 324.11
324.83/324.96 c - non default parameters ----------------------------------------------------------------------
324.83/324.96 c # SCIP version 2.1.1.4
324.83/324.96 c
324.83/324.96 c # maximal time in seconds to run
324.83/324.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
324.83/324.96 c limits/time = 1797
324.83/324.96 c
324.83/324.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
324.83/324.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
324.83/324.96 c limits/memory = 13950
324.83/324.96 c
324.83/324.96 c # default clock type (1: CPU user seconds, 2: wall clock time)
324.83/324.96 c # [type: int, range: [1,2], default: 1]
324.83/324.96 c timing/clocktype = 2
324.83/324.96 c
324.83/324.96 c # belongs reading time to solving time?
324.83/324.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
324.83/324.96 c timing/reading = TRUE
324.83/324.96 c
324.83/324.96 c -----------------------------------------------------------------------------------------------
324.83/324.96 c start solving
325.13/325.26 c
1409.15/1409.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.15/1409.42 c 1409s| 1 | 0 |134709 | - |1003M| 0 |9702 | 54k| 112k| 54k| 113k| 0 | 15 | 0 | 1.046547e+02 | -- | Inf
1796.99/1797.36 c (node 1) unresolved numerical troubles in LP 2 -- using pseudo solution instead (loop 1)
1796.99/1797.36 c (node 1) LP solver hit time limit in LP 2 -- using pseudo solution instead
1796.99/1797.39 c 1797s| 1 | 2 |193738 | - |1010M| 0 | - | 54k| 112k| 54k| 113k| 0 | 15 | 0 | 1.046547e+02 | -- | Inf
1796.99/1797.39 c
1796.99/1797.39 c SCIP Status : solving was interrupted [time limit reached]
1796.99/1797.39 c Solving Time (sec) : 1797.38
1796.99/1797.39 c Solving Nodes : 1
1796.99/1797.39 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.99/1797.39 c Dual Bound : +1.04654720286241e+02
1796.99/1797.39 c Gap : infinite
1796.99/1797.39 s UNKNOWN
1796.99/1797.39 c SCIP Status : solving was interrupted [time limit reached]
1796.99/1797.39 c Total Time : 1797.38
1796.99/1797.39 c solving : 1797.38
1796.99/1797.39 c presolving : 324.11 (included in solving)
1796.99/1797.39 c reading : 0.61 (included in solving)
1796.99/1797.39 c copying : 0.00 (0 times copied the problem)
1796.99/1797.39 c Original Problem :
1796.99/1797.39 c Problem name : HOME/instance-3693636-1338040253.opb
1796.99/1797.39 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.39 c Constraints : 234141 initial, 234141 maximal
1796.99/1797.39 c Objective sense : minimize
1796.99/1797.39 c Presolved Problem :
1796.99/1797.39 c Problem name : t_HOME/instance-3693636-1338040253.opb
1796.99/1797.39 c Variables : 54715 (54715 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.99/1797.39 c Constraints : 112447 initial, 112462 maximal
1796.99/1797.39 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.99/1797.39 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c trivial : 0.05 0.00 1308 0 0 0 0 0 0 0 0
1796.99/1797.39 c dualfix : 0.08 0.00 121 0 0 0 0 0 0 0 0
1796.99/1797.39 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c gateextraction : 0.35 0.00 0 0 0 0 0 83921 27014 0 0
1796.99/1797.39 c implics : 0.58 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c components : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c pseudoobj : 0.00 0.29 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c probing : 306.04 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c knapsack : 0.92 0.00 0 0 0 0 0 2 23 38 175
1796.99/1797.39 c setppc : 0.53 0.00 0 0 0 0 0 4 0 0 0
1796.99/1797.39 c and : 0.43 0.00 0 0 0 0 0 23011 23011 0 0
1796.99/1797.39 c linear : 14.05 0.00 12770 3928 0 14078 0 64804 0 53 45
1796.99/1797.39 c logicor : 0.12 0.00 0 0 0 0 0 0 0 0 0
1796.99/1797.39 c root node : - - 0 - - 0 - - - - -
1796.99/1797.39 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.99/1797.39 c integral : 0 0 0 0 0 0 4 0 0 0 0 0 0
1796.99/1797.39 c knapsack : 1138 1138 0 19151 0 1 3 3 0 0 0 0 0
1796.99/1797.39 c setppc : 110183 110183 0 19151 0 1 1 4013 2 0 0 0 0
1796.99/1797.39 c and : 1124 1124 0 19149 0 1 0 13 0 0 0 0 0
1796.99/1797.39 c logicor : 2+ 17 0 16 0 1 0 1 13 0 0 0 0
1796.99/1797.39 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.99/1797.39 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.99/1797.39 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1796.99/1797.39 c knapsack : 1.00 0.00 0.00 1.00 0.00 0.00 0.00 0.00
1796.99/1797.39 c setppc : 50.14 0.00 0.00 50.11 0.00 0.02 0.00 0.00
1796.99/1797.39 c and : 1.16 0.00 0.00 1.15 0.00 0.00 0.00 0.00
1796.99/1797.39 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.99/1797.39 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.99/1797.39 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.99/1797.39 c rootredcost : 0 0 0 0
1796.99/1797.39 c pseudoobj : 19151 0 0 0
1796.99/1797.39 c vbounds : 0 0 0 0
1796.99/1797.39 c redcost : 1 0 0 0
1796.99/1797.39 c probing : 0 0 0 0
1796.99/1797.39 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.99/1797.39 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.99/1797.39 c pseudoobj : 0.37 0.29 0.00 0.08 0.00
1796.99/1797.39 c vbounds : 0.04 0.01 0.00 0.04 0.00
1796.99/1797.39 c redcost : 0.03 0.00 0.00 0.03 0.00
1796.99/1797.39 c probing : 306.04 0.00 306.04 0.00 0.00
1796.99/1797.39 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.99/1797.39 c propagation : 0.00 15 15 15 91.7 0 0.0 -
1796.99/1797.39 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.39 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.39 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.99/1797.39 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.99/1797.39 c applied globally : - - - 15 91.7 - - -
1796.99/1797.39 c applied locally : - - - 0 0.0 - - -
1796.99/1797.39 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.99/1797.39 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.99/1797.39 c clique : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c closecuts : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c cgmip : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c cmir : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c flowcover : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c gomory : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c impliedbounds : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c intobj : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c mcf : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c strongcg : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.99/1797.39 c Pricers : ExecTime SetupTime Calls Vars
1796.99/1797.39 c problem variables: 0.00 - 0 0
1796.99/1797.39 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.99/1797.39 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.99/1797.39 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.99/1797.39 c inference : 0.01 0.00 1 0 0 0 0 2
1796.99/1797.39 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.99/1797.39 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.99/1797.39 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.99/1797.39 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.99/1797.39 c random : 0.00 0.00 0 0 0 0 0 0
1796.99/1797.39 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.99/1797.39 c LP solutions : 0.00 - - 0
1796.99/1797.39 c pseudo solutions : 0.00 - - 0
1796.99/1797.39 c oneopt : 0.00 0.00 0 0
1796.99/1797.39 c smallcard : 0.00 0.00 0 0
1796.99/1797.39 c trivial : 0.07 0.00 2 0
1796.99/1797.39 c shiftandpropagate: 53.17 0.00 1 0
1796.99/1797.39 c simplerounding : 0.00 0.00 0 0
1796.99/1797.39 c zirounding : 0.00 0.00 0 0
1796.99/1797.39 c rounding : 0.01 0.00 1 0
1796.99/1797.39 c shifting : 0.05 0.00 1 0
1796.99/1797.39 c intshifting : 0.00 0.00 0 0
1796.99/1797.39 c twoopt : 0.00 0.00 0 0
1796.99/1797.39 c indtwoopt : 0.00 0.00 0 0
1796.99/1797.39 c indoneopt : 0.00 0.00 0 0
1796.99/1797.39 c fixandinfer : 0.00 0.00 0 0
1796.99/1797.39 c feaspump : 387.88 0.00 1 0
1796.99/1797.39 c clique : 0.00 0.00 0 0
1796.99/1797.39 c indrounding : 0.00 0.00 0 0
1796.99/1797.39 c indcoefdiving : 0.00 0.00 0 0
1796.99/1797.39 c coefdiving : 0.00 0.00 0 0
1796.99/1797.39 c pscostdiving : 0.00 0.00 0 0
1796.99/1797.39 c nlpdiving : 0.00 0.00 0 0
1796.99/1797.39 c fracdiving : 0.00 0.00 0 0
1796.99/1797.39 c veclendiving : 0.00 0.00 0 0
1796.99/1797.39 c intdiving : 0.00 0.00 0 0
1796.99/1797.39 c actconsdiving : 0.00 0.00 0 0
1796.99/1797.39 c objpscostdiving : 0.00 0.00 0 0
1796.99/1797.39 c rootsoldiving : 0.00 0.00 0 0
1796.99/1797.39 c linesearchdiving : 0.00 0.00 0 0
1796.99/1797.39 c guideddiving : 0.00 0.00 0 0
1796.99/1797.39 c octane : 0.00 0.00 0 0
1796.99/1797.39 c rens : 0.00 0.00 0 0
1796.99/1797.39 c rins : 0.00 0.00 0 0
1796.99/1797.39 c localbranching : 0.00 0.00 0 0
1796.99/1797.39 c mutation : 0.00 0.00 0 0
1796.99/1797.39 c crossover : 0.00 0.00 0 0
1796.99/1797.39 c dins : 0.00 0.00 0 0
1796.99/1797.39 c vbounds : 0.00 0.00 0 0
1796.99/1797.39 c undercover : 0.00 0.00 0 0
1796.99/1797.39 c subnlp : 0.00 0.00 0 0
1796.99/1797.39 c trysol : 0.00 0.00 0 0
1796.99/1797.39 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.99/1797.39 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.99/1797.39 c dual LP : 1030.94 1 134709 134709.00 130.67 0.00 0
1796.99/1797.39 c lex dual LP : 0.00 0 0 0.00 -
1796.99/1797.39 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.99/1797.39 c diving/probing LP: 387.84 1 59029 59029.00 152.20
1796.99/1797.39 c strong branching : 0.00 0 0 0.00 -
1796.99/1797.39 c (at root node) : - 0 0 0.00 -
1796.99/1797.39 c conflict analysis: 0.00 0 0 0.00 -
1796.99/1797.39 c B&B Tree :
1796.99/1797.39 c number of runs : 1
1796.99/1797.39 c nodes : 1
1796.99/1797.39 c nodes (total) : 1
1796.99/1797.39 c nodes left : 2
1796.99/1797.39 c max depth : 0
1796.99/1797.39 c max depth (total): 0
1796.99/1797.39 c backtracks : 0 (0.0%)
1796.99/1797.39 c delayed cutoffs : 0
1796.99/1797.39 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.99/1797.39 c avg switch length: 1.00
1796.99/1797.39 c switching time : 0.00
1796.99/1797.39 c Solution :
1796.99/1797.39 c Solutions found : 0 (0 improvements)
1796.99/1797.39 c Primal Bound : -
1796.99/1797.39 c Dual Bound : +1.04654720286241e+02
1796.99/1797.39 c Gap : infinite
1796.99/1797.39 c Root Dual Bound : +1.04654720286241e+02
1796.99/1797.39 c Root Iterations : 193738
1797.69/1798.05 c Time complete: 1797.74.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693636-1338040253/watcher-3693636-1338040253 -o /tmp/evaluation-result-3693636-1338040253/solver-3693636-1338040253 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693636-1338040253.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.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=10524 CPUtime=0 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 1392 0 0 0 0 0 0 0 20 0 1 0 270150774 10776576 1346 33554432000 4194304 10169799 140733295551184 140735264606232 8797266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 2665 1354 412 1459 0 1197 0
[startup+0.043704 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=25284 CPUtime=0.03 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 5082 0 0 0 3 0 0 0 20 0 1 0 270150774 25890816 5036 33554432000 4194304 10169799 140733295551184 140733295417512 5477139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 6321 5036 412 1459 0 4853 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25284
[startup+0.100288 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=44628 CPUtime=0.09 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 9932 0 0 0 8 1 0 0 20 0 1 0 270150774 45699072 9859 33554432000 4194304 10169799 140733295551184 140733295417512 5477139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 11157 9859 412 1459 0 9689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44628
[startup+0.300227 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=72604 CPUtime=0.29 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 16923 0 0 0 27 2 0 0 20 0 1 0 270150774 74346496 16850 33554432000 4194304 10169799 140733295551184 140733295417512 7408175 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 18151 16850 412 1459 0 16683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72604
[startup+0.700232 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10113
/proc/meminfo: memFree=28712764/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=201360 CPUtime=0.68 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 48991 0 0 0 63 5 0 0 20 0 1 0 270150774 206192640 48899 33554432000 4194304 10169799 140733295551184 140733295417512 4897840 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 50340 48899 463 1459 0 48872 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 201360
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10114
/proc/meminfo: memFree=28420880/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=406196 CPUtime=1.49 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 108375 0 0 0 135 14 0 0 20 0 1 0 270150774 415944704 98026 33554432000 4194304 10169799 140733295551184 140733295549144 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 101549 98026 545 1459 0 100081 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 406196
[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10114
/proc/meminfo: memFree=28242280/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=595428 CPUtime=3.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 155486 0 0 0 286 22 0 0 20 0 1 0 270150774 609718272 145137 33554432000 4194304 10169799 140733295551184 140733295549336 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 148857 145137 557 1459 0 147389 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 595428
[startup+6.3003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10114
/proc/meminfo: memFree=27944412/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=847920 CPUtime=6.29 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 216218 0 0 0 595 34 0 0 20 0 1 0 270150774 868270080 205869 33554432000 4194304 10169799 140733295551184 140733295549336 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/10113/statm: 211980 205869 563 1459 0 210512 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 847920
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27846380/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=891820 CPUtime=12.69 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 228226 0 0 0 1223 46 0 0 20 0 1 0 270150774 913223680 216784 33554432000 4194304 10169799 140733295551184 140733295549336 7433752 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 222955 216784 565 1459 0 221487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 891820
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27828500/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=909852 CPUtime=25.48 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 232798 0 0 0 2477 71 0 0 20 0 1 0 270150774 931688448 221179 33554432000 4194304 10169799 140733295551184 140733295548696 4484316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 227463 221179 584 1459 0 225995 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 909852
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27819152/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=917988 CPUtime=51.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 234865 0 0 0 5034 74 0 0 20 0 1 0 270150774 940019712 223585 33554432000 4194304 10169799 140733295551184 140733295548696 4484316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 229497 223585 584 1459 0 228029 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 917988
[startup+102.307 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10114
/proc/meminfo: memFree=27794132/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=940404 CPUtime=102.27 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 240222 0 0 0 10149 78 0 0 20 0 1 0 270150774 962973696 229652 33554432000 4194304 10169799 140733295551184 140733295548696 4950707 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 235101 229652 584 1459 0 233633 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 940404
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27756960/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=976588 CPUtime=162.25 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 247412 0 0 0 16140 85 0 0 20 0 1 0 270150774 1000026112 238935 33554432000 4194304 10169799 140733295551184 140733295548696 4484316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 244147 238935 584 1459 0 242679 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 976588
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10114
/proc/meminfo: memFree=27708136/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1028980 CPUtime=222.25 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 259651 0 0 0 22133 92 0 0 20 0 1 0 270150774 1053675520 251176 33554432000 4194304 10169799 140733295551184 140733295548696 4477834 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 257245 251176 584 1459 0 255777 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1028980
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 10115
/proc/meminfo: memFree=27652364/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1086360 CPUtime=282.23 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 274085 0 0 0 28124 99 0 0 20 0 1 0 270150774 1112432640 265602 33554432000 4194304 10169799 140733295551184 140733295548696 4484316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 271590 265602 584 1459 0 270122 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1086360
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10115
/proc/meminfo: memFree=27447076/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1295304 CPUtime=342.23 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 328781 0 0 0 34082 141 0 0 20 0 1 0 270150774 1326391296 316365 33554432000 4194304 10169799 140733295551184 140733295548216 4777685 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 323826 316365 704 1459 0 322358 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1295304
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27346692/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1402652 CPUtime=402.21 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 345308 0 0 0 40068 153 0 0 20 0 1 0 270150774 1436315648 341309 33554432000 4194304 10169799 140733295551184 140733295545512 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 350663 341309 790 1459 0 349195 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1402652
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27327600/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419120 CPUtime=462.2 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 348898 0 0 0 46059 161 0 0 20 0 1 0 270150774 1453178880 345846 33554432000 4194304 10169799 140733295551184 140733295545512 8010556 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354780 345846 790 1459 0 353312 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1419120
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27323940/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1428300 CPUtime=522.19 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 350389 0 0 0 52050 169 0 0 20 0 1 0 270150774 1462579200 347019 33554432000 4194304 10169799 140733295551184 140733295545512 8015301 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 357075 347019 790 1459 0 355607 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1428300
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=27302756/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=582.18 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352337 0 0 0 58045 173 0 0 20 0 1 0 270150774 1476796416 352099 33554432000 4194304 10169799 140733295551184 140733295546008 8010496 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 352099 790 1459 0 359078 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1442184
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26627972/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1122.09 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352430 0 0 0 111996 213 0 0 20 0 1 0 270150774 1476796416 357324 33554432000 4194304 10169799 140733295551184 140733295545976 8022904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357324 790 1459 0 359078 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1442184
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10185
/proc/meminfo: memFree=26647696/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1182.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352438 0 0 0 117990 218 0 0 20 0 1 0 270150774 1476796416 357332 33554432000 4194304 10169799 140733295551184 140733295545512 7978382 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357332 790 1459 0 359078 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1442184
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10185
/proc/meminfo: memFree=26630328/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1242.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352441 0 0 0 123985 223 0 0 20 0 1 0 270150774 1476796416 357335 33554432000 4194304 10169799 140733295551184 140733295546008 8004333 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357335 790 1459 0 359078 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1442184
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10185
/proc/meminfo: memFree=26630080/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1302.08 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352442 0 0 0 129980 228 0 0 20 0 1 0 270150774 1476796416 357336 33554432000 4194304 10169799 140733295551184 140733295545512 8010537 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357336 790 1459 0 359078 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1442184
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10185
/proc/meminfo: memFree=26604232/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1442184 CPUtime=1362.06 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352444 0 0 0 135974 232 0 0 20 0 1 0 270150774 1476796416 357338 33554432000 4194304 10169799 140733295551184 140733295545512 8010432 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 360546 357338 790 1459 0 359078 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1442184
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10185
/proc/meminfo: memFree=26661048/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1422.05 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352852 0 0 0 141968 237 0 0 20 0 1 0 270150774 1453916160 352037 33554432000 4194304 10169799 140733295551184 140733295543864 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352037 804 1459 0 353492 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1419840
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26648828/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1482.04 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352883 0 0 0 147961 243 0 0 20 0 1 0 270150774 1453916160 352068 33554432000 4194304 10169799 140733295551184 140733295543640 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352068 804 1459 0 353492 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1419840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26646372/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1542.03 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352883 0 0 0 153957 246 0 0 20 0 1 0 270150774 1453916160 352068 33554432000 4194304 10169799 140733295551184 140733295543464 8004697 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352068 804 1459 0 353492 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1419840
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26646140/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1602.02 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 159952 250 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543592 8020471 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1419840
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26605768/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1662.01 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 165947 254 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543640 8020484 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1419840
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10186
/proc/meminfo: memFree=26599780/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1722 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 171942 258 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543640 8020471 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1419840
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596252/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1782 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 177938 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543464 8020396 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1419840
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596748/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1785.2 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 178258 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543464 8004362 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1419840
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596608/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1791.6 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 178898 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543464 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 1419840
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596732/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1794.8 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 179218 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543640 8043938 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 1419840
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596732/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1796.39 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352902 0 0 0 179377 262 0 0 20 0 1 0 270150774 1453916160 352087 33554432000 4194304 10169799 140733295551184 140733295543864 8023412 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352087 804 1459 0 353492 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 1419840
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596856/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1419840 CPUtime=1797.19 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352916 0 0 0 179457 262 0 0 20 0 1 0 270150774 1453916160 352101 33554432000 4194304 10169799 140733295551184 140733295543592 7542233 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 354960 352101 818 1459 0 353492 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 1419840
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596856/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1312340 CPUtime=1797.6 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352917 0 0 0 179496 264 0 0 20 0 1 0 270150774 1343836160 325317 33554432000 4194304 10169799 140733295551184 140733295543592 5882499 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 328085 325317 819 1459 0 326617 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1312340
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10190
/proc/meminfo: memFree=26596856/32873648 swapFree=6856/6856
[pid=10113] ppid=10111 vsize=1074840 CPUtime=1797.69 cores=1,3,5,7
/proc/10113/stat : 10113 (scip-2.1.1.4sfi) R 10111 10113 7220 0 -1 4202496 352918 0 0 0 179503 266 0 0 20 0 1 0 270150774 1100636160 267043 33554432000 4194304 10169799 140733295551184 140733295550328 5882464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 268710 267043 820 1459 0 267242 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 1074840
Child status: 0
Real time (s): 1798.05
CPU time (s): 1797.75
CPU user time (s): 1795.05
CPU system time (s): 2.70459
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1442184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 2.70459
maximum resident set size= 1429400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352931
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= 43
involuntary context switches= 1897
runsolver used 4.96024 second user time and 13.099 second system time
The end