0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3485361-1307770482.opb>
0.29/0.39 c original problem has 11001 variables (11001 bin, 0 int, 0 impl, 0 cont) and 21678 constraints
0.29/0.39 c problem read
0.29/0.39 c presolving settings loaded
0.59/0.61 c presolving:
0.79/0.81 c (round 1) 0 del vars, 10830 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 0 clqs
2.79/2.89 c (2.9s) probing: 119/11001 (1.1%) - 0 fixings, 0 aggregations, 2979 implications, 0 bound changes
2.79/2.89 c (2.9s) probing aborted: 100/100 successive totally useless probings
2.79/2.89 c presolving (2 rounds):
2.79/2.89 c 0 deleted vars, 10830 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.79/2.89 c 22002 implications, 0 cliques
2.79/2.89 c presolved problem has 11001 variables (11001 bin, 0 int, 0 impl, 0 cont) and 10848 constraints
2.79/2.89 c 18 constraints of type <knapsack>
2.79/2.89 c 10830 constraints of type <linear>
2.79/2.89 c transformed objective value is always integral (scale: 1)
2.79/2.89 c Presolving Time: 2.45
2.79/2.89 c - non default parameters ----------------------------------------------------------------------
2.79/2.89 c # SCIP version 2.0.1.4
2.79/2.89 c
2.79/2.89 c # frequency for displaying node information lines
2.79/2.89 c # [type: int, range: [-1,2147483647], default: 100]
2.79/2.89 c display/freq = 10000
2.79/2.89 c
2.79/2.89 c # maximal time in seconds to run
2.79/2.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.79/2.89 c limits/time = 1797
2.79/2.89 c
2.79/2.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.79/2.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.79/2.89 c limits/memory = 13950
2.79/2.89 c
2.79/2.89 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.79/2.89 c # [type: int, range: [1,2], default: 1]
2.79/2.89 c timing/clocktype = 2
2.79/2.89 c
2.79/2.89 c # belongs reading time to solving time?
2.79/2.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.89 c timing/reading = TRUE
2.79/2.89 c
2.79/2.89 c # should presolving try to simplify inequalities
2.79/2.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.89 c constraints/linear/simplifyinequalities = TRUE
2.79/2.89 c
2.79/2.89 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.79/2.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.89 c constraints/indicator/addCouplingCons = TRUE
2.79/2.89 c
2.79/2.89 c # should presolving try to simplify knapsacks
2.79/2.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.89 c constraints/knapsack/simplifyinequalities = TRUE
2.79/2.89 c
2.79/2.89 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.79/2.89 c # [type: int, range: [-1,2147483647], default: -1]
2.79/2.89 c separating/rapidlearning/freq = 0
2.79/2.89 c
2.79/2.89 c -----------------------------------------------------------------------------------------------
2.79/2.89 c start solving
2.79/2.89 c
6.10/6.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.10/6.11 c 6.1s| 1 | 0 | 13437 | - | 103M| 0 |6152 | 11k| 10k| 11k| 10k| 0 | 20 | 0 | 1.800000e+01 | -- | Inf
15.79/15.88 c 15.9s| 1 | 0 | 35476 | - | 104M| 0 |6164 | 11k| 10k| 11k| 10k| 68 | 20 | 0 | 1.800000e+01 | -- | Inf
16.69/16.79 c 16.8s| 1 | 0 | 35635 | - | 105M| 0 |6180 | 11k| 10k| 11k| 11k| 163 | 20 | 0 | 1.800000e+01 | -- | Inf
17.99/18.03 c 18.0s| 1 | 0 | 36112 | - | 106M| 0 |6180 | 11k| 10k| 11k| 11k| 238 | 20 | 0 | 1.800261e+01 | -- | Inf
19.09/19.20 c 19.2s| 1 | 0 | 36356 | - | 106M| 0 |6193 | 11k| 10k| 11k| 11k| 306 | 20 | 0 | 1.850000e+01 | -- | Inf
20.90/20.92 c 20.9s| 1 | 0 | 36809 | - | 107M| 0 |6191 | 11k| 10k| 11k| 11k| 378 | 20 | 0 | 1.850000e+01 | -- | Inf
23.10/23.15 c 23.1s| 1 | 0 | 38112 | - | 107M| 0 |6198 | 11k| 10k| 11k| 11k| 452 | 20 | 0 | 1.850000e+01 | -- | Inf
26.00/26.05 c 26.0s| 1 | 0 | 38859 | - | 108M| 0 |6193 | 11k| 10k| 11k| 11k| 517 | 20 | 0 | 1.850000e+01 | -- | Inf
30.70/30.74 c 30.7s| 1 | 0 | 44794 | - | 108M| 0 |6196 | 11k| 10k| 11k| 11k| 582 | 20 | 0 | 1.850000e+01 | -- | Inf
33.49/33.50 c 33.5s| 1 | 0 | 45767 | - | 109M| 0 |6049 | 11k| 10k| 11k| 11k| 652 | 20 | 0 | 1.900000e+01 | -- | Inf
36.19/36.24 c 36.2s| 1 | 0 | 46214 | - | 109M| 0 |6053 | 11k| 10k| 11k| 11k| 712 | 20 | 0 | 1.900000e+01 | -- | Inf
37.68/37.71 c 37.7s| 1 | 0 | 47152 | - | 109M| 0 |6050 | 11k| 10k| 11k| 11k| 759 | 20 | 0 | 1.900000e+01 | -- | Inf
39.49/39.59 c 39.6s| 1 | 0 | 48476 | - | 109M| 0 |6048 | 11k| 10k| 11k| 11k| 803 | 20 | 0 | 1.900000e+01 | -- | Inf
41.98/42.02 c 42.0s| 1 | 0 | 51196 | - | 110M| 0 |6049 | 11k| 10k| 11k| 11k| 839 | 20 | 0 | 1.900000e+01 | -- | Inf
43.39/43.44 c 43.4s| 1 | 0 | 52234 | - | 110M| 0 |6048 | 11k| 10k| 11k| 11k| 885 | 20 | 0 | 1.900000e+01 | -- | Inf
81.09/81.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.09/81.13 c 81.1s| 1 | 2 | 52234 | - | 110M| 0 |6048 | 11k| 10k| 11k| 11k| 885 | 20 | 37 | 1.900000e+01 | -- | Inf
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 804
1797.02/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.02/1797.00 c Dual Bound : +1.90000000000000e+01
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 s UNKNOWN
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Total Time : 1797.00
1797.02/1797.00 c solving : 1797.00
1797.02/1797.00 c presolving : 2.45 (included in solving)
1797.02/1797.00 c reading : 0.39 (included in solving)
1797.02/1797.00 c Original Problem :
1797.02/1797.00 c Problem name : HOME/instance-3485361-1307770482.opb
1797.02/1797.00 c Variables : 11001 (11001 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 21678 initial, 21678 maximal
1797.02/1797.00 c Presolved Problem :
1797.02/1797.00 c Problem name : t_HOME/instance-3485361-1307770482.opb
1797.02/1797.00 c Variables : 11001 (11001 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 10848 initial, 13370 maximal
1797.02/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c probing : 2.01 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c linear : 0.23 0 0 0 0 0 10830 0 0 0
1797.02/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c root node : - 0 - - 0 - - - - -
1797.02/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c integral : 0 0 0 710 0 4 0 0 544 0 0 1192
1797.02/1797.00 c knapsack : 18 14 16313 0 1 3 1854 5 133 363 0 0
1797.02/1797.00 c linear : 10830 14 16308 0 0 0 438 24 6554 2 0 0
1797.02/1797.00 c logicor : 0+ 14 3380 0 0 0 499 5 317 0 0 0
1797.02/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.02/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.00 c integral : 401.11 0.00 0.00 401.11 0.00 0.00 0.00
1797.02/1797.00 c knapsack : 0.26 0.01 0.25 0.00 0.00 0.00 0.00
1797.02/1797.00 c linear : 6.15 0.02 6.13 0.00 0.00 0.00 0.00
1797.02/1797.00 c logicor : 0.05 0.00 0.05 0.00 0.00 0.00 0.00
1797.02/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.00 c vbounds : 0 0 0 0
1797.02/1797.00 c rootredcost : 0 0 0 0
1797.02/1797.00 c pseudoobj : 16063 0 0 0
1797.02/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.00 c vbounds : 0.01 0.01 0.00
1797.02/1797.00 c rootredcost : 0.00 0.00 0.00
1797.02/1797.00 c pseudoobj : 0.01 0.01 0.00
1797.02/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.00 c propagation : 0.00 34 34 149 19.2 0 0.0 -
1797.02/1797.00 c infeasible LP : 2.73 2276 2276 2447 9.9 27 11.3 0
1797.02/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.00 c applied globally : - - - 2522 10.1 - - -
1797.02/1797.00 c applied locally : - - - 0 0.0 - - -
1797.02/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.00 c cut pool : 0.01 13 - - 13696 - (maximal pool size: 6400)
1797.02/1797.00 c redcost : 0.19 655 0 1 0 0
1797.02/1797.00 c impliedbounds : 0.01 14 0 0 44 0
1797.02/1797.00 c intobj : 0.00 0 0 0 0 0
1797.02/1797.00 c gomory : 1.12 14 0 0 58 0
1797.02/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.00 c strongcg : 1.06 14 0 0 19 0
1797.02/1797.00 c cmir : 4.27 10 0 0 5000 0
1797.02/1797.00 c flowcover : 7.10 10 0 0 2000 0
1797.02/1797.00 c clique : 0.01 1 0 0 0 0
1797.02/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.00 c mcf : 0.00 1 0 0 0 0
1797.02/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.02/1797.00 c Pricers : Time Calls Vars
1797.02/1797.00 c problem variables: 0.00 0 0
1797.02/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c relpscost : 401.11 710 0 544 0 0 1192
1797.02/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c random : 0.00 0 0 0 0 0 0
1797.02/1797.00 c Primal Heuristics : Time Calls Found
1797.02/1797.00 c LP solutions : 0.00 - 0
1797.02/1797.00 c pseudo solutions : 0.00 - 0
1797.02/1797.00 c oneopt : 0.00 0 0
1797.02/1797.00 c crossover : 0.00 0 0
1797.02/1797.00 c guideddiving : 0.00 0 0
1797.02/1797.00 c coefdiving : 909.62 1 0
1797.02/1797.00 c rootsoldiving : 18.44 2 0
1797.02/1797.00 c veclendiving : 23.22 4 0
1797.02/1797.00 c pscostdiving : 25.24 5 0
1797.02/1797.00 c objpscostdiving : 24.72 3 0
1797.02/1797.00 c linesearchdiving : 38.81 7 0
1797.02/1797.00 c trivial : 0.01 2 0
1797.02/1797.00 c shiftandpropagate: 0.56 1 0
1797.02/1797.00 c simplerounding : 0.00 0 0
1797.02/1797.00 c zirounding : 1.30 596 0
1797.02/1797.00 c rounding : 1.17 310 0
1797.02/1797.00 c shifting : 8.00 101 0
1797.02/1797.00 c intshifting : 0.00 0 0
1797.02/1797.00 c twoopt : 0.00 0 0
1797.02/1797.00 c fixandinfer : 0.00 0 0
1797.02/1797.00 c feaspump : 62.96 7 0
1797.02/1797.00 c clique : 0.00 0 0
1797.02/1797.00 c fracdiving : 65.87 2 0
1797.02/1797.00 c intdiving : 0.00 0 0
1797.02/1797.00 c actconsdiving : 0.00 0 0
1797.02/1797.00 c octane : 0.00 0 0
1797.02/1797.00 c rens : 0.02 0 0
1797.02/1797.00 c rins : 0.00 0 0
1797.02/1797.00 c localbranching : 0.00 0 0
1797.02/1797.00 c mutation : 0.00 0 0
1797.02/1797.00 c dins : 0.00 0 0
1797.02/1797.00 c vbounds : 0.00 0 0
1797.02/1797.00 c undercover : 0.00 0 0
1797.02/1797.00 c subnlp : 0.00 0 0
1797.02/1797.00 c trysol : 0.00 0 0
1797.02/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.00 c primal LP : 0.18 0 0 0.00 0.00
1797.02/1797.00 c dual LP : 193.18 906 305417 337.10 1580.97
1797.02/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.00 c diving/probing LP: 1152.51 5868 3106510 529.40 2695.42
1797.02/1797.00 c strong branching : 400.36 1019 297393 291.85 742.82
1797.02/1797.00 c (at root node) : - 37 34032 919.78 -
1797.02/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.00 c B&B Tree :
1797.02/1797.00 c number of runs : 1
1797.02/1797.00 c nodes : 804
1797.02/1797.00 c nodes (total) : 804
1797.02/1797.00 c nodes left : 391
1797.02/1797.00 c max depth : 214
1797.02/1797.00 c max depth (total): 214
1797.02/1797.00 c backtracks : 119 (14.8%)
1797.02/1797.00 c delayed cutoffs : 0
1797.02/1797.00 c repropagations : 8698 (567 domain reductions, 0 cutoffs)
1797.02/1797.00 c avg switch length: 26.05
1797.02/1797.00 c switching time : 1.58
1797.02/1797.00 c Solution :
1797.02/1797.00 c Solutions found : 0 (0 improvements)
1797.02/1797.00 c Primal Bound : -
1797.02/1797.00 c Dual Bound : +1.90000000000000e+01
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 c Root Dual Bound : +1.90000000000000e+01
1797.02/1797.00 c Root Iterations : 52234
1797.12/1797.17 c Time complete: 1797.2.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485361-1307770482/watcher-3485361-1307770482 -o /tmp/evaluation-result-3485361-1307770482/solver-3485361-1307770482 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485361-1307770482.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.99 1.94 2/177 6445
/proc/meminfo: memFree=31784508/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=9840 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 1474 0 0 0 0 0 0 0 25 0 1 0 967278928 10076160 1428 33554432000 4194304 8979876 140733766592928 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6445/statm: 2460 1431 366 1169 0 1287 0
[startup+0.0367371 s]
/proc/loadavg: 1.94 1.99 1.94 2/177 6445
/proc/meminfo: memFree=31784508/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=12436 CPUtime=0.03 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 2105 0 0 0 3 0 0 0 25 0 1 0 967278928 12734464 2059 33554432000 4194304 8979876 140733766592928 18446744073709551615 7807867 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6445/statm: 3109 2059 366 1169 0 1936 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12436
[startup+0.100748 s]
/proc/loadavg: 1.94 1.99 1.94 2/177 6445
/proc/meminfo: memFree=31784508/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=17864 CPUtime=0.09 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 3472 0 0 0 9 0 0 0 25 0 1 0 967278928 18292736 3426 33554432000 4194304 8979876 140733766592928 18446744073709551615 6176680 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6445/statm: 4466 3426 366 1169 0 3293 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17864
[startup+0.300711 s]
/proc/loadavg: 1.94 1.99 1.94 2/177 6445
/proc/meminfo: memFree=31784508/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=31024 CPUtime=0.29 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 6769 0 0 0 29 0 0 0 25 0 1 0 967278928 31768576 6723 33554432000 4194304 8979876 140733766592928 18446744073709551615 6203447 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6445/statm: 7756 6723 366 1169 0 6583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31024
[startup+0.700635 s]
/proc/loadavg: 1.94 1.99 1.94 2/177 6445
/proc/meminfo: memFree=31784508/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=191508 CPUtime=0.69 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 52199 0 0 0 64 5 0 0 25 0 1 0 967278928 196104192 44950 33554432000 4194304 8979876 140733766592928 18446744073709551615 5299058 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6445/statm: 47877 44950 480 1169 0 46704 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 191508
[startup+1.50049 s]
/proc/loadavg: 1.94 1.99 1.94 3/178 6446
/proc/meminfo: memFree=31604788/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=193000 CPUtime=1.49 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 53864 0 0 0 144 5 0 0 25 0 1 0 967278928 197632000 45448 33554432000 4194304 8979876 140733766592928 18446744073709551615 5308557 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6445/statm: 48250 45448 529 1169 0 47077 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193000
[startup+3.10021 s]
/proc/loadavg: 1.94 1.99 1.94 3/178 6446
/proc/meminfo: memFree=31604168/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=248660 CPUtime=3.09 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 69058 0 0 0 302 7 0 0 25 0 1 0 967278928 254627840 57799 33554432000 4194304 8979876 140733766592928 18446744073709551615 5308170 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6445/statm: 62165 57799 632 1169 0 60992 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 248660
[startup+6.30065 s]
/proc/loadavg: 1.94 1.99 1.94 3/178 6446
/proc/meminfo: memFree=31524556/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=278096 CPUtime=6.3 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 79863 0 0 0 620 10 0 0 25 0 1 0 967278928 284770304 65315 33554432000 4194304 8979876 140733766592928 18446744073709551615 7146175 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6445/statm: 69524 65315 676 1169 0 68351 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 278096
[startup+12.7005 s]
/proc/loadavg: 1.95 1.99 1.94 3/178 6446
/proc/meminfo: memFree=31523044/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=278096 CPUtime=12.69 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 79898 0 0 0 1257 12 0 0 25 0 1 0 967278928 284770304 65350 33554432000 4194304 8979876 140733766592928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6445/statm: 69524 65350 676 1169 0 68351 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 278096
[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 1.94 3/178 6447
/proc/meminfo: memFree=31468136/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=324912 CPUtime=25.49 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 93152 0 0 0 2534 15 0 0 25 0 1 0 967278928 332709888 78158 33554432000 4194304 8979876 140733766592928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/6445/statm: 81228 78158 687 1169 0 80055 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 324912
[startup+51.1008 s]
/proc/loadavg: 1.97 1.99 1.94 3/178 6485
/proc/meminfo: memFree=31312944/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=353120 CPUtime=51.09 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 110856 0 0 0 5089 20 0 0 25 0 1 0 967278928 361594880 83506 33554432000 4194304 8979876 140733766592928 18446744073709551615 6884029 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88280 83506 712 1169 0 87107 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 353120
[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6487
/proc/meminfo: memFree=31322752/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=346216 CPUtime=102.3 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 127193 0 0 0 10201 29 0 0 25 0 1 0 967278928 354525184 81027 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 86554 81027 704 1169 0 85381 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 346216
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6488
/proc/meminfo: memFree=31311852/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=162.29 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205898 0 0 0 16184 45 0 0 25 0 1 0 967278928 362704896 83675 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83675 710 1169 0 87378 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 354204
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6490
/proc/meminfo: memFree=31311560/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=222.29 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205901 0 0 0 22164 65 0 0 25 0 1 0 967278928 362704896 83678 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164588 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83678 713 1169 0 87378 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 354204
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6494
/proc/meminfo: memFree=31311008/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=282.3 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205901 0 0 0 28146 84 0 0 25 0 1 0 967278928 362704896 83678 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83678 713 1169 0 87378 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 354204
[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6496
/proc/meminfo: memFree=31311312/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=342.29 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205901 0 0 0 34126 103 0 0 25 0 1 0 967278928 362704896 83678 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83678 713 1169 0 87378 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 354204
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6498
/proc/meminfo: memFree=31311272/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=402.29 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205901 0 0 0 40107 122 0 0 25 0 1 0 967278928 362704896 83678 33554432000 4194304 8979876 140733766592928 18446744073709551615 7179794 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83678 713 1169 0 87378 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 354204
[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6499
/proc/meminfo: memFree=31311240/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=462.29 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205901 0 0 0 46087 142 0 0 25 0 1 0 967278928 362704896 83678 33554432000 4194304 8979876 140733766592928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83678 713 1169 0 87378 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 354204
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6501
/proc/meminfo: memFree=31311328/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=522.3 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205901 0 0 0 52067 163 0 0 25 0 1 0 967278928 362704896 83678 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83678 713 1169 0 87378 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 354204
[startup+582.301 s]
/proc/loadavg: 1.99 1.99 1.94 3/178 6502
/proc/meminfo: memFree=31311292/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=582.29 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205901 0 0 0 58048 181 0 0 25 0 1 0 967278928 362704896 83678 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83678 713 1169 0 87378 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 354204
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31308016/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=354204 CPUtime=1062.31 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 205901 0 0 0 105918 313 0 0 25 0 1 0 967278928 362704896 83678 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88551 83678 713 1169 0 87378 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 354204
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6517
/proc/meminfo: memFree=31303880/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=353056 CPUtime=1122.31 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 218739 0 0 0 111909 322 0 0 25 0 1 0 967278928 361529344 83557 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88264 83557 707 1169 0 87091 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 353056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6518
/proc/meminfo: memFree=31300492/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=353056 CPUtime=1182.31 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 218739 0 0 0 117906 325 0 0 25 0 1 0 967278928 361529344 83557 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88264 83557 707 1169 0 87091 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 353056
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6520
/proc/meminfo: memFree=31310124/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=344252 CPUtime=1242.32 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 228695 0 0 0 123896 336 0 0 25 0 1 0 967278928 352514048 80347 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 86063 80347 707 1169 0 84890 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 344252
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6522
/proc/meminfo: memFree=31298060/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=351876 CPUtime=1302.32 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 242464 0 0 0 129885 347 0 0 25 0 1 0 967278928 360321024 83241 33554432000 4194304 8979876 140733766592928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 87969 83241 712 1169 0 86796 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 351876
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6523
/proc/meminfo: memFree=31283024/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=363912 CPUtime=1362.32 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 245513 0 0 0 135872 360 0 0 25 0 1 0 967278928 372645888 86285 33554432000 4194304 8979876 140733766592928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 90978 86285 708 1169 0 89805 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 363912
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 6525
/proc/meminfo: memFree=31293768/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=351084 CPUtime=1422.33 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 253650 0 0 0 141860 373 0 0 25 0 1 0 967278928 359510016 81891 33554432000 4194304 8979876 140733766592928 18446744073709551615 7185302 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 87771 81891 708 1169 0 86598 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 351084
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 6526
/proc/meminfo: memFree=31287912/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=351404 CPUtime=1482.32 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 260320 0 0 0 147849 383 0 0 25 0 1 0 967278928 359837696 83143 33554432000 4194304 8979876 140733766592928 18446744073709551615 7146609 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 87851 83143 708 1169 0 86678 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 351404
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 6528
/proc/meminfo: memFree=31284388/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=355352 CPUtime=1542.32 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 291520 0 0 0 153838 394 0 0 25 0 1 0 967278928 363880448 84151 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88838 84151 708 1169 0 87665 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 355352
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 6539
/proc/meminfo: memFree=31282876/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=355352 CPUtime=1602.32 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 291520 0 0 0 159830 402 0 0 25 0 1 0 967278928 363880448 84151 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88838 84151 708 1169 0 87665 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 355352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 6540
/proc/meminfo: memFree=31287556/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=345936 CPUtime=1662.32 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 317177 0 0 0 165819 413 0 0 25 0 1 0 967278928 354238464 81197 33554432000 4194304 8979876 140733766592928 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 86484 81197 731 1169 0 85311 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 345936
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 6542
/proc/meminfo: memFree=31277464/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=350452 CPUtime=1722.33 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 324734 0 0 0 171811 422 0 0 25 0 1 0 967278928 358862848 82522 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 87613 82522 708 1169 0 86440 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 350452
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 6543
/proc/meminfo: memFree=31270848/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=352488 CPUtime=1782.32 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 325626 0 0 0 177804 428 0 0 25 0 1 0 967278928 360947712 83414 33554432000 4194304 8979876 140733766592928 18446744073709551615 7195968 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88122 83414 708 1169 0 86949 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 352488
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 6544
/proc/meminfo: memFree=31270848/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=352488 CPUtime=1785.53 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 325627 0 0 0 178124 429 0 0 25 0 1 0 967278928 360947712 83415 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88122 83415 708 1169 0 86949 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 352488
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 6544
/proc/meminfo: memFree=31270088/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=353156 CPUtime=1791.93 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 325817 0 0 0 178763 430 0 0 25 0 1 0 967278928 361631744 83605 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88289 83605 708 1169 0 87116 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 353156
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 6544
/proc/meminfo: memFree=31267484/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=355680 CPUtime=1795.13 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 326504 0 0 0 179083 430 0 0 25 0 1 0 967278928 364216320 84254 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88920 84254 708 1169 0 87747 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 355680
[startup+1795.9 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 6544
/proc/meminfo: memFree=31267484/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=355680 CPUtime=1795.92 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 326504 0 0 0 179162 430 0 0 25 0 1 0 967278928 364216320 84254 33554432000 4194304 8979876 140733766592928 18446744073709551615 7170373 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88920 84254 708 1169 0 87747 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 355680
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 6544
/proc/meminfo: memFree=31267484/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=355680 CPUtime=1796.72 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 326504 0 0 0 179242 430 0 0 25 0 1 0 967278928 364216320 84254 33554432000 4194304 8979876 140733766592928 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6445/statm: 88920 84254 708 1169 0 87747 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 355680
[startup+1797.1 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 6544
/proc/meminfo: memFree=31267484/32951124 swapFree=67054712/67111528
[pid=6445] ppid=6443 vsize=352212 CPUtime=1797.12 cores=0,2,4,6
/proc/6445/stat : 6445 (scip-2.0.1.4_2.) R 6443 6445 2200 0 -1 4202496 326511 0 0 0 179282 430 0 0 25 0 1 0 967278928 360665088 83394 33554432000 4194304 8979876 140733766592928 18446744073709551615 4687536 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6445/statm: 88053 83394 715 1169 0 86880 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 352212
Child status: 0
Real time (s): 1797.18
CPU time (s): 1797.21
CPU user time (s): 1792.89
CPU system time (s): 4.32134
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 366124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.89
system time used= 4.32134
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326517
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= 4215
runsolver used 3.08353 second user time and 5.9441 second system time
The end