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-3693622-1338040519.opb>
0.59/0.66 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245266 constraints
0.59/0.66 c problem read in 0.67
1.69/1.75 c presolving:
9.29/9.32 c (round 1) 6488 del vars, 19166 del conss, 0 add conss, 4979 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16620104 impls, 0 clqs
14.19/14.28 c (round 2) 13185 del vars, 47502 del conss, 0 add conss, 11334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16656891 impls, 0 clqs
15.88/15.99 c (round 3) 15842 del vars, 59319 del conss, 0 add conss, 12857 chg bounds, 24 chg sides, 14 chg coeffs, 0 upgd conss, 16676061 impls, 0 clqs
17.19/17.22 c (round 4) 17393 del vars, 65123 del conss, 0 add conss, 13951 chg bounds, 32 chg sides, 22 chg coeffs, 0 upgd conss, 16690267 impls, 0 clqs
17.89/17.97 c (round 5) 18456 del vars, 69307 del conss, 0 add conss, 14632 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16700948 impls, 0 clqs
18.48/18.57 c (round 6) 19209 del vars, 72085 del conss, 0 add conss, 15129 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16707572 impls, 0 clqs
18.99/19.06 c (round 7) 19817 del vars, 74441 del conss, 0 add conss, 15533 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16714668 impls, 0 clqs
19.39/19.47 c (round 8) 20279 del vars, 76245 del conss, 0 add conss, 15840 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16719604 impls, 0 clqs
19.79/19.82 c (round 9) 20632 del vars, 77604 del conss, 0 add conss, 16082 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16723033 impls, 0 clqs
20.09/20.11 c (round 10) 20871 del vars, 78585 del conss, 0 add conss, 16242 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16725333 impls, 0 clqs
20.29/20.37 c (round 11) 21027 del vars, 79201 del conss, 0 add conss, 16332 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16728011 impls, 0 clqs
20.59/20.64 c (round 12) 21113 del vars, 79632 del conss, 0 add conss, 16393 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16728770 impls, 0 clqs
20.79/20.84 c (round 13) 21157 del vars, 79852 del conss, 0 add conss, 16412 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729054 impls, 0 clqs
20.98/21.04 c (round 14) 21177 del vars, 79948 del conss, 0 add conss, 16424 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729118 impls, 0 clqs
21.19/21.22 c (round 15) 21179 del vars, 79978 del conss, 0 add conss, 16425 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729128 impls, 0 clqs
22.38/22.46 c (round 16) 21179 del vars, 79981 del conss, 0 add conss, 16425 chg bounds, 34 chg sides, 22 chg coeffs, 165285 upgd conss, 16729128 impls, 0 clqs
23.29/23.37 c (round 17) 21179 del vars, 79984 del conss, 14 add conss, 16425 chg bounds, 50 chg sides, 162 chg coeffs, 165286 upgd conss, 16729618 impls, 4086 clqs
444.89/445.02 c (445.0s) probing: 1000/51663 (1.9%) - 0 fixings, 0 aggregations, 6418096 implications, 0 bound changes
445.29/445.48 c (445.5s) probing: 1001/51663 (1.9%) - 0 fixings, 0 aggregations, 6424651 implications, 0 bound changes
445.29/445.48 c (445.5s) probing aborted: 1000/1000 successive useless probings
445.29/445.48 c (round 18) 21179 del vars, 160001 del conss, 25521 add conss, 16425 chg bounds, 56 chg sides, 200 chg coeffs, 165286 upgd conss, 29578936 impls, 4383 clqs
446.50/446.63 c (round 19) 21179 del vars, 180953 del conss, 46473 add conss, 16425 chg bounds, 56 chg sides, 201 chg coeffs, 165286 upgd conss, 29578940 impls, 7893 clqs
447.39/447.58 c presolving (20 rounds):
447.39/447.58 c 21179 deleted vars, 180953 deleted constraints, 46473 added constraints, 16425 tightened bounds, 0 added holes, 56 changed sides, 201 changed coefficients
447.39/447.58 c 29578940 implications, 28845 cliques
447.39/447.58 c presolved problem has 51663 variables (51663 bin, 0 int, 0 impl, 0 cont) and 110786 constraints
447.39/447.58 c 1143 constraints of type <knapsack>
447.39/447.58 c 108602 constraints of type <setppc>
447.39/447.58 c 1040 constraints of type <and>
447.39/447.58 c 1 constraints of type <logicor>
447.39/447.58 c transformed objective value is always integral (scale: 1)
447.39/447.58 c Presolving Time: 446.62
447.39/447.58 c - non default parameters ----------------------------------------------------------------------
447.39/447.58 c # SCIP version 2.1.1.4
447.39/447.58 c
447.39/447.58 c # maximal time in seconds to run
447.39/447.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
447.39/447.58 c limits/time = 1797
447.39/447.58 c
447.39/447.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
447.39/447.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
447.39/447.58 c limits/memory = 13950
447.39/447.58 c
447.39/447.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
447.39/447.58 c # [type: int, range: [1,2], default: 1]
447.39/447.58 c timing/clocktype = 2
447.39/447.58 c
447.39/447.58 c # belongs reading time to solving time?
447.39/447.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
447.39/447.58 c timing/reading = TRUE
447.39/447.58 c
447.39/447.58 c -----------------------------------------------------------------------------------------------
447.39/447.58 c start solving
447.79/447.99 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 |124736 | - |1041M| 0 | - | 51k| 110k| 51k| 111k| 0 | 4 | 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.84 c 1799s| 1 | 2 |124736 | - |1041M| 0 | - | 51k| 110k| 51k| 111k| 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1798.48/1798.84 c
1798.48/1798.84 c SCIP Status : solving was interrupted [time limit reached]
1798.48/1798.84 c Solving Time (sec) : 1798.83
1798.48/1798.84 c Solving Nodes : 1
1798.48/1798.84 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.48/1798.84 c Dual Bound : +0.00000000000000e+00
1798.48/1798.84 c Gap : infinite
1798.48/1798.84 s UNKNOWN
1798.48/1798.84 c SCIP Status : solving was interrupted [time limit reached]
1798.48/1798.84 c Total Time : 1798.83
1798.48/1798.84 c solving : 1798.83
1798.48/1798.84 c presolving : 446.62 (included in solving)
1798.48/1798.84 c reading : 0.67 (included in solving)
1798.48/1798.84 c copying : 0.00 (0 times copied the problem)
1798.48/1798.84 c Original Problem :
1798.48/1798.84 c Problem name : HOME/instance-3693622-1338040519.opb
1798.48/1798.84 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.48/1798.84 c Constraints : 245266 initial, 245266 maximal
1798.48/1798.84 c Objective sense : minimize
1798.48/1798.84 c Presolved Problem :
1798.48/1798.84 c Problem name : t_HOME/instance-3693622-1338040519.opb
1798.48/1798.84 c Variables : 51663 (51663 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.48/1798.84 c Constraints : 110786 initial, 110790 maximal
1798.48/1798.84 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.48/1798.84 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c trivial : 0.09 0.00 1070 0 0 0 0 0 0 0 0
1798.48/1798.84 c dualfix : 0.12 0.00 126 0 0 0 0 0 0 0 0
1798.48/1798.84 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c gateextraction : 0.45 0.00 0 0 0 0 0 80016 25502 0 0
1798.48/1798.84 c implics : 0.88 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c components : 0.08 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c pseudoobj : 0.00 0.38 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c probing : 421.18 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c knapsack : 1.02 0.00 0 0 0 0 0 1 19 22 179
1798.48/1798.84 c setppc : 1.12 0.00 0 0 0 0 0 3 0 0 0
1798.48/1798.84 c and : 0.70 0.00 0 0 0 0 0 20952 20952 0 0
1798.48/1798.84 c linear : 19.59 0.00 15355 4628 0 16425 0 79981 0 34 22
1798.48/1798.84 c logicor : 0.23 0.00 0 0 0 0 0 0 0 0 0
1798.48/1798.84 c root node : - - 0 - - 0 - - - - -
1798.48/1798.84 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1798.48/1798.84 c integral : 0 0 0 0 0 0 3 0 0 0 0 0 0
1798.48/1798.84 c knapsack : 1143 1143 0 72787 0 1 3 1 1 0 0 0 0
1798.48/1798.84 c setppc : 108602 108602 0 72786 0 1 1 121 2 0 0 0 0
1798.48/1798.84 c and : 1040 1040 0 72784 0 1 0 3 0 0 0 0 0
1798.48/1798.84 c logicor : 1+ 5 0 29 0 1 0 4 12 0 0 0 0
1798.48/1798.84 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1798.48/1798.84 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1798.48/1798.84 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1798.48/1798.84 c knapsack : 5.84 0.00 0.00 5.83 0.00 0.00 0.00 0.00
1798.48/1798.84 c setppc : 396.41 0.00 0.00 396.36 0.00 0.05 0.00 0.00
1798.48/1798.84 c and : 84.71 0.00 0.00 84.71 0.00 0.00 0.00 0.00
1798.48/1798.84 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.48/1798.84 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.48/1798.84 c Propagators : #Propagate #ResProp Cutoffs DomReds
1798.48/1798.84 c rootredcost : 0 0 0 0
1798.48/1798.84 c pseudoobj : 18089 0 0 0
1798.48/1798.84 c vbounds : 0 0 0 0
1798.48/1798.84 c redcost : 0 0 0 0
1798.48/1798.84 c probing : 0 0 0 0
1798.48/1798.84 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1798.48/1798.84 c rootredcost : 0.10 0.00 0.00 0.10 0.00
1798.48/1798.84 c pseudoobj : 0.54 0.38 0.00 0.16 0.00
1798.48/1798.84 c vbounds : 0.10 0.01 0.00 0.10 0.00
1798.48/1798.84 c redcost : 0.07 0.00 0.00 0.07 0.00
1798.48/1798.84 c probing : 421.18 0.00 421.18 0.00 0.00
1798.48/1798.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.48/1798.84 c propagation : 0.00 15 4 4 43.8 0 0.0 -
1798.48/1798.84 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.48/1798.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.48/1798.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.48/1798.84 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.48/1798.84 c applied globally : - - - 4 43.8 - - -
1798.48/1798.84 c applied locally : - - - 0 0.0 - - -
1798.48/1798.84 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1798.48/1798.84 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1798.48/1798.84 c clique : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c closecuts : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c cgmip : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c cmir : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c flowcover : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c gomory : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c impliedbounds : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c intobj : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c mcf : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c oddcycle : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c rapidlearning : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c strongcg : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c zerohalf : 0.00 0.00 0 0 0 0 0
1798.48/1798.84 c Pricers : ExecTime SetupTime Calls Vars
1798.48/1798.84 c problem variables: 0.00 - 0 0
1798.48/1798.84 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1798.48/1798.84 c relpscost : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.84 c pscost : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.84 c inference : 0.01 0.00 1 0 0 0 0 2
1798.48/1798.84 c mostinf : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.84 c leastinf : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.84 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.84 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.84 c random : 0.00 0.00 0 0 0 0 0 0
1798.48/1798.84 c Primal Heuristics : ExecTime SetupTime Calls Found
1798.48/1798.84 c LP solutions : 0.00 - - 0
1798.48/1798.84 c pseudo solutions : 0.00 - - 0
1798.48/1798.84 c oneopt : 0.00 0.00 0 0
1798.48/1798.84 c smallcard : 0.00 0.00 0 0
1798.48/1798.84 c trivial : 0.09 0.00 2 0
1798.48/1798.84 c shiftandpropagate: 122.89 0.00 1 0
1798.48/1798.84 c simplerounding : 0.00 0.00 0 0
1798.48/1798.84 c zirounding : 0.00 0.00 0 0
1798.48/1798.84 c rounding : 0.00 0.00 0 0
1798.48/1798.84 c shifting : 0.00 0.00 0 0
1798.48/1798.84 c intshifting : 0.00 0.00 0 0
1798.48/1798.84 c twoopt : 0.00 0.00 0 0
1798.48/1798.84 c indtwoopt : 0.00 0.00 0 0
1798.48/1798.84 c indoneopt : 0.00 0.00 0 0
1798.48/1798.84 c fixandinfer : 0.00 0.00 0 0
1798.48/1798.84 c feaspump : 0.00 0.00 0 0
1798.48/1798.84 c clique : 0.00 0.00 0 0
1798.48/1798.84 c indrounding : 0.00 0.00 0 0
1798.48/1798.84 c indcoefdiving : 0.00 0.00 0 0
1798.48/1798.84 c coefdiving : 0.00 0.00 0 0
1798.48/1798.84 c pscostdiving : 0.00 0.00 0 0
1798.48/1798.84 c nlpdiving : 0.00 0.00 0 0
1798.48/1798.84 c fracdiving : 0.00 0.00 0 0
1798.48/1798.84 c veclendiving : 0.00 0.00 0 0
1798.48/1798.84 c intdiving : 0.00 0.00 0 0
1798.48/1798.84 c actconsdiving : 0.00 0.00 0 0
1798.48/1798.84 c objpscostdiving : 0.00 0.00 0 0
1798.48/1798.84 c rootsoldiving : 0.00 0.00 0 0
1798.48/1798.84 c linesearchdiving : 0.00 0.00 0 0
1798.48/1798.84 c guideddiving : 0.00 0.00 0 0
1798.48/1798.84 c octane : 0.00 0.00 0 0
1798.48/1798.84 c rens : 0.00 0.00 0 0
1798.48/1798.84 c rins : 0.00 0.00 0 0
1798.48/1798.84 c localbranching : 0.00 0.00 0 0
1798.48/1798.84 c mutation : 0.00 0.00 0 0
1798.48/1798.84 c crossover : 0.00 0.00 0 0
1798.48/1798.84 c dins : 0.00 0.00 0 0
1798.48/1798.84 c vbounds : 0.00 0.00 0 0
1798.48/1798.84 c undercover : 0.00 0.00 0 0
1798.48/1798.84 c subnlp : 0.00 0.00 0 0
1798.48/1798.84 c trysol : 0.00 0.00 0 0
1798.48/1798.84 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1798.48/1798.84 c primal LP : 0.00 0 0 0.00 - 0.00 0
1798.48/1798.84 c dual LP : 1227.86 1 124736 124736.00 101.59 0.00 0
1798.48/1798.84 c lex dual LP : 0.00 0 0 0.00 -
1798.48/1798.84 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1798.48/1798.84 c diving/probing LP: 0.00 0 0 0.00 -
1798.48/1798.84 c strong branching : 0.00 0 0 0.00 -
1798.48/1798.84 c (at root node) : - 0 0 0.00 -
1798.48/1798.84 c conflict analysis: 0.00 0 0 0.00 -
1798.48/1798.84 c B&B Tree :
1798.48/1798.84 c number of runs : 1
1798.48/1798.84 c nodes : 1
1798.48/1798.84 c nodes (total) : 1
1798.48/1798.84 c nodes left : 2
1798.48/1798.84 c max depth : 0
1798.48/1798.84 c max depth (total): 0
1798.48/1798.84 c backtracks : 0 (0.0%)
1798.48/1798.84 c delayed cutoffs : 0
1798.48/1798.84 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.48/1798.84 c avg switch length: 1.00
1798.48/1798.84 c switching time : 0.00
1798.48/1798.84 c Solution :
1798.48/1798.84 c Solutions found : 0 (0 improvements)
1798.48/1798.84 c Primal Bound : -
1798.48/1798.84 c Dual Bound : +0.00000000000000e+00
1798.48/1798.84 c Gap : infinite
1798.48/1798.84 c Root Dual Bound : +0.00000000000000e+00
1798.48/1798.84 c Root Iterations : 124736
1799.29/1799.69 c Time complete: 1799.37.
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-3693622-1338040519/watcher-3693622-1338040519 -o /tmp/evaluation-result-3693622-1338040519/solver-3693622-1338040519 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693622-1338040519.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.01 2.00 3/176 8742
/proc/meminfo: memFree=27474200/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=10528 CPUtime=0 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 1372 0 0 0 0 0 0 0 20 0 1 0 270176277 10780672 1327 33554432000 4194304 10169799 140737192986192 140733584361000 8797266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8742/statm: 2632 1327 412 1459 0 1164 0
[startup+0.051013 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 8742
/proc/meminfo: memFree=27474200/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=27336 CPUtime=0.05 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 5596 0 0 0 4 1 0 0 20 0 1 0 270176277 27992064 5551 33554432000 4194304 10169799 140737192986192 140733584361000 8785845 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8742/statm: 6834 5552 412 1459 0 5366 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27336
[startup+0.100376 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 8742
/proc/meminfo: memFree=27474200/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=42488 CPUtime=0.09 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 9411 0 0 0 8 1 0 0 20 0 1 0 270176277 43507712 9339 33554432000 4194304 10169799 140737192986192 140733584361000 7543003 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8742/statm: 10622 9339 412 1459 0 9154 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42488
[startup+0.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 8742
/proc/meminfo: memFree=27474200/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=71508 CPUtime=0.29 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 16633 0 0 0 27 2 0 0 20 0 1 0 270176277 73224192 16561 33554432000 4194304 10169799 140737192986192 140733584361000 7170844 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8742/statm: 17877 16561 412 1459 0 16409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71508
[startup+0.700353 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 8742
/proc/meminfo: memFree=27474200/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=153312 CPUtime=0.69 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 36802 0 0 0 64 5 0 0 20 0 1 0 270176277 156991488 36731 33554432000 4194304 10169799 140737192986192 140737192852520 7543003 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8742/statm: 38328 36762 459 1459 0 36860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 153312
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8743
/proc/meminfo: memFree=27199988/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=415460 CPUtime=1.49 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 101456 0 0 0 135 14 0 0 20 0 1 0 270176277 425431040 101309 33554432000 4194304 10169799 140737192986192 140737192983160 7543003 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 103865 101345 499 1459 0 102397 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 415460
[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8743
/proc/meminfo: memFree=27043128/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=553536 CPUtime=3.09 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 147631 0 0 0 282 27 0 0 20 0 1 0 270176277 566820864 135155 33554432000 4194304 10169799 140737192986192 140737192984344 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 138384 135155 557 1459 0 136916 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 553536
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8743
/proc/meminfo: memFree=26755448/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=792056 CPUtime=6.29 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 206018 0 0 0 578 51 0 0 20 0 1 0 270176277 811065344 193542 33554432000 4194304 10169799 140737192986192 140737192984344 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 198014 193542 557 1459 0 196546 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 792056
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8743
/proc/meminfo: memFree=26587924/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=907560 CPUtime=12.69 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 234117 0 0 0 1175 94 0 0 20 0 1 0 270176277 929341440 221384 33554432000 4194304 10169799 140737192986192 140737192984344 7433736 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 226890 221384 565 1459 0 225422 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 907560
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8743
/proc/meminfo: memFree=26455764/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=953404 CPUtime=25.48 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 255984 0 0 0 2193 355 0 0 20 0 1 0 270176277 976285696 232480 33554432000 4194304 10169799 140737192986192 140737192983720 4777712 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 238351 232480 625 1459 0 236883 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 953404
[startup+51.1003 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 8743
/proc/meminfo: memFree=26439596/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=971536 CPUtime=51.08 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 260130 0 0 0 4744 364 0 0 20 0 1 0 270176277 994852864 236593 33554432000 4194304 10169799 140737192986192 140737192983704 4777712 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 242884 236593 625 1459 0 241416 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 971536
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 8743
/proc/meminfo: memFree=26425752/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=984640 CPUtime=102.28 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 263624 0 0 0 9852 376 0 0 20 0 1 0 270176277 1008271360 239889 33554432000 4194304 10169799 140737192986192 140737192983704 4777685 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 246160 239889 625 1459 0 244692 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 984640
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 8744
/proc/meminfo: memFree=26384728/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1016332 CPUtime=162.26 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 271630 0 0 0 15837 389 0 0 20 0 1 0 270176277 1040723968 247796 33554432000 4194304 10169799 140737192986192 140737192983704 4777685 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 254083 247796 625 1459 0 252615 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1016332
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8744
/proc/meminfo: memFree=26342964/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1051068 CPUtime=222.25 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 280341 0 0 0 21822 403 0 0 20 0 1 0 270176277 1076293632 256592 33554432000 4194304 10169799 140737192986192 140737192983704 4777712 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 262767 256592 625 1459 0 261299 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1051068
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/178 8783
/proc/meminfo: memFree=27606108/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1093500 CPUtime=282.23 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 290832 0 0 0 27780 443 0 0 20 0 1 0 270176277 1119744000 267606 33554432000 4194304 10169799 140737192986192 140737192983704 4777685 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 273375 267606 625 1459 0 271907 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1093500
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 8846
/proc/meminfo: memFree=27557744/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1140892 CPUtime=342.21 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 301670 0 0 0 33764 457 0 0 20 0 1 0 270176277 1168273408 278670 33554432000 4194304 10169799 140737192986192 140737192983704 4777685 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 285223 278670 625 1459 0 283755 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1140892
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8846
/proc/meminfo: memFree=27293436/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1180032 CPUtime=402.2 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 312233 0 0 0 39747 473 0 0 20 0 1 0 270176277 1208352768 289671 33554432000 4194304 10169799 140737192986192 140737192983720 4777685 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 295008 289671 625 1459 0 293540 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1180032
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8847
/proc/meminfo: memFree=27063772/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1350092 CPUtime=462.19 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 345135 0 0 0 45678 541 0 0 20 0 1 0 270176277 1382494208 334515 33554432000 4194304 10169799 140737192986192 140737192983224 4777685 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 337523 334515 705 1459 0 336055 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1350092
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=27019224/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1351116 CPUtime=522.18 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 345393 0 0 0 51660 558 0 0 20 0 1 0 270176277 1383542784 335360 33554432000 4194304 10169799 140737192986192 140737192983224 4777712 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 337779 335360 705 1459 0 336311 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1351116
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8847
/proc/meminfo: memFree=26832428/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1455576 CPUtime=582.17 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 361491 0 0 0 57639 578 0 0 20 0 1 0 270176277 1490509824 359466 33554432000 4194304 10169799 140737192986192 140737192980520 7953603 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 363894 359466 791 1459 0 362426 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1455576
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26827444/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1122.09 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368241 0 0 0 111586 623 0 0 20 0 1 0 270176277 1530019840 368434 33554432000 4194304 10169799 140737192986192 140737192980520 8022956 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 368434 791 1459 0 372072 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1494160
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8852
/proc/meminfo: memFree=26823452/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1182.08 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368250 0 0 0 117581 627 0 0 20 0 1 0 270176277 1530019840 368954 33554432000 4194304 10169799 140737192986192 140737192980520 8009519 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 368954 791 1459 0 372072 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1494160
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8852
/proc/meminfo: memFree=26823356/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1242.07 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368250 0 0 0 123576 631 0 0 20 0 1 0 270176277 1530019840 368954 33554432000 4194304 10169799 140737192986192 140737192980520 8009883 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 368954 791 1459 0 372072 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1494160
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8852
/proc/meminfo: memFree=26823216/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1302.07 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368250 0 0 0 129571 636 0 0 20 0 1 0 270176277 1530019840 368954 33554432000 4194304 10169799 140737192986192 140737192980520 8004328 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 368954 791 1459 0 372072 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1494160
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8891
/proc/meminfo: memFree=27391296/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1362.05 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368251 0 0 0 135565 640 0 0 20 0 1 0 270176277 1530019840 369466 33554432000 4194304 10169799 140737192986192 140737192980520 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 369466 791 1459 0 372072 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1494160
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8891
/proc/meminfo: memFree=27390924/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1422.05 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368251 0 0 0 141561 644 0 0 20 0 1 0 270176277 1530019840 369466 33554432000 4194304 10169799 140737192986192 140737192980520 7982305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 369466 791 1459 0 372072 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1494160
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8891
/proc/meminfo: memFree=27391172/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1482.03 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368252 0 0 0 147556 647 0 0 20 0 1 0 270176277 1530019840 369467 33554432000 4194304 10169799 140737192986192 140737192980520 8006198 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 369467 791 1459 0 372072 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1494160
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8894
/proc/meminfo: memFree=27390800/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1542.03 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368252 0 0 0 153551 652 0 0 20 0 1 0 270176277 1530019840 369467 33554432000 4194304 10169799 140737192986192 140737192980520 8010442 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 369467 791 1459 0 372072 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1494160
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8894
/proc/meminfo: memFree=27390924/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1602.02 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368252 0 0 0 159546 656 0 0 20 0 1 0 270176277 1530019840 369467 33554432000 4194304 10169799 140737192986192 140737192980520 8010486 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 369467 791 1459 0 372072 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1494160
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8933
/proc/meminfo: memFree=27432236/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1662 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368254 0 0 0 165541 659 0 0 20 0 1 0 270176277 1530019840 370158 33554432000 4194304 10169799 140737192986192 140737192980520 8010532 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 370158 791 1459 0 372072 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1494160
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8971
/proc/meminfo: memFree=27260640/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1721.99 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368257 0 0 0 171535 664 0 0 20 0 1 0 270176277 1530019840 370158 33554432000 4194304 10169799 140737192986192 140737192980520 8060758 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 370158 791 1459 0 372072 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1494160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8971
/proc/meminfo: memFree=27246628/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1781.98 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368278 0 0 0 177529 669 0 0 20 0 1 0 270176277 1530019840 370179 33554432000 4194304 10169799 140737192986192 140737192981016 8010442 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 370179 791 1459 0 372072 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1494160
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 8971
/proc/meminfo: memFree=27245760/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1791.59 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368278 0 0 0 178489 670 0 0 20 0 1 0 270176277 1530019840 370179 33554432000 4194304 10169799 140737192986192 140737192980520 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 370179 791 1459 0 372072 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 1494160
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8971
/proc/meminfo: memFree=27245760/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1794.79 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368278 0 0 0 178809 670 0 0 20 0 1 0 270176277 1530019840 370179 33554432000 4194304 10169799 140737192986192 140737192981016 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 370179 791 1459 0 372072 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 1494160
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8971
/proc/meminfo: memFree=27245760/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1796.38 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368278 0 0 0 178968 670 0 0 20 0 1 0 270176277 1530019840 370179 33554432000 4194304 10169799 140737192986192 140737192980520 8010570 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 370179 791 1459 0 372072 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 1494160
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8971
/proc/meminfo: memFree=27245760/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1494160 CPUtime=1797.98 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368278 0 0 0 179128 670 0 0 20 0 1 0 270176277 1530019840 370179 33554432000 4194304 10169799 140737192986192 140737192980520 7982327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 373540 370179 791 1459 0 372072 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1494160
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8971
/proc/meminfo: memFree=27245760/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1472764 CPUtime=1798.78 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368943 0 0 0 179208 670 0 0 20 0 1 0 270176277 1508110336 363717 33554432000 4194304 10169799 140737192986192 140737192985272 4950571 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 368191 363717 811 1459 0 366723 0
Current children cumulated CPU time (s) 1798.78
Current children cumulated vsize (KiB) 1472764
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8971
/proc/meminfo: memFree=27336176/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1347860 CPUtime=1799.19 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368943 0 0 0 179247 672 0 0 20 0 1 0 270176277 1380208640 332559 33554432000 4194304 10169799 140737192986192 140737192985272 8989847 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 336965 332559 811 1459 0 335497 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 1347860
[startup+1799.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8971
/proc/meminfo: memFree=27336176/32873844 swapFree=7612/7612
[pid=8742] ppid=8740 vsize=1135004 CPUtime=1799.29 cores=1,3,5,7
/proc/8742/stat : 8742 (scip-2.1.1.4sfi) R 8740 8742 5919 0 -1 4202496 368944 0 0 0 179256 673 0 0 20 0 1 0 270176277 1162244096 282138 33554432000 4194304 10169799 140737192986192 140737192985272 8989847 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8742/statm: 283751 282138 812 1459 0 282283 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 1135004
Child status: 0
Real time (s): 1799.69
CPU time (s): 1799.38
CPU user time (s): 1792.61
CPU system time (s): 6.77397
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 1494160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.61
system time used= 6.77397
maximum resident set size= 1481108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368957
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= 57
involuntary context switches= 2094
runsolver used 2.66659 second user time and 7.18591 second system time
The end