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 (10978 MiB free)
memory of node 1: 16384 MiB (15501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265148-1502783476/watcher-4265148-1502783476 -o /tmp/evaluation-result-4265148-1502783476/solver-4265148-1502783476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580 BTD 2520 HOME/instance-4265148-1502783476.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
Current StackSize limit: 8192 KiB
solver pid=27198, runsolver pid=27195
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=27114772/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=31516 memory=1940 CPUtime=0.01 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 629 0 0 0 1 0 0 0 20 0 1 0 80540843 32272384 485 18446744073709551615 4194304 35031035 140724294032208 140724294032208 4208379 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 7879 485 230 7529 0 326 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 31516 KiB
Current children cumulated memory: 1940 KiB
[startup+0.208997 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=27114028/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=32364 memory=2788 CPUtime=0.12 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 2691 0 0 0 12 0 0 0 20 0 1 0 80540843 33140736 682 18446744073709551615 4194304 35031035 140724294032208 140724294032208 4209291 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 8091 682 230 7529 0 538 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 32364 KiB
Current children cumulated memory: 2788 KiB
[startup+0.308642 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=27113580/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=32652 memory=2972 CPUtime=0.22 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 10960 0 0 0 20 2 0 0 20 0 1 0 80540843 33435648 743 18446744073709551615 4194304 35031035 140724294032208 140724294028168 4208684 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 8163 743 230 7529 0 610 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 32652 KiB
Current children cumulated memory: 2972 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=27111100/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=34000 memory=4444 CPUtime=0.59 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 30148 0 0 0 55 4 0 0 20 0 1 0 80540843 34816000 1111 18446744073709551615 4194304 35031035 140724294032208 140724294028168 4209291 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 8500 1111 232 7529 0 947 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 4444 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=27108496/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=36768 memory=7280 CPUtime=1.4 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 79064 0 0 0 129 11 0 0 20 0 1 0 80540843 37650432 1820 18446744073709551615 4194304 35031035 140724294032208 140724294027976 7993641 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 9227 1820 232 7529 0 1674 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 36768 KiB
Current children cumulated memory: 7280 KiB
[startup+3.10901 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=27093052/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=43360 memory=13784 CPUtime=3.01 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 195907 0 0 0 278 23 0 0 20 0 1 0 80540843 44400640 3446 18446744073709551615 4194304 35031035 140724294032208 140724294028024 4208673 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 10840 3446 232 7529 0 3287 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 13784 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=27071228/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=54284 memory=24796 CPUtime=6.2 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 403274 0 0 0 568 52 0 0 20 0 1 0 80540843 55586816 6199 18446744073709551615 4194304 35031035 140724294032208 140724294027976 7993641 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 13571 6199 232 7529 0 6018 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 54284 KiB
Current children cumulated memory: 24796 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=27027192/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=77068 memory=47520 CPUtime=12.6 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 866614 0 0 0 1153 107 0 0 20 0 1 0 80540843 78917632 11880 18446744073709551615 4194304 35031035 140724294032208 140724294027976 4208979 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 19267 11880 232 7529 0 11714 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 77068 KiB
Current children cumulated memory: 47520 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27199
/proc/meminfo: memFree=26934424/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=121776 memory=92288 CPUtime=25.4 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 1847422 0 0 0 2318 222 0 0 20 0 1 0 80540843 124698624 23072 18446744073709551615 4194304 35031035 140724294032208 140724294027976 7993641 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 30444 23072 232 7529 0 22891 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 121776 KiB
Current children cumulated memory: 92288 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27200
/proc/meminfo: memFree=26744408/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=213232 memory=183688 CPUtime=51 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 3733684 0 0 0 4651 449 0 0 20 0 1 0 80540843 218349568 45922 18446744073709551615 4194304 35031035 140724294032208 140724294028168 4208673 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 53308 45922 232 7529 0 45755 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 213232 KiB
Current children cumulated memory: 183688 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27201
/proc/meminfo: memFree=26373452/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=394192 memory=364556 CPUtime=102.19 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 7413605 0 0 0 9329 890 0 0 20 0 1 0 80540843 403652608 91139 18446744073709551615 4194304 35031035 140724294032208 140724294028024 4207320 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 98511 91139 232 7529 0 90958 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 394192 KiB
Current children cumulated memory: 364556 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27203
/proc/meminfo: memFree=25934692/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=608328 memory=578524 CPUtime=162.19 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 11538824 0 0 0 14838 1381 0 0 20 0 1 0 80540843 622927872 144631 18446744073709551615 4194304 35031035 140724294032208 140724294027976 7416177 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 152082 144631 232 7529 0 144529 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 608328 KiB
Current children cumulated memory: 578524 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 27220
/proc/meminfo: memFree=25489084/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=822700 memory=793124 CPUtime=222.18 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 15583953 0 0 0 20350 1868 0 0 20 0 1 0 80540843 842444800 198281 18446744073709551615 4194304 35031035 140724294032208 140724294027976 4208986 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 205675 198281 232 7529 0 198122 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 822700 KiB
Current children cumulated memory: 793124 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 27222
/proc/meminfo: memFree=25050944/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=1037068 memory=1007488 CPUtime=282.18 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 19634191 0 0 0 25882 2336 0 0 20 0 1 0 80540843 1061957632 251872 18446744073709551615 4194304 35031035 140724294032208 140724294027976 4214855 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 259267 251872 232 7529 0 251714 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 1037068 KiB
Current children cumulated memory: 1007488 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 27224
/proc/meminfo: memFree=24608084/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=1251568 memory=1221944 CPUtime=342.17 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 23527444 0 0 0 31428 2789 0 0 20 0 1 0 80540843 1281605632 305520 18446744073709551615 4194304 35031035 140724294032208 140724294028168 7993641 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 312875 305503 232 7529 0 305322 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 1251568 KiB
Current children cumulated memory: 1221944 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 27226
/proc/meminfo: memFree=24166548/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=1465804 memory=1436316 CPUtime=402.17 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 27520480 0 0 0 36961 3256 0 0 20 0 1 0 80540843 1500983296 359079 18446744073709551615 4194304 35031035 140724294032208 140724294028168 4208379 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 366451 359079 232 7529 0 358898 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 1465804 KiB
Current children cumulated memory: 1436316 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 27228
/proc/meminfo: memFree=23723788/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=1680172 memory=1650600 CPUtime=462.16 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 31603162 0 0 0 42492 3724 0 0 20 0 1 0 80540843 1720496128 412650 18446744073709551615 4194304 35031035 140724294032208 140724294027976 4207316 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 420043 412650 232 7529 0 412490 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 1680172 KiB
Current children cumulated memory: 1650600 KiB
################
# More data... #
################
/proc/meminfo: memFree=23835092/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986640 memory=5957556 CPUtime=1782.06 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73626089 0 0 0 169493 8713 0 0 20 0 1 0 80540843 6130319360 1489389 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4300330 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496660 1489389 332 7529 0 1489107 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 5986640 KiB
Current children cumulated memory: 5957556 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27390
/proc/meminfo: memFree=23620764/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986640 memory=5957556 CPUtime=1842.06 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73626184 0 0 0 175490 8716 0 0 20 0 1 0 80540843 6130319360 1489389 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4296511 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496660 1489389 332 7529 0 1489107 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 5986640 KiB
Current children cumulated memory: 5957556 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27392
/proc/meminfo: memFree=23406272/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986640 memory=5957556 CPUtime=1902.06 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73626297 0 0 0 181488 8718 0 0 20 0 1 0 80540843 6130319360 1489389 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4213328 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496660 1489389 332 7529 0 1489107 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 5986640 KiB
Current children cumulated memory: 5957556 KiB
[startup+1962.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/181 27394
/proc/meminfo: memFree=23192152/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=1962.05 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73626453 0 0 0 187486 8719 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4296503 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2022.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/185 27411
/proc/meminfo: memFree=22973476/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=2022.05 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73626602 0 0 0 193483 8722 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4293368 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 2022.05 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2082.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/182 27413
/proc/meminfo: memFree=22761512/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=2082.05 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73626722 0 0 0 199480 8725 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4293328 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 2082.05 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/182 27415
/proc/meminfo: memFree=22545372/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=2142.04 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73626842 0 0 0 205477 8727 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4298912 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/182 27417
/proc/meminfo: memFree=22326788/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=2202.04 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73626972 0 0 0 211475 8729 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4300341 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/182 27419
/proc/meminfo: memFree=22107348/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=2262.05 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73627092 0 0 0 217473 8732 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4213184 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 27421
/proc/meminfo: memFree=21887012/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=2322.04 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73627242 0 0 0 223470 8734 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4296736 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 27423
/proc/meminfo: memFree=21665688/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=2382.04 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73627362 0 0 0 229468 8736 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4300312 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 2382.04 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 27425
/proc/meminfo: memFree=21444996/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957580 CPUtime=2442.04 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73627485 0 0 0 235466 8738 0 0 20 0 1 0 80540843 6130454528 1489395 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4300344 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489395 332 7529 0 1489140 0
Current children cumulated CPU time: 2442.04 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957580 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 27427
/proc/meminfo: memFree=21223448/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957604 CPUtime=2502.04 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73627660 0 0 0 241464 8740 0 0 20 0 1 0 80540843 6130454528 1489401 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4300312 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489401 332 7529 0 1489140 0
Current children cumulated CPU time: 2502.04 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957604 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.04 2.05 3/181 27429
/proc/meminfo: memFree=21157492/32770624 swapFree=67108860/67108860
[pid=27198] ppid=27195 vsize=5986772 memory=5957604 CPUtime=2519.74 cores=1,3,5,7
/proc/27198/stat : 27198 (BTD) R 27195 27198 17093 0 -1 4202496 73627695 0 0 0 243234 8740 0 0 20 0 1 0 80540843 6130454528 1489401 18446744073709551615 4194304 35031035 140724294032208 140724294030760 4213184 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 64913408 140724294037983 140724294038059 140724294038059 140724294041553 0
/proc/27198/statm: 1496693 1489401 332 7529 0 1489140 0
Current children cumulated CPU time: 2519.74 s
Current children cumulated vsize: 5986772 KiB
Current children cumulated memory: 5957604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.24 s]
# the end of solver process 27198 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2432.34 s, system=87.6382 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 27429
/proc/meminfo: memFree=24746204/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.24
CPU time (s): 2519.98
CPU user time (s): 2432.34
CPU system time (s): 87.6382
CPU usage (%): 99.9898
Max. virtual memory (cumulated for all children) (KiB): 5986772
Max. memory (cumulated for all children) (KiB): 5957604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2432.34
system time used= 87.6382
maximum resident set size= 5957604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73627695
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= 6
involuntary context switches= 1984
# summary of solver processes directly reported to runsolver:
# pid: 27198
# total CPU time (s): 2519.98
# total CPU user time (s): 2432.34
# total CPU system time (s): 87.6382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.06503 second user time and 15.7805 second system time
The end