0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692562-1338046978.opb>
2.10/2.13 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.10/2.13 c problem read in 2.13
3.98/4.06 c presolving:
7.70/7.77 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
8.80/8.86 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1978 clqs
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-3692562-1338046978/watcher-3692562-1338046978 -o /tmp/evaluation-result-3692562-1338046978/solver-3692562-1338046978 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692562-1338046978.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 12217
/proc/meminfo: memFree=27027424/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=12028 CPUtime=0 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 1653 0 0 0 0 0 0 0 20 0 1 0 270823355 12316672 1609 33554432000 4194304 10219143 140734769598160 140737016870424 8891101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 3007 1619 398 1471 0 1527 0
[startup+0.0574789 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12217
/proc/meminfo: memFree=27027424/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=35856 CPUtime=0.04 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 7733 0 0 0 4 0 0 0 20 0 1 0 270823355 36716544 7688 33554432000 4194304 10219143 140734769598160 140737016870424 7589947 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 9220 7712 421 1471 0 7740 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 35856
[startup+0.100228 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12217
/proc/meminfo: memFree=27027424/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=49668 CPUtime=0.08 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 11153 0 0 0 7 1 0 0 20 0 1 0 270823355 50860032 11108 33554432000 4194304 10219143 140734769598160 140737016870424 9029200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 12417 11108 421 1471 0 10937 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 49668
[startup+0.300167 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12217
/proc/meminfo: memFree=27027424/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=94428 CPUtime=0.29 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 22318 0 0 0 26 3 0 0 20 0 1 0 270823355 96694272 22273 33554432000 4194304 10219143 140734769598160 140734769463336 7123488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 23607 22273 421 1471 0 22127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94428
[startup+0.700165 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12217
/proc/meminfo: memFree=27027424/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=214268 CPUtime=0.68 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 52232 0 0 0 60 8 0 0 20 0 1 0 270823355 219410432 52187 33554432000 4194304 10219143 140734769598160 140734769463336 9029200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 53567 52187 421 1471 0 52087 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 214268
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12218
/proc/meminfo: memFree=26734140/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=436480 CPUtime=1.49 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 107473 0 0 0 133 16 0 0 20 0 1 0 270823355 446955520 107429 33554432000 4194304 10219143 140734769598160 140734769463336 7589947 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 109120 107463 421 1471 0 107640 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 436480
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12218
/proc/meminfo: memFree=26535228/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=1097832 CPUtime=3.09 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 272628 0 0 0 270 39 0 0 20 0 1 0 270823355 1124179968 272982 33554432000 4194304 10219143 140734769598160 140734769594296 7589947 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 274458 272982 483 1471 0 272978 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1097832
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12218
/proc/meminfo: memFree=25734024/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=1636396 CPUtime=6.29 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 405585 0 0 0 552 77 0 0 20 0 1 0 270823355 1675669504 405580 33554432000 4194304 10219143 140734769598160 140734769595160 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 409099 405580 560 1471 0 407619 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1636396
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12218
/proc/meminfo: memFree=25139364/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=1903908 CPUtime=12.68 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 492398 0 0 0 1143 125 0 0 20 0 1 0 270823355 1949601792 471822 33554432000 4194304 10219143 140734769598160 140734769593560 8969184 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 475977 471822 612 1471 0 474497 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1903908
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12218
/proc/meminfo: memFree=24967700/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=1911332 CPUtime=25.49 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 494128 0 0 0 2423 126 0 0 20 0 1 0 270823355 1957203968 473552 33554432000 4194304 10219143 140734769598160 140734769593560 8969239 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/12217/statm: 477833 473552 612 1471 0 476353 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1911332
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12218
/proc/meminfo: memFree=24888084/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=1914980 CPUtime=51.08 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 495110 0 0 0 4982 126 0 0 20 0 1 0 270823355 1960939520 474534 33554432000 4194304 10219143 140734769598160 140734769594536 8969265 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 478745 474534 612 1471 0 477265 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1914980
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12218
/proc/meminfo: memFree=23458232/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3346384 CPUtime=102.27 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 822234 0 0 0 10060 167 0 0 20 0 1 0 270823355 3426697216 822728 33554432000 4194304 10219143 140734769598160 140734769593272 8969224 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 836596 822728 612 1471 0 835116 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3346384
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12218
/proc/meminfo: memFree=23455116/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3348432 CPUtime=162.26 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 822955 0 0 0 16058 168 0 0 20 0 1 0 270823355 3428794368 823449 33554432000 4194304 10219143 140734769598160 140734769593272 8969212 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 837108 823449 612 1471 0 835628 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3348432
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12219
/proc/meminfo: memFree=23422340/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3348432 CPUtime=222.25 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 823193 0 0 0 22057 168 0 0 20 0 1 0 270823355 3428794368 823687 33554432000 4194304 10219143 140734769598160 140734769593272 8969249 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 837108 823687 612 1471 0 835628 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3348432
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12219
/proc/meminfo: memFree=23417284/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3352336 CPUtime=282.24 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 824386 0 0 0 28056 168 0 0 20 0 1 0 270823355 3432792064 824880 33554432000 4194304 10219143 140734769598160 140734769593272 8969254 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 838084 824880 612 1471 0 836604 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3352336
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12219
/proc/meminfo: memFree=23415960/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3352336 CPUtime=342.23 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 824603 0 0 0 34055 168 0 0 20 0 1 0 270823355 3432792064 825097 33554432000 4194304 10219143 140734769598160 140734769593272 8969234 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 838084 825097 612 1471 0 836604 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3352336
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12219
/proc/meminfo: memFree=23412268/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3353360 CPUtime=402.22 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 825078 0 0 0 40054 168 0 0 20 0 1 0 270823355 3433840640 825572 33554432000 4194304 10219143 140734769598160 140734769593272 8969244 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 838340 825572 612 1471 0 836860 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3353360
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12222
/proc/meminfo: memFree=23404988/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3355216 CPUtime=462.21 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 825768 0 0 0 46053 168 0 0 20 0 1 0 270823355 3435741184 826262 33554432000 4194304 10219143 140734769598160 140734769593272 8969244 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 838804 826262 612 1471 0 837324 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3355216
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12223
/proc/meminfo: memFree=23396220/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3355216 CPUtime=522.2 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 826046 0 0 0 52052 168 0 0 20 0 1 0 270823355 3435741184 826540 33554432000 4194304 10219143 140734769598160 140734769593272 8969239 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 838804 826540 612 1471 0 837324 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3355216
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12223
/proc/meminfo: memFree=23380688/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3356240 CPUtime=582.2 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 826518 0 0 0 58051 169 0 0 20 0 1 0 270823355 3436789760 827012 33554432000 4194304 10219143 140734769598160 140734769593272 8969254 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 839060 827012 612 1471 0 837580 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3356240
[startup+642.3 s]
################
# More data... #
################
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 830772 0 0 0 100043 170 0 0 20 0 1 0 270823355 3447603200 831431 33554432000 4194304 10219143 140734769598160 140734769593272 8969260 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 841700 831431 612 1471 0 840220 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3366800
[startup+1062.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/178 12227
/proc/meminfo: memFree=23358048/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3367632 CPUtime=1062.12 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 831209 0 0 0 106042 170 0 0 20 0 1 0 270823355 3448455168 831867 33554432000 4194304 10219143 140734769598160 140734769593272 8969244 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 841908 831867 612 1471 0 840428 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3367632
[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/178 12251
/proc/meminfo: memFree=23345420/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3369680 CPUtime=1122.11 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 831949 0 0 0 112041 170 0 0 20 0 1 0 270823355 3450552320 835015 33554432000 4194304 10219143 140734769598160 140734769593272 8969198 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 842420 835015 612 1471 0 840940 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3369680
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 12251
/proc/meminfo: memFree=23341108/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3370700 CPUtime=1182.1 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 832435 0 0 0 118040 170 0 0 20 0 1 0 270823355 3451596800 836130 33554432000 4194304 10219143 140734769598160 140734769593272 8969254 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 842675 836130 612 1471 0 841195 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3370700
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 12251
/proc/meminfo: memFree=23336424/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3372560 CPUtime=1242.09 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 833140 0 0 0 124039 170 0 0 20 0 1 0 270823355 3453501440 837307 33554432000 4194304 10219143 140734769598160 140734769593272 8969249 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 843140 837307 612 1471 0 841660 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3372560
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 12251
/proc/meminfo: memFree=23334096/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3373580 CPUtime=1302.09 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 833635 0 0 0 130038 171 0 0 20 0 1 0 270823355 3454545920 837892 33554432000 4194304 10219143 140734769598160 140734769593272 8969244 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 843395 837892 612 1471 0 841915 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3373580
[startup+1362.3 s]
/proc/loadavg: 1.78 1.98 1.98 2/171 12275
/proc/meminfo: memFree=25537064/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3375628 CPUtime=1362.07 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 834388 0 0 0 136036 171 0 0 20 0 1 0 270823355 3456643072 838754 33554432000 4194304 10219143 140734769598160 140734769593272 8969254 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 843907 838754 612 1471 0 842427 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3375628
[startup+1422.31 s]
/proc/loadavg: 1.29 1.80 1.92 2/170 12275
/proc/meminfo: memFree=25534868/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3377484 CPUtime=1422.07 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 835092 0 0 0 142036 171 0 0 20 0 1 0 270823355 3458543616 839458 33554432000 4194304 10219143 140734769598160 140734769593272 8969239 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 844371 839458 612 1471 0 842891 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3377484
[startup+1482.3 s]
/proc/loadavg: 1.10 1.65 1.86 2/171 12276
/proc/meminfo: memFree=25532684/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3378508 CPUtime=1482.05 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 835588 0 0 0 148034 171 0 0 20 0 1 0 270823355 3459592192 839954 33554432000 4194304 10219143 140734769598160 140734769593272 8969234 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 844627 839954 612 1471 0 843147 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3378508
[startup+1542.3 s]
/proc/loadavg: 1.04 1.53 1.80 2/171 12276
/proc/meminfo: memFree=25530444/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3378508 CPUtime=1542.05 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 835828 0 0 0 154033 172 0 0 20 0 1 0 270823355 3459592192 840550 33554432000 4194304 10219143 140734769598160 140734769593272 8969254 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 844627 840550 612 1471 0 843147 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3378508
[startup+1602.3 s]
/proc/loadavg: 1.01 1.43 1.75 2/171 12276
/proc/meminfo: memFree=25524868/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3381388 CPUtime=1602.04 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 836711 0 0 0 160032 172 0 0 20 0 1 0 270823355 3462541312 841940 33554432000 4194304 10219143 140734769598160 140734769593272 8969198 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 845347 841940 612 1471 0 843867 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3381388
[startup+1662.3 s]
/proc/loadavg: 1.00 1.35 1.70 2/172 12279
/proc/meminfo: memFree=25521792/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3383436 CPUtime=1662.03 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 837281 0 0 0 166031 172 0 0 20 0 1 0 270823355 3464638464 842699 33554432000 4194304 10219143 140734769598160 140734769593272 8969198 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 845859 842699 612 1471 0 844379 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3383436
[startup+1722.3 s]
/proc/loadavg: 1.00 1.28 1.65 2/171 12279
/proc/meminfo: memFree=25457420/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3449692 CPUtime=1722.02 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 853106 0 0 0 172028 174 0 0 20 0 1 0 270823355 3532484608 859035 33554432000 4194304 10219143 140734769598160 140734769593480 8969239 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 862423 859035 612 1471 0 860943 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3449692
[startup+1782.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/171 12280
/proc/meminfo: memFree=25282540/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3629140 CPUtime=1782.01 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 893362 0 0 0 178021 180 0 0 20 0 1 0 270823355 3716239360 902353 33554432000 4194304 10219143 140734769598160 140734769593320 8969229 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 907285 902353 612 1471 0 905805 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3629140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.21 1.60 2/171 12280
/proc/meminfo: memFree=25281208/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3630164 CPUtime=1800.01 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 893690 0 0 0 179821 180 0 0 20 0 1 0 270823355 3717287936 902681 33554432000 4194304 10219143 140734769598160 140734769593480 8969239 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 907541 902681 612 1471 0 906061 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3630164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12217
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 12281
/proc/meminfo: memFree=25281208/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3630164 CPUtime=1801.11 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 893690 0 0 0 179931 180 0 0 20 0 1 0 270823355 3717287936 902681 33554432000 4194304 10219143 140734769598160 140734769592960 8969229 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 907541 902681 612 1471 0 906061 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3630164
[startup+1802.2 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 12281
/proc/meminfo: memFree=25280952/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=3630164 CPUtime=1801.91 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4202496 893693 0 0 0 180011 180 0 0 20 0 1 0 270823355 3717287936 902684 33554432000 4194304 10219143 140734769598160 140734769592960 8969254 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 907541 902684 612 1471 0 906061 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3630164
[startup+1802.4 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 12281
/proc/meminfo: memFree=25280952/32873648 swapFree=7104/7104
[pid=12217] ppid=12215 vsize=0 CPUtime=1802.1 cores=1,3,5,7
/proc/12217/stat : 12217 (scip-2.1.1.4exp) R 12215 12217 9598 0 -1 4203524 893693 0 0 0 180021 189 0 0 20 0 1 0 270823355 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12217/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.14
CPU user time (s): 1800.22
CPU system time (s): 1.92071
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3630164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.22
system time used= 1.92071
maximum resident set size= 3610736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 893693
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= 16
involuntary context switches= 1961
runsolver used 2.89856 second user time and 8.5707 second system time
The end