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-3692941-1338041066.opb>
0.39/0.48 c original problem has 7936 variables (7936 bin, 0 int, 0 impl, 0 cont) and 176837 constraints
0.39/0.48 c problem read in 0.48
0.88/1.00 c presolving:
1.39/1.43 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 86722 impls, 287 clqs
2.29/2.39 c (round 2) 1 del vars, 30 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 176850 upgd conss, 86722 impls, 287 clqs
2.58/2.68 c (round 3) 1 del vars, 52 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 176850 upgd conss, 86722 impls, 287 clqs
6.79/6.84 c (6.8s) probing: 431/7935 (5.4%) - 0 fixings, 0 aggregations, 16208 implications, 0 bound changes
6.79/6.84 c (6.8s) probing aborted: 50/50 successive totally useless probings
7.19/7.21 c presolving (4 rounds):
7.19/7.21 c 1 deleted vars, 52 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
7.19/7.21 c 119138 implications, 287 cliques
7.19/7.21 c presolved problem has 7935 variables (7935 bin, 0 int, 0 impl, 0 cont) and 176785 constraints
7.19/7.21 c 17621 constraints of type <knapsack>
7.19/7.21 c 37799 constraints of type <setppc>
7.19/7.21 c 1 constraints of type <linear>
7.19/7.21 c 121364 constraints of type <logicor>
7.19/7.21 c transformed objective value is always integral (scale: 1)
7.19/7.21 c Presolving Time: 6.60
7.19/7.21 c - non default parameters ----------------------------------------------------------------------
7.19/7.21 c # SCIP version 2.1.1.4
7.19/7.21 c
7.19/7.21 c # maximal time in seconds to run
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.19/7.21 c limits/time = 1797
7.19/7.21 c
7.19/7.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.19/7.21 c limits/memory = 13950
7.19/7.21 c
7.19/7.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
7.19/7.21 c # [type: int, range: [1,2], default: 1]
7.19/7.21 c timing/clocktype = 2
7.19/7.21 c
7.19/7.21 c # belongs reading time to solving time?
7.19/7.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.19/7.21 c timing/reading = TRUE
7.19/7.21 c
7.19/7.21 c -----------------------------------------------------------------------------------------------
7.19/7.21 c start solving
7.19/7.22 c
9.79/9.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.79/9.86 c 9.8s| 1 | 0 | 2499 | - | 273M| 0 | 849 |7935 | 176k|7935 | 176k| 0 | 28 | 0 | 0.000000e+00 | -- | Inf
57.58/57.61 c 57.6s| 1 | 0 | 14659 | - | 278M| 0 |2035 |7935 | 176k|7935 | 176k| 10 | 28 | 0 | 0.000000e+00 | -- | Inf
74.38/74.42 c 74.4s| 1 | 0 | 15006 | - | 278M| 0 |2413 |7935 | 176k|7935 | 176k| 23 | 28 | 0 | 0.000000e+00 | -- | Inf
93.27/93.36 c 93.4s| 1 | 0 | 15312 | - | 279M| 0 |2352 |7935 | 176k|7935 | 176k| 35 | 28 | 0 | 0.000000e+00 | -- | Inf
111.17/111.22 c 111s| 1 | 0 | 15620 | - | 280M| 0 |2514 |7935 | 176k|7935 | 176k| 47 | 28 | 0 | 0.000000e+00 | -- | Inf
130.97/131.07 c 131s| 1 | 0 | 16118 | - | 281M| 0 |2641 |7935 | 176k|7935 | 176k| 56 | 28 | 0 | 0.000000e+00 | -- | Inf
152.77/152.82 c 153s| 1 | 0 | 17580 | - | 281M| 0 |2503 |7935 | 176k|7935 | 176k| 70 | 28 | 0 | 0.000000e+00 | -- | Inf
187.76/187.89 c 188s| 1 | 2 | 17580 | - | 281M| 0 |2503 |7935 | 176k|7935 | 176k| 70 | 28 | 18 | 0.000000e+00 | -- | Inf
1796.71/1797.03 c
1796.71/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.03 c Solving Time (sec) : 1797.02
1796.71/1797.03 c Solving Nodes : 51
1796.71/1797.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.03 c Dual Bound : +0.00000000000000e+00
1796.71/1797.03 c Gap : infinite
1796.71/1797.03 s UNKNOWN
1796.71/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.03 c Total Time : 1797.02
1796.71/1797.03 c solving : 1797.02
1796.71/1797.03 c presolving : 6.60 (included in solving)
1796.71/1797.03 c reading : 0.48 (included in solving)
1796.71/1797.03 c copying : 0.31 (1 #copies) (minimal 0.31, maximal 0.31, average 0.31)
1796.71/1797.03 c Original Problem :
1796.71/1797.03 c Problem name : HOME/instance-3692941-1338041066.opb
1796.71/1797.03 c Variables : 7936 (7936 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.03 c Constraints : 176837 initial, 176837 maximal
1796.71/1797.03 c Objective sense : minimize
1796.71/1797.03 c Presolved Problem :
1796.71/1797.03 c Problem name : t_HOME/instance-3692941-1338041066.opb
1796.71/1797.03 c Variables : 7935 (7935 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.03 c Constraints : 176785 initial, 176876 maximal
1796.71/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c gateextraction : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c components : 0.08 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c probing : 3.89 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c knapsack : 0.08 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c setppc : 0.07 0.00 0 0 0 0 0 22 0 0 0
1796.71/1797.03 c linear : 1.02 0.00 0 1 0 0 0 8 0 7 0
1796.71/1797.03 c logicor : 0.59 0.29 0 0 0 0 0 22 0 0 0
1796.71/1797.03 c root node : - - 0 - - 0 - - - - -
1796.71/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.03 c integral : 0 0 0 0 43 0 4 0 6 8 0 0 68
1796.71/1797.03 c knapsack : 17621 17621 6 2372 0 0 3 9 0 0 21 0 0
1796.71/1797.03 c setppc : 37799 37799 6 2372 0 0 2 648 11 6971 0 0 0
1796.71/1797.03 c linear : 1 1 6 2250 0 0 0 18 0 0 0 0 0
1796.71/1797.03 c logicor : 121364+ 121455 6 1648 0 0 0 104 17 62 0 0 0
1796.71/1797.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.03 c integral : 733.71 0.00 0.00 0.00 733.71 0.00 0.00 0.00
1796.71/1797.03 c knapsack : 1.57 0.00 0.09 1.48 0.00 0.00 0.01 0.00
1796.71/1797.03 c setppc : 3.78 0.00 0.02 3.77 0.00 0.00 0.00 0.00
1796.71/1797.03 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.03 c logicor : 0.66 0.29 0.05 0.32 0.00 0.00 0.00 0.00
1796.71/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.03 c rootredcost : 0 0 0 0
1796.71/1797.03 c pseudoobj : 0 0 0 0
1796.71/1797.03 c vbounds : 0 0 0 0
1796.71/1797.03 c redcost : 49 0 0 0
1796.71/1797.03 c probing : 0 0 0 0
1796.71/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.03 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.03 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.03 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.03 c redcost : 0.01 0.00 0.00 0.01 0.00
1796.71/1797.03 c probing : 3.89 0.00 3.89 0.00 0.00
1796.71/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.03 c propagation : 0.00 28 28 117 17.9 4 7.8 -
1796.71/1797.03 c infeasible LP : 0.01 2 2 17 26.9 0 0.0 0
1796.71/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.03 c applied globally : - - - 91 17.7 - - -
1796.71/1797.03 c applied locally : - - - 0 0.0 - - -
1796.71/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.03 c cut pool : 0.00 5 - - 38 - (maximal pool size: 845)
1796.71/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c impliedbounds : 0.01 0.00 6 0 0 1 0
1796.71/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c gomory : 2.42 0.00 6 0 0 300 0
1796.71/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c strongcg : 9.11 0.00 6 0 0 3000 0
1796.71/1797.03 c cmir : 9.51 0.00 6 0 0 0 0
1796.71/1797.03 c flowcover : 80.49 0.00 6 0 0 11 0
1796.71/1797.03 c clique : 0.41 0.00 6 0 0 42 0
1796.71/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c mcf : 0.28 0.00 1 0 0 0 0
1796.71/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.03 c problem variables: 0.00 - 0 0
1796.71/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.03 c relpscost : 733.71 0.00 43 6 8 0 0 68
1796.71/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.03 c LP solutions : 0.00 - - 0
1796.71/1797.03 c pseudo solutions : 0.00 - - 0
1796.71/1797.03 c oneopt : 0.00 0.00 0 0
1796.71/1797.03 c crossover : 0.00 0.00 0 0
1796.71/1797.03 c rootsoldiving : 0.00 0.00 0 0
1796.71/1797.03 c linesearchdiving : 0.00 0.00 0 0
1796.71/1797.03 c guideddiving : 0.00 0.00 0 0
1796.71/1797.03 c intshifting : 0.00 0.00 0 0
1796.71/1797.03 c coefdiving : 25.95 0.00 1 0
1796.71/1797.03 c fracdiving : 38.90 0.00 1 0
1796.71/1797.03 c pscostdiving : 25.88 0.00 1 0
1796.71/1797.03 c smallcard : 0.00 0.00 0 0
1796.71/1797.03 c trivial : 0.01 0.00 2 0
1796.71/1797.03 c shiftandpropagate: 0.69 0.00 1 0
1796.71/1797.03 c simplerounding : 0.00 0.00 0 0
1796.71/1797.03 c zirounding : 0.38 0.00 0 0
1796.71/1797.03 c rounding : 0.60 0.00 49 0
1796.71/1797.03 c shifting : 1.20 0.00 10 0
1796.71/1797.03 c twoopt : 0.00 0.00 0 0
1796.71/1797.03 c indoneopt : 0.00 0.00 0 0
1796.71/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.03 c feaspump : 30.37 0.00 1 0
1796.71/1797.03 c clique : 0.00 0.00 0 0
1796.71/1797.03 c indrounding : 0.00 0.00 0 0
1796.71/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.03 c veclendiving : 260.47 0.00 1 0
1796.71/1797.03 c intdiving : 0.00 0.00 0 0
1796.71/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.03 c objpscostdiving : 326.76 0.00 1 0
1796.71/1797.03 c octane : 0.00 0.00 0 0
1796.71/1797.03 c rens : 1.27 0.00 1 0
1796.71/1797.03 c rins : 0.00 0.00 0 0
1796.71/1797.03 c localbranching : 0.00 0.00 0 0
1796.71/1797.03 c mutation : 0.00 0.00 0 0
1796.71/1797.03 c dins : 0.00 0.00 0 0
1796.71/1797.03 c vbounds : 0.00 0.00 0 0
1796.71/1797.03 c undercover : 0.00 0.00 0 0
1796.71/1797.03 c subnlp : 0.00 0.00 0 0
1796.71/1797.03 c trysol : 0.00 0.00 0 0
1796.71/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.03 c primal LP : 0.11 1 0 0.00 0.00 0.11 1
1796.71/1797.03 c dual LP : 239.39 52 88524 1735.76 369.79 0.08 1
1796.71/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.03 c diving/probing LP: 690.28 845 122618 145.11 177.64
1796.71/1797.03 c strong branching : 733.47 436 159954 366.87 218.08
1796.71/1797.03 c (at root node) : - 18 8398 466.56 -
1796.71/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.03 c B&B Tree :
1796.71/1797.03 c number of runs : 1
1796.71/1797.03 c nodes : 51
1796.71/1797.03 c nodes (total) : 51
1796.71/1797.03 c nodes left : 17
1796.71/1797.03 c max depth : 18
1796.71/1797.03 c max depth (total): 18
1796.71/1797.03 c backtracks : 10 (19.6%)
1796.71/1797.03 c delayed cutoffs : 1
1796.71/1797.03 c repropagations : 23 (298 domain reductions, 1 cutoffs)
1796.71/1797.03 c avg switch length: 2.51
1796.71/1797.03 c switching time : 0.24
1796.71/1797.03 c Solution :
1796.71/1797.03 c Solutions found : 0 (0 improvements)
1796.71/1797.03 c Primal Bound : -
1796.71/1797.03 c Dual Bound : +0.00000000000000e+00
1796.71/1797.03 c Gap : infinite
1796.71/1797.03 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.03 c Root Iterations : 17580
1797.21/1797.56 c Time complete: 1797.27.
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-3692941-1338041066/watcher-3692941-1338041066 -o /tmp/evaluation-result-3692941-1338041066/solver-3692941-1338041066 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692941-1338041066.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=9956 CPUtime=0 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 1242 0 0 0 0 0 0 0 20 0 1 0 270230915 10194944 1196 33554432000 4194304 10169799 140736323925712 140736323924536 9046122 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 2489 1196 409 1459 0 1021 0
[startup+0.0902381 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=21732 CPUtime=0.08 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 4182 0 0 0 8 0 0 0 20 0 1 0 270230915 22253568 4136 33554432000 4194304 10169799 140736323925712 140736323924536 5601714 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 5433 4136 409 1459 0 3965 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21732
[startup+0.100295 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=23860 CPUtime=0.09 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 4689 0 0 0 9 0 0 0 20 0 1 0 270230915 24432640 4643 33554432000 4194304 10169799 140736323925712 140736323924536 5280594 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 5965 4643 409 1459 0 4497 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23860
[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=49504 CPUtime=0.29 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 11131 0 0 0 27 2 0 0 20 0 1 0 270230915 50692096 11085 33554432000 4194304 10169799 140736323925712 140736323924536 8724768 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 12376 11085 409 1459 0 10908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49504
[startup+0.700252 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9401
/proc/meminfo: memFree=27630988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=177980 CPUtime=0.68 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 42732 0 0 0 62 6 0 0 20 0 1 0 270230915 182251520 42592 33554432000 4194304 10169799 140736323925712 140736323922728 5281904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 44495 42592 497 1459 0 43027 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 177980
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9402
/proc/meminfo: memFree=27400076/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=275584 CPUtime=1.49 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 69218 0 0 0 128 21 0 0 20 0 1 0 270230915 282198016 66460 33554432000 4194304 10169799 140736323925712 140736323922728 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 68896 66460 554 1459 0 67428 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 275584
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9402
/proc/meminfo: memFree=27341548/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=287556 CPUtime=3.09 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 89717 0 0 0 271 38 0 0 20 0 1 0 270230915 294457344 69439 33554432000 4194304 10169799 140736323925712 140736323922920 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 71889 69439 616 1459 0 70421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 287556
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9402
/proc/meminfo: memFree=27354308/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=288560 CPUtime=6.28 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 89990 0 0 0 590 38 0 0 20 0 1 0 270230915 295485440 69712 33554432000 4194304 10169799 140736323925712 140736323923224 4777712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 72140 69712 616 1459 0 70672 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 288560
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9402
/proc/meminfo: memFree=27021180/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=632648 CPUtime=12.69 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 141072 0 0 0 1220 49 0 0 20 0 1 0 270230915 647831552 153057 33554432000 4194304 10169799 140736323925712 140736323918024 7708196 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 158162 153057 785 1459 0 156694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 632648
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9403
/proc/meminfo: memFree=27016188/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=632648 CPUtime=25.48 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 141494 0 0 0 2497 51 0 0 20 0 1 0 270230915 647831552 153479 33554432000 4194304 10169799 140736323925712 140736323918120 8009536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 158162 153479 785 1459 0 156694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 632648
[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9403
/proc/meminfo: memFree=27015288/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=632648 CPUtime=51.08 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 141760 0 0 0 5055 53 0 0 20 0 1 0 270230915 647831552 153712 33554432000 4194304 10169799 140736323925712 140736323922024 7280655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 158162 153712 806 1459 0 156694 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 632648
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9403
/proc/meminfo: memFree=26980776/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=664772 CPUtime=102.28 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 143065 0 0 0 10171 57 0 0 20 0 1 0 270230915 680726528 161586 33554432000 4194304 10169799 140736323925712 140736323922024 7280659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 166193 161586 821 1459 0 164725 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 664772
[startup+162.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 9403
/proc/meminfo: memFree=26978744/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=670608 CPUtime=162.26 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 194260 0 0 0 16150 76 0 0 20 0 1 0 270230915 686702592 162002 33554432000 4194304 10169799 140736323925712 140736323920312 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 167652 162002 857 1459 0 166184 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 670608
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9441
/proc/meminfo: memFree=27019180/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=691248 CPUtime=222.26 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 202005 0 0 0 22141 85 0 0 20 0 1 0 270230915 707837952 166792 33554432000 4194304 10169799 140736323925712 140736323920312 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172812 166792 858 1459 0 171344 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 691248
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9441
/proc/meminfo: memFree=26970048/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=692040 CPUtime=282.24 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 202882 0 0 0 28131 93 0 0 20 0 1 0 270230915 708648960 169492 33554432000 4194304 10169799 140736323925712 140736323920312 7591849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 173010 169492 858 1459 0 171542 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 692040
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9445
/proc/meminfo: memFree=26887644/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=692040 CPUtime=342.23 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 202924 0 0 0 34124 99 0 0 20 0 1 0 270230915 708648960 170191 33554432000 4194304 10169799 140736323925712 140736323920312 7909150 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 173010 170191 858 1459 0 171542 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 692040
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26880964/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=698580 CPUtime=402.23 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 203599 0 0 0 40116 107 0 0 20 0 1 0 270230915 715345920 171857 33554432000 4194304 10169799 140736323925712 140736323920728 8060912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 174645 171857 858 1459 0 173177 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 698580
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26889296/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=690960 CPUtime=462.21 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 207416 0 0 0 46106 115 0 0 20 0 1 0 270230915 707543040 170033 33554432000 4194304 10169799 140736323925712 140736323920312 7591833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172740 170033 858 1459 0 171272 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 690960
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9445
/proc/meminfo: memFree=26887640/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=690960 CPUtime=522.2 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 207528 0 0 0 52097 123 0 0 20 0 1 0 270230915 707543040 170427 33554432000 4194304 10169799 140736323925712 140736323920696 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172740 170427 858 1459 0 171272 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 690960
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9445
/proc/meminfo: memFree=26886692/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=690960 CPUtime=582.19 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 207546 0 0 0 58089 130 0 0 20 0 1 0 270230915 707543040 170445 33554432000 4194304 10169799 140736323925712 140736323920312 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172740 170445 858 1459 0 171272 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 690960
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26891784/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=690692 CPUtime=1062.12 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 220899 0 0 0 106021 191 0 0 20 0 1 0 270230915 707268608 170296 33554432000 4194304 10169799 140736323925712 140736323920120 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 172673 170296 859 1459 0 171205 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 690692
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9450
/proc/meminfo: memFree=26862248/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=723868 CPUtime=1122.11 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 221884 0 0 0 112013 198 0 0 20 0 1 0 270230915 741240832 176371 33554432000 4194304 10169799 140736323925712 140736323920120 8884089 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 180967 176371 859 1459 0 179499 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 723868
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9450
/proc/meminfo: memFree=26874208/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=714380 CPUtime=1182.1 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 243711 0 0 0 117995 215 0 0 20 0 1 0 270230915 731525120 173901 33554432000 4194304 10169799 140736323925712 140736323919784 8009943 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 178595 173901 859 1459 0 177127 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 714380
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851744/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=725080 CPUtime=1242.09 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 245236 0 0 0 123988 221 0 0 20 0 1 0 270230915 742481920 178990 33554432000 4194304 10169799 140736323925712 140736323919832 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 181270 178990 859 1459 0 179802 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 725080
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851496/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=725080 CPUtime=1302.09 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 245236 0 0 0 129981 228 0 0 20 0 1 0 270230915 742481920 178990 33554432000 4194304 10169799 140736323925712 140736323919784 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 181270 178990 859 1459 0 179802 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 725080
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851620/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=725080 CPUtime=1362.07 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 245236 0 0 0 135974 233 0 0 20 0 1 0 270230915 742481920 178990 33554432000 4194304 10169799 140736323925712 140736323919048 8009566 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 181270 178990 859 1459 0 179802 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 725080
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26851372/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=725080 CPUtime=1422.07 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 245236 0 0 0 141967 240 0 0 20 0 1 0 270230915 742481920 178990 33554432000 4194304 10169799 140736323925712 140736323920168 8009833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 181270 178990 859 1459 0 179802 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 725080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9451
/proc/meminfo: memFree=26840948/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1482.06 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248788 0 0 0 147956 250 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920136 7708182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 740924
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9454
/proc/meminfo: memFree=26840420/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1542.05 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 153949 256 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 740924
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9455
/proc/meminfo: memFree=26874580/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1602.04 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 159943 261 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8009856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 740924
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9455
/proc/meminfo: memFree=26854292/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1662.03 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 165936 267 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8004697 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 740924
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9456
/proc/meminfo: memFree=26851988/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1722.02 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 171930 272 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 740924
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26851748/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1782.01 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 177923 278 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323919304 8009913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 740924
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26851872/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1785.21 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 178243 278 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8009871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 740924
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26838904/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1791.62 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 178883 279 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8009908 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 740924
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26838904/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1794.82 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 179203 279 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323920040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 740924
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26838904/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=740924 CPUtime=1796.41 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248806 0 0 0 179362 279 0 0 20 0 1 0 270230915 758706176 181684 33554432000 4194304 10169799 140736323925712 140736323919304 7978016 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 185231 181684 859 1459 0 183763 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 740924
[startup+1797.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26838904/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=667284 CPUtime=1796.81 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248809 0 0 0 179402 279 0 0 20 0 1 0 270230915 683298816 164588 33554432000 4194304 10169799 140736323925712 140736323919304 7988306 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 166821 164588 862 1459 0 165353 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 667284
[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9456
/proc/meminfo: memFree=26909888/32873844 swapFree=7616/7616
[pid=9401] ppid=9399 vsize=627592 CPUtime=1797.21 cores=1,3,5,7
/proc/9401/stat : 9401 (scip-2.1.1.4sfi) R 9399 9401 6477 0 -1 4202496 248809 0 0 0 179441 280 0 0 20 0 1 0 270230915 642654208 154700 33554432000 4194304 10169799 140736323925712 140736323919304 8989847 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9401/statm: 156898 154700 862 1459 0 155430 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 627592
Child status: 0
Real time (s): 1797.57
CPU time (s): 1797.29
CPU user time (s): 1794.47
CPU system time (s): 2.81757
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 861240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 2.81757
maximum resident set size= 841984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248811
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= 11
involuntary context switches= 1851
runsolver used 3.20451 second user time and 8.5707 second system time
The end