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 (13573 MiB free)
memory of node 1: 16384 MiB (10517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309767-1534301592/watcher-4309767-1534301592 -o /tmp/evaluation-result-4309767-1534301592/solver-4309767-1534301592 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534293639-21936 --watchdog 2580 xcsp_picat HOME/instance-4309767-1534301592.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
solver pid=22892, runsolver pid=22889
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 1.97 2.13 2.12 3/188 22893
/proc/meminfo: memFree=24645256/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2025744 memory=26720 CPUtime=0.1 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1766 0 0 0 10 0 0 0 20 0 1 0 247722383 2074361856 6680 33554432000 4194304 5849940 140735693302192 140735693302192 4580878 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 506436 6680 602 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 26720 KiB
[startup+0.209712 s]*
/proc/loadavg: 1.97 2.13 2.12 3/188 22893
/proc/meminfo: memFree=24636520/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2025744 memory=37196 CPUtime=0.21 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1839 0 0 0 21 0 0 0 20 0 1 0 247722383 2074361856 9299 33554432000 4194304 5849940 140735693302192 140735693302192 4486409 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 506436 9299 608 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 37196 KiB
[startup+0.30961 s]*
/proc/loadavg: 1.97 2.13 2.12 3/188 22893
/proc/meminfo: memFree=24630588/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2027756 memory=41536 CPUtime=0.31 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 2682 0 0 0 31 0 0 0 20 0 1 0 247722383 2076422144 10384 33554432000 4194304 5849940 140735693302192 140735693301304 5366819 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 506939 10384 662 405 0 503883 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027756 KiB
Current children cumulated memory: 41536 KiB
[startup+0.700284 s]
/proc/loadavg: 1.97 2.13 2.12 3/188 22893
/proc/meminfo: memFree=24626016/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2030916 memory=44780 CPUtime=0.69 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 5103 0 0 0 68 1 0 0 20 0 1 0 247722383 2079657984 11195 33554432000 4194304 5849940 140735693302192 140735693300680 5308981 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 507729 11195 673 405 0 504673 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2030916 KiB
Current children cumulated memory: 44780 KiB
[startup+1.50023 s]
/proc/loadavg: 1.97 2.13 2.12 3/188 22893
/proc/meminfo: memFree=24625588/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2031992 memory=45920 CPUtime=1.49 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 5387 0 0 0 148 1 0 0 20 0 1 0 247722383 2080759808 11480 33554432000 4194304 5849940 140735693302192 140735693299736 4211874 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 507998 11480 677 405 0 504942 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031992 KiB
Current children cumulated memory: 45920 KiB
[startup+3.10958 s]
/proc/loadavg: 1.97 2.13 2.11 3/188 22893
/proc/meminfo: memFree=24619516/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2036208 memory=50092 CPUtime=3.1 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 11077 0 0 0 307 3 0 0 20 0 1 0 247722383 2085076992 12523 33554432000 4194304 5849940 140735693302192 140735693301192 5438438 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 509052 12523 681 405 0 505996 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2036208 KiB
Current children cumulated memory: 50092 KiB
[startup+6.30024 s]
/proc/loadavg: 1.97 2.13 2.11 3/188 22893
/proc/meminfo: memFree=24617764/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2040552 memory=54208 CPUtime=6.29 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 21441 0 0 0 623 6 0 0 20 0 1 0 247722383 2089525248 13552 33554432000 4194304 5849940 140735693302192 140735693301352 140528858185607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 510138 13552 681 405 0 507082 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040552 KiB
Current children cumulated memory: 54208 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 2.12 2.11 3/188 22893
/proc/meminfo: memFree=24604912/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2044448 memory=58400 CPUtime=12.68 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 43473 0 0 0 1255 13 0 0 20 0 1 0 247722383 2093514752 14600 33554432000 4194304 5849940 140735693302192 140735693301192 4212055 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 511112 14600 681 405 0 508056 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2044448 KiB
Current children cumulated memory: 58400 KiB
[startup+25.5002 s]
/proc/loadavg: 1.98 2.12 2.11 3/188 22893
/proc/meminfo: memFree=24578264/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2065460 memory=78356 CPUtime=25.49 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 68499 0 0 0 2525 24 0 0 20 0 1 0 247722383 2115031040 19589 33554432000 4194304 5849940 140735693302192 140735693301192 5376224 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 516365 19589 681 405 0 513309 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2065460 KiB
Current children cumulated memory: 78356 KiB
[startup+51.1094 s]
/proc/loadavg: 1.99 2.11 2.11 3/188 22893
/proc/meminfo: memFree=24535500/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2090016 memory=103820 CPUtime=51.09 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 105856 0 0 0 5063 46 0 0 20 0 1 0 247722383 2140176384 25955 33554432000 4194304 5849940 140735693302192 140735693301192 140528858185607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 522504 25955 681 405 0 519448 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2090016 KiB
Current children cumulated memory: 103820 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.09 2.10 3/188 22894
/proc/meminfo: memFree=24460628/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2134272 memory=148308 CPUtime=102.28 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 188462 0 0 0 10134 94 0 0 20 0 1 0 247722383 2185494528 37077 33554432000 4194304 5849940 140735693302192 140735693301352 140528858185607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 533568 37077 681 405 0 530512 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2134272 KiB
Current children cumulated memory: 148308 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.07 2.10 3/187 22896
/proc/meminfo: memFree=24341192/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2220084 memory=234072 CPUtime=162.27 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 209733 0 0 0 16102 125 0 0 20 0 1 0 247722383 2273366016 58518 33554432000 4194304 5849940 140735693302192 140735693301192 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 555021 58518 681 405 0 551965 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2220084 KiB
Current children cumulated memory: 234072 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/187 22897
/proc/meminfo: memFree=24310232/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2249544 memory=259600 CPUtime=222.27 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 246651 0 0 0 22060 167 0 0 20 0 1 0 247722383 2303533056 64900 33554432000 4194304 5849940 140735693302192 140735693301192 140528858185607 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 562386 64900 681 405 0 559330 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2249544 KiB
Current children cumulated memory: 259600 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/187 22898
/proc/meminfo: memFree=24206740/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2314628 memory=328468 CPUtime=282.27 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 261380 0 0 0 28030 197 0 0 20 0 1 0 247722383 2370179072 82117 33554432000 4194304 5849940 140735693302192 140735693301192 5438404 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 578657 82117 681 405 0 575601 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2314628 KiB
Current children cumulated memory: 328468 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 22900
/proc/meminfo: memFree=24014816/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2449848 memory=464012 CPUtime=342.27 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 296835 0 0 0 34005 222 0 0 20 0 1 0 247722383 2508644352 116003 33554432000 4194304 5849940 140735693302192 140735693301352 140528858185607 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 612462 116003 681 405 0 609406 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2449848 KiB
Current children cumulated memory: 464012 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/187 22901
/proc/meminfo: memFree=24108332/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2300788 memory=314824 CPUtime=402.26 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 329387 0 0 0 39981 245 0 0 20 0 1 0 247722383 2356006912 78706 33554432000 4194304 5849940 140735693302192 140735693301192 140528858185607 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 575197 78706 681 405 0 572141 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2300788 KiB
Current children cumulated memory: 314824 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/188 22910
/proc/meminfo: memFree=23951920/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2534708 memory=548744 CPUtime=462.26 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 379572 0 0 0 45954 272 0 0 20 0 1 0 247722383 2595540992 137186 33554432000 4194304 5849940 140735693302192 140735693301352 5438456 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 633677 137186 681 405 0 630621 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2534708 KiB
Current children cumulated memory: 548744 KiB
################
# More data... #
################
/proc/22892/statm: 718199 220751 681 405 0 715143 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2872796 KiB
Current children cumulated memory: 883004 KiB
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 22970
/proc/meminfo: memFree=23410696/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2905564 memory=919396 CPUtime=1782.17 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1399326 0 0 0 177513 704 0 0 20 0 1 0 247722383 2975297536 229849 33554432000 4194304 5849940 140735693302192 140735693301192 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 726391 229849 681 405 0 723335 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 2905564 KiB
Current children cumulated memory: 919396 KiB
[startup+1842.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/188 22971
/proc/meminfo: memFree=23404672/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2938332 memory=953088 CPUtime=1842.16 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1464190 0 0 0 183493 723 0 0 20 0 1 0 247722383 3008851968 238272 33554432000 4194304 5849940 140735693302192 140735693301192 140528858185607 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 734583 238272 681 405 0 731527 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 2938332 KiB
Current children cumulated memory: 953088 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 22972
/proc/meminfo: memFree=23370672/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=2971104 memory=987872 CPUtime=1902.16 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1524041 0 0 0 189479 737 0 0 20 0 1 0 247722383 3042410496 246968 33554432000 4194304 5849940 140735693302192 140735693301064 5313013 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 742776 246968 681 405 0 739720 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 2971104 KiB
Current children cumulated memory: 987872 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/187 22974
/proc/meminfo: memFree=23336928/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3003876 memory=1020676 CPUtime=1962.15 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1572533 0 0 0 195465 750 0 0 20 0 1 0 247722383 3075969024 255169 33554432000 4194304 5849940 140735693302192 140735693301352 5437815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 750969 255169 681 405 0 747913 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 3003876 KiB
Current children cumulated memory: 1020676 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/187 22975
/proc/meminfo: memFree=23217652/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3069416 memory=1086216 CPUtime=2022.15 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1623324 0 0 0 201447 768 0 0 20 0 1 0 247722383 3143081984 271554 33554432000 4194304 5849940 140735693302192 140735693301352 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 767354 271554 681 405 0 764298 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 3069416 KiB
Current children cumulated memory: 1086216 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 22976
/proc/meminfo: memFree=22819484/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3467512 memory=1484220 CPUtime=2082.15 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1661154 0 0 0 207426 789 0 0 20 0 1 0 247722383 3550732288 371055 33554432000 4194304 5849940 140735693302192 140735693301064 5437828 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 866878 371055 681 405 0 863822 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 3467512 KiB
Current children cumulated memory: 1484220 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 22978
/proc/meminfo: memFree=22719456/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3565816 memory=1582616 CPUtime=2142.15 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1759546 0 0 0 213408 807 0 0 20 0 1 0 247722383 3651395584 395654 33554432000 4194304 5849940 140735693302192 140735693301064 5313065 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 891454 395654 681 405 0 888398 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 3565816 KiB
Current children cumulated memory: 1582616 KiB
[startup+2202.3 s]
/proc/loadavg: 2.60 2.20 2.10 3/187 22979
/proc/meminfo: memFree=22588768/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3631352 memory=1648152 CPUtime=2202.15 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1808465 0 0 0 219386 829 0 0 20 0 1 0 247722383 3718504448 412038 33554432000 4194304 5849940 140735693302192 140735693301192 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 907838 412038 681 405 0 904782 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 3631352 KiB
Current children cumulated memory: 1648152 KiB
[startup+2262.3 s]
/proc/loadavg: 2.22 2.16 2.09 3/188 22988
/proc/meminfo: memFree=22604620/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3606780 memory=1623708 CPUtime=2262.14 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 1960455 0 0 0 225361 853 0 0 20 0 1 0 247722383 3693342720 405927 33554432000 4194304 5849940 140735693302192 140735693301064 5437903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 901695 405927 681 405 0 898639 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 3606780 KiB
Current children cumulated memory: 1623708 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.13 2.09 3/188 22989
/proc/meminfo: memFree=22539220/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3606780 memory=1623708 CPUtime=2322.14 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 2104540 0 0 0 231341 873 0 0 20 0 1 0 247722383 3693342720 405927 33554432000 4194304 5849940 140735693302192 140735693301352 5335741 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 901695 405927 681 405 0 898639 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 3606780 KiB
Current children cumulated memory: 1623708 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.11 2.08 3/188 22990
/proc/meminfo: memFree=22474312/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3672316 memory=1689244 CPUtime=2382.14 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 2285894 0 0 0 237316 898 0 0 20 0 1 0 247722383 3760451584 422311 33554432000 4194304 5849940 140735693302192 140735693301352 5437903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 918079 422311 681 405 0 915023 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 3672316 KiB
Current children cumulated memory: 1689244 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/188 22991
/proc/meminfo: memFree=22474096/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3672316 memory=1689244 CPUtime=2442.14 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 2428523 0 0 0 243285 929 0 0 20 0 1 0 247722383 3760451584 422311 33554432000 4194304 5849940 140735693302192 140735693301352 5438400 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 918079 422311 681 405 0 915023 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 3672316 KiB
Current children cumulated memory: 1689244 KiB
[startup+2502.3 s]
/proc/loadavg: 2.29 2.14 2.09 3/188 22992
/proc/meminfo: memFree=22390456/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3672316 memory=1689244 CPUtime=2502.13 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 2570033 0 0 0 249265 948 0 0 20 0 1 0 247722383 3760451584 422311 33554432000 4194304 5849940 140735693302192 140735693301352 5438400 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 918079 422311 681 405 0 915023 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 3672316 KiB
Current children cumulated memory: 1689244 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.49 2.20 2.11 3/187 23053
/proc/meminfo: memFree=22785060/32770624 swapFree=67108172/67108860
[pid=22892] ppid=22889 vsize=3803388 memory=1820316 CPUtime=2519.84 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp_picat) R 22889 22892 21905 0 -1 4202496 2601860 0 0 0 251029 955 0 0 20 0 1 0 247722383 3894669312 455079 33554432000 4194304 5849940 140735693302192 140735693301192 5438436 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 18817024 140735693309110 140735693309188 140735693309188 140735693311946 0
/proc/22892/statm: 950847 455079 681 405 0 947791 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 3803388 KiB
Current children cumulated memory: 1820316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 22892 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.3 s, system=9.59958 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.05
CPU time (s): 2519.9
CPU user time (s): 2510.3
CPU system time (s): 9.59958
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 3803388
Max. memory (cumulated for all children) (KiB): 1820316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.3
system time used= 9.59958
maximum resident set size= 1820316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2601861
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= 82
involuntary context switches= 3150
# summary of solver processes directly reported to runsolver:
# pid: 22892
# total CPU time (s): 2519.9
# total CPU user time (s): 2510.3
# total CPU system time (s): 9.59958
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4999 second user time and 17.7492 second system time
The end