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-3693623-1338039877.opb>
0.58/0.66 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245028 constraints
0.58/0.66 c problem read in 0.66
1.49/1.56 c presolving:
7.88/7.98 c (round 1) 6376 del vars, 19734 del conss, 0 add conss, 4693 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16636336 impls, 0 clqs
12.38/12.42 c (round 2) 13606 del vars, 48014 del conss, 0 add conss, 11613 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678311 impls, 0 clqs
13.69/13.76 c (round 3) 16251 del vars, 60077 del conss, 0 add conss, 13061 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16697685 impls, 0 clqs
14.58/14.66 c (round 4) 17712 del vars, 65661 del conss, 0 add conss, 14014 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16710820 impls, 0 clqs
15.09/15.18 c (round 5) 18637 del vars, 69342 del conss, 0 add conss, 14539 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16722589 impls, 0 clqs
15.49/15.52 c (round 6) 19180 del vars, 71569 del conss, 0 add conss, 14844 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16729756 impls, 0 clqs
15.68/15.75 c (round 7) 19489 del vars, 72905 del conss, 0 add conss, 15034 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16733285 impls, 0 clqs
15.89/15.92 c (round 8) 19677 del vars, 73724 del conss, 0 add conss, 15161 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16735081 impls, 0 clqs
15.99/16.04 c (round 9) 19782 del vars, 74192 del conss, 0 add conss, 15217 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16736760 impls, 0 clqs
16.09/16.14 c (round 10) 19836 del vars, 74455 del conss, 0 add conss, 15247 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16737543 impls, 0 clqs
16.19/16.23 c (round 11) 19884 del vars, 74668 del conss, 0 add conss, 15285 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16737762 impls, 0 clqs
16.28/16.31 c (round 12) 19904 del vars, 74761 del conss, 0 add conss, 15295 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738138 impls, 0 clqs
16.38/16.43 c (round 13) 19918 del vars, 74826 del conss, 0 add conss, 15308 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738304 impls, 0 clqs
16.38/16.50 c (round 14) 19930 del vars, 74892 del conss, 0 add conss, 15312 chg bounds, 20 chg sides, 26 chg coeffs, 0 upgd conss, 16738310 impls, 0 clqs
17.28/17.30 c (round 15) 19930 del vars, 74894 del conss, 0 add conss, 15312 chg bounds, 20 chg sides, 26 chg coeffs, 170134 upgd conss, 16738310 impls, 0 clqs
18.38/18.43 c (round 16) 19930 del vars, 74909 del conss, 31 add conss, 15312 chg bounds, 64 chg sides, 240 chg coeffs, 170136 upgd conss, 16738310 impls, 0 clqs
284.92/285.04 c (285.0s) probing: 1000/52912 (1.9%) - 0 fixings, 0 aggregations, 5160661 implications, 0 bound changes
285.21/285.37 c (285.4s) probing: 1001/52912 (1.9%) - 0 fixings, 0 aggregations, 5175473 implications, 0 bound changes
285.21/285.37 c (285.4s) probing aborted: 1000/1000 successive useless probings
285.21/285.37 c (round 17) 19930 del vars, 157255 del conss, 26136 add conss, 15312 chg bounds, 70 chg sides, 278 chg coeffs, 170136 upgd conss, 27089256 impls, 0 clqs
286.01/286.18 c (round 18) 19930 del vars, 178147 del conss, 47028 add conss, 15312 chg bounds, 70 chg sides, 307 chg coeffs, 170136 upgd conss, 27089256 impls, 4041 clqs
286.71/286.82 c presolving (19 rounds):
286.71/286.82 c 19930 deleted vars, 178147 deleted constraints, 47028 added constraints, 15312 tightened bounds, 0 added holes, 70 changed sides, 307 changed coefficients
286.71/286.82 c 27089256 implications, 24933 cliques
286.71/286.82 c presolved problem has 52912 variables (52912 bin, 0 int, 0 impl, 0 cont) and 113909 constraints
286.71/286.82 c 1185 constraints of type <knapsack>
286.71/286.82 c 111558 constraints of type <setppc>
286.71/286.82 c 1166 constraints of type <and>
286.71/286.82 c transformed objective value is always integral (scale: 1)
286.71/286.82 c Presolving Time: 285.90
286.71/286.82 c - non default parameters ----------------------------------------------------------------------
286.71/286.82 c # SCIP version 2.1.1.4
286.71/286.82 c
286.71/286.82 c # maximal time in seconds to run
286.71/286.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
286.71/286.82 c limits/time = 1797
286.71/286.82 c
286.71/286.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
286.71/286.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
286.71/286.82 c limits/memory = 13950
286.71/286.82 c
286.71/286.82 c # default clock type (1: CPU user seconds, 2: wall clock time)
286.71/286.82 c # [type: int, range: [1,2], default: 1]
286.71/286.82 c timing/clocktype = 2
286.71/286.82 c
286.71/286.82 c # belongs reading time to solving time?
286.71/286.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
286.71/286.82 c timing/reading = TRUE
286.71/286.82 c
286.71/286.82 c -----------------------------------------------------------------------------------------------
286.71/286.82 c start solving
287.02/287.13 c
1798.38/1798.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.38/1798.78 c 1799s| 1 | 0 |160600 | - |1007M| 0 | - | 52k| 113k| 52k| 115k| 0 | 30 | 0 | 0.000000e+00 | -- | Inf
1798.38/1798.78 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1798.48/1798.82 c 1799s| 1 | 2 |160600 | - |1007M| 0 | - | 52k| 113k| 52k| 115k| 0 | 30 | 0 | 0.000000e+00 | -- | Inf
1798.48/1798.82 c
1798.48/1798.82 c SCIP Status : solving was interrupted [time limit reached]
1798.48/1798.82 c Solving Time (sec) : 1798.82
1798.48/1798.82 c Solving Nodes : 1
1798.48/1798.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.48/1798.82 c Dual Bound : +0.00000000000000e+00
1798.48/1798.82 c Gap : infinite
1798.48/1798.82 s UNKNOWN
1798.48/1798.82 c SCIP Status : solving was interrupted [time limit reached]
1798.48/1798.82 c Total Time : 1798.82
1798.48/1798.82 c solving : 1798.82
1798.48/1798.82 c presolving : 285.90 (included in solving)
1798.48/1798.82 c reading : 0.66 (included in solving)
1798.48/1798.82 c copying : 0.00 (0 times copied the problem)
1798.48/1798.82 c Original Problem :
1798.48/1798.82 c Problem name : HOME/instance-3693623-1338039877.opb
1798.48/1798.82 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.48/1798.82 c Constraints : 245028 initial, 245028 maximal
1798.48/1798.82 c Objective sense : minimize
1798.48/1798.82 c Presolved Problem :
1798.48/1798.82 c Problem name : t_HOME/instance-3693623-1338039877.opb
1798.48/1798.82 c Variables : 52912 (52912 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.48/1798.82 c Constraints : 113909 initial, 113939 maximal
1798.48/1798.82 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.48/1798.82 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c trivial : 0.06 0.00 1212 0 0 0 0 0 0 0 0
1798.48/1798.82 c dualfix : 0.09 0.00 123 0 0 0 0 0 0 0 0
1798.48/1798.82 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c gateextraction : 0.28 0.00 0 0 0 0 0 82342 26100 0 0
1798.48/1798.82 c implics : 0.64 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c components : 0.07 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c pseudoobj : 0.00 0.28 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c probing : 266.38 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c knapsack : 1.49 0.00 0 0 0 0 0 1 36 50 281
1798.48/1798.82 c setppc : 0.55 0.00 0 0 0 0 0 18 0 0 0
1798.48/1798.82 c and : 0.39 0.00 0 0 0 0 0 20892 20892 0 0
1798.48/1798.82 c linear : 14.91 0.00 14100 4495 0 15312 0 74894 0 20 26
1798.48/1798.82 c logicor : 0.10 0.02 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c root node : - - 0 - - 0 - - - - -
1798.48/1798.82 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1798.48/1798.82 c integral : 0 0 0 0 0 0 3 0 0 0 0 0 0
1798.48/1798.82 c knapsack : 1185 1185 0 54880 0 1 3 45 15 0 0 0 0
1798.48/1798.82 c setppc : 111558 111558 0 54865 0 1 1 1095 0 0 0 0 0
1798.48/1798.82 c and : 1166 1166 0 54865 0 1 0 0 0 0 0 0 0
1798.48/1798.82 c logicor : 0+ 30 0 1 0 0 0 0 0 0 0 0 0
1798.48/1798.82 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1798.48/1798.82 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1798.48/1798.82 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1798.48/1798.82 c knapsack : 3.69 0.00 0.00 3.69 0.00 0.00 0.00 0.00
1798.48/1798.82 c setppc : 199.13 0.00 0.00 199.09 0.00 0.03 0.00 0.00
1798.48/1798.82 c and : 50.47 0.00 0.00 50.47 0.00 0.00 0.00 0.00
1798.48/1798.82 c logicor : 0.02 0.02 0.00 0.00 0.00 0.00 0.00 0.00
1798.48/1798.82 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.48/1798.82 c Propagators : #Propagate #ResProp Cutoffs DomReds
1798.48/1798.82 c rootredcost : 0 0 0 0
1798.48/1798.82 c pseudoobj : 5153 0 0 0
1798.48/1798.82 c vbounds : 0 0 0 0
1798.48/1798.82 c redcost : 0 0 0 0
1798.48/1798.82 c probing : 0 0 0 0
1798.48/1798.82 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1798.48/1798.82 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1798.48/1798.82 c pseudoobj : 0.31 0.28 0.00 0.03 0.00
1798.48/1798.82 c vbounds : 0.03 0.01 0.00 0.03 0.00
1798.48/1798.82 c redcost : 0.02 0.00 0.00 0.02 0.00
1798.48/1798.82 c probing : 266.39 0.00 266.38 0.00 0.00
1798.48/1798.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.48/1798.82 c propagation : 0.00 15 15 30 20.0 0 0.0 -
1798.48/1798.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.48/1798.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.48/1798.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.48/1798.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.48/1798.83 c applied globally : - - - 30 20.0 - - -
1798.48/1798.83 c applied locally : - - - 0 0.0 - - -
1798.48/1798.83 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1798.48/1798.83 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1798.48/1798.83 c clique : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c closecuts : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c cgmip : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c cmir : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c flowcover : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c gomory : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c impliedbounds : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c intobj : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c mcf : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c oddcycle : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c rapidlearning : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c strongcg : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c zerohalf : 0.00 0.00 0 0 0 0 0
1798.48/1798.83 c Pricers : ExecTime SetupTime Calls Vars
1798.48/1798.83 c problem variables: 0.00 - 0 0
1798.48/1798.83 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1798.48/1798.83 c relpscost : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.83 c pscost : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.83 c inference : 0.01 0.00 1 0 0 0 0 2
1798.48/1798.83 c mostinf : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.83 c leastinf : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.83 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.83 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.83 c random : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.83 c Primal Heuristics : ExecTime SetupTime Calls Found
1798.48/1798.83 c LP solutions : 0.00 - - 0
1798.48/1798.83 c pseudo solutions : 0.00 - - 0
1798.48/1798.83 c oneopt : 0.00 0.00 0 0
1798.48/1798.83 c smallcard : 0.00 0.00 0 0
1798.48/1798.83 c trivial : 0.07 0.00 2 0
1798.48/1798.83 c shiftandpropagate: 20.43 0.00 1 0
1798.48/1798.83 c simplerounding : 0.00 0.00 0 0
1798.48/1798.83 c zirounding : 0.00 0.00 0 0
1798.48/1798.83 c rounding : 0.00 0.00 0 0
1798.48/1798.83 c shifting : 0.00 0.00 0 0
1798.48/1798.83 c intshifting : 0.00 0.00 0 0
1798.48/1798.83 c twoopt : 0.00 0.00 0 0
1798.48/1798.83 c indtwoopt : 0.00 0.00 0 0
1798.48/1798.83 c indoneopt : 0.00 0.00 0 0
1798.48/1798.83 c fixandinfer : 0.00 0.00 0 0
1798.48/1798.83 c feaspump : 0.00 0.00 0 0
1798.48/1798.83 c clique : 0.00 0.00 0 0
1798.48/1798.83 c indrounding : 0.00 0.00 0 0
1798.48/1798.83 c indcoefdiving : 0.00 0.00 0 0
1798.48/1798.83 c coefdiving : 0.00 0.00 0 0
1798.48/1798.83 c pscostdiving : 0.00 0.00 0 0
1798.48/1798.83 c nlpdiving : 0.00 0.00 0 0
1798.48/1798.83 c fracdiving : 0.00 0.00 0 0
1798.48/1798.83 c veclendiving : 0.00 0.00 0 0
1798.48/1798.83 c intdiving : 0.00 0.00 0 0
1798.48/1798.83 c actconsdiving : 0.00 0.00 0 0
1798.48/1798.83 c objpscostdiving : 0.00 0.00 0 0
1798.48/1798.83 c rootsoldiving : 0.00 0.00 0 0
1798.48/1798.83 c linesearchdiving : 0.00 0.00 0 0
1798.48/1798.83 c guideddiving : 0.00 0.00 0 0
1798.48/1798.83 c octane : 0.00 0.00 0 0
1798.48/1798.83 c rens : 0.00 0.00 0 0
1798.48/1798.83 c rins : 0.00 0.00 0 0
1798.48/1798.83 c localbranching : 0.00 0.00 0 0
1798.48/1798.83 c mutation : 0.00 0.00 0 0
1798.48/1798.83 c crossover : 0.00 0.00 0 0
1798.48/1798.83 c dins : 0.00 0.00 0 0
1798.48/1798.83 c vbounds : 0.00 0.00 0 0
1798.48/1798.83 c undercover : 0.00 0.00 0 0
1798.48/1798.83 c subnlp : 0.00 0.00 0 0
1798.48/1798.83 c trysol : 0.00 0.00 0 0
1798.48/1798.83 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1798.48/1798.83 c primal LP : 0.00 0 0 0.00 - 0.00 0
1798.48/1798.83 c dual LP : 1491.19 1 160600 160600.00 107.70 0.00 0
1798.48/1798.83 c lex dual LP : 0.00 0 0 0.00 -
1798.48/1798.83 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1798.48/1798.83 c diving/probing LP: 0.00 0 0 0.00 -
1798.48/1798.83 c strong branching : 0.00 0 0 0.00 -
1798.48/1798.83 c (at root node) : - 0 0 0.00 -
1798.48/1798.83 c conflict analysis: 0.00 0 0 0.00 -
1798.48/1798.83 c B&B Tree :
1798.48/1798.83 c number of runs : 1
1798.48/1798.83 c nodes : 1
1798.48/1798.83 c nodes (total) : 1
1798.48/1798.83 c nodes left : 2
1798.48/1798.83 c max depth : 0
1798.48/1798.83 c max depth (total): 0
1798.48/1798.83 c backtracks : 0 (0.0%)
1798.48/1798.83 c delayed cutoffs : 0
1798.48/1798.83 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.48/1798.83 c avg switch length: 1.00
1798.48/1798.83 c switching time : 0.00
1798.48/1798.83 c Solution :
1798.48/1798.83 c Solutions found : 0 (0 improvements)
1798.48/1798.83 c Primal Bound : -
1798.48/1798.83 c Dual Bound : +0.00000000000000e+00
1798.48/1798.83 c Gap : infinite
1798.48/1798.83 c Root Dual Bound : +0.00000000000000e+00
1798.48/1798.83 c Root Iterations : 160600
1799.07/1799.50 c Time complete: 1799.18.
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-3693623-1338039877/watcher-3693623-1338039877 -o /tmp/evaluation-result-3693623-1338039877/solver-3693623-1338039877 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693623-1338039877.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.00 2.00 2.00 2/176 842
/proc/meminfo: memFree=28523548/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=10140 CPUtime=0 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 1274 0 0 0 0 0 0 0 20 0 1 0 270113763 10383360 1229 33554432000 4194304 10169799 140737394506544 140735800915144 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 2535 1229 412 1459 0 1067 0
[startup+0.0751109 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 842
/proc/meminfo: memFree=28523548/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=34952 CPUtime=0.07 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 7522 0 0 0 6 1 0 0 20 0 1 0 270113763 35790848 7450 33554432000 4194304 10169799 140737394506544 140737394372856 4633553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 8994 7459 412 1459 0 7526 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 34952
[startup+0.100277 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 842
/proc/meminfo: memFree=28523548/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=44628 CPUtime=0.09 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 9929 0 0 0 8 1 0 0 20 0 1 0 270113763 45699072 9857 33554432000 4194304 10169799 140737394506544 140737394372856 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 11157 9858 412 1459 0 9689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44628
[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 842
/proc/meminfo: memFree=28523548/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=72604 CPUtime=0.29 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 16922 0 0 0 27 2 0 0 20 0 1 0 270113763 74346496 16850 33554432000 4194304 10169799 140737394506544 140737394372856 7139046 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 18184 16867 412 1459 0 16716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72604
[startup+0.700217 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 842
/proc/meminfo: memFree=28523548/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=162728 CPUtime=0.69 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 39113 0 0 0 63 6 0 0 20 0 1 0 270113763 166633472 39023 33554432000 4194304 10169799 140737394506544 140737394372856 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 40682 39055 459 1459 0 39214 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 162728
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 843
/proc/meminfo: memFree=28248516/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=410836 CPUtime=1.49 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 108753 0 0 0 133 16 0 0 20 0 1 0 270113763 420696064 100081 33554432000 4194304 10169799 140737394506544 140737394503480 8989847 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 102709 100081 501 1459 0 101241 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 410836
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 843
/proc/meminfo: memFree=28060168/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=591772 CPUtime=3.09 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 156670 0 0 0 283 26 0 0 20 0 1 0 270113763 605974528 144583 33554432000 4194304 10169799 140737394506544 140737394504696 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 147943 144583 557 1459 0 146475 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 591772
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 843
/proc/meminfo: memFree=27757372/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=850440 CPUtime=6.28 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 219510 0 0 0 590 38 0 0 20 0 1 0 270113763 870850560 207423 33554432000 4194304 10169799 140737394506544 140737394504696 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 212610 207423 557 1459 0 211142 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 850440
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 843
/proc/meminfo: memFree=27636092/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=911156 CPUtime=12.69 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 235041 0 0 0 1217 52 0 0 20 0 1 0 270113763 933023744 221825 33554432000 4194304 10169799 140737394506544 140737394504696 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 227789 221825 565 1459 0 226321 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 911156
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 844
/proc/meminfo: memFree=27578424/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=971432 CPUtime=25.49 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 261484 0 0 0 2451 98 0 0 20 0 1 0 270113763 994746368 236821 33554432000 4194304 10169799 140737394506544 140737394504056 4777685 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 242858 236821 624 1459 0 241390 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 971432
[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 844
/proc/meminfo: memFree=27564860/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=984348 CPUtime=51.08 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 264294 0 0 0 5007 101 0 0 20 0 1 0 270113763 1007972352 239598 33554432000 4194304 10169799 140737394506544 140737394504056 5862041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 246087 239598 624 1459 0 244619 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 984348
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 844
/proc/meminfo: memFree=27536384/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1008184 CPUtime=102.26 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 271003 0 0 0 10117 109 0 0 20 0 1 0 270113763 1032380416 246224 33554432000 4194304 10169799 140737394506544 140737394504056 5868635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 252046 246224 624 1459 0 250578 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1008184
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 844
/proc/meminfo: memFree=27487628/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1055104 CPUtime=162.24 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 282355 0 0 0 16107 117 0 0 20 0 1 0 270113763 1080426496 258243 33554432000 4194304 10169799 140737394506544 140737394504056 5295876 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 263776 258244 624 1459 0 262308 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1055104
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 844
/proc/meminfo: memFree=27427652/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1105704 CPUtime=222.23 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 293114 0 0 0 22098 125 0 0 20 0 1 0 270113763 1132240896 272466 33554432000 4194304 10169799 140737394506544 140737394502808 5916341 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 276426 272466 624 1459 0 274958 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1105704
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 844
/proc/meminfo: memFree=27371572/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1167060 CPUtime=282.22 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 305717 0 0 0 28087 135 0 0 20 0 1 0 270113763 1195069440 286186 33554432000 4194304 10169799 140737394506544 140737394504056 4777712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 291765 286186 624 1459 0 290297 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1167060
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 848
/proc/meminfo: memFree=27127552/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1415136 CPUtime=342.21 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 347074 0 0 0 34059 162 0 0 20 0 1 0 270113763 1449099264 346867 33554432000 4194304 10169799 140737394506544 140737394501336 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 353784 346867 788 1459 0 352316 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1415136
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 848
/proc/meminfo: memFree=27118348/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1423356 CPUtime=402.2 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 348644 0 0 0 40051 169 0 0 20 0 1 0 270113763 1457516544 348935 33554432000 4194304 10169799 140737394506544 140737394500872 8010442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 355839 348935 788 1459 0 354371 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1423356
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 848
/proc/meminfo: memFree=27117260/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1423548 CPUtime=462.19 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 348654 0 0 0 46045 174 0 0 20 0 1 0 270113763 1457713152 348948 33554432000 4194304 10169799 140737394506544 140737394500872 8004337 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 355887 348948 788 1459 0 354419 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1423548
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 848
/proc/meminfo: memFree=27112824/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1428488 CPUtime=522.18 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 349634 0 0 0 52038 180 0 0 20 0 1 0 270113763 1462771712 349973 33554432000 4194304 10169799 140737394506544 140737394500872 8009507 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 357122 349973 788 1459 0 355654 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1428488
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 848
/proc/meminfo: memFree=27103580/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1432772 CPUtime=582.17 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 350232 0 0 0 58031 186 0 0 20 0 1 0 270113763 1467158528 351593 33554432000 4194304 10169799 140737394506544 140737394500872 8009519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 358193 351593 788 1459 0 356725 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1432772
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26003764/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1454880 CPUtime=1062.08 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354153 0 0 0 105985 223 0 0 20 0 1 0 270113763 1489797120 361210 33554432000 4194304 10169799 140737394506544 140737394500872 8009605 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363720 361210 788 1459 0 362252 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 1454880
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 914
/proc/meminfo: memFree=25900660/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1454880 CPUtime=1122.08 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354165 0 0 0 111980 228 0 0 20 0 1 0 270113763 1489797120 361221 33554432000 4194304 10169799 140737394506544 140737394500872 8060912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363720 361221 788 1459 0 362252 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1454880
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 952
/proc/meminfo: memFree=25365944/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1454880 CPUtime=1182.07 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354166 0 0 0 117974 233 0 0 20 0 1 0 270113763 1489797120 361222 33554432000 4194304 10169799 140737394506544 140737394500872 8010600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363720 361222 788 1459 0 362252 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1454880
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 953
/proc/meminfo: memFree=23966768/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1454880 CPUtime=1242.06 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354168 0 0 0 123968 238 0 0 20 0 1 0 270113763 1489797120 361224 33554432000 4194304 10169799 140737394506544 140737394500872 8038553 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363720 361224 788 1459 0 362252 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1454880
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 953
/proc/meminfo: memFree=23484408/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1302.06 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354379 0 0 0 129963 243 0 0 20 0 1 0 270113763 1490624512 361430 33554432000 4194304 10169799 140737394506544 140737394501368 8010600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361430 788 1459 0 362454 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1455688
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 953
/proc/meminfo: memFree=23482980/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1362.05 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354379 0 0 0 135957 248 0 0 20 0 1 0 270113763 1490624512 361430 33554432000 4194304 10169799 140737394506544 140737394500872 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361430 788 1459 0 362454 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1455688
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 953
/proc/meminfo: memFree=23478884/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1422.04 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354388 0 0 0 141952 252 0 0 20 0 1 0 270113763 1490624512 361439 33554432000 4194304 10169799 140737394506544 140737394501320 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361439 788 1459 0 362454 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1455688
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 953
/proc/meminfo: memFree=23453916/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1482.03 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354393 0 0 0 147946 257 0 0 20 0 1 0 270113763 1490624512 361444 33554432000 4194304 10169799 140737394506544 140737394500872 8022921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361444 788 1459 0 362454 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1455688
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 956
/proc/meminfo: memFree=23401392/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1542.01 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354394 0 0 0 153940 261 0 0 20 0 1 0 270113763 1490624512 361445 33554432000 4194304 10169799 140737394506544 140737394500872 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361445 788 1459 0 362454 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1455688
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 957
/proc/meminfo: memFree=23356988/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1602.01 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354394 0 0 0 159935 266 0 0 20 0 1 0 270113763 1490624512 361445 33554432000 4194304 10169799 140737394506544 140737394500872 8009480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361445 788 1459 0 362454 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1455688
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 957
/proc/meminfo: memFree=23356396/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1661.99 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354394 0 0 0 165929 270 0 0 20 0 1 0 270113763 1490624512 361445 33554432000 4194304 10169799 140737394506544 140737394500872 8060915 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361445 788 1459 0 362454 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1455688
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 957
/proc/meminfo: memFree=23354864/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1721.99 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354394 0 0 0 171924 275 0 0 20 0 1 0 270113763 1490624512 361445 33554432000 4194304 10169799 140737394506544 140737394501320 8010556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361445 788 1459 0 362454 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1455688
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 957
/proc/meminfo: memFree=23351820/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1781.98 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354396 0 0 0 177919 279 0 0 20 0 1 0 270113763 1490624512 361447 33554432000 4194304 10169799 140737394506544 140737394501368 8006186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361447 788 1459 0 362454 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1455688
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 957
/proc/meminfo: memFree=23354352/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1791.59 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354396 0 0 0 178879 280 0 0 20 0 1 0 270113763 1490624512 361447 33554432000 4194304 10169799 140737394506544 140737394500872 7591875 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361447 788 1459 0 362454 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 1455688
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 957
/proc/meminfo: memFree=23352676/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1794.78 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354396 0 0 0 179198 280 0 0 20 0 1 0 270113763 1490624512 361447 33554432000 4194304 10169799 140737394506544 140737394500872 8010537 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361447 788 1459 0 362454 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 1455688
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 957
/proc/meminfo: memFree=23352236/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1796.38 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354396 0 0 0 179358 280 0 0 20 0 1 0 270113763 1490624512 361447 33554432000 4194304 10169799 140737394506544 140737394501368 8010486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361447 788 1459 0 362454 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 1455688
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 957
/proc/meminfo: memFree=23351304/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1455688 CPUtime=1797.98 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354396 0 0 0 179518 280 0 0 20 0 1 0 270113763 1490624512 361447 33554432000 4194304 10169799 140737394506544 140737394500872 8009890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 363922 361447 788 1459 0 362454 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1455688
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 957
/proc/meminfo: memFree=23351428/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=1451328 CPUtime=1798.78 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354417 0 0 0 179598 280 0 0 20 0 1 0 270113763 1486159872 360889 33554432000 4194304 10169799 140737394506544 140737394505736 5670224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 362832 360889 808 1459 0 361364 0
Current children cumulated CPU time (s) 1798.78
Current children cumulated vsize (KiB) 1451328
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 957
/proc/meminfo: memFree=24113660/32873648 swapFree=7372/7372
[pid=842] ppid=840 vsize=424900 CPUtime=1799.18 cores=1,3,5,7
/proc/842/stat : 842 (scip-2.1.1.4sfi) R 840 842 31092 0 -1 4202496 354429 0 0 0 179632 286 0 0 20 0 1 0 270113763 435097600 4075 33554432000 4194304 10169799 140737394506544 140737394505736 9174538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/842/statm: 106225 4075 820 1459 0 104757 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 424900
Child status: 0
Real time (s): 1799.51
CPU time (s): 1799.19
CPU user time (s): 1796.32
CPU system time (s): 2.86856
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1455688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.32
system time used= 2.86856
maximum resident set size= 1447912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354431
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= 53
involuntary context switches= 1846
runsolver used 2.90856 second user time and 7.2619 second system time
The end