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 (4195 MiB free)
memory of node 1: 16384 MiB (9103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309648-1534319996/watcher-4309648-1534319996 -o /tmp/evaluation-result-4309648-1534319996/solver-4309648-1534319996 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534294082-5448 --watchdog 2580 xcsp_picat HOME/instance-4309648-1534319996.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=9028, runsolver pid=9025
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 9029
/proc/meminfo: memFree=13602984/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2025744 memory=19060 CPUtime=0.1 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1908 0 0 0 10 0 0 0 20 0 1 0 249562790 2074361856 4765 33554432000 4194304 5849940 140734677104560 140734677104560 140672095296512 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 506436 4765 597 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 19060 KiB
[startup+0.209625 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 9029
/proc/meminfo: memFree=13594792/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2025744 memory=25452 CPUtime=0.21 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1911 0 0 0 21 0 0 0 20 0 1 0 249562790 2074361856 6363 33554432000 4194304 5849940 140734677104560 140734677103864 140672095296512 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 506436 6363 597 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25452 KiB
[startup+0.309504 s]*
/proc/loadavg: 2.00 2.02 2.05 3/188 9029
/proc/meminfo: memFree=13588648/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2025744 memory=31596 CPUtime=0.31 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1914 0 0 0 31 0 0 0 20 0 1 0 249562790 2074361856 7899 33554432000 4194304 5849940 140734677104560 140734677103864 140672095296512 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 506436 7899 597 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31596 KiB
[startup+0.700402 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 9029
/proc/meminfo: memFree=13555264/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2076500 memory=111320 CPUtime=0.69 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 7071 0 0 0 68 1 0 0 20 0 1 0 249562790 2126336000 27830 33554432000 4194304 5849940 140734677104560 140734677103864 5300624 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 519125 27830 635 405 0 516069 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2076500 KiB
Current children cumulated memory: 111320 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 9029
/proc/meminfo: memFree=13459592/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2153600 memory=188616 CPUtime=1.5 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 9485 0 0 0 147 3 0 0 20 0 1 0 249562790 2205286400 47154 33554432000 4194304 5849940 140734677104560 140734677103768 5336193 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 538400 47154 639 405 0 535344 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2153600 KiB
Current children cumulated memory: 188616 KiB
[startup+3.10949 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 9029
/proc/meminfo: memFree=13427972/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2153828 memory=188824 CPUtime=3.1 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 25600 0 0 0 306 4 0 0 20 0 1 0 249562790 2205519872 47206 33554432000 4194304 5849940 140734677104560 140734677103768 5317203 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 538457 47206 657 405 0 535401 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2153828 KiB
Current children cumulated memory: 188824 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 2.00 2.04 3/189 9037
/proc/meminfo: memFree=13355740/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2231644 memory=263708 CPUtime=6.29 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 29321 0 0 0 624 5 0 0 20 0 1 0 249562790 2285203456 65927 33554432000 4194304 5849940 140734677104560 140734677102808 4207983 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 557911 65927 665 405 0 554855 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2231644 KiB
Current children cumulated memory: 263708 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 9037
/proc/meminfo: memFree=13880548/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2166108 memory=198204 CPUtime=12.69 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 75149 0 0 0 1261 8 0 0 20 0 1 0 249562790 2218094592 49551 33554432000 4194304 5849940 140734677104560 140734677103432 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 541527 49551 670 405 0 538471 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2166108 KiB
Current children cumulated memory: 198204 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/189 9037
/proc/meminfo: memFree=13939232/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2173036 memory=204344 CPUtime=25.49 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 106544 0 0 0 2536 13 0 0 20 0 1 0 249562790 2225188864 51086 33554432000 4194304 5849940 140734677104560 140734677103048 5437808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 543259 51086 670 405 0 540203 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2173036 KiB
Current children cumulated memory: 204344 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 2.04 3/189 9037
/proc/meminfo: memFree=13942320/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2167108 memory=201456 CPUtime=51.11 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 136322 0 0 0 5086 25 0 0 20 0 1 0 249562790 2219118592 50364 33554432000 4194304 5849940 140734677104560 140734677103560 5361726 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 541777 50364 670 405 0 538721 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2167108 KiB
Current children cumulated memory: 201456 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/190 9061
/proc/meminfo: memFree=14289824/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2167948 memory=200200 CPUtime=102.3 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 197674 0 0 0 10181 49 0 0 20 0 1 0 249562790 2219978752 50050 33554432000 4194304 5849940 140734677104560 140734677103048 5354017 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 541987 50050 670 405 0 538931 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2167948 KiB
Current children cumulated memory: 200200 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/190 9122
/proc/meminfo: memFree=15368088/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2239028 memory=271616 CPUtime=162.29 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 211442 0 0 0 16149 80 0 0 20 0 1 0 249562790 2292764672 67904 33554432000 4194304 5849940 140734677104560 140734677103208 5362301 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 559757 67904 670 405 0 556701 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2239028 KiB
Current children cumulated memory: 271616 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 9123
/proc/meminfo: memFree=15358816/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2240336 memory=277684 CPUtime=222.29 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 215091 0 0 0 22117 112 0 0 20 0 1 0 249562790 2294104064 69421 33554432000 4194304 5849940 140734677104560 140734677102968 5319205 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 560084 69421 670 405 0 557028 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2240336 KiB
Current children cumulated memory: 277684 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 9124
/proc/meminfo: memFree=15356108/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2243440 memory=280792 CPUtime=282.3 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 219627 0 0 0 28092 138 0 0 20 0 1 0 249562790 2297282560 70198 33554432000 4194304 5849940 140734677104560 140734677103560 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 560860 70198 670 405 0 557804 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2243440 KiB
Current children cumulated memory: 280792 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9125
/proc/meminfo: memFree=15346120/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2243112 memory=280464 CPUtime=342.31 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 223364 0 0 0 34066 165 0 0 20 0 1 0 249562790 2296946688 70116 33554432000 4194304 5849940 140734677104560 140734677103560 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 560778 70116 670 405 0 557722 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2243112 KiB
Current children cumulated memory: 280464 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.05 3/187 9126
/proc/meminfo: memFree=15322728/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2277856 memory=307280 CPUtime=402.31 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 227697 0 0 0 40046 185 0 0 20 0 1 0 249562790 2332524544 76820 33554432000 4194304 5849940 140734677104560 140734677103432 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 569464 76820 670 405 0 566408 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2277856 KiB
Current children cumulated memory: 307280 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 9127
/proc/meminfo: memFree=15311980/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2260204 memory=297556 CPUtime=462.33 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 231455 0 0 0 46016 217 0 0 20 0 1 0 249562790 2314448896 74389 33554432000 4194304 5849940 140734677104560 140734677103560 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 565051 74389 670 405 0 561995 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2260204 KiB
Current children cumulated memory: 297556 KiB
################
# More data... #
################
/proc/9028/statm: 665489 174828 670 405 0 662433 0
Current children cumulated CPU time: 1722.48 s
Current children cumulated vsize: 2661956 KiB
Current children cumulated memory: 699312 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9167
/proc/meminfo: memFree=14972480/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2399204 memory=436560 CPUtime=1782.48 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 645652 0 0 0 177507 741 0 0 20 0 1 0 249562790 2456784896 109140 33554432000 4194304 5849940 140734677104560 140734677103560 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 599801 109140 670 405 0 596745 0
Current children cumulated CPU time: 1782.48 s
Current children cumulated vsize: 2399204 KiB
Current children cumulated memory: 436560 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/187 9175
/proc/meminfo: memFree=14400080/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2970072 memory=1007428 CPUtime=1842.49 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 661625 0 0 0 183478 771 0 0 20 0 1 0 249562790 3041353728 251857 33554432000 4194304 5849940 140734677104560 140734677103560 5313053 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 742518 251857 670 405 0 739462 0
Current children cumulated CPU time: 1842.49 s
Current children cumulated vsize: 2970072 KiB
Current children cumulated memory: 1007428 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 9176
/proc/meminfo: memFree=13754140/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=3584788 memory=1622140 CPUtime=1902.49 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 694475 0 0 0 189453 796 0 0 20 0 1 0 249562790 3670822912 405535 33554432000 4194304 5849940 140734677104560 140734677103432 5312859 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 896197 405535 670 405 0 893141 0
Current children cumulated CPU time: 1902.49 s
Current children cumulated vsize: 3584788 KiB
Current children cumulated memory: 1622140 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 9177
/proc/meminfo: memFree=13435668/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=3738288 memory=1775640 CPUtime=1962.5 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 697540 0 0 0 195441 809 0 0 20 0 1 0 249562790 3828006912 443910 33554432000 4194304 5849940 140734677104560 140734677103432 5312800 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 934572 443910 670 405 0 931516 0
Current children cumulated CPU time: 1962.5 s
Current children cumulated vsize: 3738288 KiB
Current children cumulated memory: 1775640 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9178
/proc/meminfo: memFree=14783404/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2392200 memory=429552 CPUtime=2022.5 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 917303 0 0 0 201412 838 0 0 20 0 1 0 249562790 2449612800 107388 33554432000 4194304 5849940 140734677104560 140734677103560 5437768 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 598050 107388 670 405 0 594994 0
Current children cumulated CPU time: 2022.5 s
Current children cumulated vsize: 2392200 KiB
Current children cumulated memory: 429552 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9179
/proc/meminfo: memFree=14687748/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2488396 memory=525748 CPUtime=2082.51 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 968630 0 0 0 207394 857 0 0 20 0 1 0 249562790 2548117504 131437 33554432000 4194304 5849940 140734677104560 140734677103560 5336838 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 622099 131437 670 405 0 619043 0
Current children cumulated CPU time: 2082.51 s
Current children cumulated vsize: 2488396 KiB
Current children cumulated memory: 525748 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9180
/proc/meminfo: memFree=14686880/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2488580 memory=525932 CPUtime=2142.52 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 980525 0 0 0 213378 874 0 0 20 0 1 0 249562790 2548305920 131483 33554432000 4194304 5849940 140734677104560 140734677103560 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 622145 131483 670 405 0 619089 0
Current children cumulated CPU time: 2142.52 s
Current children cumulated vsize: 2488580 KiB
Current children cumulated memory: 525932 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9181
/proc/meminfo: memFree=14459580/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2715848 memory=753200 CPUtime=2202.53 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1008827 0 0 0 219356 897 0 0 20 0 1 0 249562790 2781028352 188300 33554432000 4194304 5849940 140734677104560 140734677103560 5321444 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 678962 188300 670 405 0 675906 0
Current children cumulated CPU time: 2202.53 s
Current children cumulated vsize: 2715848 KiB
Current children cumulated memory: 753200 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9182
/proc/meminfo: memFree=14631004/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2725120 memory=750764 CPUtime=2262.54 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1068811 0 0 0 225334 920 0 0 20 0 1 0 249562790 2790522880 187691 33554432000 4194304 5849940 140734677104560 140734677103288 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 681280 187691 670 405 0 678224 0
Current children cumulated CPU time: 2262.54 s
Current children cumulated vsize: 2725120 KiB
Current children cumulated memory: 750764 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9183
/proc/meminfo: memFree=14500068/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2856192 memory=881836 CPUtime=2322.55 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1097402 0 0 0 231316 939 0 0 20 0 1 0 249562790 2924740608 220459 33554432000 4194304 5849940 140734677104560 140734677103560 5437808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 714048 220459 670 405 0 710992 0
Current children cumulated CPU time: 2322.55 s
Current children cumulated vsize: 2856192 KiB
Current children cumulated memory: 881836 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 9184
/proc/meminfo: memFree=14896044/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2429260 memory=459000 CPUtime=2382.55 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1157955 0 0 0 237298 957 0 0 20 0 1 0 249562790 2487562240 114750 33554432000 4194304 5849940 140734677104560 140734677103560 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 607315 114750 670 405 0 604259 0
Current children cumulated CPU time: 2382.55 s
Current children cumulated vsize: 2429260 KiB
Current children cumulated memory: 459000 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9194
/proc/meminfo: memFree=14773884/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2560332 memory=590072 CPUtime=2442.55 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1180557 0 0 0 243279 976 0 0 20 0 1 0 249562790 2621779968 147518 33554432000 4194304 5849940 140734677104560 140734677103560 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 640083 147518 670 405 0 637027 0
Current children cumulated CPU time: 2442.55 s
Current children cumulated vsize: 2560332 KiB
Current children cumulated memory: 590072 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9195
/proc/meminfo: memFree=14718612/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2560332 memory=590072 CPUtime=2502.56 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1193881 0 0 0 249266 990 0 0 20 0 1 0 249562790 2621779968 147518 33554432000 4194304 5849940 140734677104560 140734677103560 5313065 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 640083 147518 670 405 0 637027 0
Current children cumulated CPU time: 2502.56 s
Current children cumulated vsize: 2560332 KiB
Current children cumulated memory: 590072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9196
/proc/meminfo: memFree=14740328/32770624 swapFree=67108504/67108860
[pid=9028] ppid=9025 vsize=2530712 memory=568064 CPUtime=2520.06 cores=1,3,5,7
/proc/9028/stat : 9028 (xcsp_picat) R 9025 9028 5416 0 -1 4202496 1216934 0 0 0 251008 998 0 0 20 0 1 0 249562790 2591449088 142016 33554432000 4194304 5849940 140734677104560 140734677103560 140672095317895 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 20504576 140734677107894 140734677107972 140734677107972 140734677110730 0
/proc/9028/statm: 632678 142016 670 405 0 629622 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 2530712 KiB
Current children cumulated memory: 568064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 9028 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.08 s, system=10.0002 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): 2519.81
CPU time (s): 2520.09
CPU user time (s): 2510.08
CPU system time (s): 10.0002
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 3738288
Max. memory (cumulated for all children) (KiB): 1775640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.08
system time used= 10.0002
maximum resident set size= 1775640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1216934
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= 30
involuntary context switches= 951
# summary of solver processes directly reported to runsolver:
# pid: 9028
# total CPU time (s): 2520.09
# total CPU user time (s): 2510.08
# total CPU system time (s): 10.0002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.601 second user time and 18.5061 second system time
The end