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-3691298-1338023133.opb>
0.58/0.65 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256265 constraints
0.58/0.65 c problem read in 0.65
1.59/1.60 c presolving:
8.19/8.29 c (round 1) 7452 del vars, 22165 del conss, 0 add conss, 5831 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17281696 impls, 0 clqs
12.59/12.67 c (round 2) 14346 del vars, 52436 del conss, 0 add conss, 12349 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17321935 impls, 0 clqs
13.99/14.06 c (round 3) 16990 del vars, 65084 del conss, 0 add conss, 13898 chg bounds, 36 chg sides, 22 chg coeffs, 0 upgd conss, 17342746 impls, 0 clqs
14.88/14.93 c (round 4) 18284 del vars, 70329 del conss, 0 add conss, 14828 chg bounds, 52 chg sides, 41 chg coeffs, 0 upgd conss, 17355972 impls, 0 clqs
15.49/15.51 c (round 5) 19238 del vars, 74197 del conss, 0 add conss, 15494 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17364035 impls, 0 clqs
15.89/15.94 c (round 6) 19965 del vars, 76984 del conss, 0 add conss, 15978 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17370955 impls, 0 clqs
16.19/16.25 c (round 7) 20418 del vars, 78883 del conss, 0 add conss, 16273 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17375932 impls, 0 clqs
16.39/16.50 c (round 8) 20795 del vars, 80381 del conss, 0 add conss, 16529 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17379386 impls, 0 clqs
16.58/16.68 c (round 9) 21008 del vars, 81350 del conss, 0 add conss, 16653 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17381918 impls, 0 clqs
16.79/16.81 c (round 10) 21134 del vars, 81918 del conss, 0 add conss, 16725 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17383943 impls, 0 clqs
16.88/16.92 c (round 11) 21214 del vars, 82293 del conss, 0 add conss, 16771 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385069 impls, 0 clqs
16.98/17.00 c (round 12) 21254 del vars, 82506 del conss, 0 add conss, 16794 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385507 impls, 0 clqs
17.09/17.12 c (round 13) 21274 del vars, 82615 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385586 impls, 0 clqs
17.09/17.19 c (round 14) 21276 del vars, 82641 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 0 upgd conss, 17385596 impls, 0 clqs
17.88/17.97 c (round 15) 21276 del vars, 82642 del conss, 0 add conss, 16808 chg bounds, 57 chg sides, 48 chg coeffs, 173623 upgd conss, 17385596 impls, 0 clqs
18.69/18.71 c (round 16) 21286 del vars, 82658 del conss, 32 add conss, 16814 chg bounds, 93 chg sides, 223 chg coeffs, 173633 upgd conss, 17388914 impls, 7546 clqs
19.09/19.16 c (round 17) 21302 del vars, 82711 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 264 chg coeffs, 173638 upgd conss, 17393396 impls, 8106 clqs
19.29/19.37 c (round 18) 21310 del vars, 82744 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 266 chg coeffs, 173642 upgd conss, 17400796 impls, 8106 clqs
19.48/19.58 c (round 19) 21322 del vars, 82784 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173648 upgd conss, 17402746 impls, 8106 clqs
19.69/19.77 c (round 20) 21334 del vars, 82830 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173654 upgd conss, 17402934 impls, 8106 clqs
19.89/19.94 c (round 21) 21346 del vars, 82880 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173660 upgd conss, 17403100 impls, 8106 clqs
20.08/20.12 c (round 22) 21358 del vars, 82920 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173666 upgd conss, 17403150 impls, 8106 clqs
20.19/20.29 c (round 23) 21358 del vars, 82942 del conss, 35 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173666 upgd conss, 17403150 impls, 8106 clqs
342.30/342.42 c (342.4s) probing: 1000/51484 (1.9%) - 0 fixings, 0 aggregations, 6703168 implications, 0 bound changes
342.90/343.01 c (343.0s) probing: 1001/51484 (1.9%) - 0 fixings, 0 aggregations, 6707852 implications, 0 bound changes
342.90/343.01 c (343.0s) probing aborted: 1000/1000 successive useless probings
342.90/343.01 c (round 24) 21358 del vars, 161800 del conss, 25450 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173666 upgd conss, 30818854 impls, 8106 clqs
343.70/343.88 c (round 25) 21358 del vars, 183560 del conss, 47210 add conss, 16814 chg bounds, 103 chg sides, 267 chg coeffs, 173666 upgd conss, 30818854 impls, 10714 clqs
344.50/344.62 c presolving (26 rounds):
344.50/344.62 c 21358 deleted vars, 183560 deleted constraints, 47210 added constraints, 16814 tightened bounds, 0 added holes, 103 changed sides, 267 changed coefficients
344.50/344.62 c 30818854 implications, 32474 cliques
344.50/344.62 c presolved problem has 51484 variables (51484 bin, 0 int, 0 impl, 0 cont) and 119915 constraints
344.50/344.62 c 1150 constraints of type <knapsack>
344.50/344.62 c 117716 constraints of type <setppc>
344.50/344.62 c 1047 constraints of type <and>
344.50/344.62 c 2 constraints of type <logicor>
344.50/344.62 c transformed objective value is always integral (scale: 1)
344.50/344.62 c Presolving Time: 343.71
344.50/344.62 c - non default parameters ----------------------------------------------------------------------
344.50/344.62 c # SCIP version 2.1.1.4
344.50/344.62 c
344.50/344.62 c # maximal time in seconds to run
344.50/344.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
344.50/344.62 c limits/time = 1797
344.50/344.62 c
344.50/344.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
344.50/344.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
344.50/344.62 c limits/memory = 13950
344.50/344.62 c
344.50/344.62 c # default clock type (1: CPU user seconds, 2: wall clock time)
344.50/344.62 c # [type: int, range: [1,2], default: 1]
344.50/344.62 c timing/clocktype = 2
344.50/344.62 c
344.50/344.62 c # belongs reading time to solving time?
344.50/344.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
344.50/344.62 c timing/reading = TRUE
344.50/344.62 c
344.50/344.62 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
344.50/344.62 c # [type: int, range: [-1,2147483647], default: -1]
344.50/344.62 c separating/rapidlearning/freq = 0
344.50/344.62 c
344.50/344.62 c -----------------------------------------------------------------------------------------------
344.50/344.62 c start solving
344.80/344.99 c
1798.17/1798.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.17/1798.59 c 1799s| 1 | 0 |126075 | - |1085M| 0 | - | 51k| 118k| 51k| 120k| 0 | 15 | 0 | 0.000000e+00 | -- | Inf
1798.17/1798.59 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
1798.27/1798.65 c 1799s| 1 | 2 |126075 | - |1085M| 0 | - | 51k| 118k| 51k| 120k| 0 | 15 | 0 | 0.000000e+00 | -- | Inf
1798.27/1798.65 c
1798.27/1798.65 c SCIP Status : solving was interrupted [time limit reached]
1798.27/1798.65 c Solving Time (sec) : 1798.64
1798.27/1798.65 c Solving Nodes : 1
1798.27/1798.65 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.27/1798.65 c Dual Bound : +0.00000000000000e+00
1798.27/1798.65 c Gap : infinite
1798.27/1798.65 s UNKNOWN
1798.27/1798.65 c SCIP Status : solving was interrupted [time limit reached]
1798.27/1798.65 c Total Time : 1798.64
1798.27/1798.65 c solving : 1798.64
1798.27/1798.65 c presolving : 343.71 (included in solving)
1798.27/1798.65 c reading : 0.65 (included in solving)
1798.27/1798.65 c copying : 0.00 (0 times copied the problem)
1798.27/1798.65 c Original Problem :
1798.27/1798.65 c Problem name : HOME/instance-3691298-1338023133.opb
1798.27/1798.65 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.27/1798.65 c Constraints : 256265 initial, 256265 maximal
1798.27/1798.65 c Objective sense : minimize
1798.27/1798.65 c Presolved Problem :
1798.27/1798.65 c Problem name : t_HOME/instance-3691298-1338023133.opb
1798.27/1798.65 c Variables : 51484 (51484 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.27/1798.65 c Constraints : 119915 initial, 119930 maximal
1798.27/1798.65 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.27/1798.65 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.27/1798.65 c trivial : 0.08 0.00 1030 0 0 0 0 0 0 0 0
1798.27/1798.65 c dualfix : 0.10 0.00 121 0 0 0 0 0 0 0 0
1798.27/1798.65 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.27/1798.65 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.27/1798.65 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1798.27/1798.65 c gateextraction : 0.35 0.00 0 0 0 0 0 78853 25415 0 0
1798.27/1798.65 c implics : 0.92 0.00 0 41 0 0 0 0 0 0 0
1798.27/1798.65 c components : 0.08 0.00 0 0 0 0 0 0 0 0 0
1798.27/1798.65 c pseudoobj : 0.00 0.35 0 0 0 0 0 0 0 0 0
1798.27/1798.65 c probing : 322.23 0.00 0 0 0 0 0 0 0 0 0
1798.27/1798.65 c knapsack : 1.51 0.00 0 0 0 2 0 2 35 46 219
1798.27/1798.65 c setppc : 0.95 0.00 35 0 0 4 0 303 0 0 0
1798.27/1798.65 c and : 0.41 0.00 0 0 0 0 0 21760 21760 0 0
1798.27/1798.65 c linear : 15.53 0.00 15784 4347 0 16808 0 82642 0 57 48
1798.27/1798.65 c logicor : 0.54 0.00 0 0 0 0 0 0 0 0 0
1798.27/1798.65 c root node : - - 412 - - 412 - - - - -
1798.27/1798.65 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1798.27/1798.65 c integral : 0 0 0 0 0 0 3 0 0 0 0 0 0
1798.27/1798.65 c knapsack : 1150 1150 0 50443 0 1 3 1 1 0 0 0 0
1798.27/1798.65 c setppc : 117716 117716 0 50442 0 1 1 269 3 410 0 0 0
1798.27/1798.65 c and : 1047 1047 0 50439 0 1 0 0 0 0 0 0 0
1798.27/1798.65 c logicor : 2+ 17 0 16 0 1 0 2 11 2 0 0 0
1798.27/1798.65 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1798.27/1798.65 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1798.27/1798.65 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1798.27/1798.65 c knapsack : 3.48 0.00 0.00 3.48 0.00 0.00 0.00 0.00
1798.27/1798.65 c setppc : 222.49 0.00 0.00 222.44 0.00 0.05 0.00 0.00
1798.27/1798.65 c and : 58.24 0.00 0.00 58.24 0.00 0.00 0.00 0.00
1798.27/1798.65 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.27/1798.65 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.27/1798.65 c Propagators : #Propagate #ResProp Cutoffs DomReds
1798.27/1798.65 c rootredcost : 0 0 0 0
1798.27/1798.65 c pseudoobj : 507 0 0 0
1798.27/1798.65 c vbounds : 0 0 0 0
1798.27/1798.65 c redcost : 0 0 0 0
1798.27/1798.65 c probing : 0 0 0 0
1798.27/1798.65 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1798.27/1798.65 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1798.27/1798.65 c pseudoobj : 0.38 0.35 0.00 0.03 0.00
1798.27/1798.65 c vbounds : 0.03 0.01 0.00 0.03 0.00
1798.27/1798.65 c redcost : 0.02 0.00 0.00 0.02 0.00
1798.27/1798.65 c probing : 322.23 0.00 322.23 0.00 0.00
1798.27/1798.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.27/1798.65 c propagation : 0.00 15 15 15 41.8 0 0.0 -
1798.27/1798.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.27/1798.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.27/1798.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.27/1798.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.27/1798.65 c applied globally : - - - 15 41.8 - - -
1798.27/1798.65 c applied locally : - - - 0 0.0 - - -
1798.27/1798.65 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1798.27/1798.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1798.27/1798.65 c clique : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c closecuts : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c cgmip : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c cmir : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c flowcover : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c gomory : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c impliedbounds : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c intobj : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c mcf : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c oddcycle : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c rapidlearning : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c strongcg : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c zerohalf : 0.00 0.00 0 0 0 0 0
1798.27/1798.65 c Pricers : ExecTime SetupTime Calls Vars
1798.27/1798.65 c problem variables: 0.00 - 0 0
1798.27/1798.65 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1798.27/1798.65 c relpscost : 0.00 0.00 0 0 0 0 0 0
1798.27/1798.65 c pscost : 0.00 0.00 0 0 0 0 0 0
1798.27/1798.65 c inference : 0.01 0.00 1 0 0 0 0 2
1798.27/1798.65 c mostinf : 0.00 0.00 0 0 0 0 0 0
1798.27/1798.65 c leastinf : 0.00 0.00 0 0 0 0 0 0
1798.27/1798.65 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1798.27/1798.65 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1798.27/1798.65 c random : 0.00 0.00 0 0 0 0 0 0
1798.27/1798.65 c Primal Heuristics : ExecTime SetupTime Calls Found
1798.27/1798.65 c LP solutions : 0.00 - - 0
1798.27/1798.65 c pseudo solutions : 0.00 - - 0
1798.27/1798.65 c oneopt : 0.00 0.00 0 0
1798.27/1798.65 c smallcard : 0.00 0.00 0 0
1798.27/1798.65 c trivial : 0.07 0.00 2 0
1798.27/1798.65 c shiftandpropagate: 3.48 0.00 1 0
1798.27/1798.65 c simplerounding : 0.00 0.00 0 0
1798.27/1798.65 c zirounding : 0.00 0.00 0 0
1798.27/1798.65 c rounding : 0.00 0.00 0 0
1798.27/1798.65 c shifting : 0.00 0.00 0 0
1798.27/1798.65 c intshifting : 0.00 0.00 0 0
1798.27/1798.65 c twoopt : 0.00 0.00 0 0
1798.27/1798.65 c indtwoopt : 0.00 0.00 0 0
1798.27/1798.65 c indoneopt : 0.00 0.00 0 0
1798.27/1798.65 c fixandinfer : 0.00 0.00 0 0
1798.27/1798.65 c feaspump : 0.00 0.00 0 0
1798.27/1798.65 c clique : 0.00 0.00 0 0
1798.27/1798.65 c indrounding : 0.00 0.00 0 0
1798.27/1798.65 c indcoefdiving : 0.00 0.00 0 0
1798.27/1798.65 c coefdiving : 0.00 0.00 0 0
1798.27/1798.65 c pscostdiving : 0.00 0.00 0 0
1798.27/1798.65 c nlpdiving : 0.00 0.00 0 0
1798.27/1798.65 c fracdiving : 0.00 0.00 0 0
1798.27/1798.65 c veclendiving : 0.00 0.00 0 0
1798.27/1798.65 c intdiving : 0.00 0.00 0 0
1798.27/1798.65 c actconsdiving : 0.00 0.00 0 0
1798.27/1798.65 c objpscostdiving : 0.00 0.00 0 0
1798.27/1798.65 c rootsoldiving : 0.00 0.00 0 0
1798.27/1798.65 c linesearchdiving : 0.00 0.00 0 0
1798.27/1798.65 c guideddiving : 0.00 0.00 0 0
1798.27/1798.65 c octane : 0.00 0.00 0 0
1798.27/1798.65 c rens : 0.00 0.00 0 0
1798.27/1798.65 c rins : 0.00 0.00 0 0
1798.27/1798.65 c localbranching : 0.00 0.00 0 0
1798.27/1798.65 c mutation : 0.00 0.00 0 0
1798.27/1798.65 c crossover : 0.00 0.00 0 0
1798.27/1798.65 c dins : 0.00 0.00 0 0
1798.27/1798.65 c vbounds : 0.00 0.00 0 0
1798.27/1798.65 c undercover : 0.00 0.00 0 0
1798.27/1798.65 c subnlp : 0.00 0.00 0 0
1798.27/1798.65 c trysol : 0.00 0.00 0 0
1798.27/1798.65 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1798.27/1798.65 c primal LP : 0.00 0 0 0.00 - 0.00 0
1798.27/1798.65 c dual LP : 1447.11 1 126075 126075.00 87.12 0.00 0
1798.27/1798.65 c lex dual LP : 0.00 0 0 0.00 -
1798.27/1798.65 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1798.27/1798.65 c diving/probing LP: 0.00 0 0 0.00 -
1798.27/1798.65 c strong branching : 0.00 0 0 0.00 -
1798.27/1798.65 c (at root node) : - 0 0 0.00 -
1798.27/1798.65 c conflict analysis: 0.00 0 0 0.00 -
1798.27/1798.65 c B&B Tree :
1798.27/1798.65 c number of runs : 1
1798.27/1798.65 c nodes : 1
1798.27/1798.65 c nodes (total) : 1
1798.27/1798.65 c nodes left : 2
1798.27/1798.65 c max depth : 0
1798.27/1798.65 c max depth (total): 0
1798.27/1798.65 c backtracks : 0 (0.0%)
1798.27/1798.65 c delayed cutoffs : 0
1798.27/1798.65 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.27/1798.65 c avg switch length: 1.00
1798.27/1798.65 c switching time : 0.00
1798.27/1798.65 c Solution :
1798.27/1798.65 c Solutions found : 0 (0 improvements)
1798.27/1798.65 c Primal Bound : -
1798.27/1798.65 c Dual Bound : +0.00000000000000e+00
1798.27/1798.65 c Gap : infinite
1798.27/1798.65 c Root Dual Bound : +0.00000000000000e+00
1798.27/1798.65 c Root Iterations : 126075
1799.18/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-3691298-1338023133/watcher-3691298-1338023133 -o /tmp/evaluation-result-3691298-1338023133/solver-3691298-1338023133 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691298-1338023133.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.02 2.00 3/176 7800
/proc/meminfo: memFree=28716040/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=10528 CPUtime=0 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 1395 0 0 0 0 0 0 0 20 0 1 0 268437824 10780672 1349 33554432000 4194304 10173063 140734879035984 140734878900472 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 2632 1349 416 1460 0 1163 0
[startup+0.026699 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 7800
/proc/meminfo: memFree=28716040/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=19660 CPUtime=0.01 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 3652 0 0 0 1 0 0 0 20 0 1 0 268437824 20131840 3606 33554432000 4194304 10173063 140734879035984 140734878900472 7549330 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 4915 3606 416 1460 0 3446 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19660
[startup+0.10033 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 7800
/proc/meminfo: memFree=28716040/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=44764 CPUtime=0.09 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 9971 0 0 0 8 1 0 0 20 0 1 0 268437824 45838336 9898 33554432000 4194304 10173063 140734879035984 140734878900472 7174593 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 11191 9898 416 1460 0 9722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44764
[startup+0.300272 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 7800
/proc/meminfo: memFree=28716040/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=73840 CPUtime=0.29 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 17243 0 0 0 27 2 0 0 20 0 1 0 268437824 75612160 17170 33554432000 4194304 10173063 140734879035984 140734878900472 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 18460 17170 416 1460 0 16991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73840
[startup+0.700272 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 7800
/proc/meminfo: memFree=28716040/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=177860 CPUtime=0.69 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 43109 0 0 0 63 6 0 0 20 0 1 0 268437824 182128640 43018 33554432000 4194304 10173063 140734879035984 140734878900536 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 44465 43024 466 1460 0 42996 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 177860
[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7801
/proc/meminfo: memFree=28437760/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=451260 CPUtime=1.49 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 111967 0 0 0 133 16 0 0 20 0 1 0 268437824 462090240 110524 33554432000 4194304 10173063 140734879035984 140734879031800 7544999 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 112815 110524 514 1460 0 111346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 451260
[startup+3.10027 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7801
/proc/meminfo: memFree=28248908/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=598964 CPUtime=3.09 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 159191 0 0 0 284 25 0 0 20 0 1 0 268437824 613339136 146710 33554432000 4194304 10173063 140734879035984 140734879032984 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 149741 146710 559 1460 0 148272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 598964
[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7801
/proc/meminfo: memFree=27944116/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=856792 CPUtime=6.29 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 221714 0 0 0 591 38 0 0 20 0 1 0 268437824 877355008 209233 33554432000 4194304 10173063 140734879035984 140734879032984 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 214198 209233 559 1460 0 212729 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 856792
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7801
/proc/meminfo: memFree=27804384/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=938092 CPUtime=12.69 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 241954 0 0 0 1218 51 0 0 20 0 1 0 268437824 960606208 228873 33554432000 4194304 10173063 140734879035984 140734879032984 7436470 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 234523 228873 568 1460 0 233054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 938092
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7801
/proc/meminfo: memFree=27750104/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=991092 CPUtime=25.49 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 268992 0 0 0 2435 114 0 0 20 0 1 0 268437824 1014878208 241742 33554432000 4194304 10173063 140734879035984 140734879032344 7550000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 247773 241742 628 1460 0 246304 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 991092
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7801
/proc/meminfo: memFree=27740556/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1003868 CPUtime=51.08 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 271808 0 0 0 4991 117 0 0 20 0 1 0 268437824 1027960832 244459 33554432000 4194304 10173063 140734879035984 140734879032344 4784724 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 250967 244459 628 1460 0 249498 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1003868
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 7801
/proc/meminfo: memFree=27707172/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1035044 CPUtime=102.28 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 279511 0 0 0 10105 123 0 0 20 0 1 0 268437824 1059885056 252270 33554432000 4194304 10173063 140734879035984 140734879032344 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 258761 252270 628 1460 0 257292 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1035044
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7802
/proc/meminfo: memFree=27660072/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1080108 CPUtime=162.24 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 292024 0 0 0 16095 129 0 0 20 0 1 0 268437824 1106030592 264646 33554432000 4194304 10173063 140734879035984 140734879032344 4780421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 270027 264646 628 1460 0 268558 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1080108
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7802
/proc/meminfo: memFree=27595132/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1145280 CPUtime=222.23 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 307422 0 0 0 22084 139 0 0 20 0 1 0 268437824 1172766720 280652 33554432000 4194304 10173063 140734879035984 140734879032360 4780448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 286320 280652 628 1460 0 284851 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1145280
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7805
/proc/meminfo: memFree=27533800/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1206764 CPUtime=282.22 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 322598 0 0 0 28071 151 0 0 20 0 1 0 268437824 1235726336 296031 33554432000 4194304 10173063 140734879035984 140734879032344 4780448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 301691 296031 628 1460 0 300222 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1206764
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7805
/proc/meminfo: memFree=27470228/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1267340 CPUtime=342.2 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 337574 0 0 0 34060 160 0 0 20 0 1 0 268437824 1297756160 311822 33554432000 4194304 10173063 140734879035984 140734879032344 4780448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 316835 311822 628 1460 0 315366 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1267340
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7805
/proc/meminfo: memFree=27222928/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1510464 CPUtime=402.19 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 376976 0 0 0 40036 183 0 0 20 0 1 0 268437824 1546715136 373708 33554432000 4194304 10173063 140734879035984 140734879029160 8007135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 377616 373708 790 1460 0 376147 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1510464
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7806
/proc/meminfo: memFree=27213308/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1519356 CPUtime=462.19 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 378840 0 0 0 46030 189 0 0 20 0 1 0 268437824 1555820544 376074 33554432000 4194304 10173063 140734879035984 140734879029160 7985041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 379839 376074 790 1460 0 378370 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1519356
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7806
/proc/meminfo: memFree=27199240/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1529680 CPUtime=522.17 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 380423 0 0 0 52024 193 0 0 20 0 1 0 268437824 1566392320 379657 33554432000 4194304 10173063 140734879035984 140734879029160 7654783 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 382420 379657 790 1460 0 380951 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1529680
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7806
/proc/meminfo: memFree=27194136/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1534060 CPUtime=582.16 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 381003 0 0 0 58018 198 0 0 20 0 1 0 268437824 1570877440 380844 33554432000 4194304 10173063 140734879035984 140734879029624 8013273 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 383515 380844 790 1460 0 382046 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1534060
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27169516/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1062.08 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 105981 227 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 8013208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 1555812
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7811
/proc/meminfo: memFree=27170820/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1122.07 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 111976 231 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 8012436 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1555812
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7849
/proc/meminfo: memFree=26772820/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1182.06 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 117971 235 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879028504 8012032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 1555812
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7849
/proc/meminfo: memFree=26732900/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1242.06 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 123968 238 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 7709940 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1555812
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7849
/proc/meminfo: memFree=26725456/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1302.06 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 129965 241 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1555812
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7850
/proc/meminfo: memFree=26725588/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1362.04 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 135960 244 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 8013302 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1555812
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7850
/proc/meminfo: memFree=26733340/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1422.04 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 141957 247 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 8012455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1555812
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 7853
/proc/meminfo: memFree=26756672/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1482.02 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 147953 249 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 8063971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1555812
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7853
/proc/meminfo: memFree=26733844/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1542.01 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 153949 252 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 8063494 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1555812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7854
/proc/meminfo: memFree=26732844/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1602 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 159945 255 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029160 7985079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1555812
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7855
/proc/meminfo: memFree=26731424/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1661.99 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382776 0 0 0 165940 259 0 0 20 0 1 0 268437824 1593151488 387340 33554432000 4194304 10173063 140734879035984 140734879029656 8047156 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387340 790 1460 0 387484 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1555812
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7855
/proc/meminfo: memFree=26744020/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1721.98 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382777 0 0 0 171935 263 0 0 20 0 1 0 268437824 1593151488 387341 33554432000 4194304 10173063 140734879035984 140734879029160 8063651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387341 791 1460 0 387484 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1555812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7855
/proc/meminfo: memFree=26728388/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1781.97 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382777 0 0 0 177931 266 0 0 20 0 1 0 268437824 1593151488 387341 33554432000 4194304 10173063 140734879035984 140734879029608 8013268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387341 791 1460 0 387484 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1555812
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 7855
/proc/meminfo: memFree=26732168/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1791.58 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382777 0 0 0 178891 267 0 0 20 0 1 0 268437824 1593151488 387341 33554432000 4194304 10173063 140734879035984 140734879029160 8013369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387341 791 1460 0 387484 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 1555812
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7855
/proc/meminfo: memFree=26732168/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1794.78 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382777 0 0 0 179211 267 0 0 20 0 1 0 268437824 1593151488 387341 33554432000 4194304 10173063 140734879035984 140734879029160 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387341 791 1460 0 387484 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 1555812
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7855
/proc/meminfo: memFree=26732168/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1796.37 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382777 0 0 0 179370 267 0 0 20 0 1 0 268437824 1593151488 387341 33554432000 4194304 10173063 140734879035984 140734879029160 8013292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387341 791 1460 0 387484 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 1555812
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7855
/proc/meminfo: memFree=26732168/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1555812 CPUtime=1797.97 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 382777 0 0 0 179530 267 0 0 20 0 1 0 268437824 1593151488 387341 33554432000 4194304 10173063 140734879035984 140734879029160 7971809 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 388953 387341 791 1460 0 387484 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 1555812
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7855
/proc/meminfo: memFree=26732168/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=1521932 CPUtime=1798.77 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 383875 0 0 0 179610 267 0 0 20 0 1 0 268437824 1558458368 376875 33554432000 4194304 10173063 140734879035984 140734879029704 4953443 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 380483 376875 815 1460 0 379014 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (KiB) 1521932
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7855
/proc/meminfo: memFree=27709568/32873648 swapFree=6596/6596
[pid=7800] ppid=7798 vsize=497008 CPUtime=1799.18 cores=1,3,5,7
/proc/7800/stat : 7800 (scip-2.1.1.4fix) R 7798 7800 6744 0 -1 4202496 383888 0 0 0 179643 275 0 0 20 0 1 0 268437824 508936192 4393 33554432000 4194304 10173063 140734879035984 140734879035224 9177290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7800/statm: 124252 4393 828 1460 0 122783 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 497008
Child status: 0
Real time (s): 1799.51
CPU time (s): 1799.19
CPU user time (s): 1796.43
CPU system time (s): 2.75758
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 1555812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.43
system time used= 2.75758
maximum resident set size= 1549372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383890
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= 65
involuntary context switches= 1847
runsolver used 5.01224 second user time and 8.28374 second system time
The end