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-3489752-1307792614.opb>
1.29/1.38 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256260 constraints
1.29/1.38 c problem read
1.29/1.38 c presolving settings loaded
1.79/1.84 c presolving:
10.19/10.20 c (round 1) 7726 del vars, 22944 del conss, 0 add conss, 6153 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17259454 impls, 0 clqs
14.30/14.34 c (round 2) 14322 del vars, 51760 del conss, 0 add conss, 12341 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17295745 impls, 0 clqs
15.59/15.69 c (round 3) 16827 del vars, 63722 del conss, 0 add conss, 13805 chg bounds, 34 chg sides, 21 chg coeffs, 0 upgd conss, 17313098 impls, 0 clqs
16.50/16.57 c (round 4) 18100 del vars, 68950 del conss, 0 add conss, 14697 chg bounds, 39 chg sides, 32 chg coeffs, 0 upgd conss, 17324399 impls, 0 clqs
16.89/17.00 c (round 5) 18947 del vars, 72462 del conss, 0 add conss, 15185 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17330990 impls, 0 clqs
17.29/17.30 c (round 6) 19400 del vars, 74396 del conss, 0 add conss, 15457 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17337012 impls, 0 clqs
17.60/17.66 c (round 7) 19897 del vars, 76211 del conss, 0 add conss, 15785 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17341905 impls, 0 clqs
17.79/17.88 c (round 8) 20239 del vars, 77705 del conss, 0 add conss, 15984 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17345510 impls, 0 clqs
17.99/18.05 c (round 9) 20471 del vars, 78671 del conss, 0 add conss, 16121 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17347456 impls, 0 clqs
18.09/18.18 c (round 10) 20605 del vars, 79278 del conss, 0 add conss, 16193 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17348832 impls, 0 clqs
18.19/18.28 c (round 11) 20689 del vars, 79653 del conss, 0 add conss, 16239 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17349690 impls, 0 clqs
18.29/18.36 c (round 12) 20745 del vars, 79907 del conss, 0 add conss, 16272 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350090 impls, 0 clqs
18.39/18.43 c (round 13) 20771 del vars, 80048 del conss, 0 add conss, 16286 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350356 impls, 0 clqs
18.39/18.49 c (round 14) 20779 del vars, 80097 del conss, 0 add conss, 16290 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350540 impls, 0 clqs
18.49/18.56 c (round 15) 20787 del vars, 80127 del conss, 0 add conss, 16294 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350642 impls, 0 clqs
18.59/18.63 c (round 16) 20791 del vars, 80151 del conss, 0 add conss, 16296 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350680 impls, 0 clqs
19.19/19.29 c (round 17) 20791 del vars, 80157 del conss, 0 add conss, 16296 chg bounds, 41 chg sides, 36 chg coeffs, 176103 upgd conss, 17350680 impls, 0 clqs
19.80/19.81 c (round 18) 20791 del vars, 80163 del conss, 18 add conss, 16296 chg bounds, 81 chg sides, 211 chg coeffs, 176103 upgd conss, 17350680 impls, 0 clqs
863.91/863.95 c (864.0s) probing: 1000/52051 (1.9%) - 0 fixings, 0 aggregations, 14584895 implications, 0 bound changes
1553.33/1553.31 c (1553.3s) probing: 2000/52051 (3.8%) - 0 fixings, 0 aggregations, 23276919 implications, 0 bound changes
1553.92/1553.91 c (1553.9s) probing: 2001/52051 (3.8%) - 0 fixings, 0 aggregations, 23282981 implications, 0 bound changes
1553.92/1553.91 c (1553.9s) probing aborted: 2000/2000 successive useless probings
1553.92/1553.92 c presolving (19 rounds):
1553.92/1553.92 c 20791 deleted vars, 80163 deleted constraints, 19 added constraints, 16296 tightened bounds, 0 added holes, 83 changed sides, 225 changed coefficients
1553.92/1553.92 c 102450966 implications, 0 cliques
1553.92/1553.92 c presolved problem has 52051 variables (52051 bin, 0 int, 0 impl, 0 cont) and 176116 constraints
1553.92/1553.92 c 1113 constraints of type <knapsack>
1553.92/1553.92 c 149296 constraints of type <setppc>
1553.92/1553.92 c 25707 constraints of type <logicor>
1553.92/1553.92 c transformed objective value is always integral (scale: 1)
1553.92/1553.92 c Presolving Time: 1552.20
1553.92/1553.92 c - non default parameters ----------------------------------------------------------------------
1553.92/1553.92 c # SCIP version 2.0.1.5
1553.92/1553.92 c
1553.92/1553.92 c # frequency for displaying node information lines
1553.92/1553.92 c # [type: int, range: [-1,2147483647], default: 100]
1553.92/1553.92 c display/freq = 10000
1553.92/1553.92 c
1553.92/1553.92 c # maximal time in seconds to run
1553.92/1553.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1553.92/1553.92 c limits/time = 1797
1553.92/1553.92 c
1553.92/1553.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1553.92/1553.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1553.92/1553.92 c limits/memory = 13950
1553.92/1553.92 c
1553.92/1553.92 c # default clock type (1: CPU user seconds, 2: wall clock time)
1553.92/1553.92 c # [type: int, range: [1,2], default: 1]
1553.92/1553.92 c timing/clocktype = 2
1553.92/1553.92 c
1553.92/1553.92 c # belongs reading time to solving time?
1553.92/1553.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1553.92/1553.92 c timing/reading = TRUE
1553.92/1553.92 c
1553.92/1553.92 c # should presolving try to simplify inequalities
1553.92/1553.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1553.92/1553.92 c constraints/linear/simplifyinequalities = TRUE
1553.92/1553.92 c
1553.92/1553.92 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1553.92/1553.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1553.92/1553.92 c constraints/indicator/addCouplingCons = TRUE
1553.92/1553.92 c
1553.92/1553.92 c # should presolving try to simplify knapsacks
1553.92/1553.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1553.92/1553.92 c constraints/knapsack/simplifyinequalities = TRUE
1553.92/1553.92 c
1553.92/1553.92 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1553.92/1553.92 c # [type: int, range: [-1,2147483647], default: -1]
1553.92/1553.92 c separating/rapidlearning/freq = 0
1553.92/1553.92 c
1553.92/1553.92 c -----------------------------------------------------------------------------------------------
1553.92/1553.92 c start solving
1553.92/1553.95 c
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-3489752-1307792614/watcher-3489752-1307792614 -o /tmp/evaluation-result-3489752-1307792614/solver-3489752-1307792614 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489752-1307792614.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 896
/proc/meminfo: memFree=29653620/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=9316 CPUtime=0 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1437 0 0 0 0 0 0 0 25 0 1 0 890861264 9539584 1391 33554432000 4194304 9016284 140736913954048 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/896/statm: 2329 1396 298 1178 0 1147 0
[startup+0.00829901 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 896
/proc/meminfo: memFree=29653620/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=13552 CPUtime=0 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 2362 0 0 0 0 0 0 0 25 0 1 0 890861264 13877248 2316 33554432000 4194304 9016284 140736913954048 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/896/statm: 3388 2316 360 1178 0 2206 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13552
[startup+0.100287 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 896
/proc/meminfo: memFree=29653620/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=32396 CPUtime=0.09 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 7099 0 0 0 9 0 0 0 25 0 1 0 890861264 33173504 7053 33554432000 4194304 9016284 140736913954048 18446744073709551615 6152584 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/896/statm: 8099 7053 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396
[startup+0.30025 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 896
/proc/meminfo: memFree=29653620/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=60172 CPUtime=0.29 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 14043 0 0 0 28 1 0 0 25 0 1 0 890861264 61616128 13997 33554432000 4194304 9016284 140736913954048 18446744073709551615 7768626 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/896/statm: 15043 13997 360 1178 0 13861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60172
[startup+0.700179 s]
/proc/loadavg: 2.00 1.98 1.91 2/177 896
/proc/meminfo: memFree=29653620/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=89044 CPUtime=0.69 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 21210 0 0 0 68 1 0 0 25 0 1 0 890861264 91181056 21164 33554432000 4194304 9016284 140736913954048 18446744073709551615 4536486 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/896/statm: 22261 21164 360 1178 0 21079 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89044
[startup+1.50099 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 897
/proc/meminfo: memFree=29537820/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=257868 CPUtime=1.49 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 63275 0 0 0 143 6 0 0 25 0 1 0 890861264 264056832 63193 33554432000 4194304 9016284 140736913954048 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 64467 63220 406 1178 0 63285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 257868
[startup+3.10071 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 898
/proc/meminfo: memFree=29252236/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=518644 CPUtime=3.09 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 127371 0 0 0 297 12 0 0 25 0 1 0 890861264 531091456 127288 33554432000 4194304 9016284 140736913954048 18446744073709551615 4460312 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 129661 127288 485 1178 0 128479 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 518644
[startup+6.30026 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 898
/proc/meminfo: memFree=28991596/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=730412 CPUtime=6.29 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 179567 0 0 0 612 17 0 0 25 0 1 0 890861264 747941888 179484 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480146 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 182603 179484 485 1178 0 181421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 730412
[startup+12.7011 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 898
/proc/meminfo: memFree=28770120/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=904580 CPUtime=12.69 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 221031 0 0 0 1247 22 0 0 25 0 1 0 890861264 926289920 220691 33554432000 4194304 9016284 140736913954048 18446744073709551615 6481237 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 226145 220691 496 1178 0 224963 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 904580
[startup+25.5009 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 898
/proc/meminfo: memFree=28688020/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=990332 CPUtime=25.49 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 257761 0 0 0 2523 26 0 0 25 0 1 0 890861264 1014099968 241508 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 247583 241508 542 1178 0 246401 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 990332
[startup+51.1003 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 899
/proc/meminfo: memFree=28652644/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=1026288 CPUtime=51.09 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 266562 0 0 0 5082 27 0 0 25 0 1 0 890861264 1050918912 250309 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 256572 250309 542 1178 0 255390 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1026288
[startup+102.306 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 900
/proc/meminfo: memFree=28498844/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=1114760 CPUtime=102.3 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 288004 0 0 0 10201 29 0 0 25 0 1 0 890861264 1141514240 271751 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 278690 271751 542 1178 0 277508 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1114760
[startup+162.301 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 902
/proc/meminfo: memFree=28230228/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=1244924 CPUtime=162.3 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 320343 0 0 0 16197 33 0 0 25 0 1 0 890861264 1274802176 304090 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 311231 304090 542 1178 0 310049 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1244924
[startup+222.301 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 903
/proc/meminfo: memFree=28106184/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=1368948 CPUtime=222.3 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 350734 0 0 0 22194 36 0 0 25 0 1 0 890861264 1401802752 334481 33554432000 4194304 9016284 140736913954048 18446744073709551615 4347632 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 342237 334481 542 1178 0 341055 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1368948
[startup+282.301 s]
/proc/loadavg: 2.07 2.00 1.91 3/178 945
/proc/meminfo: memFree=29102460/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=1489612 CPUtime=282.3 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 380681 0 0 0 28191 39 0 0 25 0 1 0 890861264 1525362688 364428 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 372403 364428 542 1178 0 371221 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1489612
[startup+342.301 s]
/proc/loadavg: 2.02 2.00 1.91 3/178 947
/proc/meminfo: memFree=28817324/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=1687756 CPUtime=342.3 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 429636 0 0 0 34186 44 0 0 25 0 1 0 890861264 1728262144 413383 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 421939 413383 542 1178 0 420757 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1687756
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 948
/proc/meminfo: memFree=28500236/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=1878636 CPUtime=402.3 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 477413 0 0 0 40181 49 0 0 25 0 1 0 890861264 1923723264 461160 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 469659 461160 542 1178 0 468477 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1878636
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 950
/proc/meminfo: memFree=28165504/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=2052320 CPUtime=462.31 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 520477 0 0 0 46176 55 0 0 25 0 1 0 890861264 2101575680 504224 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 513080 504224 542 1178 0 511898 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2052320
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 951
/proc/meminfo: memFree=27812068/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=2199764 CPUtime=522.3 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 557353 0 0 0 52171 59 0 0 25 0 1 0 890861264 2252558336 541100 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 549941 541100 542 1178 0 548759 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2199764
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 953
/proc/meminfo: memFree=27481568/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=2383560 CPUtime=582.3 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 602842 0 0 0 58166 64 0 0 25 0 1 0 890861264 2440765440 586589 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 595890 586589 542 1178 0 594708 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2383560
[startup+642.301 s]
################
# More data... #
################
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 794268 0 0 0 106141 91 0 0 25 0 1 0 890861264 3231477760 778015 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 788935 778015 547 1178 0 787753 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3155740
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 977
/proc/meminfo: memFree=25484136/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=3252108 CPUtime=1122.32 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 818147 0 0 0 112137 95 0 0 25 0 1 0 890861264 3330158592 801894 33554432000 4194304 9016284 140736913954048 18446744073709551615 5512272 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 813027 801894 547 1178 0 811845 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3252108
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 979
/proc/meminfo: memFree=25351772/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=3336184 CPUtime=1182.32 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 839101 0 0 0 118134 98 0 0 25 0 1 0 890861264 3416252416 822848 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 834046 822848 547 1178 0 832864 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3336184
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 984
/proc/meminfo: memFree=25210568/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=3399752 CPUtime=1242.33 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 856027 0 0 0 124133 100 0 0 25 0 1 0 890861264 3481346048 839774 33554432000 4194304 9016284 140736913954048 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 849938 839774 547 1178 0 848756 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3399752
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 985
/proc/meminfo: memFree=25047360/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=3457804 CPUtime=1302.32 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 870710 0 0 0 130131 101 0 0 25 0 1 0 890861264 3540791296 854457 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 864451 854457 547 1178 0 863269 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3457804
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 987
/proc/meminfo: memFree=24841856/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=3554308 CPUtime=1362.33 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 893522 0 0 0 136129 104 0 0 25 0 1 0 890861264 3639611392 877269 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 888577 877269 547 1178 0 887395 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3554308
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 988
/proc/meminfo: memFree=24709244/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=3603636 CPUtime=1422.33 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 905666 0 0 0 142127 106 0 0 25 0 1 0 890861264 3690123264 889413 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 900909 889413 547 1178 0 899727 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3603636
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 990
/proc/meminfo: memFree=24576632/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=3647200 CPUtime=1482.32 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 915902 0 0 0 148125 107 0 0 25 0 1 0 890861264 3734732800 899649 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 911800 899649 547 1178 0 910618 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3647200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 992
/proc/meminfo: memFree=24451228/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=3702692 CPUtime=1542.33 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 930498 0 0 0 154123 110 0 0 25 0 1 0 890861264 3791556608 914245 33554432000 4194304 9016284 140736913954048 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 925673 914245 547 1178 0 924491 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3702692
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 993
/proc/meminfo: memFree=24089604/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=4025104 CPUtime=1602.33 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1006950 0 0 0 160113 120 0 0 25 0 1 0 890861264 4121706496 986477 33554432000 4194304 9016284 140736913954048 18446744073709551615 7181624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 1006276 986477 739 1178 0 1005094 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4025104
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 995
/proc/meminfo: memFree=24014532/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=4038528 CPUtime=1662.33 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1011801 0 0 0 166107 126 0 0 25 0 1 0 890861264 4135452672 991088 33554432000 4194304 9016284 140736913954048 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 1009632 991088 839 1178 0 1008450 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 4038528
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 996
/proc/meminfo: memFree=23957692/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=4047844 CPUtime=1722.33 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1012681 0 0 0 172103 130 0 0 25 0 1 0 890861264 4144992256 991848 33554432000 4194304 9016284 140736913954048 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 1011961 991848 719 1178 0 1010779 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 4047844
[startup+1782.3 s]
/proc/loadavg: 2.07 2.01 1.92 3/178 998
/proc/meminfo: memFree=23844924/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=4059708 CPUtime=1782.33 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1020656 0 0 0 178098 135 0 0 25 0 1 0 890861264 4157140992 998871 33554432000 4194304 9016284 140736913954048 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 1014927 998871 742 1178 0 1013745 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 4059708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.01 1.92 3/178 998
/proc/meminfo: memFree=23827420/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=4059708 CPUtime=1800.04 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1020671 0 0 0 179868 136 0 0 25 0 1 0 890861264 4157140992 998886 33554432000 4194304 9016284 140736913954048 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 1014927 998886 742 1178 0 1013745 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4059708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -896
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 999
/proc/meminfo: memFree=23827288/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=4059708 CPUtime=1801.44 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1020671 0 0 0 180008 136 0 0 25 0 1 0 890861264 4157140992 998886 33554432000 4194304 9016284 140736913954048 18446744073709551615 7124261 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 1014927 998886 742 1178 0 1013745 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 4059708
[startup+1801.81 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 999
/proc/meminfo: memFree=23826916/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=4059708 CPUtime=1801.85 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1020674 0 0 0 180049 136 0 0 25 0 1 0 890861264 4157140992 998889 33554432000 4194304 9016284 140736913954048 18446744073709551615 7154720 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 1014927 998889 742 1178 0 1013745 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 4059708
[startup+1802 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 999
/proc/meminfo: memFree=23826916/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=4059708 CPUtime=1802.04 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4202496 1020674 0 0 0 180068 136 0 0 25 0 1 0 890861264 4157140992 998889 33554432000 4194304 9016284 140736913954048 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/896/statm: 1014927 998889 742 1178 0 1013745 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 4059708
[startup+1802.1 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 999
/proc/meminfo: memFree=23826916/32950928 swapFree=67055156/67111528
[pid=896] ppid=894 vsize=0 CPUtime=1802.14 cores=0,2,4,6
/proc/896/stat : 896 (scip-2.0.1.4b_2) R 894 896 30017 0 -1 4203524 1020674 0 0 0 180069 145 0 0 25 0 1 0 890861264 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/896/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.16
CPU time (s): 1802.2
CPU user time (s): 1800.69
CPU system time (s): 1.51277
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4059708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.69
system time used= 1.51277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1020674
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= 2
involuntary context switches= 1128
runsolver used 2.90156 second user time and 6.24805 second system time
The end