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 (6878 MiB free)
memory of node 1: 16384 MiB (11104 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309715-1534310976/watcher-4309715-1534310976 -o /tmp/evaluation-result-4309715-1534310976/solver-4309715-1534310976 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534293054-21341 --watchdog 2580 xcsp_picat HOME/instance-4309715-1534310976.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=23612, runsolver pid=23609
[startup+0.100166 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23613
/proc/meminfo: memFree=18390432/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2025744 memory=30852 CPUtime=0.1 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 2240 0 0 0 9 1 0 0 20 0 1 0 248660842 2074361856 7713 33554432000 4194304 5849940 140735323626640 140735323626640 4465825 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 506436 7713 619 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30852 KiB
[startup+0.209757 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23613
/proc/meminfo: memFree=18369580/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2025744 memory=47732 CPUtime=0.21 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 2379 0 0 0 20 1 0 0 20 0 1 0 248660842 2074361856 11933 33554432000 4194304 5849940 140735323626640 140735323626640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 506436 11933 665 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 47732 KiB
[startup+0.309582 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23613
/proc/meminfo: memFree=18368956/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2026476 memory=48424 CPUtime=0.31 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 2596 0 0 0 30 1 0 0 20 0 1 0 248660842 2075111424 12106 33554432000 4194304 5849940 140735323626640 140735323625144 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 506619 12106 666 405 0 503563 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026476 KiB
Current children cumulated memory: 48424 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23613
/proc/meminfo: memFree=18367840/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2027500 memory=49324 CPUtime=0.69 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 2852 0 0 0 66 3 0 0 20 0 1 0 248660842 2076160000 12331 33554432000 4194304 5849940 140735323626640 140735323625144 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 506875 12331 666 405 0 503819 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027500 KiB
Current children cumulated memory: 49324 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23613
/proc/meminfo: memFree=18366352/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2032108 memory=53980 CPUtime=1.49 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 4004 0 0 0 143 6 0 0 20 0 1 0 248660842 2080878592 13495 33554432000 4194304 5849940 140735323626640 140735323625736 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 508027 13495 666 405 0 504971 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2032108 KiB
Current children cumulated memory: 53980 KiB
[startup+3.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23613
/proc/meminfo: memFree=18356992/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2038252 memory=60328 CPUtime=3.1 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 5586 0 0 0 299 11 0 0 20 0 1 0 248660842 2087170048 15082 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 509563 15082 666 405 0 506507 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038252 KiB
Current children cumulated memory: 60328 KiB
[startup+6.30029 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 23613
/proc/meminfo: memFree=18350968/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2044348 memory=66300 CPUtime=6.29 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 10399 0 0 0 607 22 0 0 20 0 1 0 248660842 2093412352 16575 33554432000 4194304 5849940 140735323626640 140735323624888 5397538 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 511087 16575 677 405 0 508031 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2044348 KiB
Current children cumulated memory: 66300 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 23613
/proc/meminfo: memFree=18339748/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2056924 memory=78916 CPUtime=12.69 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 22042 0 0 0 1241 28 0 0 20 0 1 0 248660842 2106290176 19729 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 514231 19729 699 405 0 511175 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2056924 KiB
Current children cumulated memory: 78916 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 23620
/proc/meminfo: memFree=18337916/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2058480 memory=79552 CPUtime=25.49 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 31090 0 0 0 2507 42 0 0 20 0 1 0 248660842 2107883520 19888 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 514620 19888 699 405 0 511564 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2058480 KiB
Current children cumulated memory: 79552 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 23620
/proc/meminfo: memFree=18334664/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2060700 memory=82792 CPUtime=51.1 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 49591 0 0 0 5042 68 0 0 20 0 1 0 248660842 2110156800 20698 33554432000 4194304 5849940 140735323626640 140735323625640 5322876 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 515175 20698 699 405 0 512119 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2060700 KiB
Current children cumulated memory: 82792 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 23621
/proc/meminfo: memFree=18302032/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2064320 memory=85708 CPUtime=102.28 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 69705 0 0 0 10112 116 0 0 20 0 1 0 248660842 2113863680 21427 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 516080 21427 699 405 0 513024 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2064320 KiB
Current children cumulated memory: 85708 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 23622
/proc/meminfo: memFree=18456168/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2063648 memory=85620 CPUtime=162.28 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 100116 0 0 0 16056 172 0 0 20 0 1 0 248660842 2113175552 21405 33554432000 4194304 5849940 140735323626640 140735323625512 5395804 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 515912 21405 699 405 0 512856 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2063648 KiB
Current children cumulated memory: 85620 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23623
/proc/meminfo: memFree=18389700/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2083056 memory=104996 CPUtime=222.27 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 127040 0 0 0 21997 230 0 0 20 0 1 0 248660842 2133049344 26249 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 520764 26249 699 405 0 517708 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2083056 KiB
Current children cumulated memory: 104996 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23624
/proc/meminfo: memFree=18337628/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2084092 memory=106240 CPUtime=282.27 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 148265 0 0 0 27941 286 0 0 20 0 1 0 248660842 2134110208 26560 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 521023 26560 699 405 0 517967 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2084092 KiB
Current children cumulated memory: 106240 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23625
/proc/meminfo: memFree=18336032/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2085800 memory=107748 CPUtime=342.26 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 172863 0 0 0 33889 337 0 0 20 0 1 0 248660842 2135859200 26937 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 521450 26937 699 405 0 518394 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2085800 KiB
Current children cumulated memory: 107748 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23626
/proc/meminfo: memFree=18337140/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2085152 memory=107232 CPUtime=402.26 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 199522 0 0 0 39838 388 0 0 20 0 1 0 248660842 2135195648 26808 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 521288 26808 699 405 0 518232 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2085152 KiB
Current children cumulated memory: 107232 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23627
/proc/meminfo: memFree=18302236/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2087408 memory=109380 CPUtime=462.26 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 224611 0 0 0 45789 437 0 0 20 0 1 0 248660842 2137505792 27345 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 521852 27345 699 405 0 518796 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2087408 KiB
Current children cumulated memory: 109380 KiB
################
# More data... #
################
/proc/23612/statm: 523949 30195 699 405 0 520893 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2095796 KiB
Current children cumulated memory: 120780 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.13 2.10 3/187 23727
/proc/meminfo: memFree=18370620/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2085596 memory=110644 CPUtime=1782.18 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 631830 0 0 0 176897 1321 0 0 20 0 1 0 248660842 2135650304 27661 33554432000 4194304 5849940 140735323626640 140735323625800 5319264 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 521399 27661 699 405 0 518343 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 2085596 KiB
Current children cumulated memory: 110644 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.11 2.09 3/187 23735
/proc/meminfo: memFree=18295968/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2103840 memory=128664 CPUtime=1842.19 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 649591 0 0 0 182868 1351 0 0 20 0 1 0 248660842 2154332160 32166 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 525960 32166 699 405 0 522904 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 2103840 KiB
Current children cumulated memory: 128664 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/188 23759
/proc/meminfo: memFree=18317264/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2102252 memory=127300 CPUtime=1902.18 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 668507 0 0 0 188833 1385 0 0 20 0 1 0 248660842 2152706048 31825 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 525563 31825 699 405 0 522507 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 2102252 KiB
Current children cumulated memory: 127300 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/188 23760
/proc/meminfo: memFree=18293260/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2094000 memory=118924 CPUtime=1962.17 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 686803 0 0 0 194801 1416 0 0 20 0 1 0 248660842 2144256000 29731 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 523500 29731 699 405 0 520444 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 2094000 KiB
Current children cumulated memory: 118924 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/188 23761
/proc/meminfo: memFree=18266392/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2104988 memory=129812 CPUtime=2022.18 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 702748 0 0 0 200771 1447 0 0 20 0 1 0 248660842 2155507712 32453 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 526247 32453 699 405 0 523191 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 2104988 KiB
Current children cumulated memory: 129812 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/188 23762
/proc/meminfo: memFree=18298252/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2095360 memory=120368 CPUtime=2082.17 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 721437 0 0 0 206741 1476 0 0 20 0 1 0 248660842 2145648640 30092 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 523840 30092 699 405 0 520784 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 2095360 KiB
Current children cumulated memory: 120368 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 23763
/proc/meminfo: memFree=18278056/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2096652 memory=121360 CPUtime=2142.17 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 740137 0 0 0 212703 1514 0 0 20 0 1 0 248660842 2146971648 30340 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 524163 30340 699 405 0 521107 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2096652 KiB
Current children cumulated memory: 121360 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23764
/proc/meminfo: memFree=18250772/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2114492 memory=139184 CPUtime=2202.17 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 761195 0 0 0 218672 1545 0 0 20 0 1 0 248660842 2165239808 34796 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 528623 34796 699 405 0 525567 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 2114492 KiB
Current children cumulated memory: 139184 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 23765
/proc/meminfo: memFree=18266816/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2097556 memory=122428 CPUtime=2262.16 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 780585 0 0 0 224642 1574 0 0 20 0 1 0 248660842 2147897344 30607 33554432000 4194304 5849940 140735323626640 140735323625640 5313053 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 524389 30607 699 405 0 521333 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 2097556 KiB
Current children cumulated memory: 122428 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23766
/proc/meminfo: memFree=18224360/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2108376 memory=133232 CPUtime=2322.16 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 785906 0 0 0 230611 1605 0 0 20 0 1 0 248660842 2158977024 33308 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 527094 33308 699 405 0 524038 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2108376 KiB
Current children cumulated memory: 133232 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 23767
/proc/meminfo: memFree=18171172/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2141392 memory=166328 CPUtime=2382.16 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 802463 0 0 0 236586 1630 0 0 20 0 1 0 248660842 2192785408 41582 33554432000 4194304 5849940 140735323626640 140735323625640 5359372 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 535348 41582 699 405 0 532292 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 2141392 KiB
Current children cumulated memory: 166328 KiB
[startup+2442.3 s]
/proc/loadavg: 2.14 2.06 2.06 3/187 23775
/proc/meminfo: memFree=18182508/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2097116 memory=122044 CPUtime=2442.16 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 813249 0 0 0 242560 1656 0 0 20 0 1 0 248660842 2147446784 30511 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 524279 30511 699 405 0 521223 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 2097116 KiB
Current children cumulated memory: 122044 KiB
[startup+2502.3 s]
/proc/loadavg: 2.11 2.06 2.06 3/187 23776
/proc/meminfo: memFree=18167832/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2109372 memory=134164 CPUtime=2502.15 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 832445 0 0 0 248525 1690 0 0 20 0 1 0 248660842 2159996928 33541 33554432000 4194304 5849940 140735323626640 140735323625640 140649763274631 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 527343 33541 699 405 0 524287 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 2109372 KiB
Current children cumulated memory: 134164 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.06 2.05 3/187 23776
/proc/meminfo: memFree=18161504/32770624 swapFree=67108792/67108860
[pid=23612] ppid=23609 vsize=2113692 memory=138628 CPUtime=2519.86 cores=1,3,5,7
/proc/23612/stat : 23612 (xcsp_picat) R 23609 23612 21309 0 -1 4202496 844236 0 0 0 250288 1698 0 0 20 0 1 0 248660842 2164420608 34657 33554432000 4194304 5849940 140735323626640 140735323625640 5437990 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 16220160 140735323632822 140735323632900 140735323632900 140735323635658 0
/proc/23612/statm: 528423 34657 699 405 0 525367 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 2113692 KiB
Current children cumulated memory: 138628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 23612 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2502.88 s, system=16.9921 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): 2519.87
CPU user time (s): 2502.88
CPU system time (s): 16.9921
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 2141392
Max. memory (cumulated for all children) (KiB): 166328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2502.88
system time used= 16.9921
maximum resident set size= 166328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844236
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= 20
involuntary context switches= 1761
# summary of solver processes directly reported to runsolver:
# pid: 23612
# total CPU time (s): 2519.87
# total CPU user time (s): 2502.88
# total CPU system time (s): 16.9921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7947 second user time and 17.4665 second system time
The end