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-3692899-1338039347.opb>
0.09/0.10 c original problem has 11712 variables (11712 bin, 0 int, 0 impl, 0 cont) and 38651 constraints
0.09/0.10 c problem read in 0.11
0.19/0.23 c presolving:
1.00/1.06 c (round 1) 2408 del vars, 6520 del conss, 0 add conss, 1705 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2308942 impls, 0 clqs
1.39/1.42 c (round 2) 5339 del vars, 17828 del conss, 0 add conss, 4381 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2325680 impls, 0 clqs
1.39/1.49 c (round 3) 6431 del vars, 22754 del conss, 0 add conss, 5016 chg bounds, 34 chg sides, 44 chg coeffs, 0 upgd conss, 2334322 impls, 0 clqs
1.48/1.52 c (round 4) 6964 del vars, 24670 del conss, 0 add conss, 5432 chg bounds, 76 chg sides, 100 chg coeffs, 0 upgd conss, 2337755 impls, 0 clqs
1.48/1.54 c (round 5) 7345 del vars, 25963 del conss, 0 add conss, 5685 chg bounds, 83 chg sides, 111 chg coeffs, 0 upgd conss, 2340427 impls, 0 clqs
1.48/1.56 c (round 6) 7579 del vars, 26757 del conss, 0 add conss, 5842 chg bounds, 87 chg sides, 114 chg coeffs, 0 upgd conss, 2341896 impls, 0 clqs
1.48/1.57 c (round 7) 7688 del vars, 27167 del conss, 0 add conss, 5896 chg bounds, 87 chg sides, 114 chg coeffs, 0 upgd conss, 2343230 impls, 0 clqs
1.48/1.57 c (round 8) 7730 del vars, 27357 del conss, 0 add conss, 5917 chg bounds, 87 chg sides, 114 chg coeffs, 0 upgd conss, 2343606 impls, 0 clqs
1.48/1.58 c (round 9) 7743 del vars, 27422 del conss, 0 add conss, 5917 chg bounds, 87 chg sides, 114 chg coeffs, 0 upgd conss, 2343756 impls, 0 clqs
1.48/1.58 c (round 10) 7743 del vars, 27434 del conss, 0 add conss, 5917 chg bounds, 87 chg sides, 114 chg coeffs, 0 upgd conss, 2343756 impls, 0 clqs
1.58/1.64 c (round 11) 7743 del vars, 27434 del conss, 0 add conss, 5917 chg bounds, 87 chg sides, 114 chg coeffs, 11225 upgd conss, 2343756 impls, 0 clqs
1.69/1.70 c (round 12) 7743 del vars, 27453 del conss, 38 add conss, 5917 chg bounds, 137 chg sides, 272 chg coeffs, 11225 upgd conss, 2343756 impls, 0 clqs
1.69/1.72 c (round 13) 7743 del vars, 27453 del conss, 39 add conss, 5917 chg bounds, 138 chg sides, 296 chg coeffs, 11225 upgd conss, 2343756 impls, 0 clqs
1.69/1.74 c (round 14) 7743 del vars, 27453 del conss, 40 add conss, 5917 chg bounds, 139 chg sides, 304 chg coeffs, 11225 upgd conss, 2343756 impls, 1 clqs
1.69/1.77 c (round 15) 7743 del vars, 27454 del conss, 41 add conss, 5917 chg bounds, 140 chg sides, 308 chg coeffs, 11225 upgd conss, 2343756 impls, 2 clqs
4.19/4.23 c (4.2s) probing: 1000/3969 (25.2%) - 0 fixings, 0 aggregations, 101167 implications, 0 bound changes
4.19/4.23 c (4.2s) probing: 1001/3969 (25.2%) - 0 fixings, 0 aggregations, 101270 implications, 0 bound changes
4.19/4.23 c (4.2s) probing aborted: 1000/1000 successive useless probings
4.19/4.23 c (round 16) 7743 del vars, 33198 del conss, 1864 add conss, 5917 chg bounds, 140 chg sides, 308 chg coeffs, 11225 upgd conss, 3413590 impls, 2 clqs
4.30/4.32 c (round 17) 7743 del vars, 34746 del conss, 3412 add conss, 5917 chg bounds, 140 chg sides, 415 chg coeffs, 11225 upgd conss, 3413590 impls, 277 clqs
4.39/4.41 c (round 18) 7743 del vars, 34746 del conss, 3420 add conss, 5917 chg bounds, 148 chg sides, 495 chg coeffs, 11225 upgd conss, 3413590 impls, 1832 clqs
4.49/4.50 c presolving (19 rounds):
4.49/4.50 c 7743 deleted vars, 34746 deleted constraints, 3420 added constraints, 5917 tightened bounds, 0 added holes, 148 changed sides, 524 changed coefficients
4.49/4.50 c 3413590 implications, 1832 cliques
4.49/4.50 c presolved problem has 3969 variables (3969 bin, 0 int, 0 impl, 0 cont) and 7325 constraints
4.49/4.50 c 310 constraints of type <knapsack>
4.49/4.50 c 7001 constraints of type <setppc>
4.49/4.50 c 14 constraints of type <logicor>
4.49/4.50 c transformed objective value is always integral (scale: 1)
4.49/4.50 c Presolving Time: 4.36
4.49/4.50 c - non default parameters ----------------------------------------------------------------------
4.49/4.50 c # SCIP version 2.1.1.4
4.49/4.50 c
4.49/4.50 c # maximal time in seconds to run
4.49/4.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.50 c limits/time = 1797
4.49/4.50 c
4.49/4.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.49/4.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.50 c limits/memory = 13950
4.49/4.50 c
4.49/4.50 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.49/4.50 c # [type: int, range: [1,2], default: 1]
4.49/4.50 c timing/clocktype = 2
4.49/4.50 c
4.49/4.50 c # belongs reading time to solving time?
4.49/4.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.50 c timing/reading = TRUE
4.49/4.50 c
4.49/4.50 c -----------------------------------------------------------------------------------------------
4.49/4.50 c start solving
4.49/4.50 c
9.58/9.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.58/9.63 c 9.6s| 1 | 0 | 12093 | - | 86M| 0 |2253 |3969 |7340 |3969 |7325 | 0 | 15 | 0 | 0.000000e+00 | -- | Inf
40.88/40.98 c 41.0s| 1 | 0 | 68643 | - | 87M| 0 |2477 |3969 |7340 |3969 |7386 | 61 | 15 | 0 | 0.000000e+00 | -- | Inf
45.58/45.65 c 45.7s| 1 | 0 | 72428 | - | 87M| 0 |2519 |3969 |7340 |3969 |7413 | 88 | 15 | 0 | 0.000000e+00 | -- | Inf
50.28/50.34 c 50.3s| 1 | 0 | 76189 | - | 87M| 0 |2483 |3969 |7340 |3969 |7430 | 105 | 15 | 0 | 0.000000e+00 | -- | Inf
55.87/55.94 c 55.9s| 1 | 0 | 81530 | - | 87M| 0 |2510 |3969 |7340 |3969 |7440 | 115 | 15 | 0 | 0.000000e+00 | -- | Inf
58.57/58.69 c 58.7s| 1 | 0 | 82074 | - | 87M| 0 |2517 |3969 |7340 |3969 |7442 | 117 | 15 | 0 | 0.000000e+00 | -- | Inf
61.07/61.12 c 61.1s| 1 | 0 | 82203 | - | 87M| 0 |2794 |3969 |7340 |3969 |7443 | 118 | 15 | 0 | 0.000000e+00 | -- | Inf
72.77/72.81 c 72.8s| 1 | 2 | 82203 | - | 87M| 0 |2794 |3969 |7340 |3969 |7443 | 118 | 15 | 17 | 0.000000e+00 | -- | Inf
626.97/627.15 c 627s| 100 | 18 |699071 |6231.0 | 88M| 29 | - |3969 |7534 |3969 |7409 | 118 | 209 | 404 | 0.000000e+00 | -- | Inf
964.92/965.17 c 965s| 200 | 13 | 1093k|5083.9 | 88M| 29 | - |3969 |7685 |3969 |7409 | 118 | 360 | 640 | 0.000000e+00 | -- | Inf
1279.97/1280.25 c 1280s| 300 | 10 | 1455k|4594.0 | 88M| 29 |1436 |3969 |7840 |3969 |7409 | 118 | 517 | 884 | 0.000000e+00 | -- | Inf
1532.62/1532.95 c 1533s| 400 | 7 | 1764k|4217.3 | 88M| 29 |1457 |3969 |7992 |3969 |7409 | 118 | 679 |1040 | 0.000000e+00 | -- | Inf
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 485
1796.68/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 s UNKNOWN
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.01
1796.68/1797.01 c solving : 1797.01
1796.68/1797.01 c presolving : 4.36 (included in solving)
1796.68/1797.01 c reading : 0.11 (included in solving)
1796.68/1797.01 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3692899-1338039347.opb
1796.68/1797.01 c Variables : 11712 (11712 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 38651 initial, 38651 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3692899-1338039347.opb
1796.68/1797.01 c Variables : 3969 (3969 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 7325 initial, 8082 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.01 0.00 386 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.01 0.00 55 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.02 0.00 0 0 0 0 0 5744 1823 0 0
1796.68/1797.01 c implics : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 2.42 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c knapsack : 0.27 0.00 0 0 0 0 0 4 49 61 410
1796.68/1797.01 c setppc : 0.06 0.00 0 0 0 0 0 15 0 0 0
1796.68/1797.01 c and : 0.01 0.00 0 0 0 0 0 1548 1548 0 0
1796.68/1797.01 c linear : 1.34 0.00 5531 1771 0 5917 0 27434 0 87 114
1796.68/1797.01 c logicor : 0.06 0.00 0 0 0 0 0 1 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 272 0 4 0 0 107 0 0 496
1796.68/1797.01 c knapsack : 310 310 6 12795 0 1 3 1604 1 3086 189 0 0
1796.68/1797.01 c setppc : 7001 7001 6 12794 0 1 1 111509 10 45918 0 0 0
1796.68/1797.01 c logicor : 14+ 771 6 1501 0 1 0 2795 26 518 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 620.50 0.00 0.00 0.00 620.49 0.00 0.00 0.00
1796.68/1797.01 c knapsack : 0.23 0.00 0.02 0.21 0.00 0.00 0.00 0.00
1796.68/1797.01 c setppc : 1.58 0.00 0.00 1.51 0.00 0.00 0.00 0.07
1796.68/1797.01 c logicor : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 0 0 0 0
1796.68/1797.01 c pseudoobj : 0 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 278 0 0 0
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c redcost : 0.01 0.00 0.00 0.01 0.00
1796.68/1797.01 c probing : 2.42 0.00 2.42 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.00 37 37 115 33.1 2 6.0 -
1796.68/1797.01 c infeasible LP : 0.59 236 234 2361 214.6 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 788 135.6 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 5 - - 17 - (maximal pool size: 112)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.07 0.00 6 0 0 6 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 4.01 0.00 6 0 0 3 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 4.01 0.00 6 0 0 3 0
1796.68/1797.01 c cmir : 0.23 0.00 6 0 0 0 0
1796.68/1797.01 c flowcover : 0.89 0.00 6 0 0 119 0
1796.68/1797.01 c clique : 5.08 0.00 6 0 0 3 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 620.49 0.00 272 0 107 0 0 496
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c oneopt : 0.00 0.00 0 0
1796.68/1797.01 c crossover : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 26.91 0.00 1 0
1796.68/1797.01 c veclendiving : 45.19 0.00 1 0
1796.68/1797.01 c linesearchdiving : 2.36 0.00 1 0
1796.68/1797.01 c objpscostdiving : 4.31 0.00 1 0
1796.68/1797.01 c rootsoldiving : 31.52 0.00 1 0
1796.68/1797.01 c coefdiving : 30.22 0.00 2 0
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.01 0.00 2 0
1796.68/1797.01 c shiftandpropagate: 0.04 0.00 1 0
1796.68/1797.01 c simplerounding : 0.00 0.00 0 0
1796.68/1797.01 c zirounding : 0.09 0.00 0 0
1796.68/1797.01 c rounding : 0.21 0.00 181 0
1796.68/1797.01 c shifting : 0.10 0.00 35 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 22.23 0.00 1 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c pscostdiving : 62.90 0.00 2 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c guideddiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.03 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.00 0.00 0 0
1796.68/1797.01 c trysol : 0.00 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.02 1 0 0.00 0.00 0.02 1
1796.68/1797.01 c dual LP : 929.81 502 1708327 3423.50 1837.28 0.04 3
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 222.06 1891 385063 203.63 1734.07
1796.68/1797.01 c strong branching : 620.30 1190 1003764 843.50 1618.18
1796.68/1797.01 c (at root node) : - 17 17000 1000.00 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 485
1796.68/1797.01 c nodes (total) : 485
1796.68/1797.01 c nodes left : 9
1796.68/1797.01 c max depth : 29
1796.68/1797.01 c max depth (total): 29
1796.68/1797.01 c backtracks : 149 (30.7%)
1796.68/1797.01 c delayed cutoffs : 5
1796.68/1797.01 c repropagations : 569 (13900 domain reductions, 3 cutoffs)
1796.68/1797.01 c avg switch length: 4.10
1796.68/1797.01 c switching time : 0.20
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 0 (0 improvements)
1796.68/1797.01 c Primal Bound : -
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Root Iterations : 82203
1796.68/1797.09 c Time complete: 1796.77.
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-3692899-1338039347/watcher-3692899-1338039347 -o /tmp/evaluation-result-3692899-1338039347/solver-3692899-1338039347 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692899-1338039347.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 1.92 2.01 2.00 3/176 10066
/proc/meminfo: memFree=28763056/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=10628 CPUtime=0 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 1397 0 0 0 0 0 0 0 20 0 1 0 270060101 10883072 1351 33554432000 4194304 10169799 140735890519392 140736590325736 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 2657 1351 409 1459 0 1189 0
[startup+0.0157399 s]
/proc/loadavg: 1.92 2.01 2.00 3/176 10066
/proc/meminfo: memFree=28763056/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=13940 CPUtime=0 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 2229 0 0 0 0 0 0 0 20 0 1 0 270060101 14274560 2183 33554432000 4194304 10169799 140735890519392 140736590325736 7139284 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 3485 2183 409 1459 0 2017 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13940
[startup+0.10017 s]
/proc/loadavg: 1.92 2.01 2.00 3/176 10066
/proc/meminfo: memFree=28763056/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=31860 CPUtime=0.09 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 6712 0 0 0 8 1 0 0 20 0 1 0 270060101 32624640 6666 33554432000 4194304 10169799 140735890519392 140736590325736 5985175 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 7965 6666 409 1459 0 6497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31860
[startup+0.300155 s]
/proc/loadavg: 1.92 2.01 2.00 3/176 10066
/proc/meminfo: memFree=28763056/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=96620 CPUtime=0.29 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 23142 0 0 0 26 3 0 0 20 0 1 0 270060101 98938880 22297 33554432000 4194304 10169799 140735890519392 140736590325736 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 24155 22297 555 1459 0 22687 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96620
[startup+0.700171 s]
/proc/loadavg: 1.92 2.01 2.00 3/176 10066
/proc/meminfo: memFree=28763056/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=144348 CPUtime=0.68 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 35009 0 0 0 63 5 0 0 20 0 1 0 270060101 147812352 34164 33554432000 4194304 10169799 140735890519392 140735890517544 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 36087 34164 556 1459 0 34619 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 144348
[startup+1.50022 s]
/proc/loadavg: 1.92 2.01 2.00 3/177 10067
/proc/meminfo: memFree=28613132/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=162404 CPUtime=1.48 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 40201 0 0 0 139 9 0 0 20 0 1 0 270060101 166301696 38374 33554432000 4194304 10169799 140735890519392 140735890517544 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 40601 38374 563 1459 0 39133 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 162404
[startup+3.10022 s]
/proc/loadavg: 1.92 2.01 2.00 3/177 10067
/proc/meminfo: memFree=28602220/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=177008 CPUtime=3.08 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 44474 0 0 0 296 12 0 0 20 0 1 0 270060101 181256192 42073 33554432000 4194304 10169799 140735890519392 140735890516920 6346515 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 44252 42073 623 1459 0 42784 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 177008
[startup+6.3002 s]
/proc/loadavg: 1.93 2.01 2.00 3/177 10067
/proc/meminfo: memFree=28575684/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=198284 CPUtime=6.29 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 50135 0 0 0 613 16 0 0 20 0 1 0 270060101 203042816 47664 33554432000 4194304 10169799 140735890519392 140735890513896 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 49571 47664 783 1459 0 48103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 198284
[startup+12.7002 s]
/proc/loadavg: 1.93 2.01 2.00 3/177 10067
/proc/meminfo: memFree=28572184/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=199544 CPUtime=12.68 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 50773 0 0 0 1251 17 0 0 20 0 1 0 270060101 204333056 48167 33554432000 4194304 10169799 140735890519392 140735890510968 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10066/statm: 49886 48167 801 1459 0 48418 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 199544
[startup+25.5002 s]
/proc/loadavg: 1.95 2.01 2.00 3/177 10067
/proc/meminfo: memFree=28573340/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=199544 CPUtime=25.49 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 50785 0 0 0 2527 22 0 0 20 0 1 0 270060101 204333056 48179 33554432000 4194304 10169799 140735890519392 140735890511672 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 49886 48179 801 1459 0 48418 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 199544
[startup+51.1002 s]
/proc/loadavg: 1.96 2.01 2.00 3/177 10067
/proc/meminfo: memFree=28566436/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=205920 CPUtime=51.07 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 53203 0 0 0 5070 37 0 0 20 0 1 0 270060101 210862080 50101 33554432000 4194304 10169799 140735890519392 140735890515464 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 51480 50101 835 1459 0 50012 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 205920
[startup+102.307 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 10067
/proc/meminfo: memFree=28565832/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=205884 CPUtime=102.27 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 70045 0 0 0 10175 52 0 0 20 0 1 0 270060101 210825216 50188 33554432000 4194304 10169799 140735890519392 140735890513064 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 51471 50188 864 1459 0 50003 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 205884
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 10067
/proc/meminfo: memFree=28563856/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=208480 CPUtime=162.25 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 78200 0 0 0 16159 66 0 0 20 0 1 0 270060101 213483520 50861 33554432000 4194304 10169799 140735890519392 140735890513464 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 52120 50861 865 1459 0 50652 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 208480
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 10067
/proc/meminfo: memFree=28562992/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=209984 CPUtime=222.24 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 78471 0 0 0 22144 80 0 0 20 0 1 0 270060101 215023616 51132 33554432000 4194304 10169799 140735890519392 140735890514088 8052334 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 52496 51132 865 1459 0 51028 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 209984
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 10071
/proc/meminfo: memFree=28561332/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=211132 CPUtime=282.23 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 78886 0 0 0 28130 93 0 0 20 0 1 0 270060101 216199168 51544 33554432000 4194304 10169799 140735890519392 140735890513800 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 52783 51544 865 1459 0 51315 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 211132
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 10071
/proc/meminfo: memFree=28561092/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=212060 CPUtime=342.23 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 79026 0 0 0 34117 106 0 0 20 0 1 0 270060101 217149440 51684 33554432000 4194304 10169799 140735890519392 140735890513464 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53015 51684 865 1459 0 51547 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 212060
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 10071
/proc/meminfo: memFree=28562872/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=211100 CPUtime=402.21 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 79777 0 0 0 40102 119 0 0 20 0 1 0 270060101 216166400 51497 33554432000 4194304 10169799 140735890519392 140735890513992 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 52775 51497 865 1459 0 51307 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 211100
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 10071
/proc/meminfo: memFree=28563988/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=212136 CPUtime=462.2 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 80075 0 0 0 46086 134 0 0 20 0 1 0 270060101 217227264 51795 33554432000 4194304 10169799 140735890519392 140735890513848 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53034 51795 865 1459 0 51566 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 212136
[startup+522.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 10071
/proc/meminfo: memFree=28563412/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=212664 CPUtime=522.19 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 80216 0 0 0 52069 150 0 0 20 0 1 0 270060101 217767936 51934 33554432000 4194304 10169799 140735890519392 140735890513992 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53166 51934 865 1459 0 51698 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 212664
[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 10072
/proc/meminfo: memFree=28563160/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=213160 CPUtime=582.18 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 81141 0 0 0 58053 165 0 0 20 0 1 0 270060101 218275840 51914 33554432000 4194304 10169799 140735890519392 140735890513656 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53290 51914 865 1459 0 51822 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 213160
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27711624/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=214476 CPUtime=1122.09 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 86251 0 0 0 111907 302 0 0 20 0 1 0 270060101 219623424 52392 33554432000 4194304 10169799 140735890519392 140735890513992 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53619 52392 865 1459 0 52151 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 214476
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10115
/proc/meminfo: memFree=27659200/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=213152 CPUtime=1182.08 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 86737 0 0 0 117891 317 0 0 20 0 1 0 270060101 218267648 52020 33554432000 4194304 10169799 140735890519392 140735890514184 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53288 52020 865 1459 0 51820 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 213152
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10115
/proc/meminfo: memFree=27446968/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=214836 CPUtime=1242.07 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 92278 0 0 0 123875 332 0 0 20 0 1 0 270060101 219992064 52471 33554432000 4194304 10169799 140735890519392 140735890513800 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53709 52471 865 1459 0 52241 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 214836
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27347700/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=214448 CPUtime=1302.07 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 93106 0 0 0 129860 347 0 0 20 0 1 0 270060101 219594752 52389 33554432000 4194304 10169799 140735890519392 140735890513992 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53612 52389 865 1459 0 52144 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 214448
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27327600/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216144 CPUtime=1362.05 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 93514 0 0 0 135844 361 0 0 20 0 1 0 270060101 221331456 52797 33554432000 4194304 10169799 140735890519392 140735890513896 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54036 52797 865 1459 0 52568 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 216144
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10115
/proc/meminfo: memFree=27324376/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=215208 CPUtime=1422.05 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 95354 0 0 0 141830 375 0 0 20 0 1 0 270060101 220372992 52563 33554432000 4194304 10169799 140735890519392 140735890513800 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53802 52563 865 1459 0 52334 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 215208
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=27302632/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=215868 CPUtime=1482.03 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 95521 0 0 0 147812 391 0 0 20 0 1 0 270060101 221048832 52728 33554432000 4194304 10169799 140735890519392 140735890514184 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53967 52728 865 1459 0 52499 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 215868
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 10142
/proc/meminfo: memFree=27303220/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=215868 CPUtime=1542.02 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 95550 0 0 0 153798 404 0 0 20 0 1 0 270060101 221048832 52757 33554432000 4194304 10169799 140735890519392 140735890514376 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 53967 52757 865 1459 0 52499 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 215868
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10142
/proc/meminfo: memFree=27302168/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216204 CPUtime=1602 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 95599 0 0 0 159781 419 0 0 20 0 1 0 270060101 221392896 52806 33554432000 4194304 10169799 140735890519392 140735890513896 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54051 52806 865 1459 0 52583 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 216204
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 10142
/proc/meminfo: memFree=27296988/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216204 CPUtime=1662 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 95614 0 0 0 165768 432 0 0 20 0 1 0 270060101 221392896 52821 33554432000 4194304 10169799 140735890519392 140735890513800 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54051 52821 865 1459 0 52583 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 216204
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10142
/proc/meminfo: memFree=27286848/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216204 CPUtime=1721.99 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 95614 0 0 0 171752 447 0 0 20 0 1 0 270060101 221392896 52821 33554432000 4194304 10169799 140735890519392 140735890513848 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54051 52821 865 1459 0 52583 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 216204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10143
/proc/meminfo: memFree=27286552/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216148 CPUtime=1781.97 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 101142 0 0 0 177738 459 0 0 20 0 1 0 270060101 221335552 52711 33554432000 4194304 10169799 140735890519392 140735890513416 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54037 52711 865 1459 0 52569 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 216148
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10143
/proc/meminfo: memFree=27286800/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216148 CPUtime=1785.18 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 101142 0 0 0 178058 460 0 0 20 0 1 0 270060101 221335552 52711 33554432000 4194304 10169799 140735890519392 140735890513144 8044574 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54037 52711 865 1459 0 52569 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 216148
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10143
/proc/meminfo: memFree=27286416/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216148 CPUtime=1791.59 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 101142 0 0 0 178698 461 0 0 20 0 1 0 270060101 221335552 52711 33554432000 4194304 10169799 140735890519392 140735890512680 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54037 52711 865 1459 0 52569 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 216148
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10143
/proc/meminfo: memFree=27286540/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216148 CPUtime=1794.78 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 101142 0 0 0 179016 462 0 0 20 0 1 0 270060101 221335552 52711 33554432000 4194304 10169799 140735890519392 140735890513416 8004838 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54037 52711 865 1459 0 52569 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 216148
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10143
/proc/meminfo: memFree=27286540/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216148 CPUtime=1795.58 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 101142 0 0 0 179095 463 0 0 20 0 1 0 270060101 221335552 52711 33554432000 4194304 10169799 140735890519392 140735890513800 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54037 52711 865 1459 0 52569 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 216148
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10143
/proc/meminfo: memFree=27286540/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216148 CPUtime=1796.38 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 101142 0 0 0 179175 463 0 0 20 0 1 0 270060101 221335552 52711 33554432000 4194304 10169799 140735890519392 140735890514184 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54037 52711 865 1459 0 52569 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 216148
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10143
/proc/meminfo: memFree=27286540/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216148 CPUtime=1796.58 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 101142 0 0 0 179195 463 0 0 20 0 1 0 270060101 221335552 52711 33554432000 4194304 10169799 140735890519392 140735890514184 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54037 52711 865 1459 0 52569 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (KiB) 216148
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10143
/proc/meminfo: memFree=27286540/32873648 swapFree=6856/6856
[pid=10066] ppid=10064 vsize=216148 CPUtime=1796.68 cores=0,2,4,6
/proc/10066/stat : 10066 (scip-2.1.1.4sfi) R 10064 10066 7220 0 -1 4202496 101142 0 0 0 179205 463 0 0 20 0 1 0 270060101 221335552 52711 33554432000 4194304 10169799 140735890519392 140735890514184 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 54037 52711 865 1459 0 52569 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 216148
Child status: 0
Real time (s): 1797.09
CPU time (s): 1796.78
CPU user time (s): 1792.14
CPU system time (s): 4.64129
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 216988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.14
system time used= 4.64129
maximum resident set size= 212016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101150
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= 24
involuntary context switches= 2029
runsolver used 3.15152 second user time and 7.85081 second system time
The end