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 (9154 MiB free)
memory of node 1: 16384 MiB (11273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295524-1532562373/watcher-4295524-1532562373 -o /tmp/evaluation-result-4295524-1532562373/solver-4295524-1532562373 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32762 --watchdog 2580 xcsp_picat HOME/instance-4295524-1532562373.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=323, runsolver pid=316
[startup+0.10017 s]*
/proc/loadavg: 1.00 1.01 1.05 4/190 328
/proc/meminfo: memFree=20867896/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=128052 memory=32224 CPUtime=0.1 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 2011 0 0 0 9 1 0 0 20 0 1 0 73800508 131125248 8056 33554432000 4194304 5849740 140720415969536 140720415969536 4507686 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 32013 8056 645 405 0 28957 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128052 KiB
Current children cumulated memory: 32224 KiB
[startup+0.209921 s]*
/proc/loadavg: 1.00 1.01 1.05 4/190 328
/proc/meminfo: memFree=20864112/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=132788 memory=36756 CPUtime=0.2 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 2851 0 0 0 19 1 0 0 20 0 1 0 73800508 135974912 9189 33554432000 4194304 5849740 140720415969536 140720415969536 5606197 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 33197 9189 705 405 0 30141 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132788 KiB
Current children cumulated memory: 36756 KiB
[startup+0.309322 s]*
/proc/loadavg: 1.00 1.01 1.05 5/190 328
/proc/meminfo: memFree=20863544/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=133172 memory=37016 CPUtime=0.3 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 2915 0 0 0 29 1 0 0 20 0 1 0 73800508 136368128 9254 33554432000 4194304 5849740 140720415969536 140720415969536 5606208 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 33293 9254 707 405 0 30237 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 133172 KiB
Current children cumulated memory: 37016 KiB
[startup+0.700226 s]
/proc/loadavg: 1.00 1.01 1.05 3/190 328
/proc/meminfo: memFree=20853864/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=133684 memory=37280 CPUtime=0.69 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 3043 0 0 0 68 1 0 0 20 0 1 0 73800508 136892416 9320 33554432000 4194304 5849740 140720415969536 140720415968648 140690434367367 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 33421 9320 707 405 0 30365 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133684 KiB
Current children cumulated memory: 37280 KiB
[startup+1.50033 s]
/proc/loadavg: 1.00 1.01 1.05 4/190 328
/proc/meminfo: memFree=20831732/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=152248 memory=56016 CPUtime=1.49 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 5657 0 0 0 147 2 0 0 20 0 1 0 73800508 155901952 14004 33554432000 4194304 5849740 140720415969536 140720415968408 5303771 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 38062 14004 709 405 0 35006 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 152248 KiB
Current children cumulated memory: 56016 KiB
[startup+3.10942 s]
/proc/loadavg: 1.08 1.03 1.05 5/190 328
/proc/meminfo: memFree=20819344/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=164500 memory=68472 CPUtime=3.1 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 8131 0 0 0 308 2 0 0 20 0 1 0 73800508 168448000 17118 33554432000 4194304 5849740 140720415969536 140720415968024 5305628 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 41125 17118 738 405 0 38069 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 164500 KiB
Current children cumulated memory: 68472 KiB
[startup+6.30025 s]
/proc/loadavg: 1.08 1.03 1.05 5/190 328
/proc/meminfo: memFree=20818632/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=164500 memory=68476 CPUtime=6.29 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 11899 0 0 0 627 2 0 0 20 0 1 0 73800508 168448000 17119 33554432000 4194304 5849740 140720415969536 140720415968024 4211654 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 41125 17119 738 405 0 38069 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 164500 KiB
Current children cumulated memory: 68476 KiB
[startup+12.7003 s]
/proc/loadavg: 1.16 1.05 1.06 5/190 328
/proc/meminfo: memFree=20815944/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=166512 memory=70504 CPUtime=12.69 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 18545 0 0 0 1264 5 0 0 20 0 1 0 73800508 170508288 17626 33554432000 4194304 5849740 140720415969536 140720415968024 4211834 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 41628 17626 742 405 0 38572 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 166512 KiB
Current children cumulated memory: 70504 KiB
[startup+25.5004 s]
/proc/loadavg: 1.34 1.09 1.07 4/190 328
/proc/meminfo: memFree=20810720/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=166512 memory=70504 CPUtime=25.49 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 27386 0 0 0 2536 13 0 0 20 0 1 0 73800508 170508288 17626 33554432000 4194304 5849740 140720415969536 140720415968536 5361388 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 41628 17626 742 405 0 38572 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 166512 KiB
Current children cumulated memory: 70504 KiB
[startup+51.1094 s]
/proc/loadavg: 1.57 1.17 1.09 4/190 328
/proc/meminfo: memFree=20797972/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=166512 memory=70504 CPUtime=51.1 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 33870 0 0 0 5081 29 0 0 20 0 1 0 73800508 170508288 17626 33554432000 4194304 5849740 140720415969536 140720415968408 5416835 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 41628 17626 742 405 0 38572 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 166512 KiB
Current children cumulated memory: 70504 KiB
[startup+102.3 s]
/proc/loadavg: 1.86 1.31 1.15 4/192 331
/proc/meminfo: memFree=20752072/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=186020 memory=89880 CPUtime=102.29 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 42394 0 0 0 10168 61 0 0 20 0 1 0 73800508 190484480 22470 33554432000 4194304 5849740 140720415969536 140720415968536 4213572 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 46505 22470 742 405 0 43449 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 186020 KiB
Current children cumulated memory: 89880 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.44 1.20 4/192 332
/proc/meminfo: memFree=20745328/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=194252 memory=105188 CPUtime=162.28 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 47210 0 0 0 16134 94 0 0 20 0 1 0 73800508 198914048 26297 33554432000 4194304 5849740 140720415969536 140720415968536 5437611 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 48563 26297 742 405 0 45507 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 194252 KiB
Current children cumulated memory: 105188 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.25 4/192 333
/proc/meminfo: memFree=20686244/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=185192 memory=95892 CPUtime=222.28 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 57585 0 0 0 22096 132 0 0 20 0 1 0 73800508 189636608 23973 33554432000 4194304 5849740 140720415969536 140720415968408 5438106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 46298 23973 742 405 0 43242 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 185192 KiB
Current children cumulated memory: 95892 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.30 4/192 342
/proc/meminfo: memFree=20706404/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=199292 memory=110228 CPUtime=282.28 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 66530 0 0 0 28060 168 0 0 20 0 1 0 73800508 204075008 27557 33554432000 4194304 5849740 140720415969536 140720415968536 140690434367367 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 49823 27557 742 405 0 46767 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 199292 KiB
Current children cumulated memory: 110228 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.34 4/192 343
/proc/meminfo: memFree=20592508/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=215676 memory=126520 CPUtime=342.28 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 76275 0 0 0 34021 207 0 0 20 0 1 0 73800508 220852224 31630 33554432000 4194304 5849740 140720415969536 140720415968536 5313402 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 53919 31630 742 405 0 50863 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 215676 KiB
Current children cumulated memory: 126520 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.38 4/190 344
/proc/meminfo: memFree=20611520/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=236816 memory=147752 CPUtime=402.26 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 92578 0 0 0 39973 253 0 0 20 0 1 0 73800508 242499584 36938 33554432000 4194304 5849740 140720415969536 140720415968536 5387254 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 59204 36938 742 405 0 56148 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 236816 KiB
Current children cumulated memory: 147752 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.42 4/190 345
/proc/meminfo: memFree=20605520/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=233912 memory=144744 CPUtime=462.26 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 99016 0 0 0 45936 290 0 0 20 0 1 0 73800508 239525888 36186 33554432000 4194304 5849740 140720415969536 140720415968536 140690434367367 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 58478 36186 742 405 0 55422 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 233912 KiB
Current children cumulated memory: 144744 KiB
################
# More data... #
################
/proc/323/statm: 84117 61847 742 405 0 81061 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 336468 KiB
Current children cumulated memory: 247388 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.90 4/191 419
/proc/meminfo: memFree=20162404/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=336468 memory=247268 CPUtime=1782.23 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 316051 0 0 0 177166 1057 0 0 20 0 1 0 73800508 344543232 61817 33554432000 4194304 5849740 140720415969536 140720415968536 140690434367367 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 84117 61817 742 405 0 81061 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 336468 KiB
Current children cumulated memory: 247268 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 1.90 4/192 422
/proc/meminfo: memFree=20089712/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=291188 memory=202252 CPUtime=1842.23 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 325526 0 0 0 183132 1091 0 0 20 0 1 0 73800508 298176512 50563 33554432000 4194304 5849740 140720415969536 140720415968536 5335568 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 72797 50563 742 405 0 69741 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 291188 KiB
Current children cumulated memory: 202252 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.91 4/192 423
/proc/meminfo: memFree=19992096/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=323956 memory=235020 CPUtime=1902.23 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 328727 0 0 0 189104 1119 0 0 20 0 1 0 73800508 331730944 58755 33554432000 4194304 5849740 140720415969536 140720415968536 5307529 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 80989 58755 742 405 0 77933 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 323956 KiB
Current children cumulated memory: 235020 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 1.91 4/191 424
/proc/meminfo: memFree=19945840/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=369636 memory=280572 CPUtime=1962.23 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 335670 0 0 0 195072 1151 0 0 20 0 1 0 73800508 378507264 70143 33554432000 4194304 5849740 140720415969536 140720415968696 5307557 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 92409 70143 742 405 0 89353 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 369636 KiB
Current children cumulated memory: 280572 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.92 4/191 425
/proc/meminfo: memFree=19886756/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=428888 memory=339824 CPUtime=2022.22 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 339070 0 0 0 201042 1180 0 0 20 0 1 0 73800508 439181312 84956 33554432000 4194304 5849740 140720415969536 140720415968536 5435165 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 107222 84956 742 405 0 104166 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 428888 KiB
Current children cumulated memory: 339824 KiB
[startup+2082.3 s]
/proc/loadavg: 2.19 2.07 1.95 4/192 434
/proc/meminfo: memFree=19655800/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=428888 memory=339824 CPUtime=2082.23 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 339532 0 0 0 207012 1211 0 0 20 0 1 0 73800508 439181312 84956 33554432000 4194304 5849740 140720415969536 140720415968408 5311408 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 107222 84956 742 405 0 104166 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 428888 KiB
Current children cumulated memory: 339824 KiB
[startup+2142.3 s]
/proc/loadavg: 2.07 2.06 1.95 4/191 435
/proc/meminfo: memFree=19562952/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=522916 memory=433980 CPUtime=2142.23 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 360006 0 0 0 212973 1250 0 0 20 0 1 0 73800508 535465984 108495 33554432000 4194304 5849740 140720415969536 140720415968536 5312778 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 130729 108495 742 405 0 127673 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 522916 KiB
Current children cumulated memory: 433980 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.05 1.95 4/192 437
/proc/meminfo: memFree=19552296/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=491440 memory=402504 CPUtime=2202.22 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 380107 0 0 0 218928 1294 0 0 20 0 1 0 73800508 503234560 100626 33554432000 4194304 5849740 140720415969536 140720415968536 5437808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 122860 100626 742 405 0 119804 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 491440 KiB
Current children cumulated memory: 402504 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 1.95 4/192 438
/proc/meminfo: memFree=19311032/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=732376 memory=643440 CPUtime=2262.22 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 397181 0 0 0 224898 1324 0 0 20 0 1 0 73800508 749953024 160860 33554432000 4194304 5849740 140720415969536 140720415968408 5437611 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 183094 160860 742 405 0 180038 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 732376 KiB
Current children cumulated memory: 643440 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 1.95 4/192 439
/proc/meminfo: memFree=19577288/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=466952 memory=377872 CPUtime=2322.22 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 416143 0 0 0 230869 1353 0 0 20 0 1 0 73800508 478158848 94468 33554432000 4194304 5849740 140720415969536 140720415968536 5437607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 116738 94468 742 405 0 113682 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 466952 KiB
Current children cumulated memory: 377872 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 1.95 4/191 441
/proc/meminfo: memFree=19267604/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=775960 memory=686816 CPUtime=2382.22 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 444046 0 0 0 236840 1382 0 0 20 0 1 0 73800508 794583040 171704 33554432000 4194304 5849740 140720415969536 140720415968536 5312821 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 193990 171704 742 405 0 190934 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 775960 KiB
Current children cumulated memory: 686816 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/191 442
/proc/meminfo: memFree=18586868/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=1110172 memory=1021236 CPUtime=2442.22 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 459969 0 0 0 242815 1407 0 0 20 0 1 0 73800508 1136816128 255309 33554432000 4194304 5849740 140720415969536 140720415968408 5398216 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 277543 255309 742 405 0 274487 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 1110172 KiB
Current children cumulated memory: 1021236 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/191 444
/proc/meminfo: memFree=18282652/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=1413632 memory=1324696 CPUtime=2502.22 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 529509 0 0 0 248792 1430 0 0 20 0 1 0 73800508 1447559168 331174 33554432000 4194304 5849740 140720415969536 140720415968536 5438293 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 353408 331174 742 405 0 350352 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 1413632 KiB
Current children cumulated memory: 1324696 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 1.95 4/191 445
/proc/meminfo: memFree=18281992/32770624 swapFree=67108860/67108860
[pid=323] ppid=316 vsize=1413632 memory=1324696 CPUtime=2519.92 cores=1,3,5,7
/proc/323/stat : 323 (xcsp_picat) R 316 323 32730 0 -1 4202496 542388 0 0 0 250554 1438 0 0 20 0 1 0 73800508 1447559168 331174 33554432000 4194304 5849740 140720415969536 140720415968696 5307600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 41660416 140720415974582 140720415974660 140720415974660 140720415977418 0
/proc/323/statm: 353408 331174 742 405 0 350352 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 1413632 KiB
Current children cumulated memory: 1324696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 323 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.56 s, system=14.4097 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.04
CPU time (s): 2519.97
CPU user time (s): 2505.56
CPU system time (s): 14.4097
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 1413632
Max. memory (cumulated for all children) (KiB): 1324696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.56
system time used= 14.4097
maximum resident set size= 1324696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542388
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= 55
involuntary context switches= 924
# summary of solver processes directly reported to runsolver:
# pid: 323
# total CPU time (s): 2519.97
# total CPU user time (s): 2505.56
# total CPU system time (s): 14.4097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3913 second user time and 14.0377 second system time
The end