0.00/0.00 c SCIP version 2.0.1.5 [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-3733889-1338710682.opb>
0.08/0.11 c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.08/0.11 c problem read
0.08/0.11 c presolving settings loaded
0.08/0.16 c presolving:
0.19/0.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.24 c (round 2) 0 del vars, 3094 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 104 upgd conss, 0 impls, 0 clqs
0.19/0.27 c (round 3) 0 del vars, 3094 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 195 upgd conss, 1092 impls, 0 clqs
0.69/0.76 c (0.8s) probing: 113/3297 (3.4%) - 0 fixings, 0 aggregations, 2730 implications, 0 bound changes
0.69/0.76 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.69/0.76 c presolving (4 rounds):
0.69/0.76 c 0 deleted vars, 3094 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
0.69/0.76 c 6552 implications, 0 cliques
0.69/0.76 c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
0.69/0.76 c 195 constraints of type <knapsack>
0.69/0.76 c 3094 constraints of type <linear>
0.69/0.76 c transformed objective value is always integral (scale: 1)
0.69/0.76 c Presolving Time: 0.60
0.69/0.76 c - non default parameters ----------------------------------------------------------------------
0.69/0.76 c # SCIP version 2.0.1.5
0.69/0.76 c
0.69/0.76 c # frequency for displaying node information lines
0.69/0.76 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.76 c display/freq = 10000
0.69/0.76 c
0.69/0.76 c # maximal time in seconds to run
0.69/0.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.76 c limits/time = 1797
0.69/0.76 c
0.69/0.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.76 c limits/memory = 13950
0.69/0.76 c
0.69/0.76 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.76 c # [type: int, range: [1,2], default: 1]
0.69/0.76 c timing/clocktype = 2
0.69/0.76 c
0.69/0.76 c # belongs reading time to solving time?
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c timing/reading = TRUE
0.69/0.76 c
0.69/0.76 c # should presolving try to simplify inequalities
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/linear/simplifyinequalities = TRUE
0.69/0.76 c
0.69/0.76 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/indicator/addCouplingCons = TRUE
0.69/0.76 c
0.69/0.76 c # should presolving try to simplify knapsacks
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.76 c
0.69/0.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.76 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.76 c separating/rapidlearning/freq = 0
0.69/0.76 c
0.69/0.76 c -----------------------------------------------------------------------------------------------
0.69/0.76 c start solving
0.69/0.76 c
0.89/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.99 c 1.0s| 1 | 0 | 2553 | - | 27M| 0 |1909 |3297 |3304 |3297 |3289 | 0 | 15 | 0 | 1.300000e+01 | -- | Inf
4.09/4.13 c 4.1s| 1 | 0 | 9219 | - | 29M| 0 |1931 |3297 |3662 |3297 |3364 | 75 | 15 | 0 | 1.300000e+01 | -- | Inf
4.39/4.48 c 4.5s| 1 | 0 | 9476 | - | 30M| 0 |1950 |3297 |3662 |3297 |3496 | 207 | 15 | 0 | 1.300000e+01 | -- | Inf
4.99/5.01 c 5.0s| 1 | 0 | 9820 | - | 30M| 0 |1954 |3297 |3662 |3297 |3619 | 330 | 15 | 0 | 1.300000e+01 | -- | Inf
5.49/5.57 c 5.6s| 1 | 0 | 10074 | - | 31M| 0 |1943 |3297 |3662 |3297 |3733 | 444 | 15 | 0 | 1.300000e+01 | -- | Inf
5.99/6.09 c 6.1s| 1 | 0 | 10549 | - | 31M| 0 |1961 |3297 |3662 |3297 |3867 | 578 | 15 | 0 | 1.300000e+01 | -- | Inf
6.59/6.68 c 6.7s| 1 | 0 | 11121 | - | 32M| 0 |1934 |3297 |3662 |3297 |3984 | 695 | 15 | 0 | 1.300000e+01 | -- | Inf
11.69/11.77 c 11.8s| 1 | 2 | 11121 | - | 32M| 0 |1934 |3297 |3662 |3297 |3984 | 695 | 15 | 31 | 1.300000e+01 | -- | Inf
626.88/627.05 c 627s| 10000 | 5371 | 3518k| 350.8 | 67M| 70 | - |3297 |6810 |3297 |3415 | 695 | 15k|4424 | 2.000000e+01 | -- | Inf
1108.29/1108.55 c 1109s| 20000 | 8605 | 6559k| 327.4 | 112M| 75 |1337 |3297 |5809 |3297 |3415 | 695 | 29k| 10k| 2.000000e+01 | -- | Inf
1607.92/1608.22 c 1608s| 30000 | 9619 | 10194k| 339.5 | 141M| 75 | 921 |3297 |5808 |3297 |3415 | 695 | 48k| 14k| 2.000000e+01 | -- | Inf
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 33799
1796.68/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.00 c Dual Bound : +2.00000000000000e+01
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 s UNKNOWN
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Total Time : 1797.00
1796.68/1797.00 c solving : 1797.00
1796.68/1797.00 c presolving : 0.60 (included in solving)
1796.68/1797.00 c reading : 0.11 (included in solving)
1796.68/1797.00 c Original Problem :
1796.68/1797.00 c Problem name : HOME/instance-3733889-1338710682.opb
1796.68/1797.00 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 6383 initial, 6383 maximal
1796.68/1797.00 c Presolved Problem :
1796.68/1797.00 c Problem name : t_HOME/instance-3733889-1338710682.opb
1796.68/1797.00 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 3289 initial, 8843 maximal
1796.68/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c probing : 0.48 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c linear : 0.10 0 0 0 0 0 3094 0 182 182
1796.68/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c root node : - 0 - - 0 - - - - -
1796.68/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c integral : 0 0 0 26860 0 4 0 49 8917 0 0 49604
1796.68/1797.00 c knapsack : 195 6 175125 0 1 3 450979 1774 259674 989 0 0
1796.68/1797.00 c linear : 3094+ 7 173351 0 1 0 116946 6649 5986894 0 0 0
1796.68/1797.00 c logicor : 0+ 6 100064 0 0 0 160118 941 94832 0 0 0
1796.68/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.68/1797.00 c integral : 506.11 0.00 0.00 506.11 0.00 0.00 0.00
1796.68/1797.00 c knapsack : 15.44 0.02 14.93 0.00 0.00 0.00 0.49
1796.68/1797.00 c linear : 75.24 0.00 74.95 0.00 0.00 0.00 0.29
1796.68/1797.00 c logicor : 7.75 0.00 7.47 0.00 0.00 0.00 0.28
1796.68/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.68/1797.00 c vbounds : 0 0 0 0
1796.68/1797.00 c rootredcost : 0 0 0 0
1796.68/1797.00 c pseudoobj : 174895 0 0 0
1796.68/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.68/1797.00 c vbounds : 0.15 0.15 0.00
1796.68/1797.00 c rootredcost : 0.15 0.15 0.00
1796.68/1797.00 c pseudoobj : 0.26 0.26 0.00
1796.68/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.00 c propagation : 1.50 9364 9339 78373 38.7 388 23.4 -
1796.68/1797.00 c infeasible LP : 5.96 13009 13009 41359 24.3 649 21.7 0
1796.68/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c applied globally : - - - 56019 26.2 - - -
1796.68/1797.00 c applied locally : - - - 0 0.0 - - -
1796.68/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.68/1797.00 c cut pool : 0.00 5 - - 2518 - (maximal pool size: 4005)
1796.68/1797.00 c redcost : 1.28 26864 0 15 0 0
1796.68/1797.00 c impliedbounds : 0.00 6 0 0 41 0
1796.68/1797.00 c intobj : 0.00 0 0 0 0 0
1796.68/1797.00 c gomory : 0.12 6 0 0 49 0
1796.68/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.68/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.68/1797.00 c strongcg : 0.11 6 0 0 3 0
1796.68/1797.00 c cmir : 0.93 6 0 0 3000 0
1796.68/1797.00 c flowcover : 0.70 6 0 0 1200 0
1796.68/1797.00 c clique : 0.01 1 0 0 0 0
1796.68/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.68/1797.00 c mcf : 0.00 1 0 0 0 0
1796.68/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.68/1797.00 c rapidlearning : 1.99 1 0 0 0 358
1796.68/1797.00 c Pricers : Time Calls Vars
1796.68/1797.00 c problem variables: 0.00 0 0
1796.68/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c relpscost : 505.96 26860 49 8917 0 0 49604
1796.68/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.68/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.68/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.68/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.68/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.00 c random : 0.00 0 0 0 0 0 0
1796.68/1797.00 c Primal Heuristics : Time Calls Found
1796.68/1797.00 c LP solutions : 0.00 - 0
1796.68/1797.00 c pseudo solutions : 0.00 - 0
1796.68/1797.00 c oneopt : 0.09 0 0
1796.68/1797.00 c crossover : 0.05 0 0
1796.68/1797.00 c guideddiving : 0.00 0 0
1796.68/1797.00 c intshifting : 0.00 0 0
1796.68/1797.00 c coefdiving : 87.24 71 0
1796.68/1797.00 c fracdiving : 60.28 81 0
1796.68/1797.00 c veclendiving : 42.35 174 0
1796.68/1797.00 c pscostdiving : 53.55 193 0
1796.68/1797.00 c linesearchdiving : 48.31 259 0
1796.68/1797.00 c trivial : 0.00 2 0
1796.68/1797.00 c shiftandpropagate: 0.13 1 0
1796.68/1797.00 c simplerounding : 0.03 0 0
1796.68/1797.00 c zirounding : 0.62 1000 0
1796.68/1797.00 c rounding : 1.56 2287 0
1796.68/1797.00 c shifting : 9.55 712 0
1796.68/1797.00 c twoopt : 0.00 0 0
1796.68/1797.00 c fixandinfer : 0.00 0 0
1796.68/1797.00 c feaspump : 31.60 41 0
1796.68/1797.00 c clique : 0.00 0 0
1796.68/1797.00 c intdiving : 0.00 0 0
1796.68/1797.00 c actconsdiving : 0.00 0 0
1796.68/1797.00 c objpscostdiving : 24.06 34 0
1796.68/1797.00 c rootsoldiving : 15.71 32 0
1796.68/1797.00 c octane : 0.00 0 0
1796.68/1797.00 c rens : 0.03 0 0
1796.68/1797.00 c rins : 0.00 0 0
1796.68/1797.00 c localbranching : 0.00 0 0
1796.68/1797.00 c mutation : 0.00 0 0
1796.68/1797.00 c dins : 0.00 0 0
1796.68/1797.00 c vbounds : 0.00 0 0
1796.68/1797.00 c undercover : 0.00 0 0
1796.68/1797.00 c subnlp : 0.03 0 0
1796.68/1797.00 c trysol : 0.05 0 0
1796.68/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.68/1797.00 c primal LP : 0.01 0 0 0.00 0.00
1796.68/1797.00 c dual LP : 734.56 30858 8900930 288.45 12117.45
1796.68/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.68/1797.00 c diving/probing LP: 313.06 28935 2748692 95.00 8780.02
1796.68/1797.00 c strong branching : 497.02 15564 3997395 256.84 8042.74
1796.68/1797.00 c (at root node) : - 31 14824 478.19 -
1796.68/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.00 c B&B Tree :
1796.68/1797.00 c number of runs : 1
1796.68/1797.00 c nodes : 33799
1796.68/1797.00 c nodes (total) : 33799
1796.68/1797.00 c nodes left : 10278
1796.68/1797.00 c max depth : 75
1796.68/1797.00 c max depth (total): 75
1796.68/1797.00 c backtracks : 7437 (22.0%)
1796.68/1797.00 c delayed cutoffs : 5530
1796.68/1797.00 c repropagations : 29651 (1837414 domain reductions, 2568 cutoffs)
1796.68/1797.00 c avg switch length: 11.36
1796.68/1797.00 c switching time : 54.84
1796.68/1797.00 c Solution :
1796.68/1797.00 c Solutions found : 0 (0 improvements)
1796.68/1797.00 c Primal Bound : -
1796.68/1797.00 c Dual Bound : +2.00000000000000e+01
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 c Root Dual Bound : +1.30000000000000e+01
1796.68/1797.00 c Root Iterations : 11121
1796.78/1797.14 c Time complete: 1796.82.
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-3733889-1338710682/watcher-3733889-1338710682 -o /tmp/evaluation-result-3733889-1338710682/solver-3733889-1338710682 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3733889-1338710682.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 3/176 5230
/proc/meminfo: memFree=27498912/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 1521 0 0 0 0 0 0 0 20 0 1 0 337135211 9818112 1475 33554432000 4194304 9016284 140735317235712 140733422966872 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2397 1476 311 1178 0 1215 0
[startup+0.096059 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5230
/proc/meminfo: memFree=27498912/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=20700 CPUtime=0.08 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 4142 0 0 0 8 0 0 0 20 0 1 0 337135211 21196800 4096 33554432000 4194304 9016284 140735317235712 140735317167464 7842362 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 5175 4096 360 1178 0 3993 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20700
[startup+0.100358 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5230
/proc/meminfo: memFree=27498912/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=21664 CPUtime=0.08 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 4384 0 0 0 8 0 0 0 20 0 1 0 337135211 22183936 4338 33554432000 4194304 9016284 140735317235712 140735317167464 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 5416 4338 360 1178 0 4234 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21664
[startup+0.300315 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5230
/proc/meminfo: memFree=27498912/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=70204 CPUtime=0.29 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 16113 0 0 0 27 2 0 0 20 0 1 0 337135211 71888896 15810 33554432000 4194304 9016284 140735317235712 140735317167464 5258167 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 17551 15810 515 1178 0 16369 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70204
[startup+0.700302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5230
/proc/meminfo: memFree=27498912/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=70204 CPUtime=0.69 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 16113 0 0 0 67 2 0 0 20 0 1 0 337135211 71888896 15810 33554432000 4194304 9016284 140735317235712 140735317232312 5251793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 17551 15810 515 1178 0 16369 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70204
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5231
/proc/meminfo: memFree=27416428/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=91880 CPUtime=1.49 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 22945 0 0 0 145 4 0 0 20 0 1 0 337135211 94085120 21167 33554432000 4194304 9016284 140735317235712 140735317232312 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 22970 21167 648 1178 0 21788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91880
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5231
/proc/meminfo: memFree=27415684/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=134176 CPUtime=3.09 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 33360 0 0 0 303 6 0 0 20 0 1 0 337135211 137396224 31582 33554432000 4194304 9016284 140735317235712 140735317228408 5214685 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 33544 31582 685 1178 0 32362 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134176
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5231
/proc/meminfo: memFree=27369556/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=6.28 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34659 0 0 0 622 6 0 0 20 0 1 0 337135211 140095488 32769 33554432000 4194304 9016284 140735317235712 140735317230040 6578056 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 32769 694 1178 0 33021 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 136812
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5231
/proc/meminfo: memFree=27368208/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=12.68 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34663 0 0 0 1259 9 0 0 20 0 1 0 337135211 140095488 32773 33554432000 4194304 9016284 140735317235712 140735317228520 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 32773 695 1178 0 33021 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 136812
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5231
/proc/meminfo: memFree=27367464/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=25.48 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34663 0 0 0 2531 17 0 0 20 0 1 0 337135211 140095488 32773 33554432000 4194304 9016284 140735317235712 140735317229016 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 32773 695 1178 0 33021 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 136812
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5231
/proc/meminfo: memFree=27365232/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=51.08 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34666 0 0 0 5079 29 0 0 20 0 1 0 337135211 140095488 32776 33554432000 4194304 9016284 140735317235712 140735317229784 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 32776 698 1178 0 33021 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 136812
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5231
/proc/meminfo: memFree=27363992/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=102.28 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34679 0 0 0 10172 56 0 0 20 0 1 0 337135211 140095488 32789 33554432000 4194304 9016284 140735317235712 140735317229624 7213844 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 32789 698 1178 0 33021 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 136812
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5231
/proc/meminfo: memFree=27362876/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=162.26 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34682 0 0 0 16131 95 0 0 20 0 1 0 337135211 140095488 32792 33554432000 4194304 9016284 140735317235712 140735317229640 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 32792 698 1178 0 33021 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 136812
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5231
/proc/meminfo: memFree=27353736/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=222.25 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34692 0 0 0 22084 141 0 0 20 0 1 0 337135211 140095488 32802 33554432000 4194304 9016284 140735317235712 140735317229416 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 32802 698 1178 0 33021 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 136812
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5270
/proc/meminfo: memFree=27591976/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=282.24 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34727 0 0 0 28042 182 0 0 20 0 1 0 337135211 140095488 33183 33554432000 4194304 9016284 140735317235712 140735317229512 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 33183 698 1178 0 33021 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 136812
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5273
/proc/meminfo: memFree=27590964/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=136812 CPUtime=342.23 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 34728 0 0 0 33998 225 0 0 20 0 1 0 337135211 140095488 33237 33554432000 4194304 9016284 140735317235712 140735317229768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 34203 33237 698 1178 0 33021 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 136812
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5273
/proc/meminfo: memFree=27582568/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=140440 CPUtime=402.22 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 35621 0 0 0 39952 270 0 0 20 0 1 0 337135211 143810560 34130 33554432000 4194304 9016284 140735317235712 140735317229880 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 35110 34130 698 1178 0 33928 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 140440
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5273
/proc/meminfo: memFree=27578340/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=145520 CPUtime=462.2 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 45935 0 0 0 45894 326 0 0 20 0 1 0 337135211 149012480 35265 33554432000 4194304 9016284 140735317235712 140735317229432 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 36380 35265 698 1178 0 35198 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 145520
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5273
/proc/meminfo: memFree=27570084/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=151600 CPUtime=522.19 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 47597 0 0 0 51843 376 0 0 20 0 1 0 337135211 155238400 37262 33554432000 4194304 9016284 140735317235712 140735317230040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 37900 37262 698 1178 0 36718 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 151600
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5274
/proc/meminfo: memFree=27564132/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=157976 CPUtime=582.18 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 53009 0 0 0 57788 430 0 0 20 0 1 0 337135211 161767424 38854 33554432000 4194304 9016284 140735317235712 140735317229128 5251793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 39494 38854 698 1178 0 38312 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 157976
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27495692/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=227212 CPUtime=1062.1 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 112729 0 0 0 105376 834 0 0 20 0 1 0 337135211 232665088 55956 33554432000 4194304 9016284 140735317235712 140735317229880 5215008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 56803 55956 698 1178 0 55621 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 227212
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5278
/proc/meminfo: memFree=27485524/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=236264 CPUtime=1122.09 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 117062 0 0 0 111323 886 0 0 20 0 1 0 337135211 241934336 58109 33554432000 4194304 9016284 140735317235712 140735317228856 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 59066 58109 698 1178 0 57884 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 236264
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5279
/proc/meminfo: memFree=27473888/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=248116 CPUtime=1182.08 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 121750 0 0 0 117266 942 0 0 20 0 1 0 337135211 254070784 61097 33554432000 4194304 9016284 140735317235712 140735317229464 5251793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 62029 61097 698 1178 0 60847 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 248116
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5279
/proc/meminfo: memFree=27465892/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=256492 CPUtime=1242.07 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 125769 0 0 0 123208 999 0 0 20 0 1 0 337135211 262647808 63490 33554432000 4194304 9016284 140735317235712 140735317229880 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 64123 63490 698 1178 0 62941 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 256492
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5279
/proc/meminfo: memFree=27452372/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=262920 CPUtime=1302.07 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 127420 0 0 0 129162 1045 0 0 20 0 1 0 337135211 269230080 65127 33554432000 4194304 9016284 140735317235712 140735317229576 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 65730 65127 698 1178 0 64548 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 262920
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 5279
/proc/meminfo: memFree=27441896/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=271700 CPUtime=1362.05 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 131579 0 0 0 135106 1099 0 0 20 0 1 0 337135211 278220800 67285 33554432000 4194304 9016284 140735317235712 140735317228632 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 67925 67285 698 1178 0 66743 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 271700
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5279
/proc/meminfo: memFree=27433836/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=276828 CPUtime=1422.05 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 134398 0 0 0 141054 1151 0 0 20 0 1 0 337135211 283471872 68299 33554432000 4194304 9016284 140735317235712 140735317228968 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 69207 68299 698 1178 0 68025 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 276828
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5280
/proc/meminfo: memFree=27425176/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=284308 CPUtime=1482.03 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 136525 0 0 0 147003 1200 0 0 20 0 1 0 337135211 291131392 70425 33554432000 4194304 9016284 140735317235712 140735317228872 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 71077 70425 698 1178 0 69895 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 284308
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5283
/proc/meminfo: memFree=27412892/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=292988 CPUtime=1542.02 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 140502 0 0 0 152954 1248 0 0 20 0 1 0 337135211 300019712 72412 33554432000 4194304 9016284 140735317235712 140735317229880 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 73247 72412 698 1178 0 72065 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 292988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5283
/proc/meminfo: memFree=27401352/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=301324 CPUtime=1602.02 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 150275 0 0 0 158899 1303 0 0 20 0 1 0 337135211 308555776 74517 33554432000 4194304 9016284 140735317235712 140735317230040 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 75331 74517 698 1178 0 74149 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 301324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5283
/proc/meminfo: memFree=27390068/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=306280 CPUtime=1662 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 157326 0 0 0 164848 1352 0 0 20 0 1 0 337135211 313630720 75930 33554432000 4194304 9016284 140735317235712 140735317229880 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 76570 75930 698 1178 0 75388 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 306280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5283
/proc/meminfo: memFree=27384860/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=312612 CPUtime=1722 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 161108 0 0 0 170791 1409 0 0 20 0 1 0 337135211 320114688 77520 33554432000 4194304 9016284 140735317235712 140735317229816 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 78153 77520 698 1178 0 76971 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 312612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5284
/proc/meminfo: memFree=27382656/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=316016 CPUtime=1781.98 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 165413 0 0 0 176735 1463 0 0 20 0 1 0 337135211 323600384 78288 33554432000 4194304 9016284 140735317235712 140735317229880 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 79004 78288 698 1178 0 77822 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 316016
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5284
/proc/meminfo: memFree=27377944/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=317816 CPUtime=1785.19 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 165948 0 0 0 177053 1466 0 0 20 0 1 0 337135211 325443584 78823 33554432000 4194304 9016284 140735317235712 140735317229880 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 79454 78823 698 1178 0 78272 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 317816
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5284
/proc/meminfo: memFree=27383276/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=316416 CPUtime=1791.59 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 167410 0 0 0 177688 1471 0 0 20 0 1 0 337135211 324009984 78465 33554432000 4194304 9016284 140735317235712 140735317229576 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 79104 78465 698 1178 0 77922 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 316416
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5284
/proc/meminfo: memFree=27379432/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=317280 CPUtime=1794.78 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 167576 0 0 0 178005 1473 0 0 20 0 1 0 337135211 324894720 78631 33554432000 4194304 9016284 140735317235712 140735317229576 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 79320 78631 698 1178 0 78138 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 317280
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5284
/proc/meminfo: memFree=27379432/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=317280 CPUtime=1795.58 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 167576 0 0 0 178084 1474 0 0 20 0 1 0 337135211 324894720 78631 33554432000 4194304 9016284 140735317235712 140735317228040 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 79320 78631 698 1178 0 78138 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 317280
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5284
/proc/meminfo: memFree=27379432/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=317280 CPUtime=1796.38 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 167576 0 0 0 178163 1475 0 0 20 0 1 0 337135211 324894720 78631 33554432000 4194304 9016284 140735317235712 140735317229768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 79320 78631 698 1178 0 78138 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 317280
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5284
/proc/meminfo: memFree=27379432/32873844 swapFree=7128/7128
[pid=5230] ppid=5228 vsize=317280 CPUtime=1796.78 cores=1,3,5,7
/proc/5230/stat : 5230 (scip-2.0.1.4b_2) R 5228 5230 25330 0 -1 4202496 167579 0 0 0 178203 1475 0 0 20 0 1 0 337135211 324894720 78634 33554432000 4194304 9016284 140735317235712 140735317229768 6812657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 79320 78634 701 1178 0 78138 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 317280
Child status: 0
Real time (s): 1797.15
CPU time (s): 1796.84
CPU user time (s): 1782.07
CPU system time (s): 14.7678
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 319908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.07
system time used= 14.7678
maximum resident set size= 316808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167584
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= 44
involuntary context switches= 1846
runsolver used 2.84257 second user time and 8.69568 second system time
The end