runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15204 MiB free)
memory of node 1: 16384 MiB (15580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386763-1568280941/watcher-4386763-1568280941 -o /tmp/evaluation-result-4386763-1568280941/solver-4386763-1568280941 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568280868-5554 --watchdog 2580 BTD 2520 HOME/instance-4386763-1568280941.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5709, runsolver pid=5706
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 0.97 0.25 0.12 3/199 5710
/proc/meminfo: memFree=31460028/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=104496 memory=73112 CPUtime=0.1 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 18459 0 0 0 8 2 0 0 20 0 1 0 404345763 107003904 18278 33554432000 4194304 36700936 140736515366480 140736515366480 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 26124 18278 253 7937 0 18152 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 104496 KiB
Current children cumulated memory: 73112 KiB
[startup+0.209708 s]*
/proc/loadavg: 0.97 0.25 0.12 3/199 5710
/proc/meminfo: memFree=31438824/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=118456 memory=86740 CPUtime=0.21 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 22419 0 0 0 18 3 0 0 20 0 1 0 404345763 121298944 21685 33554432000 4194304 36700936 140736515366480 140736515366480 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 29614 21685 418 7937 0 21642 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 118456 KiB
Current children cumulated memory: 86740 KiB
[startup+0.309566 s]*
/proc/loadavg: 0.97 0.25 0.12 3/199 5710
/proc/meminfo: memFree=31431716/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=129596 memory=97308 CPUtime=0.31 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 25201 0 0 0 28 3 0 0 20 0 1 0 404345763 132706304 24327 33554432000 4194304 36700936 140736515366480 140736515366480 5061088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 32399 24327 418 7937 0 24427 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 129596 KiB
Current children cumulated memory: 97308 KiB
[startup+0.700358 s]
/proc/loadavg: 0.97 0.25 0.12 3/199 5710
/proc/meminfo: memFree=31409872/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=168112 memory=135856 CPUtime=0.7 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 34552 0 0 0 65 5 0 0 20 0 1 0 404345763 172146688 33964 33554432000 4194304 36700936 140736515366480 140736515366480 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 42028 33964 418 7937 0 34056 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 168112 KiB
Current children cumulated memory: 135856 KiB
[startup+1.50037 s]
/proc/loadavg: 0.97 0.26 0.13 3/199 5710
/proc/meminfo: memFree=31362084/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=248708 memory=217740 CPUtime=1.49 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 53525 0 0 0 140 9 0 0 20 0 1 0 404345763 254676992 54435 33554432000 4194304 36700936 140736515366480 140736515363736 5061088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 62177 54435 418 7937 0 54205 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 248708 KiB
Current children cumulated memory: 217740 KiB
[startup+3.10948 s]
/proc/loadavg: 0.97 0.26 0.13 3/199 5710
/proc/meminfo: memFree=31206364/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=400528 memory=368092 CPUtime=3.1 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 88131 0 0 0 296 14 0 0 20 0 1 0 404345763 410140672 92023 33554432000 4194304 36700936 140736515366480 140736515363736 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 100132 92023 452 7937 0 92160 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 400528 KiB
Current children cumulated memory: 368092 KiB
[startup+6.30032 s]
/proc/loadavg: 1.06 0.29 0.14 3/199 5710
/proc/meminfo: memFree=31080340/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=530268 memory=497780 CPUtime=6.3 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 128928 0 0 0 609 21 0 0 20 0 1 0 404345763 542994432 124445 33554432000 4194304 36700936 140736515366480 140736515363736 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 132567 124445 452 7937 0 124595 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 530268 KiB
Current children cumulated memory: 497780 KiB
[startup+12.7004 s]
/proc/loadavg: 1.13 0.32 0.15 3/199 5710
/proc/meminfo: memFree=30931932/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=680784 memory=648420 CPUtime=12.69 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 186858 0 0 0 1239 30 0 0 20 0 1 0 404345763 697122816 162105 33554432000 4194304 36700936 140736515366480 140736515359928 4227499 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 170196 162105 452 7937 0 162224 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 680784 KiB
Current children cumulated memory: 648420 KiB
[startup+25.5004 s]
/proc/loadavg: 1.27 0.38 0.17 3/199 5710
/proc/meminfo: memFree=30778760/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=826452 memory=793708 CPUtime=25.49 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 259761 0 0 0 2507 42 0 0 20 0 1 0 404345763 846286848 198427 33554432000 4194304 36700936 140736515366480 140736515358040 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 206613 198427 452 7937 0 198641 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 826452 KiB
Current children cumulated memory: 793708 KiB
[startup+51.1097 s]
/proc/loadavg: 1.55 0.53 0.23 3/199 5713
/proc/meminfo: memFree=30604668/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=994488 memory=962108 CPUtime=51.11 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 355543 0 0 0 5049 62 0 0 20 0 1 0 404345763 1018355712 240527 33554432000 4194304 36700936 140736515366480 140736515358744 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 248622 240527 452 7937 0 240650 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 994488 KiB
Current children cumulated memory: 962108 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 0.76 0.32 3/199 5716
/proc/meminfo: memFree=30369996/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=1228516 memory=1195540 CPUtime=102.3 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 507188 0 0 0 10138 92 0 0 20 0 1 0 404345763 1258000384 298885 33554432000 4194304 36700936 140736515366480 140736515360104 4227536 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 307129 298885 452 7937 0 299157 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1228516 KiB
Current children cumulated memory: 1195540 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 0.98 0.42 3/199 5720
/proc/meminfo: memFree=30157380/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=1441564 memory=1408816 CPUtime=162.3 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 655462 0 0 0 16109 121 0 0 20 0 1 0 404345763 1476161536 352204 33554432000 4194304 36700936 140736515366480 140736515359992 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 360391 352204 452 7937 0 352419 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1441564 KiB
Current children cumulated memory: 1408816 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.17 0.52 3/199 5726
/proc/meminfo: memFree=29977032/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=1622008 memory=1589444 CPUtime=222.29 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 795236 0 0 0 22081 148 0 0 20 0 1 0 404345763 1660936192 397361 33554432000 4194304 36700936 140736515366480 140736515358088 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 405502 397361 452 7937 0 397530 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1622008 KiB
Current children cumulated memory: 1589444 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.32 0.62 3/199 5730
/proc/meminfo: memFree=29817260/32770624 swapFree=66992500/67108860
[pid=5709] ppid=5706 vsize=1781332 memory=1748888 CPUtime=282.29 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 969493 0 0 0 28059 170 0 0 20 0 1 0 404345763 1824083968 437222 33554432000 4194304 36700936 140736515366480 140736515360808 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 445333 437222 452 7937 0 437361 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 1781332 KiB
Current children cumulated memory: 1748888 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.44 0.70 3/200 5742
/proc/meminfo: memFree=29670900/32770624 swapFree=66992524/67108860
[pid=5709] ppid=5706 vsize=1926268 memory=1893808 CPUtime=342.28 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 1128822 0 0 0 34036 192 0 0 20 0 1 0 404345763 1972498432 473452 33554432000 4194304 36700936 140736515366480 140736515360008 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 481567 473452 452 7937 0 473595 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 1926268 KiB
Current children cumulated memory: 1893808 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.55 0.78 3/200 5748
/proc/meminfo: memFree=29534460/32770624 swapFree=66992524/67108860
[pid=5709] ppid=5706 vsize=2062384 memory=2029056 CPUtime=402.26 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 1256531 0 0 0 40014 212 0 0 20 0 1 0 404345763 2111881216 507264 33554432000 4194304 36700936 140736515366480 140736515358744 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 515596 507264 452 7937 0 507624 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2062384 KiB
Current children cumulated memory: 2029056 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.63 0.86 3/200 5752
/proc/meminfo: memFree=29407440/32770624 swapFree=66992524/67108860
[pid=5709] ppid=5706 vsize=2189896 memory=2156688 CPUtime=462.25 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 1434266 0 0 0 45991 234 0 0 20 0 1 0 404345763 2242453504 539172 33554432000 4194304 36700936 140736515366480 140736515358616 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 547474 539172 452 7937 0 539502 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2189896 KiB
Current children cumulated memory: 2156688 KiB
################
# More data... #
################
/proc/5709/statm: 1041475 1033154 452 7937 0 1033503 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 4165900 KiB
Current children cumulated memory: 4132616 KiB
[startup+1782.3 s]
/proc/loadavg: 2.22 2.03 1.75 3/200 5894
/proc/meminfo: memFree=27348652/32770624 swapFree=66992560/67108860
[pid=5709] ppid=5706 vsize=4243912 memory=4210476 CPUtime=1782 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 5008189 0 0 0 177599 601 0 0 20 0 1 0 404345763 4345765888 1052619 33554432000 4194304 36700936 140736515366480 140736515358136 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1060978 1052619 452 7937 0 1053006 0
Current children cumulated CPU time: 1782 s
Current children cumulated vsize: 4243912 KiB
Current children cumulated memory: 4210476 KiB
[startup+1842.3 s]
/proc/loadavg: 2.37 2.13 1.80 3/199 5900
/proc/meminfo: memFree=27271260/32770624 swapFree=66992560/67108860
[pid=5709] ppid=5706 vsize=4321000 memory=4287572 CPUtime=1841.99 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 5151331 0 0 0 183587 612 0 0 20 0 1 0 404345763 4424704000 1071893 33554432000 4194304 36700936 140736515366480 140736515360056 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1080250 1071893 452 7937 0 1072278 0
Current children cumulated CPU time: 1841.99 s
Current children cumulated vsize: 4321000 KiB
Current children cumulated memory: 4287572 KiB
[startup+1902.3 s]
/proc/loadavg: 2.14 2.11 1.81 3/199 5904
/proc/meminfo: memFree=27194320/32770624 swapFree=66992560/67108860
[pid=5709] ppid=5706 vsize=4397428 memory=4363940 CPUtime=1901.98 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 5290659 0 0 0 189574 624 0 0 20 0 1 0 404345763 4502966272 1090985 33554432000 4194304 36700936 140736515366480 140736515358088 4227444 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1099357 1090985 452 7937 0 1091385 0
Current children cumulated CPU time: 1901.98 s
Current children cumulated vsize: 4397428 KiB
Current children cumulated memory: 4363940 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.09 1.83 3/199 5908
/proc/meminfo: memFree=27119060/32770624 swapFree=66992560/67108860
[pid=5709] ppid=5706 vsize=4473064 memory=4439568 CPUtime=1961.97 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 5426443 0 0 0 195557 640 0 0 20 0 1 0 404345763 4580417536 1109892 33554432000 4194304 36700936 140736515366480 140736515357960 4227444 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1118266 1109892 452 7937 0 1110294 0
Current children cumulated CPU time: 1961.97 s
Current children cumulated vsize: 4473064 KiB
Current children cumulated memory: 4439568 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.07 1.84 3/199 5914
/proc/meminfo: memFree=27044248/32770624 swapFree=66992560/67108860
[pid=5709] ppid=5706 vsize=4547908 memory=4514396 CPUtime=2021.97 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 5558899 0 0 0 201546 651 0 0 20 0 1 0 404345763 4657057792 1128599 33554432000 4194304 36700936 140736515366480 140736515357960 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1136977 1128599 452 7937 0 1129005 0
Current children cumulated CPU time: 2021.97 s
Current children cumulated vsize: 4547908 KiB
Current children cumulated memory: 4514396 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.06 1.85 3/199 5918
/proc/meminfo: memFree=26969672/32770624 swapFree=66992560/67108860
[pid=5709] ppid=5706 vsize=4622224 memory=4588884 CPUtime=2081.96 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 5689067 0 0 0 207531 665 0 0 20 0 1 0 404345763 4733157376 1147221 33554432000 4194304 36700936 140736515366480 140736515360056 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1155556 1147221 452 7937 0 1147584 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 4622224 KiB
Current children cumulated memory: 4588884 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 1.86 3/199 5929
/proc/meminfo: memFree=26895424/32770624 swapFree=66992568/67108860
[pid=5709] ppid=5706 vsize=4695880 memory=4662364 CPUtime=2141.95 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 5814978 0 0 0 213516 679 0 0 20 0 1 0 404345763 4808581120 1165591 33554432000 4194304 36700936 140736515366480 140736515360056 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1173970 1165591 452 7937 0 1165998 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 4695880 KiB
Current children cumulated memory: 4662364 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 1.87 3/199 5935
/proc/meminfo: memFree=26822000/32770624 swapFree=66992568/67108860
[pid=5709] ppid=5706 vsize=4768876 memory=4735436 CPUtime=2201.95 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 5938620 0 0 0 219502 693 0 0 20 0 1 0 404345763 4883329024 1183859 33554432000 4194304 36700936 140736515366480 140736515360520 4227444 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1192219 1183859 452 7937 0 1184247 0
Current children cumulated CPU time: 2201.95 s
Current children cumulated vsize: 4768876 KiB
Current children cumulated memory: 4735436 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 1.87 3/199 5939
/proc/meminfo: memFree=26749676/32770624 swapFree=66992568/67108860
[pid=5709] ppid=5706 vsize=4841344 memory=4807900 CPUtime=2261.94 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 6058607 0 0 0 225490 704 0 0 20 0 1 0 404345763 4957536256 1201975 33554432000 4194304 36700936 140736515366480 140736515358088 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1210336 1201975 452 7937 0 1202364 0
Current children cumulated CPU time: 2261.94 s
Current children cumulated vsize: 4841344 KiB
Current children cumulated memory: 4807900 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/199 5943
/proc/meminfo: memFree=26678024/32770624 swapFree=66992568/67108860
[pid=5709] ppid=5706 vsize=4913152 memory=4879728 CPUtime=2321.94 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 6174948 0 0 0 231478 716 0 0 20 0 1 0 404345763 5031067648 1219932 33554432000 4194304 36700936 140736515366480 140736515358616 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1228288 1219932 452 7937 0 1220316 0
Current children cumulated CPU time: 2321.94 s
Current children cumulated vsize: 4913152 KiB
Current children cumulated memory: 4879728 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 1.89 3/199 5949
/proc/meminfo: memFree=26606696/32770624 swapFree=66992568/67108860
[pid=5709] ppid=5706 vsize=4984564 memory=4951072 CPUtime=2381.93 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 6288918 0 0 0 237464 729 0 0 20 0 1 0 404345763 5104193536 1237768 33554432000 4194304 36700936 140736515366480 140736515360488 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1246141 1237768 452 7937 0 1238169 0
Current children cumulated CPU time: 2381.93 s
Current children cumulated vsize: 4984564 KiB
Current children cumulated memory: 4951072 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.03 1.90 3/199 5953
/proc/meminfo: memFree=26536740/32770624 swapFree=66992568/67108860
[pid=5709] ppid=5706 vsize=5055316 memory=5021820 CPUtime=2441.93 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 6398617 0 0 0 243451 742 0 0 20 0 1 0 404345763 5176643584 1255455 33554432000 4194304 36700936 140736515366480 140736515358744 4227444 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1263829 1255455 452 7937 0 1255857 0
Current children cumulated CPU time: 2441.93 s
Current children cumulated vsize: 5055316 KiB
Current children cumulated memory: 5021820 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 1.90 3/199 5957
/proc/meminfo: memFree=26464812/32770624 swapFree=66992568/67108860
[pid=5709] ppid=5706 vsize=5125672 memory=5093360 CPUtime=2501.92 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 6506049 0 0 0 249436 756 0 0 20 0 1 0 404345763 5248688128 1273340 33554432000 4194304 36700936 140736515366480 140736515361112 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1281418 1273340 452 7937 0 1273446 0
Current children cumulated CPU time: 2501.92 s
Current children cumulated vsize: 5125672 KiB
Current children cumulated memory: 5093360 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.93 2.01 1.90 3/199 6021
/proc/meminfo: memFree=26581116/32770624 swapFree=66992568/67108860
[pid=5709] ppid=5706 vsize=5146396 memory=5114020 CPUtime=2519.63 cores=1,3,5,7
/proc/5709/stat : 5709 (BTD) R 5706 5709 5522 0 -1 4202496 6517310 0 0 0 251204 759 0 0 20 0 1 0 404345763 5269909504 1278505 33554432000 4194304 36700936 140736515366480 140736515360520 4227444 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49102848 140736515372072 140736515372148 140736515372148 140736515375057 0
/proc/5709/statm: 1286599 1278505 452 7937 0 1278627 0
Current children cumulated CPU time: 2519.63 s
Current children cumulated vsize: 5146396 KiB
Current children cumulated memory: 5114020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.09 s]
# the end of solver process 5709 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.05 s, system=7.66864 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.09
CPU time (s): 2519.72
CPU user time (s): 2512.05
CPU system time (s): 7.66864
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 5146396
Max. memory (cumulated for all children) (KiB): 5114020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.05
system time used= 7.66864
maximum resident set size= 5114092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6517310
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= 1229
involuntary context switches= 1801
# summary of solver processes directly reported to runsolver:
# pid: 5709
# total CPU time (s): 2519.72
# total CPU user time (s): 2512.05
# total CPU system time (s): 7.66864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5904 second user time and 18.9212 second system time
The end