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 (13532 MiB free)
memory of node 1: 16384 MiB (10441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309501-1534295421/watcher-4309501-1534295421 -o /tmp/evaluation-result-4309501-1534295421/solver-4309501-1534295421 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534292900-22506 --watchdog 2580 xcsp_picat HOME/instance-4309501-1534295421.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=22759, runsolver pid=22756
[startup+0.109283 s]*
/proc/loadavg: 2.04 2.03 1.95 3/188 22760
/proc/meminfo: memFree=24499164/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=2025744 memory=32832 CPUtime=0.1 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1719 0 0 0 10 0 0 0 20 0 1 0 247105259 2074361856 8208 33554432000 4194304 5849940 140723935975968 140723935975272 4572157 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 506436 8208 622 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 32832 KiB
[startup+0.209566 s]*
/proc/loadavg: 2.04 2.03 1.95 3/188 22760
/proc/meminfo: memFree=24462056/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=2025744 memory=51264 CPUtime=0.21 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1762 0 0 0 20 1 0 0 20 0 1 0 247105259 2074361856 12816 33554432000 4194304 5849940 140723935975968 140723935975272 4657603 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 506436 12816 622 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 51264 KiB
[startup+0.309409 s]*
/proc/loadavg: 2.04 2.03 1.95 3/188 22760
/proc/meminfo: memFree=24429288/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=2025744 memory=65600 CPUtime=0.31 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1769 0 0 0 30 1 0 0 20 0 1 0 247105259 2074361856 16400 33554432000 4194304 5849940 140723935975968 140723935975272 4818638 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 506436 16400 622 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 65600 KiB
[startup+0.7003 s]
/proc/loadavg: 2.04 2.03 1.95 3/188 22760
/proc/meminfo: memFree=24359532/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=2025744 memory=133360 CPUtime=0.69 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1807 0 0 0 67 2 0 0 20 0 1 0 247105259 2074361856 33340 33554432000 4194304 5849940 140723935975968 140723935975272 4593545 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 506436 33340 624 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 133360 KiB
[startup+1.50031 s]
/proc/loadavg: 2.04 2.03 1.95 3/188 22760
/proc/meminfo: memFree=24187128/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=2025744 memory=278776 CPUtime=1.49 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1878 0 0 0 145 4 0 0 20 0 1 0 247105259 2074361856 69694 33554432000 4194304 5849940 140723935975968 140723935975272 4490935 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 506436 69694 626 405 0 503380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 278776 KiB
[startup+3.10926 s]
/proc/loadavg: 2.04 2.03 1.95 3/188 22760
/proc/meminfo: memFree=23466544/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=2025744 memory=549124 CPUtime=3.1 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2236 0 0 0 302 8 0 0 20 0 1 0 247105259 2074361856 137281 33554432000 4194304 5849940 140723935975968 140723935975272 4972579 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 506436 137281 629 405 0 503380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 549124 KiB
[startup+6.30041 s]
/proc/loadavg: 2.04 2.03 1.95 3/188 22760
/proc/meminfo: memFree=21975808/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=2878916 memory=1564544 CPUtime=6.29 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 8985 0 0 0 602 27 0 0 20 0 1 0 247105259 2948009984 391136 33554432000 4194304 5849940 140723935975968 140723935975192 5251224 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 719729 391136 656 405 0 716673 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2878916 KiB
Current children cumulated memory: 1564544 KiB
[startup+12.7004 s]
/proc/loadavg: 1.96 2.01 1.95 3/188 22760
/proc/meminfo: memFree=19990680/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=3990432 memory=2448732 CPUtime=12.68 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 12155 0 0 0 1218 50 0 0 20 0 1 0 247105259 4086202368 612183 33554432000 4194304 5849940 140723935975968 140723935975288 5250717 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 997608 612183 656 405 0 994552 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 3990432 KiB
Current children cumulated memory: 2448732 KiB
[startup+25.5004 s]
/proc/loadavg: 1.96 2.01 1.95 3/188 22760
/proc/meminfo: memFree=15174680/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=6009092 memory=4433848 CPUtime=25.49 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 16756 0 0 0 2441 108 0 0 20 0 1 0 247105259 6153310208 1108462 33554432000 4194304 5849940 140723935975968 140723935975256 4548489 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 1502273 1108462 657 405 0 1499217 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 6009092 KiB
Current children cumulated memory: 4433848 KiB
[startup+51.1099 s]
/proc/loadavg: 1.98 2.01 1.95 3/188 22760
/proc/meminfo: memFree=705620/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=12317028 memory=12174024 CPUtime=51.09 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 418885 0 0 0 4735 374 0 0 20 0 1 0 247105259 12612636672 3043506 33554432000 4194304 5849940 140723935975968 140723935974968 5260393 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3079257 3043506 658 405 0 3076201 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 12317028 KiB
Current children cumulated memory: 12174024 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/188 22886
/proc/meminfo: memFree=6230940/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=12365860 memory=12224844 CPUtime=102.27 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 432654 0 0 0 9610 617 0 0 20 0 1 0 247105259 12662640640 3056211 33554432000 4194304 5849940 140723935975968 140723935974968 5260621 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3091465 3056211 658 405 0 3088409 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 12365860 KiB
Current children cumulated memory: 12224844 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.96 4/188 22887
/proc/meminfo: memFree=6224796/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=8485976 memory=6404896 CPUtime=162.27 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1479952 0 0 0 15182 1045 0 0 20 0 1 0 247105259 8689639424 1601224 33554432000 4194304 5849940 140723935975968 140723935974936 5249712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2121494 1601224 658 405 0 2118438 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 8485976 KiB
Current children cumulated memory: 6404896 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/188 22888
/proc/meminfo: memFree=7106880/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=12487928 memory=12346796 CPUtime=222.26 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1634161 0 0 0 20798 1428 0 0 20 0 1 0 247105259 12787638272 3086699 33554432000 4194304 5849940 140723935975968 140723935974968 5260600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3121982 3086699 658 405 0 3118926 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 12487928 KiB
Current children cumulated memory: 12346796 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 2.00 1.95 3/188 22889
/proc/meminfo: memFree=4127376/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=12536756 memory=12395736 CPUtime=282.26 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1646664 0 0 0 26563 1663 0 0 20 0 1 0 247105259 12837638144 3098934 33554432000 4194304 5849940 140723935975968 140723935974968 5260393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3134189 3098934 658 405 0 3131133 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 12536756 KiB
Current children cumulated memory: 12395736 KiB
[startup+342.3 s]
/proc/loadavg: 1.94 1.98 1.95 3/188 22890
/proc/meminfo: memFree=5575632/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=8602188 memory=7185792 CPUtime=342.26 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1664661 0 0 0 32252 1974 0 0 20 0 1 0 247105259 8808640512 1796448 33554432000 4194304 5849940 140723935975968 140723935974936 5251285 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2150547 1796448 658 405 0 2147491 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 8602188 KiB
Current children cumulated memory: 7185792 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 1.99 1.95 3/188 22891
/proc/meminfo: memFree=6510224/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=12658828 memory=12519708 CPUtime=402.26 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1683280 0 0 0 37929 2297 0 0 20 0 1 0 247105259 12962639872 3129927 33554432000 4194304 5849940 140723935975968 140723935974968 5260393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3164707 3129927 658 405 0 3161651 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 12658828 KiB
Current children cumulated memory: 12519708 KiB
[startup+462.3 s]
/proc/loadavg: 1.95 1.97 1.95 3/188 22892
/proc/meminfo: memFree=2500808/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=12707656 memory=12567540 CPUtime=462.25 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 1694912 0 0 0 43689 2536 0 0 20 0 1 0 247105259 13012639744 3141885 33554432000 4194304 5849940 140723935975968 140723935974968 5269656 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3176914 3141885 658 405 0 3173858 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 12707656 KiB
Current children cumulated memory: 12567540 KiB
################
# More data... #
################
/proc/22759/statm: 3463779 3428510 658 405 0 3460723 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 13855116 KiB
Current children cumulated memory: 13714040 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/188 22977
/proc/meminfo: memFree=5609924/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=13903944 memory=13763924 CPUtime=1782.21 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2020086 0 0 0 169147 9074 0 0 20 0 1 0 247105259 14237638656 3440981 33554432000 4194304 5849940 140723935975968 140723935974968 5260600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3475986 3440981 658 405 0 3472930 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 13903944 KiB
Current children cumulated memory: 13763924 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/188 22978
/proc/meminfo: memFree=4585664/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=13952776 memory=13811768 CPUtime=1842.21 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2033650 0 0 0 174877 9344 0 0 20 0 1 0 247105259 14287642624 3452942 33554432000 4194304 5849940 140723935975968 140723935974968 5260724 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3488194 3452942 658 405 0 3485138 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 13952776 KiB
Current children cumulated memory: 13811768 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/188 22979
/proc/meminfo: memFree=5000880/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=9565076 memory=5432452 CPUtime=1902.21 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2047417 0 0 0 180591 9630 0 0 20 0 1 0 247105259 9794637824 1358113 33554432000 4194304 5849940 140723935975968 140723935974936 5251204 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2391269 1358113 658 405 0 2388213 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 9565076 KiB
Current children cumulated memory: 5432452 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 22980
/proc/meminfo: memFree=7780764/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=9598280 memory=6524320 CPUtime=1962.2 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2059748 0 0 0 186307 9913 0 0 20 0 1 0 247105259 9828638720 1631080 33554432000 4194304 5849940 140723935975968 140723935974936 5249712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2399570 1631080 658 405 0 2396514 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 9598280 KiB
Current children cumulated memory: 6524320 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 22981
/proc/meminfo: memFree=6886504/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=9631484 memory=7390824 CPUtime=2022.2 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2074162 0 0 0 192025 10195 0 0 20 0 1 0 247105259 9862639616 1847706 33554432000 4194304 5849940 140723935975968 140723935974936 5251285 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2407871 1847706 658 405 0 2404815 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 9631484 KiB
Current children cumulated memory: 7390824 KiB
[startup+2082.3 s]
/proc/loadavg: 1.88 1.98 1.98 3/187 22982
/proc/meminfo: memFree=5959164/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=9664688 memory=8372036 CPUtime=2082.2 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2088292 0 0 0 197737 10483 0 0 20 0 1 0 247105259 9896640512 2093009 33554432000 4194304 5849940 140723935975968 140723935974936 5251285 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2416172 2093009 658 405 0 2413116 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 9664688 KiB
Current children cumulated memory: 8372036 KiB
[startup+2142.3 s]
/proc/loadavg: 1.96 1.99 1.98 3/187 22983
/proc/meminfo: memFree=5259992/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=9697888 memory=9138188 CPUtime=2142.2 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2102651 0 0 0 203443 10777 0 0 20 0 1 0 247105259 9930637312 2284547 33554432000 4194304 5849940 140723935975968 140723935974936 5251224 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2424472 2284547 658 405 0 2421416 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 9697888 KiB
Current children cumulated memory: 9138188 KiB
[startup+2202.3 s]
/proc/loadavg: 1.98 1.99 1.98 3/187 22984
/proc/meminfo: memFree=4690632/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=9731092 memory=9605216 CPUtime=2202.2 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2116611 0 0 0 209162 11058 0 0 20 0 1 0 247105259 9964638208 2401304 33554432000 4194304 5849940 140723935975968 140723935974936 5262261 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2432773 2401304 658 405 0 2429717 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 9731092 KiB
Current children cumulated memory: 9605216 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 1.98 3/187 22985
/proc/meminfo: memFree=8704508/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=14318984 memory=14179036 CPUtime=2262.2 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2132027 0 0 0 214819 11401 0 0 20 0 1 0 247105259 14662639616 3544759 33554432000 4194304 5849940 140723935975968 140723935974968 5260600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3579746 3544759 658 405 0 3576690 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 14318984 KiB
Current children cumulated memory: 14179036 KiB
[startup+2322.3 s]
/proc/loadavg: 1.94 1.97 1.98 3/187 22986
/proc/meminfo: memFree=7692300/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=14367816 memory=14226888 CPUtime=2322.2 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2146436 0 0 0 220532 11688 0 0 20 0 1 0 247105259 14712643584 3556722 33554432000 4194304 5849940 140723935975968 140723935974968 5260600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3591954 3556722 658 405 0 3588898 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 14367816 KiB
Current children cumulated memory: 14226888 KiB
[startup+2382.3 s]
/proc/loadavg: 1.97 1.98 1.98 3/188 22995
/proc/meminfo: memFree=7326096/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=14416644 memory=14276312 CPUtime=2382.2 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2160065 0 0 0 226245 11975 0 0 20 0 1 0 247105259 14762643456 3569078 33554432000 4194304 5849940 140723935975968 140723935974968 5260393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3604161 3569078 543 405 0 3601105 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 14416644 KiB
Current children cumulated memory: 14276312 KiB
[startup+2442.3 s]
/proc/loadavg: 2.48 2.11 2.02 3/188 22996
/proc/meminfo: memFree=6984924/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=14465468 memory=14326132 CPUtime=2442.19 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2173168 0 0 0 231964 12255 0 0 20 0 1 0 247105259 14812639232 3581533 33554432000 4194304 5849940 140723935975968 140723935974968 5260600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3616367 3581533 529 405 0 3613311 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 14465468 KiB
Current children cumulated memory: 14326132 KiB
[startup+2502.3 s]
/proc/loadavg: 2.24 2.11 2.03 3/188 22997
/proc/meminfo: memFree=6578108/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=14514296 memory=14373968 CPUtime=2502.19 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2186642 0 0 0 237680 12539 0 0 20 0 1 0 247105259 14862639104 3593492 33554432000 4194304 5849940 140723935975968 140723935974968 5260625 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 3628574 3593492 529 405 0 3625518 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 14514296 KiB
Current children cumulated memory: 14373968 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.17 2.11 2.03 3/188 22997
/proc/meminfo: memFree=5922348/32770624 swapFree=67108796/67108860
[pid=22759] ppid=22756 vsize=9913708 memory=8679928 CPUtime=2519.9 cores=0,2,4,6
/proc/22759/stat : 22759 (xcsp_picat) R 22756 22759 22475 0 -1 4202496 2188803 0 0 0 239391 12599 0 0 20 0 1 0 247105259 10151636992 2169982 33554432000 4194304 5849940 140723935975968 140723935974936 5249712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 23437312 140723935978678 140723935978756 140723935978756 140723935981514 0
/proc/22759/statm: 2478427 2169982 514 405 0 2475371 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 9913708 KiB
Current children cumulated memory: 8679928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 22759 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2393.92 s, system=126.02 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.94
CPU user time (s): 2393.92
CPU system time (s): 126.02
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 14514296
Max. memory (cumulated for all children) (KiB): 14373968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.92
system time used= 126.02
maximum resident set size= 14373968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2188803
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= 3
involuntary context switches= 3178
# summary of solver processes directly reported to runsolver:
# pid: 22759
# total CPU time (s): 2519.94
# total CPU user time (s): 2393.92
# total CPU system time (s): 126.02
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.58876 second user time and 19.6374 second system time
The end