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 (14572 MiB free)
memory of node 1: 16384 MiB (13253 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309495-1534318786/watcher-4309495-1534318786 -o /tmp/evaluation-result-4309495-1534318786/solver-4309495-1534318786 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534292900-22506 --watchdog 2580 xcsp_picat HOME/instance-4309495-1534318786.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=25566, runsolver pid=25563
[startup+0.100201 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25567
/proc/meminfo: memFree=28471252/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2025744 memory=27252 CPUtime=0.1 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 1908 0 0 0 10 0 0 0 20 0 1 0 249441754 2074361856 6813 33554432000 4194304 5849940 140730973380032 140730973380032 4819752 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 506436 6813 593 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 27252 KiB
[startup+0.209795 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25567
/proc/meminfo: memFree=28460884/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2025744 memory=37724 CPUtime=0.21 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 1913 0 0 0 21 0 0 0 20 0 1 0 249441754 2074361856 9431 33554432000 4194304 5849940 140730973380032 140730973379336 139912752360448 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 506436 9431 597 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 37724 KiB
[startup+0.309861 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25567
/proc/meminfo: memFree=28444376/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2025744 memory=54324 CPUtime=0.31 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 1985 0 0 0 31 0 0 0 20 0 1 0 249441754 2074361856 13581 33554432000 4194304 5849940 140730973380032 140730973379336 4503335 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 506436 13581 625 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 54324 KiB
[startup+0.700351 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25567
/proc/meminfo: memFree=28443268/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2027512 memory=87196 CPUtime=0.69 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 2616 0 0 0 67 2 0 0 20 0 1 0 249441754 2076172288 21799 33554432000 4194304 5849940 140730973380032 140730973379336 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 506878 21799 703 405 0 503822 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027512 KiB
Current children cumulated memory: 87196 KiB
[startup+1.50045 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25567
/proc/meminfo: memFree=28427392/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2110268 memory=172012 CPUtime=1.49 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 9562 0 0 0 144 5 0 0 20 0 1 0 249441754 2160914432 43003 33554432000 4194304 5849940 140730973380032 140730973379128 5379131 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 527567 43003 705 405 0 524511 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2110268 KiB
Current children cumulated memory: 172012 KiB
[startup+3.10913 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25567
/proc/meminfo: memFree=28291116/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2175804 memory=237868 CPUtime=3.1 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 10214 0 0 0 304 6 0 0 20 0 1 0 249441754 2228023296 59467 33554432000 4194304 5849940 140730973380032 140730973379128 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 543951 59467 722 405 0 540895 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2175804 KiB
Current children cumulated memory: 237868 KiB
[startup+6.30044 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25567
/proc/meminfo: memFree=28210688/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2191320 memory=253332 CPUtime=6.29 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 37749 0 0 0 620 9 0 0 20 0 1 0 249441754 2243911680 63333 33554432000 4194304 5849940 140730973380032 140730973378680 5302999 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 547830 63333 741 405 0 544774 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2191320 KiB
Current children cumulated memory: 253332 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25567
/proc/meminfo: memFree=28273328/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2193760 memory=255608 CPUtime=12.69 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 66884 0 0 0 1257 12 0 0 20 0 1 0 249441754 2246410240 63902 33554432000 4194304 5849940 140730973380032 140730973377576 4212122 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 548440 63902 750 405 0 545384 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2193760 KiB
Current children cumulated memory: 255608 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25574
/proc/meminfo: memFree=28240688/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2193724 memory=255780 CPUtime=25.49 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 101616 0 0 0 2535 14 0 0 20 0 1 0 249441754 2246373376 63945 33554432000 4194304 5849940 140730973380032 140730973379032 5437784 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 548431 63945 751 405 0 545375 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2193724 KiB
Current children cumulated memory: 255780 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25574
/proc/meminfo: memFree=28313212/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2119376 memory=183372 CPUtime=51.09 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 135342 0 0 0 5085 24 0 0 20 0 1 0 249441754 2170241024 45843 33554432000 4194304 5849940 140730973380032 140730973379128 5406342 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 529844 45843 763 405 0 526788 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2119376 KiB
Current children cumulated memory: 183372 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25575
/proc/meminfo: memFree=28135404/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2199876 memory=264028 CPUtime=102.28 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 171007 0 0 0 10188 40 0 0 20 0 1 0 249441754 2252673024 66007 33554432000 4194304 5849940 140730973380032 140730973379032 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 549969 66007 763 405 0 546913 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2199876 KiB
Current children cumulated memory: 264028 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25576
/proc/meminfo: memFree=28137416/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2205768 memory=270028 CPUtime=162.28 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 205856 0 0 0 16167 61 0 0 20 0 1 0 249441754 2258706432 67507 33554432000 4194304 5849940 140730973380032 140730973378904 5437819 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 551442 67507 763 405 0 548386 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2205768 KiB
Current children cumulated memory: 270028 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25577
/proc/meminfo: memFree=28029804/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2210768 memory=272952 CPUtime=222.27 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 235390 0 0 0 22140 87 0 0 20 0 1 0 249441754 2263826432 68238 33554432000 4194304 5849940 140730973380032 140730973378904 5314519 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 552692 68238 763 405 0 549636 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2210768 KiB
Current children cumulated memory: 272952 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25578
/proc/meminfo: memFree=28022936/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2215700 memory=279852 CPUtime=282.27 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 262974 0 0 0 28118 109 0 0 20 0 1 0 249441754 2268876800 69963 33554432000 4194304 5849940 140730973380032 140730973378680 4205814 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 553925 69963 763 405 0 550869 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2215700 KiB
Current children cumulated memory: 279852 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25579
/proc/meminfo: memFree=28028716/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2209836 memory=273984 CPUtime=342.26 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 295198 0 0 0 34090 136 0 0 20 0 1 0 249441754 2262872064 68496 33554432000 4194304 5849940 140730973380032 140730973378904 5438029 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 552459 68496 763 405 0 549403 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2209836 KiB
Current children cumulated memory: 273984 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25580
/proc/meminfo: memFree=28211568/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2213952 memory=274012 CPUtime=402.26 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 324205 0 0 0 40066 160 0 0 20 0 1 0 249441754 2267086848 68503 33554432000 4194304 5849940 140730973380032 140730973379192 5311744 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 553488 68503 763 405 0 550432 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2213952 KiB
Current children cumulated memory: 274012 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25581
/proc/meminfo: memFree=28196620/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2227120 memory=289372 CPUtime=462.25 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 353533 0 0 0 46037 188 0 0 20 0 1 0 249441754 2280570880 72343 33554432000 4194304 5849940 140730973380032 140730973379032 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 556780 72343 763 405 0 553724 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2227120 KiB
Current children cumulated memory: 289372 KiB
################
# More data... #
################
/proc/25566/statm: 771552 288209 763 405 0 768496 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 3086208 KiB
Current children cumulated memory: 1152836 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25704
/proc/meminfo: memFree=28169284/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2455952 memory=522580 CPUtime=1782.14 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 905106 0 0 0 177402 812 0 0 20 0 1 0 249441754 2514894848 130645 33554432000 4194304 5849940 140730973380032 140730973379032 5311763 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 613988 130645 763 405 0 610932 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 2455952 KiB
Current children cumulated memory: 522580 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25712
/proc/meminfo: memFree=28182556/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2440940 memory=507568 CPUtime=1842.13 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 919257 0 0 0 183376 837 0 0 20 0 1 0 249441754 2499522560 126892 33554432000 4194304 5849940 140730973380032 140730973378904 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 610235 126892 763 405 0 607179 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 2440940 KiB
Current children cumulated memory: 507568 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25713
/proc/meminfo: memFree=28170072/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2448888 memory=515516 CPUtime=1902.12 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 921683 0 0 0 189352 860 0 0 20 0 1 0 249441754 2507661312 128879 33554432000 4194304 5849940 140730973380032 140730973379192 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 612222 128879 763 405 0 609166 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 2448888 KiB
Current children cumulated memory: 515516 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25714
/proc/meminfo: memFree=28174104/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2448888 memory=515516 CPUtime=1962.12 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 932391 0 0 0 195323 889 0 0 20 0 1 0 249441754 2507661312 128879 33554432000 4194304 5849940 140730973380032 140730973379192 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 612222 128879 763 405 0 609166 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 2448888 KiB
Current children cumulated memory: 515516 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25715
/proc/meminfo: memFree=28184028/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2452476 memory=519104 CPUtime=2022.11 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 939855 0 0 0 201295 916 0 0 20 0 1 0 249441754 2511335424 129776 33554432000 4194304 5849940 140730973380032 140730973379192 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 613119 129776 763 405 0 610063 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 2452476 KiB
Current children cumulated memory: 519104 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25716
/proc/meminfo: memFree=28116760/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2390136 memory=456892 CPUtime=2082.11 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 943805 0 0 0 207263 948 0 0 20 0 1 0 249441754 2447499264 114223 33554432000 4194304 5849940 140730973380032 140730973378904 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 597534 114223 763 405 0 594478 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 2390136 KiB
Current children cumulated memory: 456892 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25717
/proc/meminfo: memFree=27995244/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2512716 memory=579124 CPUtime=2142.1 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 955500 0 0 0 213241 969 0 0 20 0 1 0 249441754 2573021184 144781 33554432000 4194304 5849940 140730973380032 140730973379032 5385836 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 628179 144781 763 405 0 625123 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 2512716 KiB
Current children cumulated memory: 579124 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25718
/proc/meminfo: memFree=28027856/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2392484 memory=450936 CPUtime=2202.11 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 963483 0 0 0 219219 992 0 0 20 0 1 0 249441754 2449903616 112734 33554432000 4194304 5849940 140730973380032 140730973379192 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 598121 112734 763 405 0 595065 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 2392484 KiB
Current children cumulated memory: 450936 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25719
/proc/meminfo: memFree=27759240/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2544220 memory=610848 CPUtime=2262.1 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 974362 0 0 0 225196 1014 0 0 20 0 1 0 249441754 2605281280 152712 33554432000 4194304 5849940 140730973380032 140730973379192 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 636055 152712 763 405 0 632999 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 2544220 KiB
Current children cumulated memory: 610848 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25720
/proc/meminfo: memFree=27578520/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2637164 memory=703792 CPUtime=2322.09 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 982652 0 0 0 231174 1035 0 0 20 0 1 0 249441754 2700455936 175948 33554432000 4194304 5849940 140730973380032 140730973379032 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 659291 175948 763 405 0 656235 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 2637164 KiB
Current children cumulated memory: 703792 KiB
[startup+2382.3 s]
/proc/loadavg: 2.41 2.14 2.09 3/187 25721
/proc/meminfo: memFree=28014904/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2545568 memory=612324 CPUtime=2382.09 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 992035 0 0 0 237148 1061 0 0 20 0 1 0 249441754 2606661632 153081 33554432000 4194304 5849940 140730973380032 140730973379192 5312543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 636392 153081 763 405 0 633336 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 2545568 KiB
Current children cumulated memory: 612324 KiB
[startup+2442.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/187 25729
/proc/meminfo: memFree=28320468/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2220972 memory=284816 CPUtime=2442.09 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 1026673 0 0 0 243124 1085 0 0 20 0 1 0 249441754 2274275328 71204 33554432000 4194304 5849940 140730973380032 140730973378680 5307749 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 555243 71204 763 405 0 552187 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 2220972 KiB
Current children cumulated memory: 284816 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 25730
/proc/meminfo: memFree=28242396/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2220972 memory=284816 CPUtime=2502.08 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 1029194 0 0 0 249107 1101 0 0 20 0 1 0 249441754 2274275328 71204 33554432000 4194304 5849940 140730973380032 140730973378680 5354041 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 555243 71204 763 405 0 552187 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 2220972 KiB
Current children cumulated memory: 284816 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.09 2.08 3/187 25731
/proc/meminfo: memFree=28273712/32770624 swapFree=67108796/67108860
[pid=25566] ppid=25563 vsize=2220972 memory=284816 CPUtime=2519.79 cores=0,2,4,6
/proc/25566/stat : 25566 (xcsp_picat) R 25563 25566 22475 0 -1 4202496 1031835 0 0 0 250867 1112 0 0 20 0 1 0 249441754 2274275328 71204 33554432000 4194304 5849940 140730973380032 140730973379032 139912752381831 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 16695296 140730973385910 140730973385988 140730973385988 140730973388746 0
/proc/25566/statm: 555243 71204 763 405 0 552187 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 2220972 KiB
Current children cumulated memory: 284816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 25566 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.67 s, system=11.1332 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.02
CPU time (s): 2519.8
CPU user time (s): 2508.67
CPU system time (s): 11.1332
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 3086208
Max. memory (cumulated for all children) (KiB): 1152836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.67
system time used= 11.1332
maximum resident set size= 1152836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1031835
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= 48
involuntary context switches= 3151
# summary of solver processes directly reported to runsolver:
# pid: 25566
# total CPU time (s): 2519.8
# total CPU user time (s): 2508.67
# total CPU system time (s): 11.1332
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.44272 second user time and 19.2493 second system time
The end