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 (11837 MiB free)
memory of node 1: 16384 MiB (9706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309810-1534299009/watcher-4309810-1534299009 -o /tmp/evaluation-result-4309810-1534299009/solver-4309810-1534299009 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534293289-16867 --watchdog 2580 xcsp_picat HOME/instance-4309810-1534299009.xml
running on 4 cores: 0,2,4,6
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=17944, runsolver pid=17941
[startup+0.100145 s]*
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=22040504/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2025744 memory=24876 CPUtime=0.1 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 1299 0 0 0 10 0 0 0 20 0 1 0 247464066 2074361856 6219 33554432000 4194304 5849940 140731704270736 140731704270736 4809634 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 506436 6219 595 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 24876 KiB
[startup+0.209693 s]*
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=22027776/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2025744 memory=42276 CPUtime=0.21 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 1526 0 0 0 21 0 0 0 20 0 1 0 247464066 2074361856 10569 33554432000 4194304 5849940 140731704270736 140731704270040 4509076 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 506436 10569 647 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 42276 KiB
[startup+0.309656 s]*
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=22013440/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2025744 memory=50768 CPUtime=0.31 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 1613 0 0 0 31 0 0 0 20 0 1 0 247464066 2074361856 12692 33554432000 4194304 5849940 140731704270736 140731704270040 5606395 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 506436 12692 706 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50768 KiB
[startup+0.700274 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=22013440/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2025744 memory=50768 CPUtime=0.69 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 1619 0 0 0 69 0 0 0 20 0 1 0 247464066 2074361856 12692 33554432000 4194304 5849940 140731704270736 140731704270040 5521660 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 506436 12692 706 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50768 KiB
[startup+1.50027 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=22013440/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2026056 memory=51160 CPUtime=1.49 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 1704 0 0 0 148 1 0 0 20 0 1 0 247464066 2074681344 12790 33554432000 4194304 5849940 140731704270736 140731704269832 140214458224519 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 506514 12790 718 405 0 503458 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026056 KiB
Current children cumulated memory: 51160 KiB
[startup+3.109 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=22012596/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2026448 memory=51584 CPUtime=3.1 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 1867 0 0 0 309 1 0 0 20 0 1 0 247464066 2075082752 12896 33554432000 4194304 5849940 140731704270736 140731704269976 5472700 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 506612 12896 718 405 0 503556 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026448 KiB
Current children cumulated memory: 51584 KiB
[startup+6.30026 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=22012760/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2026448 memory=51584 CPUtime=6.29 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 2003 0 0 0 627 2 0 0 20 0 1 0 247464066 2075082752 12896 33554432000 4194304 5849940 140731704270736 140731704269976 140214457478291 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 506612 12896 718 405 0 503556 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2026448 KiB
Current children cumulated memory: 51584 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=22011276/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2028036 memory=53184 CPUtime=12.69 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 2690 0 0 0 1265 4 0 0 20 0 1 0 247464066 2076708864 13296 33554432000 4194304 5849940 140731704270736 140731704269832 5473545 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 507009 13296 721 405 0 503953 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2028036 KiB
Current children cumulated memory: 53184 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=21962448/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2039292 memory=64444 CPUtime=25.49 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 6391 0 0 0 2540 9 0 0 20 0 1 0 247464066 2088235008 16111 33554432000 4194304 5849940 140731704270736 140731704269832 5472804 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 509823 16111 722 405 0 506767 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2039292 KiB
Current children cumulated memory: 64444 KiB
[startup+51.1096 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 17945
/proc/meminfo: memFree=21903508/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2098612 memory=123532 CPUtime=51.1 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 25893 0 0 0 5098 12 0 0 20 0 1 0 247464066 2148978688 30883 33554432000 4194304 5849940 140731704270736 140731704269448 5307449 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 524653 30883 754 405 0 521597 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2098612 KiB
Current children cumulated memory: 123532 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 17946
/proc/meminfo: memFree=21960580/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2087412 memory=112148 CPUtime=102.29 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 44332 0 0 0 10209 20 0 0 20 0 1 0 247464066 2137509888 28037 33554432000 4194304 5849940 140731704270736 140731704269384 5309056 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 521853 28037 754 405 0 518797 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2087412 KiB
Current children cumulated memory: 112148 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 17947
/proc/meminfo: memFree=21900872/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2090876 memory=114204 CPUtime=162.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 54385 0 0 0 16199 31 0 0 20 0 1 0 247464066 2141057024 28551 33554432000 4194304 5849940 140731704270736 140731704269736 5307877 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 522719 28551 754 405 0 519663 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2090876 KiB
Current children cumulated memory: 114204 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 17948
/proc/meminfo: memFree=21899324/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2090696 memory=115448 CPUtime=222.29 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 63332 0 0 0 22191 38 0 0 20 0 1 0 247464066 2140872704 28862 33554432000 4194304 5849940 140731704270736 140731704269736 5437772 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 522674 28862 754 405 0 519618 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2090696 KiB
Current children cumulated memory: 115448 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 17949
/proc/meminfo: memFree=21825164/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2090692 memory=115444 CPUtime=282.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 71798 0 0 0 28183 47 0 0 20 0 1 0 247464066 2140868608 28861 33554432000 4194304 5849940 140731704270736 140731704269736 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 522673 28861 754 405 0 519617 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2090692 KiB
Current children cumulated memory: 115444 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 17950
/proc/meminfo: memFree=21783668/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2099908 memory=125056 CPUtime=342.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 82808 0 0 0 34172 58 0 0 20 0 1 0 247464066 2150305792 31264 33554432000 4194304 5849940 140731704270736 140731704269736 140214458224519 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 524977 31264 754 405 0 521921 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2099908 KiB
Current children cumulated memory: 125056 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 17951
/proc/meminfo: memFree=21926560/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2101404 memory=126184 CPUtime=402.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 93874 0 0 0 40157 73 0 0 20 0 1 0 247464066 2151837696 31546 33554432000 4194304 5849940 140731704270736 140731704268280 4211581 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 525351 31546 754 405 0 522295 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2101404 KiB
Current children cumulated memory: 126184 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 17952
/proc/meminfo: memFree=21907096/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2101400 memory=126188 CPUtime=462.3 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 103276 0 0 0 46141 89 0 0 20 0 1 0 247464066 2151833600 31547 33554432000 4194304 5849940 140731704270736 140731704269736 5438404 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 525350 31547 754 405 0 522294 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2101400 KiB
Current children cumulated memory: 126188 KiB
################
# More data... #
################
/proc/17944/statm: 527107 34075 754 405 0 524051 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2108428 KiB
Current children cumulated memory: 136300 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 17994
/proc/meminfo: memFree=21576152/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2108428 memory=136524 CPUtime=1782.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 199785 0 0 0 177864 369 0 0 20 0 1 0 247464066 2159030272 34131 33554432000 4194304 5849940 140731704270736 140731704269736 5437815 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 527107 34131 754 405 0 524051 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2108428 KiB
Current children cumulated memory: 136524 KiB
[startup+1842.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/187 18002
/proc/meminfo: memFree=21575904/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2108216 memory=136312 CPUtime=1842.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 202138 0 0 0 183856 377 0 0 20 0 1 0 247464066 2158813184 34078 33554432000 4194304 5849940 140731704270736 140731704269736 5307765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 527054 34078 754 405 0 523998 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 2108216 KiB
Current children cumulated memory: 136312 KiB
[startup+1902.3 s]
/proc/loadavg: 2.24 2.14 2.08 3/187 18003
/proc/meminfo: memFree=21367284/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2100016 memory=129520 CPUtime=1902.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 203397 0 0 0 189842 391 0 0 20 0 1 0 247464066 2150416384 32380 33554432000 4194304 5849940 140731704270736 140731704269736 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 525004 32380 754 405 0 521948 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 2100016 KiB
Current children cumulated memory: 129520 KiB
[startup+1962.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/187 18004
/proc/meminfo: memFree=21367104/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2100224 memory=129732 CPUtime=1962.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 205911 0 0 0 195827 406 0 0 20 0 1 0 247464066 2150629376 32433 33554432000 4194304 5849940 140731704270736 140731704269736 5307941 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 525056 32433 754 405 0 522000 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 2100224 KiB
Current children cumulated memory: 129732 KiB
[startup+2022.3 s]
/proc/loadavg: 1.98 2.08 2.07 3/187 18127
/proc/meminfo: memFree=22038764/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2100016 memory=129524 CPUtime=2022.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 208142 0 0 0 201816 417 0 0 20 0 1 0 247464066 2150416384 32381 33554432000 4194304 5849940 140731704270736 140731704269736 5339024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 525004 32381 754 405 0 521948 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 2100016 KiB
Current children cumulated memory: 129524 KiB
[startup+2082.3 s]
/proc/loadavg: 1.99 2.06 2.06 3/187 18128
/proc/meminfo: memFree=22059272/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2100016 memory=129524 CPUtime=2082.34 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 210252 0 0 0 207806 428 0 0 20 0 1 0 247464066 2150416384 32381 33554432000 4194304 5849940 140731704270736 140731704269736 5354021 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 525004 32381 754 405 0 521948 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 2100016 KiB
Current children cumulated memory: 129524 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 18129
/proc/meminfo: memFree=22003996/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2108804 memory=138312 CPUtime=2142.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 212780 0 0 0 213797 436 0 0 20 0 1 0 247464066 2159415296 34578 33554432000 4194304 5849940 140731704270736 140731704269736 140214458224519 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 527201 34578 754 405 0 524145 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2108804 KiB
Current children cumulated memory: 138312 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18130
/proc/meminfo: memFree=22044408/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2108988 memory=138288 CPUtime=2202.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 214222 0 0 0 219789 444 0 0 20 0 1 0 247464066 2159603712 34572 33554432000 4194304 5849940 140731704270736 140731704269736 5438112 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 527247 34572 754 405 0 524191 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 2108988 KiB
Current children cumulated memory: 138288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18131
/proc/meminfo: memFree=22020636/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2100172 memory=129680 CPUtime=2262.34 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 215671 0 0 0 225780 454 0 0 20 0 1 0 247464066 2150576128 32420 33554432000 4194304 5849940 140731704270736 140731704269896 5307524 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 525043 32420 754 405 0 521987 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 2100172 KiB
Current children cumulated memory: 129680 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18192
/proc/meminfo: memFree=22033116/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2099988 memory=129496 CPUtime=2322.34 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 218582 0 0 0 231771 463 0 0 20 0 1 0 247464066 2150387712 32374 33554432000 4194304 5849940 140731704270736 140731704269736 5307440 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 524997 32374 754 405 0 521941 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 2099988 KiB
Current children cumulated memory: 129496 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18193
/proc/meminfo: memFree=22009552/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2099988 memory=129496 CPUtime=2382.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 221778 0 0 0 237760 473 0 0 20 0 1 0 247464066 2150387712 32374 33554432000 4194304 5849940 140731704270736 140731704269736 140214458224519 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 524997 32374 754 405 0 521941 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 2099988 KiB
Current children cumulated memory: 129496 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 18202
/proc/meminfo: memFree=21995500/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2099988 memory=129496 CPUtime=2442.33 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 224419 0 0 0 243749 484 0 0 20 0 1 0 247464066 2150387712 32374 33554432000 4194304 5849940 140731704270736 140731704269736 5340446 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 524997 32374 754 405 0 521941 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 2099988 KiB
Current children cumulated memory: 129496 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18203
/proc/meminfo: memFree=21992168/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2108756 memory=138264 CPUtime=2502.34 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 228176 0 0 0 249739 495 0 0 20 0 1 0 247464066 2159366144 34566 33554432000 4194304 5849940 140731704270736 140731704269736 5353904 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 527189 34566 754 405 0 524133 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 2108756 KiB
Current children cumulated memory: 138264 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18203
/proc/meminfo: memFree=21981372/32770624 swapFree=67105356/67108860
[pid=17944] ppid=17941 vsize=2108756 memory=138264 CPUtime=2520.05 cores=0,2,4,6
/proc/17944/stat : 17944 (xcsp_picat) R 17941 17944 16836 0 -1 4202496 229808 0 0 0 251508 497 0 0 20 0 1 0 247464066 2159366144 34566 33554432000 4194304 5849940 140731704270736 140731704269736 140214458224519 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41295872 140731704276150 140731704276228 140731704276228 140731704278986 0
/proc/17944/statm: 527189 34566 754 405 0 524133 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2108756 KiB
Current children cumulated memory: 138264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 17944 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.09 s, system=4.97413 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.01
CPU time (s): 2520.06
CPU user time (s): 2515.09
CPU system time (s): 4.97413
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2108988
Max. memory (cumulated for all children) (KiB): 138496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.09
system time used= 4.97413
maximum resident set size= 138496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229808
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= 19
involuntary context switches= 824
# summary of solver processes directly reported to runsolver:
# pid: 17944
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.09
# total CPU system time (s): 4.97413
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40663 second user time and 19.044 second system time
The end