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-3488977-1307770755.opb>
0.09/0.11 c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.15 c presolving:
0.09/0.18 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.20 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.22 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.59/0.69 c (0.7s) probing: 113/3297 (3.4%) - 0 fixings, 0 aggregations, 2730 implications, 0 bound changes
0.59/0.69 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.59/0.69 c presolving (4 rounds):
0.59/0.69 c 0 deleted vars, 3094 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
0.59/0.69 c 6552 implications, 0 cliques
0.59/0.69 c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
0.59/0.69 c 195 constraints of type <knapsack>
0.59/0.69 c 3094 constraints of type <linear>
0.59/0.69 c transformed objective value is always integral (scale: 1)
0.59/0.69 c Presolving Time: 0.55
0.59/0.69 c - non default parameters ----------------------------------------------------------------------
0.59/0.69 c # SCIP version 2.0.1.5
0.59/0.69 c
0.59/0.69 c # frequency for displaying node information lines
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69 c display/freq = 10000
0.59/0.69 c
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/time = 1797
0.59/0.69 c
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/memory = 13950
0.59/0.69 c
0.59/0.69 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.69 c # [type: int, range: [1,2], default: 1]
0.59/0.69 c timing/clocktype = 2
0.59/0.69 c
0.59/0.69 c # belongs reading time to solving time?
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c timing/reading = TRUE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify inequalities
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/linear/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/indicator/addCouplingCons = TRUE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify knapsacks
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c separating/rapidlearning/freq = 0
0.59/0.69 c
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving
0.59/0.69 c
0.89/0.91 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.91 c 0.9s| 1 | 0 | 2553 | - | 27M| 0 |1909 |3297 |3304 |3297 |3289 | 0 | 15 | 0 | 1.300000e+01 | -- | Inf
3.89/3.91 c 3.9s| 1 | 0 | 9219 | - | 29M| 0 |1931 |3297 |3662 |3297 |3364 | 75 | 15 | 0 | 1.300000e+01 | -- | Inf
4.19/4.25 c 4.2s| 1 | 0 | 9476 | - | 30M| 0 |1950 |3297 |3662 |3297 |3496 | 207 | 15 | 0 | 1.300000e+01 | -- | Inf
4.69/4.76 c 4.8s| 1 | 0 | 9820 | - | 30M| 0 |1954 |3297 |3662 |3297 |3619 | 330 | 15 | 0 | 1.300000e+01 | -- | Inf
5.30/5.31 c 5.3s| 1 | 0 | 10074 | - | 31M| 0 |1943 |3297 |3662 |3297 |3733 | 444 | 15 | 0 | 1.300000e+01 | -- | Inf
5.79/5.81 c 5.8s| 1 | 0 | 10549 | - | 31M| 0 |1961 |3297 |3662 |3297 |3867 | 578 | 15 | 0 | 1.300000e+01 | -- | Inf
6.29/6.38 c 6.4s| 1 | 0 | 11121 | - | 32M| 0 |1934 |3297 |3662 |3297 |3984 | 695 | 15 | 0 | 1.300000e+01 | -- | Inf
11.29/11.37 c 11.4s| 1 | 2 | 11121 | - | 32M| 0 |1934 |3297 |3662 |3297 |3984 | 695 | 15 | 31 | 1.300000e+01 | -- | Inf
607.31/607.36 c 607s| 10000 | 5371 | 3518k| 350.8 | 67M| 70 | - |3297 |6810 |3297 |3415 | 695 | 15k|4424 | 2.000000e+01 | -- | Inf
1077.93/1077.94 c 1078s| 20000 | 8605 | 6559k| 327.4 | 112M| 75 |1337 |3297 |5809 |3297 |3415 | 695 | 29k| 10k| 2.000000e+01 | -- | Inf
1565.14/1565.13 c 1565s| 30000 | 9619 | 10194k| 339.5 | 141M| 75 | 921 |3297 |5808 |3297 |3415 | 695 | 48k| 14k| 2.000000e+01 | -- | Inf
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 34753
1797.05/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.00 c Dual Bound : +2.00000000000000e+01
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 s UNKNOWN
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.55 (included in solving)
1797.05/1797.00 c reading : 0.11 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3488977-1307770755.opb
1797.05/1797.00 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 6383 initial, 6383 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3488977-1307770755.opb
1797.05/1797.00 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 3289 initial, 8843 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.46 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.07 0 0 0 0 0 3094 0 182 182
1797.05/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 27570 0 4 0 54 9298 0 0 50860
1797.05/1797.00 c knapsack : 195 6 181092 0 1 3 467826 1829 267115 989 0 0
1797.05/1797.00 c linear : 3094+ 7 179263 0 0 0 122327 6933 6197662 0 0 0
1797.05/1797.00 c logicor : 0+ 6 103280 0 0 0 167276 964 98610 0 0 0
1797.05/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 518.78 0.00 0.00 518.78 0.00 0.00 0.00
1797.05/1797.00 c knapsack : 12.66 0.01 12.42 0.00 0.00 0.00 0.22
1797.05/1797.00 c linear : 65.41 0.00 65.20 0.00 0.00 0.00 0.20
1797.05/1797.00 c logicor : 6.62 0.00 6.43 0.00 0.00 0.00 0.19
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 0 0 0 0
1797.05/1797.00 c pseudoobj : 180862 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.05 0.05 0.00
1797.05/1797.00 c rootredcost : 0.05 0.05 0.00
1797.05/1797.00 c pseudoobj : 0.14 0.14 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.84 9726 9701 81728 38.8 410 23.1 -
1797.05/1797.00 c infeasible LP : 4.39 13403 13403 42707 24.5 676 22.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 58077 26.3 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 5 - - 2518 - (maximal pool size: 4005)
1797.05/1797.00 c redcost : 1.31 27575 0 17 0 0
1797.05/1797.00 c impliedbounds : 0.00 6 0 0 41 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.10 6 0 0 49 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.10 6 0 0 3 0
1797.05/1797.00 c cmir : 0.91 6 0 0 3000 0
1797.05/1797.00 c flowcover : 0.69 6 0 0 1200 0
1797.05/1797.00 c clique : 0.00 1 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 1.88 1 0 0 0 358
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 518.74 27570 54 9298 0 0 50860
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 0
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c oneopt : 0.02 0 0
1797.05/1797.00 c crossover : 0.01 0 0
1797.05/1797.01 c guideddiving : 0.00 0 0
1797.05/1797.01 c intshifting : 0.00 0 0
1797.05/1797.01 c objpscostdiving : 23.54 34 0
1797.05/1797.01 c rootsoldiving : 15.83 34 0
1797.05/1797.01 c coefdiving : 83.61 73 0
1797.05/1797.01 c fracdiving : 61.56 82 0
1797.05/1797.01 c veclendiving : 42.26 182 0
1797.05/1797.01 c pscostdiving : 52.98 198 0
1797.05/1797.01 c linesearchdiving : 47.94 265 0
1797.05/1797.01 c trivial : 0.00 2 0
1797.05/1797.01 c shiftandpropagate: 0.11 1 0
1797.05/1797.01 c simplerounding : 0.01 0 0
1797.05/1797.01 c zirounding : 0.52 1000 0
1797.05/1797.01 c rounding : 1.54 2316 0
1797.05/1797.01 c shifting : 9.82 721 0
1797.05/1797.01 c twoopt : 0.00 0 0
1797.05/1797.01 c fixandinfer : 0.00 0 0
1797.05/1797.01 c feaspump : 30.61 41 0
1797.05/1797.01 c clique : 0.00 0 0
1797.05/1797.01 c intdiving : 0.00 0 0
1797.05/1797.01 c actconsdiving : 0.00 0 0
1797.05/1797.01 c octane : 0.00 0 0
1797.05/1797.01 c rens : 0.03 0 0
1797.05/1797.01 c rins : 0.00 0 0
1797.05/1797.01 c localbranching : 0.00 0 0
1797.05/1797.01 c mutation : 0.00 0 0
1797.05/1797.01 c dins : 0.00 0 0
1797.05/1797.01 c vbounds : 0.00 0 0
1797.05/1797.01 c undercover : 0.00 0 0
1797.05/1797.01 c subnlp : 0.01 0 0
1797.05/1797.01 c trysol : 0.01 0 0
1797.05/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.01 c primal LP : 0.01 0 0 0.00 0.00
1797.05/1797.01 c dual LP : 751.17 31702 9146606 288.52 12176.53
1797.05/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.01 c diving/probing LP: 316.87 29936 2815435 94.05 8885.15
1797.05/1797.01 c strong branching : 510.11 16048 4105419 255.82 8048.16
1797.05/1797.01 c (at root node) : - 31 14824 478.19 -
1797.05/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.01 c B&B Tree :
1797.05/1797.01 c number of runs : 1
1797.05/1797.01 c nodes : 34753
1797.05/1797.01 c nodes (total) : 34753
1797.05/1797.01 c nodes left : 10294
1797.05/1797.01 c max depth : 75
1797.05/1797.01 c max depth (total): 75
1797.05/1797.01 c backtracks : 7716 (22.2%)
1797.05/1797.01 c delayed cutoffs : 5816
1797.05/1797.01 c repropagations : 30765 (1908921 domain reductions, 2682 cutoffs)
1797.05/1797.01 c avg switch length: 11.43
1797.05/1797.01 c switching time : 49.14
1797.05/1797.01 c Solution :
1797.05/1797.01 c Solutions found : 0 (0 improvements)
1797.05/1797.01 c Primal Bound : -
1797.05/1797.01 c Dual Bound : +2.00000000000000e+01
1797.05/1797.01 c Gap : infinite
1797.05/1797.01 c Root Dual Bound : +1.30000000000000e+01
1797.05/1797.01 c Root Iterations : 11121
1797.15/1797.12 c Time complete: 1797.17.
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-3488977-1307770755/watcher-3488977-1307770755 -o /tmp/evaluation-result-3488977-1307770755/solver-3488977-1307770755 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488977-1307770755.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.04 2.01 1.93 2/177 2362
/proc/meminfo: memFree=31236288/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=9448 CPUtime=0 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 1479 0 0 0 0 0 0 0 23 0 1 0 967306087 9674752 1433 33554432000 4194304 9016284 140734520484976 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2362/statm: 2362 1435 311 1178 0 1180 0
[startup+0.00942504 s]
/proc/loadavg: 2.04 2.01 1.93 2/177 2362
/proc/meminfo: memFree=31236288/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=13000 CPUtime=0 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 2233 0 0 0 0 0 0 0 23 0 1 0 967306087 13312000 2187 33554432000 4194304 9016284 140734520484976 18446744073709551615 7750473 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2362/statm: 3250 2187 360 1178 0 2068 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13000
[startup+0.100449 s]
/proc/loadavg: 2.04 2.01 1.93 2/177 2362
/proc/meminfo: memFree=31236288/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=22160 CPUtime=0.09 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 4510 0 0 0 9 0 0 0 24 0 1 0 967306087 22691840 4464 33554432000 4194304 9016284 140734520484976 18446744073709551615 7749104 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2362/statm: 5540 4464 360 1178 0 4358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22160
[startup+0.300412 s]
/proc/loadavg: 2.04 2.01 1.93 2/177 2362
/proc/meminfo: memFree=31236288/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=70196 CPUtime=0.29 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 16113 0 0 0 28 1 0 0 25 0 1 0 967306087 71880704 15810 33554432000 4194304 9016284 140734520484976 18446744073709551615 5227633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 17549 15810 515 1178 0 16367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70196
[startup+0.700336 s]
/proc/loadavg: 2.04 2.01 1.93 2/177 2362
/proc/meminfo: memFree=31236288/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=71616 CPUtime=0.69 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 16520 0 0 0 67 2 0 0 25 0 1 0 967306087 73334784 16217 33554432000 4194304 9016284 140734520484976 18446744073709551615 7829200 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 17995 16275 538 1178 0 16813 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71616
[startup+1.50019 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 2363
/proc/meminfo: memFree=31154092/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=91872 CPUtime=1.49 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 22945 0 0 0 143 6 0 0 25 0 1 0 967306087 94076928 21179 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 22968 21179 660 1178 0 21786 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91872
[startup+3.10089 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 2363
/proc/meminfo: memFree=31115656/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=134312 CPUtime=3.09 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 33406 0 0 0 300 9 0 0 25 0 1 0 967306087 137535488 31640 33554432000 4194304 9016284 140734520484976 18446744073709551615 7854948 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 33578 31640 697 1178 0 32396 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134312
[startup+6.30031 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 2364
/proc/meminfo: memFree=31106852/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=6.29 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34659 0 0 0 619 10 0 0 25 0 1 0 967306087 140087296 32781 33554432000 4194304 9016284 140734520484976 18446744073709551615 7180656 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32781 706 1178 0 33019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136804
[startup+12.7011 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 2364
/proc/meminfo: memFree=31106692/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=12.69 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34663 0 0 0 1245 24 0 0 25 0 1 0 967306087 140087296 32785 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32785 707 1178 0 33019 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 136804
[startup+25.5008 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 2364
/proc/meminfo: memFree=31106068/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=25.49 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34663 0 0 0 2487 62 0 0 25 0 1 0 967306087 140087296 32785 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32785 707 1178 0 33019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136804
[startup+51.1011 s]
/proc/loadavg: 2.09 2.02 1.94 3/178 2365
/proc/meminfo: memFree=31105552/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=51.1 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34666 0 0 0 5001 109 0 0 25 0 1 0 967306087 140087296 32788 33554432000 4194304 9016284 140734520484976 18446744073709551615 7055196 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32788 710 1178 0 33019 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 136804
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 1.94 3/178 2366
/proc/meminfo: memFree=31104768/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=102.3 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34679 0 0 0 10024 206 0 0 25 0 1 0 967306087 140087296 32801 33554432000 4194304 9016284 140734520484976 18446744073709551615 7143440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32801 710 1178 0 33019 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 136804
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 2368
/proc/meminfo: memFree=31104340/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=162.3 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34682 0 0 0 15877 353 0 0 25 0 1 0 967306087 140087296 32804 33554432000 4194304 9016284 140734520484976 18446744073709551615 7214128 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32804 710 1178 0 33019 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 136804
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 2369
/proc/meminfo: memFree=31090888/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=222.29 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34706 0 0 0 21731 498 0 0 25 0 1 0 967306087 140087296 32827 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32827 709 1178 0 33019 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 136804
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2371
/proc/meminfo: memFree=31085004/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=282.3 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34709 0 0 0 27571 659 0 0 25 0 1 0 967306087 140087296 32830 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32830 709 1178 0 33019 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 136804
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2373
/proc/meminfo: memFree=31078752/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=136804 CPUtime=342.31 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 34764 0 0 0 33412 819 0 0 25 0 1 0 967306087 140087296 32878 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 34201 32878 709 1178 0 33019 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 136804
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2374
/proc/meminfo: memFree=31065176/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=141836 CPUtime=402.3 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 36005 0 0 0 39242 988 0 0 25 0 1 0 967306087 145240064 34119 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 35459 34119 709 1178 0 34277 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 141836
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2376
/proc/meminfo: memFree=31054456/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=146756 CPUtime=462.31 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 46403 0 0 0 45053 1178 0 0 25 0 1 0 967306087 150278144 35339 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 36689 35339 709 1178 0 35507 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 146756
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2454
/proc/meminfo: memFree=31150664/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=154180 CPUtime=522.31 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 50061 0 0 0 50880 1351 0 0 25 0 1 0 967306087 157880320 37166 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199015 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 38545 37166 709 1178 0 37363 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 154180
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2456
/proc/meminfo: memFree=31111956/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=159960 CPUtime=582.31 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 59501 0 0 0 56715 1516 0 0 25 0 1 0 967306087 163799040 38655 33554432000 4194304 9016284 140734520484976 18446744073709551615 7055184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 39990 38655 709 1178 0 38808 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 159960
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31036868/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=231504 CPUtime=1062.33 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 114066 0 0 0 103616 2617 0 0 25 0 1 0 967306087 237060096 56569 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 57876 56569 709 1178 0 56694 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 231504
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2470
/proc/meminfo: memFree=31035072/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=240568 CPUtime=1122.33 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 120126 0 0 0 109455 2778 0 0 25 0 1 0 967306087 246341632 58750 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199020 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 60142 58750 709 1178 0 58960 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 240568
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2472
/proc/meminfo: memFree=31004632/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=250884 CPUtime=1182.33 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 124420 0 0 0 115297 2936 0 0 25 0 1 0 967306087 256905216 61425 33554432000 4194304 9016284 140734520484976 18446744073709551615 6558096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 62721 61425 709 1178 0 61539 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 250884
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 2474
/proc/meminfo: memFree=30993180/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=259660 CPUtime=1242.33 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 126647 0 0 0 121140 3093 0 0 25 0 1 0 967306087 265891840 63645 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 64915 63645 709 1178 0 63733 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 259660
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 2475
/proc/meminfo: memFree=30983328/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=269532 CPUtime=1302.33 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 129258 0 0 0 126993 3240 0 0 25 0 1 0 967306087 276000768 66126 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 67383 66126 709 1178 0 66201 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 269532
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2486
/proc/meminfo: memFree=30976520/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=275372 CPUtime=1362.33 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 132467 0 0 0 132842 3391 0 0 25 0 1 0 967306087 281980928 67450 33554432000 4194304 9016284 140734520484976 18446744073709551615 5221936 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 68843 67450 709 1178 0 67661 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 275372
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2487
/proc/meminfo: memFree=30967776/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=284300 CPUtime=1422.34 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 136500 0 0 0 138696 3538 0 0 25 0 1 0 967306087 291123200 69678 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 71075 69678 709 1178 0 69893 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 284300
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2489
/proc/meminfo: memFree=30961280/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=290704 CPUtime=1482.34 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 138268 0 0 0 144554 3680 0 0 25 0 1 0 967306087 297680896 71311 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199020 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 72676 71311 713 1178 0 71494 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 290704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2491
/proc/meminfo: memFree=30951816/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=298012 CPUtime=1542.34 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 143857 0 0 0 150400 3834 0 0 25 0 1 0 967306087 305164288 73307 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 74503 73307 709 1178 0 73321 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 298012
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2492
/proc/meminfo: memFree=30945164/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=304860 CPUtime=1602.34 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 155515 0 0 0 156247 3987 0 0 25 0 1 0 967306087 312176640 74951 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 76215 74951 709 1178 0 75033 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 304860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2494
/proc/meminfo: memFree=30939028/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=310652 CPUtime=1662.35 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 160785 0 0 0 162089 4146 0 0 25 0 1 0 967306087 318107648 76475 33554432000 4194304 9016284 140734520484976 18446744073709551615 7065533 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 77663 76475 709 1178 0 76481 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 310652
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 2495
/proc/meminfo: memFree=30932272/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=316728 CPUtime=1722.35 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 163838 0 0 0 167930 4305 0 0 25 0 1 0 967306087 324329472 77826 33554432000 4194304 9016284 140734520484976 18446744073709551615 5255400 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 79182 77826 709 1178 0 78000 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 316728
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 2497
/proc/meminfo: memFree=30921164/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=323940 CPUtime=1782.35 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 171392 0 0 0 173788 4447 0 0 25 0 1 0 967306087 331714560 79792 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 80985 79792 709 1178 0 79803 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 323940
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 2497
/proc/meminfo: memFree=30920172/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=324884 CPUtime=1785.54 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 171656 0 0 0 174102 4452 0 0 25 0 1 0 967306087 332681216 80056 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 81221 80056 709 1178 0 80039 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 324884
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 2497
/proc/meminfo: memFree=30919544/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=325224 CPUtime=1791.96 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 171740 0 0 0 174729 4467 0 0 25 0 1 0 967306087 333029376 80140 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 81306 80140 709 1178 0 80124 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 325224
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 2497
/proc/meminfo: memFree=30919540/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=325224 CPUtime=1795.14 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 171740 0 0 0 175041 4473 0 0 25 0 1 0 967306087 333029376 80140 33554432000 4194304 9016284 140734520484976 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 81306 80140 709 1178 0 80124 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 325224
[startup+1795.9 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 2497
/proc/meminfo: memFree=30919540/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=325224 CPUtime=1795.95 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 171740 0 0 0 175119 4476 0 0 25 0 1 0 967306087 333029376 80140 33554432000 4194304 9016284 140734520484976 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 81306 80140 709 1178 0 80124 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 325224
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 2497
/proc/meminfo: memFree=30919540/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=325224 CPUtime=1796.75 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 171740 0 0 0 175197 4478 0 0 25 0 1 0 967306087 333029376 80140 33554432000 4194304 9016284 140734520484976 18446744073709551615 6948541 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2362/statm: 81306 80140 709 1178 0 80124 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 325224
[startup+1797.1 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 2497
/proc/meminfo: memFree=30919540/32951124 swapFree=67056304/67111528
[pid=2362] ppid=2360 vsize=325224 CPUtime=1797.15 cores=1,3,5,7
/proc/2362/stat : 2362 (scip-2.0.1.4b_2) R 2360 2362 30098 0 -1 4202496 171743 0 0 0 175236 4479 0 0 18 0 1 0 967306087 333029376 80143 33554432000 4194304 9016284 140734520484976 18446744073709551615 6468344 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2362/statm: 81306 80143 712 1178 0 80124 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 325224
Child status: 0
Real time (s): 1797.13
CPU time (s): 1797.18
CPU user time (s): 1752.38
CPU system time (s): 44.8062
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 325224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.38
system time used= 44.8062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171748
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= 7
involuntary context switches= 20297
runsolver used 2.95855 second user time and 6.52701 second system time
The end