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 (14502 MiB free)
memory of node 1: 16384 MiB (13908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309816-1534299909/watcher-4309816-1534299909 -o /tmp/evaluation-result-4309816-1534299909/solver-4309816-1534299909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534292346-18984 --watchdog 2580 xcsp_picat HOME/instance-4309816-1534299909.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19821, runsolver pid=19818
Current StackSize limit: 8192 KiB
[startup+0.100444 s]*
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=29024464/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2025744 memory=30144 CPUtime=0.09 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 2076 0 0 0 9 0 0 0 20 0 1 0 247554080 2074361856 7536 33554432000 4194304 5849940 140728641501136 140728641500232 5472541 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 506436 7536 701 405 0 503380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30144 KiB
[startup+0.209674 s]*
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=28977236/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2025744 memory=30144 CPUtime=0.2 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 2078 0 0 0 20 0 0 0 20 0 1 0 247554080 2074361856 7536 33554432000 4194304 5849940 140728641501136 140728641500232 5606384 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 506436 7536 701 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30144 KiB
[startup+0.309074 s]*
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=28941304/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2025744 memory=30144 CPUtime=0.3 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 2083 0 0 0 30 0 0 0 20 0 1 0 247554080 2074361856 7536 33554432000 4194304 5849940 140728641501136 140728641500232 140484464467094 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 506436 7536 701 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30144 KiB
[startup+0.700266 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=28877444/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2025744 memory=30144 CPUtime=0.68 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 2086 0 0 0 68 0 0 0 20 0 1 0 247554080 2074361856 7536 33554432000 4194304 5849940 140728641501136 140728641500376 5606427 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 506436 7536 701 405 0 503380 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30144 KiB
[startup+1.50027 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=28852448/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2025876 memory=30144 CPUtime=1.48 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 2097 0 0 0 148 0 0 0 20 0 1 0 247554080 2074497024 7536 33554432000 4194304 5849940 140728641501136 140728641500376 5606430 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 506469 7536 701 405 0 503413 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2025876 KiB
Current children cumulated memory: 30144 KiB
[startup+3.1089 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 19822
/proc/meminfo: memFree=28851576/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2026268 memory=30636 CPUtime=3.1 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 2329 0 0 0 309 1 0 0 20 0 1 0 247554080 2074898432 7659 33554432000 4194304 5849940 140728641501136 140728641500232 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 506567 7659 717 405 0 503511 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026268 KiB
Current children cumulated memory: 30636 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19822
/proc/meminfo: memFree=28847628/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2029224 memory=33760 CPUtime=6.29 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 3659 0 0 0 626 3 0 0 20 0 1 0 247554080 2077925376 8440 33554432000 4194304 5849940 140728641501136 140728641500232 5471880 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 507306 8440 718 405 0 504250 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2029224 KiB
Current children cumulated memory: 33760 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19822
/proc/meminfo: memFree=28822652/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2058724 memory=63016 CPUtime=12.68 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 16494 0 0 0 1264 4 0 0 20 0 1 0 247554080 2108133376 15754 33554432000 4194304 5849940 140728641501136 140728641499624 4209122 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 514681 15754 746 405 0 511625 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2058724 KiB
Current children cumulated memory: 63016 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19822
/proc/meminfo: memFree=28809328/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2060292 memory=64792 CPUtime=25.49 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 21084 0 0 0 2542 7 0 0 20 0 1 0 247554080 2109739008 16198 33554432000 4194304 5849940 140728641501136 140728641499624 5307749 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 515073 16198 750 405 0 512017 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2060292 KiB
Current children cumulated memory: 64792 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19822
/proc/meminfo: memFree=28664552/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2054584 memory=59124 CPUtime=51.1 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 30197 0 0 0 5095 15 0 0 20 0 1 0 247554080 2103894016 14781 33554432000 4194304 5849940 140728641501136 140728641500296 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 513646 14781 750 405 0 510590 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2054584 KiB
Current children cumulated memory: 59124 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19823
/proc/meminfo: memFree=28681448/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2032428 memory=36892 CPUtime=102.29 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 35388 0 0 0 10204 25 0 0 20 0 1 0 247554080 2081206272 9223 33554432000 4194304 5849940 140728641501136 140728641500376 5520046 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 508107 9223 759 405 0 505051 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2032428 KiB
Current children cumulated memory: 36892 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19824
/proc/meminfo: memFree=28666516/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2072956 memory=77412 CPUtime=162.29 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 41002 0 0 0 16173 56 0 0 20 0 1 0 247554080 2122706944 19353 33554432000 4194304 5849940 140728641501136 140728641500136 5339634 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 518239 19353 759 405 0 515183 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2072956 KiB
Current children cumulated memory: 77412 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19826
/proc/meminfo: memFree=28663816/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2072956 memory=77532 CPUtime=222.29 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 43663 0 0 0 22135 94 0 0 20 0 1 0 247554080 2122706944 19383 33554432000 4194304 5849940 140728641501136 140728641500136 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 518239 19383 759 405 0 515183 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2072956 KiB
Current children cumulated memory: 77532 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 19827
/proc/meminfo: memFree=28646680/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2089344 memory=93920 CPUtime=282.29 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 45553 0 0 0 28094 135 0 0 20 0 1 0 247554080 2139488256 23480 33554432000 4194304 5849940 140728641501136 140728641500136 5339195 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 522336 23480 759 405 0 519280 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2089344 KiB
Current children cumulated memory: 93920 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 19836
/proc/meminfo: memFree=28629160/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2105728 memory=110304 CPUtime=342.29 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 51928 0 0 0 34057 172 0 0 20 0 1 0 247554080 2156265472 27576 33554432000 4194304 5849940 140728641501136 140728641500136 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 526432 27576 759 405 0 523376 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2105728 KiB
Current children cumulated memory: 110304 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 19837
/proc/meminfo: memFree=28629588/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2105728 memory=110304 CPUtime=402.29 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 57531 0 0 0 40019 210 0 0 20 0 1 0 247554080 2156265472 27576 33554432000 4194304 5849940 140728641501136 140728641500136 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 526432 27576 759 405 0 523376 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2105728 KiB
Current children cumulated memory: 110304 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/188 19838
/proc/meminfo: memFree=28624888/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2105728 memory=110304 CPUtime=462.3 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 64117 0 0 0 45983 247 0 0 20 0 1 0 247554080 2156265472 27576 33554432000 4194304 5849940 140728641501136 140728641500136 5359338 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 526432 27576 759 405 0 523376 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2105728 KiB
Current children cumulated memory: 110304 KiB
################
# More data... #
################
/proc/19821/statm: 529353 31087 759 405 0 526297 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2117412 KiB
Current children cumulated memory: 124348 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19874
/proc/meminfo: memFree=28596240/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2122104 memory=128996 CPUtime=1782.33 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 130802 0 0 0 177348 885 0 0 20 0 1 0 247554080 2173034496 32249 33554432000 4194304 5849940 140728641501136 140728641500136 5437815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 530526 32249 759 405 0 527470 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2122104 KiB
Current children cumulated memory: 128996 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19876
/proc/meminfo: memFree=28596052/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2122104 memory=128996 CPUtime=1842.33 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 138308 0 0 0 183322 911 0 0 20 0 1 0 247554080 2173034496 32249 33554432000 4194304 5849940 140728641501136 140728641500136 5437828 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 530526 32249 759 405 0 527470 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 2122104 KiB
Current children cumulated memory: 128996 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19877
/proc/meminfo: memFree=28563584/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2154872 memory=161628 CPUtime=1902.33 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 140884 0 0 0 189299 934 0 0 20 0 1 0 247554080 2206588928 40407 33554432000 4194304 5849940 140728641501136 140728641500136 5438027 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 538718 40407 759 405 0 535662 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 2154872 KiB
Current children cumulated memory: 161628 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19878
/proc/meminfo: memFree=28531064/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2122104 memory=128996 CPUtime=1962.33 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 148374 0 0 0 195272 961 0 0 20 0 1 0 247554080 2173034496 32249 33554432000 4194304 5849940 140728641501136 140728641500136 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 530526 32249 759 405 0 527470 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 2122104 KiB
Current children cumulated memory: 128996 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 19880
/proc/meminfo: memFree=28530952/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2122104 memory=128996 CPUtime=2022.33 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 150738 0 0 0 201244 989 0 0 20 0 1 0 247554080 2173034496 32249 33554432000 4194304 5849940 140728641501136 140728641500136 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 530526 32249 759 405 0 527470 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 2122104 KiB
Current children cumulated memory: 128996 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 19881
/proc/meminfo: memFree=28594716/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2127184 memory=129308 CPUtime=2082.33 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 160770 0 0 0 207218 1015 0 0 20 0 1 0 247554080 2178236416 32327 33554432000 4194304 5849940 140728641501136 140728641500136 5335780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 531796 32327 759 405 0 528740 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 2127184 KiB
Current children cumulated memory: 129308 KiB
[startup+2142.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 19889
/proc/meminfo: memFree=28592696/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2127184 memory=129308 CPUtime=2142.34 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 161141 0 0 0 213194 1040 0 0 20 0 1 0 247554080 2178236416 32327 33554432000 4194304 5849940 140728641501136 140728641500136 5311618 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 531796 32327 759 405 0 528740 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 2127184 KiB
Current children cumulated memory: 129308 KiB
[startup+2202.3 s]
/proc/loadavg: 2.35 2.14 2.09 3/188 19913
/proc/meminfo: memFree=28489416/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2159952 memory=162076 CPUtime=2202.34 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 170666 0 0 0 219169 1065 0 0 20 0 1 0 247554080 2211790848 40519 33554432000 4194304 5849940 140728641501136 140728641500136 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 539988 40519 759 405 0 536932 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 2159952 KiB
Current children cumulated memory: 162076 KiB
[startup+2262.3 s]
/proc/loadavg: 2.13 2.12 2.08 3/188 19914
/proc/meminfo: memFree=28583436/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2127184 memory=133500 CPUtime=2262.34 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 172113 0 0 0 225143 1091 0 0 20 0 1 0 247554080 2178236416 33375 33554432000 4194304 5849940 140728641501136 140728641500136 5312865 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 531796 33375 759 405 0 528740 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 2127184 KiB
Current children cumulated memory: 133500 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/188 19915
/proc/meminfo: memFree=28577520/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2132508 memory=139400 CPUtime=2322.34 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 179754 0 0 0 231109 1125 0 0 20 0 1 0 247554080 2183688192 34850 33554432000 4194304 5849940 140728641501136 140728641500136 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 533127 34850 759 405 0 530071 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 2132508 KiB
Current children cumulated memory: 139400 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 19916
/proc/meminfo: memFree=28562788/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2150072 memory=154472 CPUtime=2382.34 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 182678 0 0 0 237075 1159 0 0 20 0 1 0 247554080 2201673728 38618 33554432000 4194304 5849940 140728641501136 140728641500136 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 537518 38618 759 405 0 534462 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 2150072 KiB
Current children cumulated memory: 154472 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/188 19917
/proc/meminfo: memFree=28560740/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2150072 memory=156748 CPUtime=2442.34 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 190557 0 0 0 243041 1193 0 0 20 0 1 0 247554080 2201673728 39187 33554432000 4194304 5849940 140728641501136 140728641500136 5311638 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 537518 39187 759 405 0 534462 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 2150072 KiB
Current children cumulated memory: 156748 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 19918
/proc/meminfo: memFree=28561004/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2182840 memory=189484 CPUtime=2502.35 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 193844 0 0 0 249013 1222 0 0 20 0 1 0 247554080 2235228160 47371 33554432000 4194304 5849940 140728641501136 140728641500008 5335776 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 545710 47371 759 405 0 542654 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 2182840 KiB
Current children cumulated memory: 189484 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.98 2.05 2.06 5/200 19947
/proc/meminfo: memFree=29055160/32770624 swapFree=67030680/67108860
[pid=19821] ppid=19818 vsize=2150072 memory=156748 CPUtime=2520.06 cores=1,3,5,7
/proc/19821/stat : 19821 (xcsp_picat) R 19818 19821 18952 0 -1 4202496 193844 0 0 0 250775 1231 0 0 20 0 1 0 247554080 2201673728 39187 33554432000 4194304 5849940 140728641501136 140728641500136 140484465213319 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 30044160 140728641504438 140728641504516 140728641504516 140728641507274 0
/proc/19821/statm: 537518 39187 759 405 0 534462 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 2150072 KiB
Current children cumulated memory: 156748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 19821 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.76 s, system=12.3143 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.07
CPU user time (s): 2507.76
CPU system time (s): 12.3143
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2182840
Max. memory (cumulated for all children) (KiB): 189484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.76
system time used= 12.3143
maximum resident set size= 189484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193844
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= 9
involuntary context switches= 775
# summary of solver processes directly reported to runsolver:
# pid: 19821
# total CPU time (s): 2520.07
# total CPU user time (s): 2507.76
# total CPU system time (s): 12.3143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0196 second user time and 15.7508 second system time
The end