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-3692953-1338041284.opb>
1.49/1.64 c original problem has 26339 variables (26339 bin, 0 int, 0 impl, 0 cont) and 612374 constraints
1.49/1.64 c problem read in 1.65
3.39/3.46 c presolving:
5.19/5.21 c (round 1) 8289 del vars, 133981 del conss, 0 add conss, 8288 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 337806 impls, 596 clqs
5.69/5.79 c (round 2) 12741 del vars, 253596 del conss, 0 add conss, 8288 chg bounds, 8238 chg sides, 10432 chg coeffs, 0 upgd conss, 401608 impls, 596 clqs
6.19/6.22 c (round 3) 13047 del vars, 264647 del conss, 0 add conss, 8288 chg bounds, 9939 chg sides, 12640 chg coeffs, 0 upgd conss, 402290 impls, 596 clqs
8.28/8.36 c (round 4) 13047 del vars, 264677 del conss, 0 add conss, 8288 chg bounds, 9951 chg sides, 12640 chg coeffs, 348490 upgd conss, 402290 impls, 596 clqs
9.09/9.11 c (round 5) 13047 del vars, 265515 del conss, 62 add conss, 8288 chg bounds, 10039 chg sides, 13644 chg coeffs, 348490 upgd conss, 402290 impls, 596 clqs
9.68/9.71 c (round 6) 13047 del vars, 265687 del conss, 222 add conss, 8288 chg bounds, 10269 chg sides, 14322 chg coeffs, 348802 upgd conss, 403010 impls, 600 clqs
10.29/10.31 c (round 7) 13047 del vars, 266020 del conss, 231 add conss, 8288 chg bounds, 10282 chg sides, 14457 chg coeffs, 348815 upgd conss, 403040 impls, 600 clqs
10.79/10.85 c (round 8) 13047 del vars, 266041 del conss, 239 add conss, 8288 chg bounds, 10294 chg sides, 14493 chg coeffs, 348829 upgd conss, 403064 impls, 600 clqs
11.69/11.76 c (11.7s) probing: 52/13292 (0.4%) - 0 fixings, 0 aggregations, 248 implications, 0 bound changes
11.69/11.76 c (11.7s) probing aborted: 50/50 successive totally useless probings
17.59/17.62 c presolving (9 rounds):
17.59/17.62 c 13047 deleted vars, 266059 deleted constraints, 239 added constraints, 8288 tightened bounds, 0 added holes, 10294 changed sides, 14499 changed coefficients
17.59/17.62 c 409512 implications, 600 cliques
17.59/17.62 c presolved problem has 13292 variables (13292 bin, 0 int, 0 impl, 0 cont) and 346554 constraints
17.59/17.62 c 54507 constraints of type <knapsack>
17.59/17.62 c 34626 constraints of type <setppc>
17.59/17.62 c 1 constraints of type <linear>
17.59/17.62 c 257420 constraints of type <logicor>
17.59/17.62 c transformed objective value is always integral (scale: 1)
17.59/17.62 c Presolving Time: 15.53
17.59/17.62 c - non default parameters ----------------------------------------------------------------------
17.59/17.62 c # SCIP version 2.1.1.4
17.59/17.62 c
17.59/17.62 c # maximal time in seconds to run
17.59/17.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.59/17.62 c limits/time = 1797
17.59/17.62 c
17.59/17.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
17.59/17.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.59/17.62 c limits/memory = 13950
17.59/17.62 c
17.59/17.62 c # default clock type (1: CPU user seconds, 2: wall clock time)
17.59/17.62 c # [type: int, range: [1,2], default: 1]
17.59/17.62 c timing/clocktype = 2
17.59/17.62 c
17.59/17.62 c # belongs reading time to solving time?
17.59/17.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.59/17.62 c timing/reading = TRUE
17.59/17.62 c
17.59/17.62 c -----------------------------------------------------------------------------------------------
17.59/17.62 c start solving
17.59/17.63 c
36.29/36.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.29/36.30 c 36.3s| 1 | 0 | 4174 | - | 668M| 0 | 408 | 13k| 346k| 13k| 346k| 0 | 19 | 0 | 0.000000e+00 | -- | Inf
244.15/244.28 c 244s| 1 | 0 | 13926 | - | 677M| 0 | 364 | 13k| 346k| 13k| 346k| 22 | 19 | 0 | 0.000000e+00 | -- | Inf
309.24/309.35 c 309s| 1 | 0 | 14036 | - | 678M| 0 | 393 | 13k| 346k| 13k| 346k| 31 | 19 | 0 | 0.000000e+00 | -- | Inf
379.84/379.97 c 380s| 1 | 0 | 14086 | - | 680M| 0 | 355 | 13k| 346k| 13k| 346k| 37 | 19 | 0 | 0.000000e+00 | -- | Inf
481.11/481.20 c 481s| 1 | 0 | 14826 | - | 681M| 0 | 342 | 13k| 346k| 13k| 346k| 47 | 19 | 0 | 0.000000e+00 | -- | Inf
552.91/553.05 c 553s| 1 | 0 | 15312 | - | 682M| 0 | 374 | 13k| 346k| 13k| 346k| 72 | 19 | 0 | 0.000000e+00 | -- | Inf
658.29/658.41 c 658s| 1 | 0 | 15879 | - | 683M| 0 | 368 | 13k| 346k| 13k| 346k| 86 | 19 | 0 | 0.000000e+00 | -- | Inf
711.48/711.60 c 712s| 1 | 0 | 15884 | - | 683M| 0 | 345 | 13k| 346k| 13k| 346k| 86 | 19 | 15 | 0.000000e+00 | -- | Inf
814.37/814.53 c 815s| 1 | 0 | 16403 | - | 685M| 0 | 346 | 13k| 346k| 13k| 346k| 98 | 19 | 15 | 0.000000e+00 | -- | Inf
979.53/979.73 c 980s| 1 | 2 | 16403 | - | 685M| 0 | 346 | 13k| 346k| 13k| 346k| 98 | 19 | 32 | 0.000000e+00 | -- | Inf
1799.80/1800.18 c
1799.80/1800.18 c SCIP Status : solving was interrupted [time limit reached]
1799.80/1800.18 c Solving Time (sec) : 1800.16
1799.80/1800.18 c Solving Nodes : 5
1799.80/1800.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.80/1800.18 c Dual Bound : +0.00000000000000e+00
1799.80/1800.18 c Gap : infinite
1799.80/1800.18 s UNKNOWN
1799.80/1800.18 c SCIP Status : solving was interrupted [time limit reached]
1799.80/1800.18 c Total Time : 1800.16
1799.80/1800.18 c solving : 1800.16
1799.80/1800.18 c presolving : 15.53 (included in solving)
1799.80/1800.18 c reading : 1.65 (included in solving)
1799.80/1800.18 c copying : 0.59 (1 #copies) (minimal 0.59, maximal 0.59, average 0.59)
1799.80/1800.18 c Original Problem :
1799.80/1800.18 c Problem name : HOME/instance-3692953-1338041284.opb
1799.80/1800.18 c Variables : 26339 (26339 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.80/1800.18 c Constraints : 612374 initial, 612374 maximal
1799.80/1800.18 c Objective sense : minimize
1799.80/1800.18 c Presolved Problem :
1799.80/1800.18 c Problem name : t_HOME/instance-3692953-1338041284.opb
1799.80/1800.18 c Variables : 13292 (13292 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.80/1800.18 c Constraints : 346554 initial, 346573 maximal
1799.80/1800.18 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.80/1800.18 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.18 c trivial : 0.01 0.00 306 0 0 0 0 0 0 0 0
1799.80/1800.18 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.18 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.18 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.18 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.18 c gateextraction : 0.05 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.18 c implics : 0.03 0.00 0 2916 0 0 0 0 0 0 0
1799.80/1800.18 c components : 0.18 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.18 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.18 c probing : 0.58 0.00 0 0 0 0 0 0 0 0 0
1799.80/1800.19 c knapsack : 0.49 0.00 0 0 0 0 0 86 239 343 1859
1799.80/1800.19 c setppc : 0.17 0.00 0 0 0 0 0 1264 0 0 0
1799.80/1800.19 c linear : 3.67 0.00 9458 367 0 8288 0 264659 0 9951 12640
1799.80/1800.19 c logicor : 2.63 5.68 0 0 0 0 0 50 0 0 0
1799.80/1800.19 c root node : - - 5 - - 5 - - - - -
1799.80/1800.19 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1799.80/1800.19 c integral : 0 0 0 0 6 0 4 0 0 5 0 0 10
1799.80/1800.19 c knapsack : 54507 54507 7 4649 0 0 3 11 0 0 24 0 0
1799.80/1800.19 c setppc : 34626 34626 7 4649 0 0 2 41 0 363 0 0 0
1799.80/1800.19 c linear : 1 1 7 1064 0 0 0 0 0 0 0 0 0
1799.80/1800.19 c logicor : 257420+ 257439 7 1237 0 0 0 19 15 78 0 0 0
1799.80/1800.19 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1799.80/1800.19 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1799.80/1800.19 c integral : 627.62 0.00 0.00 0.00 627.62 0.00 0.00 0.00
1799.80/1800.19 c knapsack : 8.82 0.00 0.35 8.44 0.00 0.00 0.03 0.00
1799.80/1800.19 c setppc : 3.75 0.00 0.01 3.74 0.00 0.00 0.00 0.00
1799.80/1800.19 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.80/1800.19 c logicor : 6.26 5.68 0.15 0.42 0.00 0.00 0.00 0.00
1799.80/1800.19 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.80/1800.19 c Propagators : #Propagate #ResProp Cutoffs DomReds
1799.80/1800.19 c rootredcost : 0 0 0 0
1799.80/1800.19 c pseudoobj : 0 0 0 0
1799.80/1800.19 c vbounds : 0 0 0 0
1799.80/1800.19 c redcost : 13 0 0 0
1799.80/1800.19 c probing : 0 0 0 0
1799.80/1800.19 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1799.80/1800.19 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1799.80/1800.19 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1799.80/1800.19 c vbounds : 0.00 0.00 0.00 0.00 0.00
1799.80/1800.19 c redcost : 0.01 0.00 0.00 0.01 0.00
1799.80/1800.19 c probing : 0.58 0.00 0.58 0.00 0.00
1799.80/1800.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.80/1800.19 c propagation : 0.00 15 15 19 2.8 0 0.0 -
1799.80/1800.19 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.80/1800.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.80/1800.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.80/1800.19 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.80/1800.19 c applied globally : - - - 19 2.8 - - -
1799.80/1800.19 c applied locally : - - - 0 0.0 - - -
1799.80/1800.19 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1799.80/1800.19 c cut pool : 0.00 6 - - 99 - (maximal pool size: 429)
1799.80/1800.19 c closecuts : 0.00 0.00 0 0 0 0 0
1799.80/1800.19 c impliedbounds : 0.00 0.00 7 0 0 0 0
1799.80/1800.19 c intobj : 0.00 0.00 0 0 0 0 0
1799.80/1800.19 c gomory : 52.05 0.00 7 0 0 350 0
1799.80/1800.19 c cgmip : 0.00 0.00 0 0 0 0 0
1799.80/1800.19 c strongcg : 51.11 0.00 7 0 0 3500 0
1799.80/1800.19 c cmir : 66.95 0.00 7 0 0 0 0
1799.80/1800.19 c flowcover : 359.55 0.00 7 0 0 14 0
1799.80/1800.19 c clique : 1.45 0.00 7 0 0 43 0
1799.80/1800.19 c zerohalf : 0.00 0.00 0 0 0 0 0
1799.80/1800.19 c mcf : 0.35 0.00 1 0 0 0 0
1799.80/1800.19 c oddcycle : 0.00 0.00 0 0 0 0 0
1799.80/1800.19 c rapidlearning : 0.00 0.00 0 0 0 0 0
1799.80/1800.19 c Pricers : ExecTime SetupTime Calls Vars
1799.80/1800.19 c problem variables: 0.00 - 0 0
1799.80/1800.19 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1799.80/1800.19 c relpscost : 627.62 0.00 6 0 5 0 0 10
1799.80/1800.19 c pscost : 0.00 0.00 0 0 0 0 0 0
1799.80/1800.19 c inference : 0.00 0.00 0 0 0 0 0 0
1799.80/1800.19 c mostinf : 0.00 0.00 0 0 0 0 0 0
1799.80/1800.19 c leastinf : 0.00 0.00 0 0 0 0 0 0
1799.80/1800.19 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1799.80/1800.19 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1799.80/1800.19 c random : 0.00 0.00 0 0 0 0 0 0
1799.80/1800.19 c Primal Heuristics : ExecTime SetupTime Calls Found
1799.80/1800.19 c LP solutions : 0.00 - - 0
1799.80/1800.19 c pseudo solutions : 0.00 - - 0
1799.80/1800.19 c oneopt : 0.00 0.00 0 0
1799.80/1800.19 c crossover : 0.00 0.00 0 0
1799.80/1800.19 c smallcard : 0.00 0.00 0 0
1799.80/1800.19 c trivial : 0.04 0.00 2 0
1799.80/1800.19 c shiftandpropagate: 9.47 0.00 1 0
1799.80/1800.19 c simplerounding : 0.00 0.00 0 0
1799.80/1800.19 c zirounding : 0.04 0.00 0 0
1799.80/1800.19 c rounding : 0.23 0.00 13 0
1799.80/1800.19 c shifting : 14.82 0.00 9 0
1799.80/1800.19 c intshifting : 0.00 0.00 0 0
1799.80/1800.19 c twoopt : 0.00 0.00 0 0
1799.80/1800.19 c indtwoopt : 0.00 0.00 0 0
1799.80/1800.19 c indoneopt : 0.00 0.00 0 0
1799.80/1800.19 c fixandinfer : 0.00 0.00 0 0
1799.80/1800.19 c feaspump : 144.38 0.00 1 0
1799.80/1800.19 c clique : 0.00 0.00 0 0
1799.80/1800.19 c coefdiving : 163.73 0.00 1 0
1799.80/1800.19 c indrounding : 0.00 0.00 0 0
1799.80/1800.19 c indcoefdiving : 0.00 0.00 0 0
1799.80/1800.19 c pscostdiving : 209.57 0.00 2 0
1799.80/1800.19 c fracdiving : 0.00 0.00 0 0
1799.80/1800.19 c nlpdiving : 0.00 0.00 0 0
1799.80/1800.19 c veclendiving : 0.00 0.00 0 0
1799.80/1800.19 c intdiving : 0.00 0.00 0 0
1799.80/1800.19 c actconsdiving : 0.00 0.00 0 0
1799.80/1800.19 c objpscostdiving : 0.00 0.00 0 0
1799.80/1800.19 c rootsoldiving : 0.00 0.00 0 0
1799.80/1800.19 c linesearchdiving : 0.00 0.00 0 0
1799.80/1800.19 c guideddiving : 0.00 0.00 0 0
1799.80/1800.19 c octane : 0.00 0.00 0 0
1799.80/1800.19 c rens : 1.97 0.00 1 0
1799.80/1800.19 c rins : 0.00 0.00 0 0
1799.80/1800.19 c localbranching : 0.00 0.00 0 0
1799.80/1800.19 c mutation : 0.00 0.00 0 0
1799.80/1800.19 c dins : 0.00 0.00 0 0
1799.80/1800.19 c vbounds : 0.00 0.00 0 0
1799.80/1800.19 c undercover : 0.00 0.00 0 0
1799.80/1800.19 c subnlp : 0.00 0.00 0 0
1799.80/1800.19 c trysol : 0.00 0.00 0 0
1799.80/1800.19 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1799.80/1800.19 c primal LP : 1.43 1 0 0.00 0.00 1.43 1
1799.80/1800.19 c dual LP : 76.90 14 9085 698.85 118.15 0.55 1
1799.80/1800.19 c lex dual LP : 0.00 0 0 0.00 -
1799.80/1800.19 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1799.80/1800.19 c diving/probing LP: 495.97 604 15724 26.03 31.70
1799.80/1800.19 c strong branching : 627.55 96 31338 326.44 49.94
1799.80/1800.19 c (at root node) : - 32 11679 364.97 -
1799.80/1800.19 c conflict analysis: 0.00 0 0 0.00 -
1799.80/1800.19 c B&B Tree :
1799.80/1800.19 c number of runs : 1
1799.80/1800.19 c nodes : 5
1799.80/1800.19 c nodes (total) : 5
1799.80/1800.19 c nodes left : 6
1799.80/1800.19 c max depth : 2
1799.80/1800.19 c max depth (total): 2
1799.80/1800.19 c backtracks : 2 (40.0%)
1799.80/1800.19 c delayed cutoffs : 0
1799.80/1800.19 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.80/1800.19 c avg switch length: 1.80
1799.80/1800.19 c switching time : 1.49
1799.80/1800.19 c Solution :
1799.80/1800.19 c Solutions found : 0 (0 improvements)
1799.80/1800.19 c Primal Bound : -
1799.80/1800.19 c Dual Bound : +0.00000000000000e+00
1799.80/1800.19 c Gap : infinite
1799.80/1800.19 c Root Dual Bound : +0.00000000000000e+00
1799.80/1800.19 c Root Iterations : 16403
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-3692953-1338041284/watcher-3692953-1338041284 -o /tmp/evaluation-result-3692953-1338041284/solver-3692953-1338041284 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692953-1338041284.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: 2.07 2.08 2.02 3/176 9441
/proc/meminfo: memFree=18855600/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=10336 CPUtime=0 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 1348 0 0 0 0 0 0 0 20 0 1 0 270252922 10584064 1302 33554432000 4194304 10169799 140734368766496 140734368632184 5281244 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 2619 1306 409 1459 0 1151 0
[startup+0.102095 s]
/proc/loadavg: 2.07 2.08 2.02 3/176 9441
/proc/meminfo: memFree=18855600/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=24300 CPUtime=0.1 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 4805 0 0 0 9 1 0 0 20 0 1 0 270252922 24883200 4756 33554432000 4194304 10169799 140734368766496 140734368632184 8982256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 6075 4756 409 1459 0 4607 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 24300
[startup+0.200338 s]
/proc/loadavg: 2.07 2.08 2.02 3/176 9441
/proc/meminfo: memFree=18855600/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=35932 CPUtime=0.19 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 7728 0 0 0 18 1 0 0 20 0 1 0 270252922 36794368 7679 33554432000 4194304 10169799 140734368766496 140734368632184 8726843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 8983 7679 409 1459 0 7515 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35932
[startup+0.300306 s]
/proc/loadavg: 2.07 2.08 2.02 3/176 9441
/proc/meminfo: memFree=18855600/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=50060 CPUtime=0.29 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 11270 0 0 0 28 1 0 0 20 0 1 0 270252922 51261440 11221 33554432000 4194304 10169799 140734368766496 140734368632184 5477139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 12515 11221 409 1459 0 11047 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50060
[startup+0.700283 s]
/proc/loadavg: 2.07 2.08 2.02 3/176 9441
/proc/meminfo: memFree=18855600/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=99592 CPUtime=0.69 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 23622 0 0 0 65 4 0 0 20 0 1 0 270252922 101982208 23573 33554432000 4194304 10169799 140734368766496 140734368632824 4633553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 24898 23573 409 1459 0 23430 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99592
[startup+1.50028 s]
/proc/loadavg: 2.07 2.08 2.02 3/177 9442
/proc/meminfo: memFree=18713092/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=199656 CPUtime=1.49 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 48542 0 0 0 143 6 0 0 20 0 1 0 270252922 204447744 48494 33554432000 4194304 10169799 140734368766496 140734368632200 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 49914 48530 409 1459 0 48446 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 199656
[startup+3.10028 s]
/proc/loadavg: 2.14 2.09 2.03 3/177 9442
/proc/meminfo: memFree=18240652/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=862688 CPUtime=3.09 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 210189 0 0 0 279 30 0 0 20 0 1 0 270252922 883392512 210041 33554432000 4194304 10169799 140734368766496 140734368763160 8824936 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 215672 210041 497 1459 0 214204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 862688
[startup+6.30028 s]
/proc/loadavg: 2.14 2.09 2.03 3/177 9442
/proc/meminfo: memFree=18101540/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=797960 CPUtime=6.29 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 234341 0 0 0 551 78 0 0 20 0 1 0 270252922 817111040 193495 33554432000 4194304 10169799 140734368766496 140734368764648 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 199490 193495 564 1459 0 198022 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 797960
[startup+12.7003 s]
/proc/loadavg: 2.12 2.09 2.03 3/177 9442
/proc/meminfo: memFree=18036480/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=815256 CPUtime=12.69 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 266683 0 0 0 1139 130 0 0 20 0 1 0 270252922 834822144 196476 33554432000 4194304 10169799 140734368766496 140734368765256 4950556 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 203814 196476 627 1459 0 202346 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 815256
[startup+25.5003 s]
/proc/loadavg: 2.10 2.08 2.03 3/177 9442
/proc/meminfo: memFree=17693128/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1157604 CPUtime=25.48 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 318840 0 0 0 2407 141 0 0 20 0 1 0 270252922 1185386496 273386 33554432000 4194304 10169799 140734368766496 140734368763528 6361361 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 289401 273386 696 1459 0 287933 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1157604
[startup+51.1003 s]
/proc/loadavg: 2.06 2.08 2.02 3/177 9442
/proc/meminfo: memFree=17373468/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1439820 CPUtime=51.09 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 368665 0 0 0 4955 154 0 0 20 0 1 0 270252922 1474375680 345550 33554432000 4194304 10169799 140734368766496 140734368758072 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 359955 345550 790 1459 0 358487 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1439820
[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 9442
/proc/meminfo: memFree=17352308/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1439820 CPUtime=102.27 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 368817 0 0 0 10073 154 0 0 20 0 1 0 270252922 1474375680 345702 33554432000 4194304 10169799 140734368766496 140734368758808 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 359955 345702 790 1459 0 358487 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1439820
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/178 9446
/proc/meminfo: memFree=17311748/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1450740 CPUtime=162.27 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 369951 0 0 0 16070 157 0 0 20 0 1 0 270252922 1485557760 347130 33554432000 4194304 10169799 140734368766496 140734368758072 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 362685 347130 790 1459 0 361217 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1450740
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 9446
/proc/meminfo: memFree=17361304/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1346292 CPUtime=222.25 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 370406 0 0 0 22067 158 0 0 20 0 1 0 270252922 1378603008 326366 33554432000 4194304 10169799 140734368766496 140734368762808 7280659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 336573 326366 807 1459 0 335105 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1346292
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 9446
/proc/meminfo: memFree=17267212/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1453144 CPUtime=282.25 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 374568 0 0 0 28062 163 0 0 20 0 1 0 270252922 1488019456 345834 33554432000 4194304 10169799 140734368766496 140734368762808 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 363286 345834 821 1459 0 361818 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1453144
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9446
/proc/meminfo: memFree=17199416/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1467500 CPUtime=342.24 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 374579 0 0 0 34060 164 0 0 20 0 1 0 270252922 1502720000 346867 33554432000 4194304 10169799 140734368766496 140734368762808 7280635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 366875 346867 821 1459 0 365407 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1467500
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9446
/proc/meminfo: memFree=17191440/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1477508 CPUtime=402.23 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 375063 0 0 0 40056 167 0 0 20 0 1 0 270252922 1512968192 348884 33554432000 4194304 10169799 140734368766496 140734368762488 7654896 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 369377 348884 821 1459 0 367909 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1477508
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9485
/proc/meminfo: memFree=27373468/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1477508 CPUtime=462.22 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 375063 0 0 0 46054 168 0 0 20 0 1 0 270252922 1512968192 348884 33554432000 4194304 10169799 140734368766496 140734368762808 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 369377 348884 821 1459 0 367909 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1477508
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9485
/proc/meminfo: memFree=27286832/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1561816 CPUtime=522.21 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 379949 0 0 0 52050 171 0 0 20 0 1 0 270252922 1599299584 369432 33554432000 4194304 10169799 140734368766496 140734368762808 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 390454 369432 821 1459 0 388986 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1561816
[startup+582.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9485
/proc/meminfo: memFree=27287164/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1547240 CPUtime=582.21 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 381912 0 0 0 58044 177 0 0 20 0 1 0 270252922 1584373760 368587 33554432000 4194304 10169799 140734368766496 140734368762568 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 386810 368587 821 1459 0 385342 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 1547240
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9489
/proc/meminfo: memFree=27296672/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1541748 CPUtime=882.15 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 491079 0 0 0 88001 214 0 0 20 0 1 0 270252922 1578749952 362153 33554432000 4194304 10169799 140734368766496 140734368760360 8009811 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 385437 362153 855 1459 0 383969 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1541748
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9489
/proc/meminfo: memFree=27298296/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1541816 CPUtime=942.14 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 503159 0 0 0 93992 222 0 0 20 0 1 0 270252922 1578819584 360231 33554432000 4194304 10169799 140734368766496 140734368760360 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 385454 360231 855 1459 0 383986 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1541816
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9489
/proc/meminfo: memFree=27255804/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1560700 CPUtime=1002.13 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 512249 0 0 0 99985 228 0 0 20 0 1 0 270252922 1598156800 370606 33554432000 4194304 10169799 140734368766496 140734368760360 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 390175 370606 856 1459 0 388707 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1560700
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9489
/proc/meminfo: memFree=27289760/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1541788 CPUtime=1062.12 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 526210 0 0 0 105975 237 0 0 20 0 1 0 270252922 1578790912 362501 33554432000 4194304 10169799 140734368766496 140734368760824 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 385447 362501 856 1459 0 383979 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1541788
[startup+1122.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9490
/proc/meminfo: memFree=27277360/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1546132 CPUtime=1122.11 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 544666 0 0 0 111961 250 0 0 20 0 1 0 270252922 1583239168 364827 33554432000 4194304 10169799 140734368766496 140734368761480 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 386533 364827 856 1459 0 385065 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1546132
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 9490
/proc/meminfo: memFree=27256556/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1491436 CPUtime=1182.1 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 554136 0 0 0 117950 260 0 0 20 0 1 0 270252922 1527230464 354061 33554432000 4194304 10169799 140734368766496 140734368760776 8060922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 372859 354061 856 1459 0 371391 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1491436
[startup+1242.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9490
/proc/meminfo: memFree=27266880/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1540508 CPUtime=1242.1 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 564589 0 0 0 123933 277 0 0 20 0 1 0 270252922 1577480192 365960 33554432000 4194304 10169799 140734368766496 140734368760776 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 385127 365960 856 1459 0 383659 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1540508
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9490
/proc/meminfo: memFree=27210236/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1585532 CPUtime=1302.08 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 569942 0 0 0 129926 282 0 0 20 0 1 0 270252922 1623584768 379828 33554432000 4194304 10169799 140734368766496 140734368760088 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 396383 379828 856 1459 0 394915 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1585532
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9493
/proc/meminfo: memFree=27210156/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1585532 CPUtime=1362.07 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 569942 0 0 0 135924 283 0 0 20 0 1 0 270252922 1623584768 379828 33554432000 4194304 10169799 140734368766496 140734368760088 5120060 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 396383 379828 856 1459 0 394915 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1585532
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9494
/proc/meminfo: memFree=27208952/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1585532 CPUtime=1422.06 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 569942 0 0 0 141923 283 0 0 20 0 1 0 270252922 1623584768 379828 33554432000 4194304 10169799 140734368766496 140734368760088 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 396383 379828 856 1459 0 394915 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1585532
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9495
/proc/meminfo: memFree=27274624/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1540852 CPUtime=1482.06 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 574322 0 0 0 147916 290 0 0 20 0 1 0 270252922 1577832448 363294 33554432000 4194304 10169799 140734368766496 140734368760824 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 385213 363294 856 1459 0 383745 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1540852
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9495
/proc/meminfo: memFree=27252880/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1570164 CPUtime=1542.04 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 576229 0 0 0 153912 292 0 0 20 0 1 0 270252922 1607847936 377748 33554432000 4194304 10169799 140734368766496 140734368760520 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 392541 377748 856 1459 0 391073 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1570164
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9495
/proc/meminfo: memFree=27212140/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1601832 CPUtime=1602.04 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 576253 0 0 0 159911 293 0 0 20 0 1 0 270252922 1640275968 378283 33554432000 4194304 10169799 140734368766496 140734368760248 7907899 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 400458 378283 856 1459 0 398990 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1601832
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9495
/proc/meminfo: memFree=27208944/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1601832 CPUtime=1662.02 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 576254 0 0 0 165909 293 0 0 20 0 1 0 270252922 1640275968 378284 33554432000 4194304 10169799 140734368766496 140734368760904 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 400458 378284 856 1459 0 398990 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1601832
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9496
/proc/meminfo: memFree=27205116/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1601832 CPUtime=1722.02 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 576296 0 0 0 171908 294 0 0 20 0 1 0 270252922 1640275968 378837 33554432000 4194304 10169799 140734368766496 140734368760936 7679854 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 400458 378837 856 1459 0 398990 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1601832
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 9496
/proc/meminfo: memFree=27256652/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1545464 CPUtime=1782.01 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 578494 0 0 0 177905 296 0 0 20 0 1 0 270252922 1582555136 365529 33554432000 4194304 10169799 140734368766496 140734368760776 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 386366 365529 856 1459 0 384898 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1545464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 9496
/proc/meminfo: memFree=27256660/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1545464 CPUtime=1800.01 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 578497 0 0 0 179705 296 0 0 20 0 1 0 270252922 1582555136 365532 33554432000 4194304 10169799 140734368766496 140734368760776 8828741 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 386366 365532 859 1459 0 384898 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1545464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 9496
/proc/meminfo: memFree=27256660/32873648 swapFree=6596/6596
[pid=9441] ppid=9439 vsize=1545464 CPUtime=1800.01 cores=0,2,4,6
/proc/9441/stat : 9441 (scip-2.1.1.4sfi) R 9439 9441 6744 0 -1 4202496 578497 0 0 0 179705 296 0 0 20 0 1 0 270252922 1582555136 365532 33554432000 4194304 10169799 140734368766496 140734368760776 8828741 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9441/statm: 386366 365532 859 1459 0 384898 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1545464
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.04
CPU user time (s): 1797.05
CPU system time (s): 2.98455
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1939336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.05
system time used= 2.98455
maximum resident set size= 1867728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578497
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= 15
involuntary context switches= 1913
runsolver used 3.33249 second user time and 8.79466 second system time
The end