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-3691296-1338023151.opb>
0.49/0.59 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234329 constraints
0.49/0.59 c problem read in 0.60
1.59/1.63 c presolving:
8.19/8.28 c (round 1) 4379 del vars, 12871 del conss, 0 add conss, 2953 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16165154 impls, 0 clqs
12.79/12.84 c (round 2) 10955 del vars, 34436 del conss, 0 add conss, 9145 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16192809 impls, 0 clqs
13.88/13.96 c (round 3) 12829 del vars, 44136 del conss, 0 add conss, 10064 chg bounds, 37 chg sides, 27 chg coeffs, 0 upgd conss, 16202413 impls, 0 clqs
14.49/14.52 c (round 4) 13527 del vars, 46952 del conss, 0 add conss, 10420 chg bounds, 50 chg sides, 54 chg coeffs, 0 upgd conss, 16206919 impls, 0 clqs
14.79/14.82 c (round 5) 13828 del vars, 48304 del conss, 0 add conss, 10578 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16208738 impls, 0 clqs
14.99/15.02 c (round 6) 13978 del vars, 48944 del conss, 0 add conss, 10651 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16209744 impls, 0 clqs
15.09/15.14 c (round 7) 14034 del vars, 49236 del conss, 0 add conss, 10668 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16210294 impls, 0 clqs
15.19/15.23 c (round 8) 14041 del vars, 49298 del conss, 0 add conss, 10671 chg bounds, 53 chg sides, 58 chg coeffs, 0 upgd conss, 16210322 impls, 0 clqs
460.02/460.15 c (460.1s) probing: 1000/58799 (1.7%) - 0 fixings, 0 aggregations, 5505685 implications, 0 bound changes
460.42/460.52 c (460.5s) probing: 1001/58799 (1.7%) - 0 fixings, 0 aggregations, 5514387 implications, 0 bound changes
460.42/460.52 c (460.5s) probing aborted: 1000/1000 successive useless probings
461.41/461.59 c (round 9) 14043 del vars, 49314 del conss, 0 add conss, 10672 chg bounds, 53 chg sides, 58 chg coeffs, 185015 upgd conss, 27239112 impls, 0 clqs
462.10/462.29 c (round 10) 14043 del vars, 49318 del conss, 14 add conss, 10672 chg bounds, 83 chg sides, 233 chg coeffs, 185015 upgd conss, 27239192 impls, 267 clqs
462.92/463.04 c (round 11) 14043 del vars, 138969 del conss, 29094 add conss, 10672 chg bounds, 83 chg sides, 234 chg coeffs, 185015 upgd conss, 27239192 impls, 283 clqs
463.61/463.78 c (round 12) 14043 del vars, 164602 del conss, 54727 add conss, 10672 chg bounds, 83 chg sides, 234 chg coeffs, 185015 upgd conss, 27239192 impls, 2693 clqs
464.30/464.43 c presolving (13 rounds):
464.30/464.43 c 14043 deleted vars, 164602 deleted constraints, 54727 added constraints, 10672 tightened bounds, 0 added holes, 83 changed sides, 234 changed coefficients
464.30/464.43 c 27239192 implications, 28326 cliques
464.30/464.43 c presolved problem has 58799 variables (58799 bin, 0 int, 0 impl, 0 cont) and 124454 constraints
464.30/464.43 c 1108 constraints of type <knapsack>
464.30/464.43 c 122299 constraints of type <setppc>
464.30/464.43 c 1036 constraints of type <and>
464.30/464.43 c 11 constraints of type <logicor>
464.30/464.43 c transformed objective value is always integral (scale: 1)
464.30/464.43 c Presolving Time: 463.56
464.30/464.43 c - non default parameters ----------------------------------------------------------------------
464.30/464.43 c # SCIP version 2.1.1.4
464.30/464.43 c
464.30/464.43 c # maximal time in seconds to run
464.30/464.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
464.30/464.43 c limits/time = 1797
464.30/464.43 c
464.30/464.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
464.30/464.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
464.30/464.43 c limits/memory = 13950
464.30/464.43 c
464.30/464.43 c # default clock type (1: CPU user seconds, 2: wall clock time)
464.30/464.43 c # [type: int, range: [1,2], default: 1]
464.30/464.43 c timing/clocktype = 2
464.30/464.43 c
464.30/464.43 c # belongs reading time to solving time?
464.30/464.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
464.30/464.43 c timing/reading = TRUE
464.30/464.43 c
464.30/464.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
464.30/464.43 c # [type: int, range: [-1,2147483647], default: -1]
464.30/464.43 c separating/rapidlearning/freq = 0
464.30/464.43 c
464.30/464.43 c -----------------------------------------------------------------------------------------------
464.30/464.43 c start solving
464.60/464.78 c
772.95/773.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.95/773.12 c 773s| 1 | 0 | 49396 | - |1036M| 0 | 571 | 58k| 124k| 58k| 125k| 0 | 15 | 0 | 7.066667e+01 | -- | Inf
954.73/954.95 c 955s| 1 | 0 |120460 | - |1046M| 0 |1442 | 58k| 124k| 58k| 125k| 95 | 15 | 0 | 7.300000e+01 | -- | Inf
1797.39/1797.70 c 1798s| 1 | 0 |184319 | - |1047M| 0 | - | 58k| 124k| 58k| 125k| 189 | 15 | 0 | 7.300000e+01 | -- | Inf
1797.39/1797.70 c (node 1) LP solver hit time limit in LP 22 -- using pseudo solution instead
1797.39/1797.76 c 1798s| 1 | 2 |184319 | - |1047M| 0 | - | 58k| 124k| 58k| 125k| 189 | 15 | 0 | 7.300000e+01 | -- | Inf
1797.39/1797.76 c
1797.39/1797.76 c SCIP Status : solving was interrupted [time limit reached]
1797.39/1797.76 c Solving Time (sec) : 1797.75
1797.39/1797.76 c Solving Nodes : 1
1797.39/1797.76 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.39/1797.76 c Dual Bound : +7.30000000000000e+01
1797.39/1797.76 c Gap : infinite
1797.39/1797.76 s UNKNOWN
1797.39/1797.76 c SCIP Status : solving was interrupted [time limit reached]
1797.39/1797.76 c Total Time : 1797.75
1797.39/1797.76 c solving : 1797.75
1797.39/1797.76 c presolving : 463.56 (included in solving)
1797.39/1797.76 c reading : 0.60 (included in solving)
1797.39/1797.76 c copying : 0.00 (0 times copied the problem)
1797.39/1797.76 c Original Problem :
1797.39/1797.76 c Problem name : HOME/instance-3691296-1338023151.opb
1797.39/1797.76 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.39/1797.76 c Constraints : 234329 initial, 234329 maximal
1797.39/1797.76 c Objective sense : minimize
1797.39/1797.76 c Presolved Problem :
1797.39/1797.76 c Problem name : t_HOME/instance-3691296-1338023151.opb
1797.39/1797.76 c Variables : 58799 (58799 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.39/1797.76 c Constraints : 124454 initial, 124469 maximal
1797.39/1797.76 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.39/1797.76 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c trivial : 0.06 0.00 1025 0 0 0 0 0 0 0 0
1797.39/1797.76 c dualfix : 0.10 0.00 121 0 0 0 0 0 0 0 0
1797.39/1797.76 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c gateextraction : 0.49 0.00 0 0 0 0 0 89651 29080 0 0
1797.39/1797.76 c implics : 0.67 0.00 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c components : 0.08 0.00 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c pseudoobj : 0.00 0.33 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c probing : 445.15 0.00 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c knapsack : 0.49 0.00 0 0 0 0 0 2 14 30 176
1797.39/1797.76 c setppc : 0.73 0.00 0 0 0 0 0 2 0 0 0
1797.39/1797.76 c and : 0.53 0.00 0 0 0 0 0 25633 25633 0 0
1797.39/1797.76 c linear : 13.98 0.00 9647 3250 0 10672 0 49314 0 53 58
1797.39/1797.76 c logicor : 0.16 0.00 0 0 0 0 0 0 0 0 0
1797.39/1797.76 c root node : - - 0 - - 0 - - - - -
1797.39/1797.76 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1797.39/1797.76 c integral : 0 0 0 0 0 0 4 0 0 0 0 0 0
1797.39/1797.76 c knapsack : 1108 1108 2 29191 0 1 3 0 15 0 278 0 0
1797.39/1797.76 c setppc : 122299 122299 2 29176 0 1 1 2385 0 0 0 0 0
1797.39/1797.76 c and : 1036 1036 2 29176 0 1 0 45 0 0 1 0 0
1797.39/1797.76 c logicor : 11+ 26 2 7 0 1 0 0 0 0 0 0 0
1797.39/1797.76 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1797.39/1797.76 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1797.39/1797.76 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1797.39/1797.76 c knapsack : 2.03 0.00 0.01 2.02 0.00 0.00 0.00 0.00
1797.39/1797.76 c setppc : 123.92 0.00 0.01 123.86 0.00 0.04 0.00 0.00
1797.39/1797.76 c and : 2.51 0.00 0.00 2.50 0.00 0.00 0.00 0.00
1797.39/1797.76 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.39/1797.76 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.39/1797.76 c Propagators : #Propagate #ResProp Cutoffs DomReds
1797.39/1797.76 c rootredcost : 0 0 0 0
1797.39/1797.76 c pseudoobj : 29191 0 0 0
1797.39/1797.76 c vbounds : 0 0 0 0
1797.39/1797.76 c redcost : 2 0 0 0
1797.39/1797.76 c probing : 0 0 0 0
1797.39/1797.76 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1797.39/1797.76 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1797.39/1797.76 c pseudoobj : 0.48 0.33 0.00 0.15 0.00
1797.39/1797.76 c vbounds : 0.08 0.01 0.00 0.07 0.00
1797.39/1797.76 c redcost : 0.06 0.00 0.00 0.06 0.00
1797.39/1797.76 c probing : 445.16 0.00 445.15 0.00 0.00
1797.39/1797.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.39/1797.76 c propagation : 0.00 15 15 15 71.0 0 0.0 -
1797.39/1797.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.39/1797.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.39/1797.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.39/1797.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.39/1797.76 c applied globally : - - - 15 71.0 - - -
1797.39/1797.76 c applied locally : - - - 0 0.0 - - -
1797.39/1797.76 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1797.39/1797.76 c cut pool : 0.00 1 - - 43 - (maximal pool size: 536)
1797.39/1797.76 c closecuts : 0.00 0.00 0 0 0 0 0
1797.39/1797.76 c impliedbounds : 0.01 0.00 2 0 0 8 0
1797.39/1797.76 c intobj : 0.00 0.00 0 0 0 0 0
1797.39/1797.76 c gomory : 0.89 0.00 2 0 0 100 0
1797.39/1797.76 c cgmip : 0.00 0.00 0 0 0 0 0
1797.39/1797.76 c strongcg : 4.88 0.00 2 0 0 1000 0
1797.39/1797.76 c cmir : 6.13 0.00 2 0 0 0 0
1797.39/1797.76 c flowcover : 16.33 0.00 2 0 0 225 0
1797.39/1797.76 c clique : 52.41 0.00 2 0 0 10 0
1797.39/1797.76 c zerohalf : 0.00 0.00 0 0 0 0 0
1797.39/1797.76 c mcf : 2.09 0.00 1 0 0 0 0
1797.39/1797.76 c oddcycle : 0.00 0.00 0 0 0 0 0
1797.39/1797.76 c rapidlearning : 0.00 0.00 0 0 0 0 0
1797.39/1797.76 c Pricers : ExecTime SetupTime Calls Vars
1797.39/1797.76 c problem variables: 0.00 - 0 0
1797.39/1797.76 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1797.39/1797.76 c relpscost : 0.00 0.00 0 0 0 0 0 0
1797.39/1797.76 c pscost : 0.00 0.00 0 0 0 0 0 0
1797.39/1797.76 c inference : 0.01 0.00 1 0 0 0 0 2
1797.39/1797.76 c mostinf : 0.00 0.00 0 0 0 0 0 0
1797.39/1797.76 c leastinf : 0.00 0.00 0 0 0 0 0 0
1797.39/1797.76 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1797.39/1797.76 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1797.39/1797.76 c random : 0.00 0.00 0 0 0 0 0 0
1797.39/1797.76 c Primal Heuristics : ExecTime SetupTime Calls Found
1797.39/1797.76 c LP solutions : 0.00 - - 0
1797.39/1797.76 c pseudo solutions : 0.00 - - 0
1797.39/1797.76 c oneopt : 0.00 0.00 0 0
1797.39/1797.76 c smallcard : 0.00 0.00 0 0
1797.39/1797.76 c trivial : 0.09 0.00 2 0
1797.39/1797.76 c shiftandpropagate: 130.11 0.00 1 0
1797.39/1797.76 c simplerounding : 0.00 0.00 0 0
1797.39/1797.76 c zirounding : 0.00 0.00 0 0
1797.39/1797.76 c rounding : 0.01 0.00 2 0
1797.39/1797.76 c shifting : 0.04 0.00 2 0
1797.39/1797.76 c intshifting : 0.00 0.00 0 0
1797.39/1797.76 c twoopt : 0.00 0.00 0 0
1797.39/1797.76 c indtwoopt : 0.00 0.00 0 0
1797.39/1797.76 c indoneopt : 0.00 0.00 0 0
1797.39/1797.76 c fixandinfer : 0.00 0.00 0 0
1797.39/1797.76 c feaspump : 74.96 0.00 1 0
1797.39/1797.76 c clique : 0.00 0.00 0 0
1797.39/1797.76 c indrounding : 0.00 0.00 0 0
1797.39/1797.76 c indcoefdiving : 0.00 0.00 0 0
1797.39/1797.76 c coefdiving : 0.00 0.00 0 0
1797.39/1797.76 c pscostdiving : 0.00 0.00 0 0
1797.39/1797.76 c nlpdiving : 0.00 0.00 0 0
1797.39/1797.76 c fracdiving : 0.00 0.00 0 0
1797.39/1797.76 c veclendiving : 0.00 0.00 0 0
1797.39/1797.76 c intdiving : 0.00 0.00 0 0
1797.39/1797.76 c actconsdiving : 0.00 0.00 0 0
1797.39/1797.76 c objpscostdiving : 0.00 0.00 0 0
1797.39/1797.76 c rootsoldiving : 0.00 0.00 0 0
1797.39/1797.76 c linesearchdiving : 0.00 0.00 0 0
1797.39/1797.76 c guideddiving : 0.00 0.00 0 0
1797.39/1797.76 c octane : 0.00 0.00 0 0
1797.39/1797.76 c rens : 0.00 0.00 0 0
1797.39/1797.76 c rins : 0.00 0.00 0 0
1797.39/1797.76 c localbranching : 0.00 0.00 0 0
1797.39/1797.76 c mutation : 0.00 0.00 0 0
1797.39/1797.76 c crossover : 0.00 0.00 0 0
1797.39/1797.76 c dins : 0.00 0.00 0 0
1797.39/1797.76 c vbounds : 0.00 0.00 0 0
1797.39/1797.76 c undercover : 0.00 0.00 1 0
1797.39/1797.76 c subnlp : 0.00 0.00 0 0
1797.39/1797.76 c trysol : 0.00 0.00 0 0
1797.39/1797.76 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1797.39/1797.76 c primal LP : 0.00 0 0 0.00 - 0.00 0
1797.39/1797.76 c dual LP : 1044.93 4 126761 42253.67 121.31 0.06 1
1797.39/1797.76 c lex dual LP : 0.00 0 0 0.00 -
1797.39/1797.76 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1797.39/1797.76 c diving/probing LP: 73.73 19 57558 3029.37 780.61
1797.39/1797.76 c strong branching : 0.00 0 0 0.00 -
1797.39/1797.76 c (at root node) : - 0 0 0.00 -
1797.39/1797.76 c conflict analysis: 0.00 0 0 0.00 -
1797.39/1797.76 c B&B Tree :
1797.39/1797.76 c number of runs : 1
1797.39/1797.76 c nodes : 1
1797.39/1797.76 c nodes (total) : 1
1797.39/1797.76 c nodes left : 2
1797.39/1797.76 c max depth : 0
1797.39/1797.76 c max depth (total): 0
1797.39/1797.76 c backtracks : 0 (0.0%)
1797.39/1797.76 c delayed cutoffs : 0
1797.39/1797.76 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.39/1797.76 c avg switch length: 1.00
1797.39/1797.76 c switching time : 0.00
1797.39/1797.76 c Solution :
1797.39/1797.76 c Solutions found : 0 (0 improvements)
1797.39/1797.76 c Primal Bound : -
1797.39/1797.76 c Dual Bound : +7.30000000000000e+01
1797.39/1797.76 c Gap : infinite
1797.39/1797.76 c Root Dual Bound : +7.30000000000000e+01
1797.39/1797.76 c Root Iterations : 184319
1798.29/1798.65 c Time complete: 1798.35.
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-3691296-1338023151/watcher-3691296-1338023151 -o /tmp/evaluation-result-3691296-1338023151/solver-3691296-1338023151 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691296-1338023151.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.07 2.02 2.00 3/176 30038
/proc/meminfo: memFree=29420704/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=10316 CPUtime=0 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 1322 0 0 0 0 0 0 0 20 0 1 0 268443623 10563584 1277 33554432000 4194304 10173063 140735435018816 140735389155864 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 2579 1277 416 1460 0 1110 0
[startup+0.0638771 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 30038
/proc/meminfo: memFree=29420704/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=32572 CPUtime=0.05 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 6932 0 0 0 5 0 0 0 20 0 1 0 268443623 33353728 6860 33554432000 4194304 10173063 140735435018816 140735389155864 5474314 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 8143 6860 416 1460 0 6674 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32572
[startup+0.100359 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 30038
/proc/meminfo: memFree=29420704/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=44632 CPUtime=0.09 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 9934 0 0 0 8 1 0 0 20 0 1 0 268443623 45703168 9862 33554432000 4194304 10173063 140735435018816 140735389155864 5283330 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 11158 9862 416 1460 0 9689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44632
[startup+0.300292 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 30038
/proc/meminfo: memFree=29420704/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=72608 CPUtime=0.29 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 16925 0 0 0 27 2 0 0 20 0 1 0 268443623 74350592 16853 33554432000 4194304 10173063 140735435018816 140735389155864 8222082 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 18152 16853 416 1460 0 16683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72608
[startup+0.700288 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 30038
/proc/meminfo: memFree=29420704/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=203384 CPUtime=0.69 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 49441 0 0 0 63 6 0 0 20 0 1 0 268443623 208265216 49351 33554432000 4194304 10173063 140735435018816 140735434883992 8886864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 50846 49363 468 1460 0 49377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 203384
[startup+1.50031 s]
/proc/loadavg: 2.14 2.03 2.01 3/177 30039
/proc/meminfo: memFree=29153940/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=427424 CPUtime=1.49 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 104067 0 0 0 135 14 0 0 20 0 1 0 268443623 437682176 104064 33554432000 4194304 10173063 140735435018816 140735435014632 4902797 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 106856 104064 514 1460 0 105387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 427424
[startup+3.10032 s]
/proc/loadavg: 2.14 2.03 2.01 3/177 30039
/proc/meminfo: memFree=28978480/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=568936 CPUtime=3.09 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 148972 0 0 0 284 25 0 0 20 0 1 0 268443623 582590464 138812 33554432000 4194304 10173063 140735435018816 140735435015816 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 142234 138812 559 1460 0 140765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 568936
[startup+6.3003 s]
/proc/loadavg: 2.14 2.03 2.01 3/177 30039
/proc/meminfo: memFree=28677292/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=823120 CPUtime=6.29 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 210294 0 0 0 592 37 0 0 20 0 1 0 268443623 842874880 200134 33554432000 4194304 10173063 140735435018816 140735435015816 4953443 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 205780 200134 559 1460 0 204311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 823120
[startup+12.7003 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 30039
/proc/meminfo: memFree=28548324/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=895984 CPUtime=12.69 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 229193 0 0 0 1221 48 0 0 20 0 1 0 268443623 917487616 217938 33554432000 4194304 10173063 140735435018816 140735435015816 7436472 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 223996 217938 568 1460 0 222527 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 895984
[startup+25.5003 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 30039
/proc/meminfo: memFree=28533692/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=912520 CPUtime=25.49 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 233491 0 0 0 2481 68 0 0 20 0 1 0 268443623 934420480 222171 33554432000 4194304 10173063 140735435018816 140735435015176 4487052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 228130 222171 586 1460 0 226661 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 912520
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 30039
/proc/meminfo: memFree=28527336/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=917412 CPUtime=51.08 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 234832 0 0 0 5038 70 0 0 20 0 1 0 268443623 939429888 223512 33554432000 4194304 10173063 140735435018816 140735435015176 4420717 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 229353 223512 586 1460 0 227884 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 917412
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30040
/proc/meminfo: memFree=28511160/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=932628 CPUtime=102.28 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 238288 0 0 0 10154 74 0 0 20 0 1 0 268443623 955011072 226965 33554432000 4194304 10173063 140735435018816 140735435015176 4487052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 233157 226965 586 1460 0 231688 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 932628
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30040
/proc/meminfo: memFree=28486908/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=952720 CPUtime=162.26 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 243700 0 0 0 16146 80 0 0 20 0 1 0 268443623 975585280 232717 33554432000 4194304 10173063 140735435018816 140735435015176 4435967 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 238180 232717 586 1460 0 236711 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 952720
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30040
/proc/meminfo: memFree=28452284/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=982768 CPUtime=222.25 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 251100 0 0 0 22139 86 0 0 20 0 1 0 268443623 1006354432 241222 33554432000 4194304 10173063 140735435018816 140735435015192 4487052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 245692 241222 586 1460 0 244223 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 982768
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30043
/proc/meminfo: memFree=28416228/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1018064 CPUtime=282.24 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 257894 0 0 0 28132 92 0 0 20 0 1 0 268443623 1042497536 250222 33554432000 4194304 10173063 140735435018816 140735435015176 4487052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 254516 250222 586 1460 0 253047 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1018064
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30043
/proc/meminfo: memFree=28379684/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1061452 CPUtime=342.24 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 266922 0 0 0 34126 98 0 0 20 0 1 0 268443623 1086926848 259254 33554432000 4194304 10173063 140735435018816 140735435015176 4487052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 265363 259254 586 1460 0 263894 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1061452
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30044
/proc/meminfo: memFree=28341892/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1096680 CPUtime=402.22 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 276435 0 0 0 40118 104 0 0 20 0 1 0 268443623 1123000320 268767 33554432000 4194304 10173063 140735435018816 140735435015192 4487052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 274170 268767 586 1460 0 272701 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1096680
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30044
/proc/meminfo: memFree=28256164/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1186608 CPUtime=462.21 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 308481 0 0 0 46093 128 0 0 20 0 1 0 268443623 1215086592 290068 33554432000 4194304 10173063 140735435018816 140735435016280 5898360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 296652 290068 621 1460 0 295183 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1186608
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30044
/proc/meminfo: memFree=28108820/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1339264 CPUtime=522.19 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 335415 0 0 0 52064 155 0 0 20 0 1 0 268443623 1371406336 326673 33554432000 4194304 10173063 140735435018816 140735435014696 4780460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 334816 326673 707 1460 0 333347 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1339264
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30044
/proc/meminfo: memFree=28106896/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1339264 CPUtime=582.19 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 335416 0 0 0 58055 164 0 0 20 0 1 0 268443623 1371406336 327185 33554432000 4194304 10173063 140735435018816 140735435014696 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 334816 327185 707 1460 0 333347 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1339264
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26030248/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1122.09 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 111823 386 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 7956343 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1597504
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 30087
/proc/meminfo: memFree=24144624/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1182.09 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 117818 391 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435012488 7984992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1597504
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 30088
/proc/meminfo: memFree=24277428/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1242.08 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 123813 395 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 7981118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1597504
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 30088
/proc/meminfo: memFree=24240892/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1302.08 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 129808 400 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 8013178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1597504
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30089
/proc/meminfo: memFree=24199492/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1362.05 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 135802 403 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 8013232 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1597504
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30089
/proc/meminfo: memFree=24197320/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1422.05 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 141799 406 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435012440 8013057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1597504
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 30092
/proc/meminfo: memFree=24194852/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1482.04 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 147794 410 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 7985008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1597504
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30092
/proc/meminfo: memFree=24194888/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1542.03 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 153788 415 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 7956339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1597504
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30092
/proc/meminfo: memFree=24191768/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1602.02 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 159784 418 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 8012216 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1597504
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30093
/proc/meminfo: memFree=24190912/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1662.02 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 165780 422 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435012488 7987597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1597504
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 30093
/proc/meminfo: memFree=24243760/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1722 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 171775 425 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011336 8012042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1597504
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 30093
/proc/meminfo: memFree=24240920/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1782 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 177771 429 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 7985041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1597504
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30093
/proc/meminfo: memFree=24238624/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1791.6 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 178730 430 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435011992 8013292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 1597504
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 30093
/proc/meminfo: memFree=24235572/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1794.79 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 179049 430 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435012440 8013292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 1597504
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30093
/proc/meminfo: memFree=24237744/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1796.39 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 179209 430 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435012440 8013268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 1597504
[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30093
/proc/meminfo: memFree=24237496/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1597504 CPUtime=1797.19 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360104 0 0 0 179289 430 0 0 20 0 1 0 268443623 1635844096 391338 33554432000 4194304 10173063 140735435018816 140735435012488 7956339 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 399376 391338 845 1460 0 397907 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 1597504
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30093
/proc/meminfo: memFree=24237496/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1474012 CPUtime=1797.99 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360120 0 0 0 179368 431 0 0 20 0 1 0 268443623 1509388288 364582 33554432000 4194304 10173063 140735435018816 140735435012488 5885479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 368503 364582 861 1460 0 367034 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1474012
[startup+1798.51 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30093
/proc/meminfo: memFree=24345524/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1241016 CPUtime=1798.2 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360121 0 0 0 179387 433 0 0 20 0 1 0 268443623 1270800384 308174 33554432000 4194304 10173063 140735435018816 140735435018072 5925372 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 310254 308174 862 1460 0 308785 0
Current children cumulated CPU time (s) 1798.2
Current children cumulated vsize (KiB) 1241016
[startup+1798.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30093
/proc/meminfo: memFree=24345524/32873844 swapFree=7100/7100
[pid=30038] ppid=30036 vsize=1114488 CPUtime=1798.29 cores=1,3,5,7
/proc/30038/stat : 30038 (scip-2.1.1.4fix) R 30036 30038 29021 0 -1 4202496 360121 0 0 0 179395 434 0 0 20 0 1 0 268443623 1141235712 276633 33554432000 4194304 10173063 140735435018816 140735435018072 5894843 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30038/statm: 278622 276633 862 1460 0 277153 0
Current children cumulated CPU time (s) 1798.29
Current children cumulated vsize (KiB) 1114488
Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.36
CPU user time (s): 1793.97
CPU system time (s): 4.38333
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1597504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.97
system time used= 4.38333
maximum resident set size= 1565400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360133
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= 40
involuntary context switches= 1845
runsolver used 3.64945 second user time and 9.56754 second system time
The end