0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450249-1307114904.opb>
0.03/0.04 c original problem has 3216 variables (3216 bin, 0 int, 0 impl, 0 cont) and 3658 constraints
0.03/0.04 c problem read
0.03/0.04 c presolving settings loaded
0.03/0.06 c presolving:
0.03/0.07 c (round 1) 6 del vars, 1 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6420 impls, 63 clqs
0.03/0.07 c (round 2) 6 del vars, 3211 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6420 impls, 63 clqs
0.03/0.08 c (round 3) 6 del vars, 3211 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 6420 impls, 63 clqs
0.19/0.21 c (0.2s) probing: 101/3210 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (4 rounds):
0.19/0.21 c 6 deleted vars, 3211 deleted constraints, 0 added constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 6420 implications, 447 cliques
0.19/0.21 c presolved problem has 3210 variables (3210 bin, 0 int, 0 impl, 0 cont) and 447 constraints
0.19/0.21 c 384 constraints of type <knapsack>
0.19/0.21 c 63 constraints of type <setppc>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.16
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 2.0.1.5
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1800
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 13950
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # belongs reading time to solving time?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c timing/reading = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/indicator/addCouplingCons = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c 0.3s| 1 | 0 | 605 | - | 15M| 0 | 60 |3210 | 534 |3210 | 447 | 0 | 87 | 0 | 6.000000e+00 | -- | Inf
0.79/0.85 c 0.8s| 1 | 0 | 2824 | - | 17M| 0 | 92 |3210 | 760 |3210 | 475 | 28 | 87 | 0 | 6.000000e+00 | -- | Inf
0.89/1.02 c 1.0s| 1 | 0 | 2940 | - | 17M| 0 | 127 |3210 | 760 |3210 | 503 | 56 | 87 | 0 | 6.000000e+00 | -- | Inf
1.19/1.26 c 1.3s| 1 | 0 | 3636 | - | 17M| 0 | 147 |3210 | 760 |3210 | 526 | 79 | 87 | 0 | 6.000000e+00 | -- | Inf
1.49/1.54 c 1.5s| 1 | 0 | 4349 | - | 18M| 0 | 164 |3210 | 760 |3210 | 545 | 98 | 87 | 0 | 6.000000e+00 | -- | Inf
1.69/1.78 c 1.8s| 1 | 0 | 4754 | - | 18M| 0 | 175 |3210 | 760 |3210 | 567 | 120 | 87 | 0 | 6.000000e+00 | -- | Inf
1.99/2.01 c 2.0s| 1 | 0 | 4962 | - | 19M| 0 | 188 |3210 | 760 |3210 | 585 | 138 | 87 | 0 | 6.000000e+00 | -- | Inf
3.21/3.30 c 3.3s| 1 | 2 | 4962 | - | 19M| 0 | 188 |3210 | 760 |3210 | 585 | 138 | 87 | 18 | 6.000000e+00 | -- | Inf
125.79/125.88 c 126s| 10000 | 443 |474410 | 46.9 | 25M| 197 | - |3210 |5014 |3210 | 538 | 138 | 11k|5802 | 6.000000e+00 | -- | Inf
216.19/216.26 c 216s| 20000 | 840 |916318 | 45.6 | 29M| 197 | 36 |3210 |6088 |3210 | 538 | 138 | 20k|8114 | 6.000000e+00 | -- | Inf
302.10/302.12 c 302s| 30000 | 1195 | 1316k| 43.7 | 31M| 197 | 37 |3210 |5922 |3210 | 538 | 138 | 30k| 11k| 6.000000e+00 | -- | Inf
391.81/391.88 c 392s| 40000 | 1711 | 1779k| 44.4 | 35M| 197 | 37 |3210 |6207 |3210 | 538 | 138 | 40k| 13k| 6.000000e+00 | -- | Inf
469.90/469.90 c 470s| 50000 | 2146 | 2207k| 44.1 | 38M| 197 | - |3210 |5793 |3210 | 538 | 138 | 50k| 14k| 6.000000e+00 | -- | Inf
559.71/559.74 c 560s| 60000 | 2402 | 2675k| 44.5 | 40M| 197 | - |3210 |5965 |3210 | 538 | 138 | 58k| 16k| 6.000000e+00 | -- | Inf
642.81/642.83 c 643s| 70000 | 2655 | 3094k| 44.1 | 43M| 197 | - |3210 |5967 |3210 | 538 | 138 | 67k| 18k| 6.000000e+00 | -- | Inf
715.21/715.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.21/715.26 c 715s| 80000 | 2950 | 3454k| 43.1 | 45M| 197 | - |3210 |6213 |3210 | 538 | 138 | 75k| 20k| 6.000000e+00 | -- | Inf
760.41/760.47 c 760s| 90000 | 3077 | 3696k| 41.0 | 46M| 197 | - |3210 |6532 |3210 | 538 | 138 | 79k| 20k| 6.000000e+00 | -- | Inf
836.91/836.91 c 837s|100000 | 3555 | 4064k| 40.6 | 48M| 197 | - |3210 |5803 |3210 | 538 | 138 | 86k| 23k| 6.000000e+00 | -- | Inf
899.01/899.02 c 899s|110000 | 3864 | 4379k| 39.8 | 51M| 197 | 33 |3210 |6406 |3210 | 538 | 138 | 96k| 24k| 6.000000e+00 | -- | Inf
951.72/951.74 c 952s|120000 | 3813 | 4695k| 39.1 | 52M| 197 | - |3210 |7155 | 0 | 0 | 138 | 105k| 25k| 6.000000e+00 | -- | Inf
1014.72/1014.71 c 1015s|130000 | 4004 | 5036k| 38.7 | 53M| 197 | 58 |3210 |6799 |3210 | 538 | 138 | 114k| 25k| 6.000000e+00 | -- | Inf
1080.32/1080.38 c 1080s|140000 | 4190 | 5351k| 38.2 | 53M| 197 | - |3210 |6214 |3210 | 538 | 138 | 123k| 27k| 6.000000e+00 | -- | Inf
1169.73/1169.75 c 1170s|150000 | 4556 | 5818k| 38.8 | 55M| 197 | - |3210 |5672 | 0 | 0 | 138 | 131k| 30k| 6.000000e+00 | -- | Inf
1243.23/1243.27 c 1243s|160000 | 4866 | 6263k| 39.1 | 58M| 197 | 64 |3210 |6081 |3210 | 538 | 138 | 138k| 30k| 6.000000e+00 | -- | Inf
1325.03/1325.01 c 1325s|170000 | 5114 | 6682k| 39.3 | 59M| 197 | 51 |3210 |5648 |3210 | 538 | 138 | 145k| 32k| 6.000000e+00 | -- | Inf
1384.13/1384.13 c 1384s|180000 | 5474 | 6980k| 38.8 | 62M| 197 | 38 |3210 |6390 |3210 | 538 | 138 | 153k| 33k| 6.000000e+00 | -- | Inf
1446.45/1446.51 c 1447s|190000 | 5634 | 7355k| 38.7 | 63M| 197 | 58 |3210 |5877 |3210 | 538 | 138 | 160k| 34k| 6.000000e+00 | -- | Inf
1516.33/1516.35 c 1516s|200000 | 5870 | 7714k| 38.5 | 65M| 197 | 42 |3210 |6691 |3210 | 538 | 138 | 169k| 35k| 6.000000e+00 | -- | Inf
1570.64/1570.71 c 1571s|210000 | 6047 | 7993k| 38.0 | 66M| 197 | 48 |3210 |7275 |3210 | 538 | 138 | 179k| 36k| 6.000000e+00 | -- | Inf
1618.64/1618.64 c 1619s|220000 | 6147 | 8250k| 37.5 | 67M| 197 | 58 |3210 |6385 |3210 | 538 | 138 | 189k| 36k| 6.000000e+00 | -- | Inf
1706.74/1706.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.74/1706.73 c 1707s|230000 | 6532 | 8771k| 38.1 | 69M| 197 | 28 |3210 |5810 |3210 | 538 | 138 | 196k| 38k| 6.000000e+00 | -- | Inf
1772.34/1772.31 c 1772s|240000 | 6583 | 9103k| 37.9 | 70M| 197 | - |3210 |6575 | 0 | 0 | 138 | 205k| 39k| 6.000000e+00 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 243457
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +6.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.16 (included in solving)
1800.04/1800.00 c reading : 0.04 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450249-1307114904.opb
1800.04/1800.00 c Variables : 3216 (3216 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 3658 initial, 3658 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450249-1307114904.opb
1800.04/1800.00 c Variables : 3210 (3210 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 447 initial, 7854 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.09 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.02 6 0 0 6 0 3211 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 142611 0 4 0 233 20245 0 0 263180
1800.04/1800.00 c knapsack : 384 6 953451 0 1 3 14577381 13241 8976213 1201 0 0
1800.04/1800.00 c setppc : 63 6 940210 0 1 2 9699038 1831 3841211 0 0 0
1800.04/1800.00 c linear : 0+ 6 19 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c logicor : 0+ 6 326353 0 0 0 933008 12728 240201 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 275.21 0.00 0.00 275.21 0.00 0.00 0.00
1800.04/1800.00 c knapsack : 31.57 0.01 25.59 0.00 0.00 0.00 5.96
1800.04/1800.00 c setppc : 8.59 0.00 5.05 0.00 0.00 0.00 3.53
1800.04/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c logicor : 12.06 0.00 9.60 0.00 0.00 0.00 2.46
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 0 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.13 0.13 0.00
1800.04/1800.00 c rootredcost : 0.15 0.15 0.00
1800.04/1800.00 c pseudoobj : 0.09 0.09 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 4.46 27800 27765 257764 92.0 867 88.9 -
1800.04/1800.00 c infeasible LP : 167.51 87631 51423 1452254 269.0 694 85.4 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 208389 91.3 - - -
1800.04/1800.00 c applied locally : - - - 1 528.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 5 - - 675 - (maximal pool size: 1421)
1800.04/1800.00 c redcost : 6.32 142336 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.02 6 0 0 33 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.02 6 0 0 21 0
1800.04/1800.00 c cmir : 0.53 6 0 0 1803 0
1800.04/1800.00 c flowcover : 0.39 6 0 0 1200 0
1800.04/1800.00 c clique : 0.00 6 0 0 5 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.28 1 0 0 0 226
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 275.10 142611 233 20245 0 0 263180
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.08 0 0
1800.04/1800.00 c crossover : 0.07 0 0
1800.04/1800.00 c guideddiving : 0.01 0 0
1800.04/1800.00 c objpscostdiving : 0.58 13 0
1800.04/1800.00 c rootsoldiving : 0.63 13 0
1800.04/1800.00 c veclendiving : 0.78 26 0
1800.04/1800.00 c linesearchdiving : 1.39 26 0
1800.04/1800.00 c coefdiving : 6.55 26 0
1800.04/1800.00 c pscostdiving : 2.34 26 0
1800.04/1800.00 c fracdiving : 3.02 26 0
1800.04/1800.00 c feaspump : 1.23 13 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c shiftandpropagate: 0.02 1 0
1800.04/1800.00 c simplerounding : 0.03 0 0
1800.04/1800.00 c zirounding : 3.03 0 0
1800.04/1800.00 c rounding : 0.37 5269 0
1800.04/1800.00 c shifting : 2.71 1660 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.07 1 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.04 0 0
1800.04/1800.00 c trysol : 0.05 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 1201.89 228961 9170539 40.05 7630.10
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 12.85 9476 80243 8.47 6244.64
1800.04/1800.00 c strong branching : 271.37 40402 1878131 46.49 6921.02
1800.04/1800.00 c (at root node) : - 18 7620 423.33 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 243457
1800.04/1800.00 c nodes (total) : 243457
1800.04/1800.00 c nodes left : 6589
1800.04/1800.00 c max depth : 197
1800.04/1800.00 c max depth (total): 197
1800.04/1800.00 c backtracks : 37876 (15.6%)
1800.04/1800.00 c delayed cutoffs : 13137
1800.04/1800.00 c repropagations : 413210 (1825491 domain reductions, 3242 cutoffs)
1800.04/1800.00 c avg switch length: 5.60
1800.04/1800.00 c switching time : 33.82
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +6.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +6.00000000000000e+00
1800.04/1800.00 c Root Iterations : 4962
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450249-1307114904/watcher-3450249-1307114904 -o /tmp/evaluation-result-3450249-1307114904/solver-3450249-1307114904 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450249-1307114904.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.02 2.05 2.00 2/575 25648
/proc/meminfo: memFree=23526368/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=14996 CPUtime=0.01 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 2722 0 0 0 1 0 0 0 23 0 1 0 823088123 15355904 2675 33554432000 4194304 9163163 140735644444192 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25648/statm: 3749 2675 395 1214 0 2531 0
[startup+0.0392041 s]
/proc/loadavg: 2.02 2.05 2.00 2/575 25648
/proc/meminfo: memFree=23526368/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=17600 CPUtime=0.03 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 3368 0 0 0 3 0 0 0 23 0 1 0 823088123 18022400 3321 33554432000 4194304 9163163 140735644444192 18446744073709551615 8031157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25648/statm: 4400 3321 395 1214 0 3182 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17600
[startup+0.100183 s]
/proc/loadavg: 2.02 2.05 2.00 2/575 25648
/proc/meminfo: memFree=23526368/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=35120 CPUtime=0.09 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 7896 0 0 0 8 1 0 0 23 0 1 0 823088123 35962880 7525 33554432000 4194304 9163163 140735644444192 18446744073709551615 5099026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 8780 7533 533 1214 0 7562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35120
[startup+0.300158 s]
/proc/loadavg: 2.02 2.05 2.00 2/575 25648
/proc/meminfo: memFree=23526368/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=47272 CPUtime=0.29 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 11669 0 0 0 27 2 0 0 25 0 1 0 823088123 48406528 10754 33554432000 4194304 9163163 140735644444192 18446744073709551615 4823254 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 11818 10754 701 1214 0 10600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47272
[startup+0.701076 s]
/proc/loadavg: 2.02 2.05 2.00 2/575 25648
/proc/meminfo: memFree=23526368/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=75596 CPUtime=0.69 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 18562 0 0 0 66 3 0 0 25 0 1 0 823088123 77410304 17641 33554432000 4194304 9163163 140735644444192 18446744073709551615 6571157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 18899 17641 733 1214 0 17681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75596
[startup+1.50093 s]
/proc/loadavg: 2.02 2.05 2.00 3/576 25649
/proc/meminfo: memFree=23457684/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=74696 CPUtime=1.49 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 19116 0 0 0 145 4 0 0 25 0 1 0 823088123 76488704 17469 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 18674 17469 724 1214 0 17456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74696
[startup+3.10063 s]
/proc/loadavg: 2.02 2.05 2.00 3/576 25649
/proc/meminfo: memFree=23452600/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=77496 CPUtime=3.09 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 20100 0 0 0 301 8 0 0 25 0 1 0 823088123 79355904 18453 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 19374 18453 733 1214 0 18156 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77496
[startup+6.30105 s]
/proc/loadavg: 2.02 2.05 2.00 3/576 25649
/proc/meminfo: memFree=23452936/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=77496 CPUtime=6.29 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 20100 0 0 0 612 17 0 0 25 0 1 0 823088123 79355904 18453 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 19374 18453 733 1214 0 18156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77496
[startup+12.7009 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25649
/proc/meminfo: memFree=23452332/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=77496 CPUtime=12.7 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 20101 0 0 0 1235 35 0 0 25 0 1 0 823088123 79355904 18454 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 19374 18454 734 1214 0 18156 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 77496
[startup+25.5005 s]
/proc/loadavg: 2.16 2.07 2.01 3/576 25650
/proc/meminfo: memFree=23451860/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=77496 CPUtime=25.5 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 20101 0 0 0 2483 67 0 0 25 0 1 0 823088123 79355904 18454 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 19374 18454 734 1214 0 18156 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 77496
[startup+51.1009 s]
/proc/loadavg: 2.10 2.07 2.01 3/576 25650
/proc/meminfo: memFree=23451656/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=77496 CPUtime=51.09 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 20104 0 0 0 4976 133 0 0 25 0 1 0 823088123 79355904 18456 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25648/statm: 19374 18456 734 1214 0 18156 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77496
[startup+102.323 s]
/proc/loadavg: 2.14 2.08 2.01 3/576 25652
/proc/meminfo: memFree=23449344/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=77496 CPUtime=102.31 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 20105 0 0 0 9958 273 0 0 25 0 1 0 823088123 79355904 18457 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 19374 18457 735 1214 0 18156 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 77496
[startup+162.301 s]
/proc/loadavg: 2.09 2.08 2.01 3/576 25653
/proc/meminfo: memFree=23445212/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=77792 CPUtime=162.29 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 20190 0 0 0 15781 448 0 0 25 0 1 0 823088123 79659008 18542 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 19448 18542 735 1214 0 18230 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 77792
[startup+222.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/576 25655
/proc/meminfo: memFree=23437988/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=81660 CPUtime=222.29 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 21068 0 0 0 21618 611 0 0 25 0 1 0 823088123 83619840 19420 33554432000 4194304 9163163 140735644444192 18446744073709551615 6501027 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 20415 19420 735 1214 0 19197 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 81660
[startup+282.301 s]
/proc/loadavg: 2.13 2.08 2.01 3/576 25657
/proc/meminfo: memFree=23433224/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=85944 CPUtime=282.3 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 22250 0 0 0 27457 773 0 0 25 0 1 0 823088123 88006656 20599 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 21486 20599 733 1214 0 20268 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 85944
[startup+342.301 s]
/proc/loadavg: 2.10 2.08 2.01 3/576 25658
/proc/meminfo: memFree=23428932/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=90632 CPUtime=342.3 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 23401 0 0 0 33291 939 0 0 25 0 1 0 823088123 92807168 21750 33554432000 4194304 9163163 140735644444192 18446744073709551615 7375469 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 22658 21750 733 1214 0 21440 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 90632
[startup+402.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/576 25660
/proc/meminfo: memFree=23424184/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=94432 CPUtime=402.3 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 24374 0 0 0 39124 1106 0 0 25 0 1 0 823088123 96698368 22723 33554432000 4194304 9163163 140735644444192 18446744073709551615 6501023 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 23608 22723 733 1214 0 22390 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 94432
[startup+462.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/576 25661
/proc/meminfo: memFree=23418204/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=99784 CPUtime=462.3 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 26260 0 0 0 44955 1275 0 0 25 0 1 0 823088123 102178816 23954 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 24946 23954 733 1214 0 23728 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 99784
[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 25690
/proc/meminfo: memFree=23351696/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=101708 CPUtime=522.3 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 26851 0 0 0 50808 1422 0 0 25 0 1 0 823088123 104148992 24545 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 25427 24545 733 1214 0 24209 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 101708
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25692
/proc/meminfo: memFree=23348724/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=105084 CPUtime=582.31 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 27599 0 0 0 56700 1531 0 0 25 0 1 0 823088123 107606016 25293 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 26271 25293 733 1214 0 25053 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 105084
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/576 25698
/proc/meminfo: memFree=23335756/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=117644 CPUtime=822.31 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 32465 0 0 0 80253 1978 0 0 25 0 1 0 823088123 120467456 28446 33554432000 4194304 9163163 140735644444192 18446744073709551615 7195872 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 29411 28446 733 1214 0 28193 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 117644
[startup+882.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/576 25700
/proc/meminfo: memFree=23332516/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=120532 CPUtime=882.32 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 33800 0 0 0 86139 2093 0 0 25 0 1 0 823088123 123424768 29230 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 30133 29230 733 1214 0 28915 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 120532
[startup+942.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/576 25701
/proc/meminfo: memFree=23331500/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=122508 CPUtime=942.31 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 34194 0 0 0 92032 2199 0 0 25 0 1 0 823088123 125448192 29624 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 30627 29624 733 1214 0 29409 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 122508
[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/576 25703
/proc/meminfo: memFree=23328872/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=124608 CPUtime=1002.32 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 34838 0 0 0 97929 2303 0 0 25 0 1 0 823088123 127598592 30268 33554432000 4194304 9163163 140735644444192 18446744073709551615 6500998 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 31152 30268 733 1214 0 29934 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 124608
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25704
/proc/meminfo: memFree=23327236/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=126904 CPUtime=1062.32 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 35395 0 0 0 103820 2412 0 0 25 0 1 0 823088123 129949696 30825 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 31726 30825 733 1214 0 30508 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 126904
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25706
/proc/meminfo: memFree=23324112/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=129408 CPUtime=1122.33 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 35931 0 0 0 109700 2533 0 0 25 0 1 0 823088123 132513792 31361 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 32352 31361 733 1214 0 31134 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 129408
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25708
/proc/meminfo: memFree=23318756/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=132772 CPUtime=1182.32 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 38137 0 0 0 115583 2649 0 0 25 0 1 0 823088123 135958528 32300 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 33193 32300 733 1214 0 31975 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 132772
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25709
/proc/meminfo: memFree=23316000/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=133936 CPUtime=1242.32 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 39084 0 0 0 121466 2766 0 0 25 0 1 0 823088123 137150464 32595 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 33484 32595 733 1214 0 32266 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 133936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 25711
/proc/meminfo: memFree=23313736/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=135744 CPUtime=1302.34 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 41321 0 0 0 127359 2875 0 0 25 0 1 0 823088123 139001856 33022 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 33936 33022 733 1214 0 32718 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 135744
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/576 25712
/proc/meminfo: memFree=23310596/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=139156 CPUtime=1362.33 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 42868 0 0 0 133248 2985 0 0 25 0 1 0 823088123 142495744 33888 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 34789 33888 733 1214 0 33571 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 139156
[startup+1422.32 s]
/proc/loadavg: 2.15 2.07 2.02 3/576 25714
/proc/meminfo: memFree=23309572/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=141108 CPUtime=1422.35 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 43355 0 0 0 139140 3095 0 0 25 0 1 0 823088123 144494592 34375 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 35277 34375 733 1214 0 34059 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 141108
[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/576 25716
/proc/meminfo: memFree=23307080/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=141856 CPUtime=1482.34 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 44234 0 0 0 145030 3204 0 0 25 0 1 0 823088123 145260544 34576 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 35464 34576 733 1214 0 34246 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 141856
[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/576 25717
/proc/meminfo: memFree=23302704/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=144876 CPUtime=1542.33 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 45440 0 0 0 150914 3319 0 0 25 0 1 0 823088123 148353024 35316 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 36219 35316 733 1214 0 35001 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 144876
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 25719
/proc/meminfo: memFree=23299948/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=146788 CPUtime=1602.34 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 45936 0 0 0 156806 3428 0 0 25 0 1 0 823088123 150310912 35812 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 36697 35812 733 1214 0 35479 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 146788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 25720
/proc/meminfo: memFree=23294088/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=149092 CPUtime=1662.33 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 46524 0 0 0 162688 3545 0 0 25 0 1 0 823088123 152670208 36400 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 37273 36400 733 1214 0 36055 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 149092
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25722
/proc/meminfo: memFree=23289724/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=150820 CPUtime=1722.34 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 48235 0 0 0 168575 3659 0 0 25 0 1 0 823088123 154439680 36819 33554432000 4194304 9163163 140735644444192 18446744073709551615 6500933 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 37705 36819 733 1214 0 36487 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 150820
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25724
/proc/meminfo: memFree=23282752/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=154300 CPUtime=1782.34 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 49084 0 0 0 174464 3770 0 0 25 0 1 0 823088123 158003200 37668 33554432000 4194304 9163163 140735644444192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25648/statm: 38575 37668 733 1214 0 37357 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 154300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 25724
/proc/meminfo: memFree=23283484/32951124 swapFree=58940260/67111528
[pid=25648] ppid=25646 vsize=154300 CPUtime=1800.05 cores=1,3,5,7
/proc/25648/stat : 25648 (scip-2.0.1.4b.l) R 25646 25648 23203 0 -1 4202496 49104 0 0 0 176202 3803 0 0 18 0 1 0 823088123 158003200 37688 33554432000 4194304 9163163 140735644444192 18446744073709551615 7322363 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25648/statm: 38575 37688 736 1214 0 37357 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 154300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1762.04
CPU system time (s): 38.0462
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 154300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.04
system time used= 38.0462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49104
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= 6
involuntary context switches= 2472
runsolver used 10.2654 second user time and 24.1353 second system time
The end