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 (13680 MiB free)
memory of node 1: 16384 MiB (14086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395554-1568350415/watcher-4395554-1568350415 -o /tmp/evaluation-result-4395554-1568350415/solver-4395554-1568350415 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568350377-2945 --watchdog 2560 xcsp_picat HOME/instance-4395554-1568350415.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
2972
Current StackSize limit: 8192 KiB
[startup+0.100658 s]*
/proc/loadavg: 0.92 1.17 1.60 3/200 2976
/proc/meminfo: memFree=28407224/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2031716 memory=24488 CPUtime=0.1 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 1689 0 0 0 10 0 0 0 20 0 1 0 411309338 2080477184 6122 33554432000 4194304 5870510 140721549124032 140721549123336 140443478264832 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 507929 6122 857 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24488 KiB
[startup+0.209745 s]*
/proc/loadavg: 0.92 1.17 1.60 3/200 2976
/proc/meminfo: memFree=28394764/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2031716 memory=30632 CPUtime=0.21 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 1692 0 0 0 21 0 0 0 20 0 1 0 411309338 2080477184 7658 33554432000 4194304 5870510 140721549124032 140721549123336 140443478264832 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 507929 7658 857 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30632 KiB
[startup+0.309677 s]*
/proc/loadavg: 0.92 1.17 1.60 3/200 2976
/proc/meminfo: memFree=28382492/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2031716 memory=36776 CPUtime=0.31 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 1695 0 0 0 31 0 0 0 20 0 1 0 411309338 2080477184 9194 33554432000 4194304 5870510 140721549124032 140721549123336 4351412 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 507929 9194 857 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36776 KiB
[startup+0.700396 s]
/proc/loadavg: 0.92 1.17 1.60 3/200 2976
/proc/meminfo: memFree=28361856/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2031716 memory=57256 CPUtime=0.68 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 1705 0 0 0 68 0 0 0 20 0 1 0 411309338 2080477184 14314 33554432000 4194304 5870510 140721549124032 140721549123336 140443478264832 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 507929 14314 857 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 57256 KiB
[startup+1.5004 s]
/proc/loadavg: 0.92 1.17 1.60 3/200 2976
/proc/meminfo: memFree=28303908/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2031716 memory=102312 CPUtime=1.49 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 1727 0 0 0 148 1 0 0 20 0 1 0 411309338 2080477184 25578 33554432000 4194304 5870510 140721549124032 140721549123336 140443478264832 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 507929 25578 857 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 102312 KiB
[startup+3.10963 s]
/proc/loadavg: 0.92 1.17 1.60 3/200 2976
/proc/meminfo: memFree=28076456/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2031716 memory=194528 CPUtime=3.09 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 1820 0 0 0 307 2 0 0 20 0 1 0 411309338 2080477184 48632 33554432000 4194304 5870510 140721549124032 140721549123336 4461503 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 507929 48632 871 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 194528 KiB
[startup+6.3004 s]
/proc/loadavg: 1.09 1.20 1.61 3/200 2976
/proc/meminfo: memFree=27721448/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2031716 memory=372704 CPUtime=6.29 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 1962 0 0 0 624 5 0 0 20 0 1 0 411309338 2080477184 93176 33554432000 4194304 5870510 140721549124032 140721549123336 140443478264832 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 507929 93176 871 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 372704 KiB
[startup+12.7004 s]
/proc/loadavg: 1.16 1.21 1.61 3/201 2978
/proc/meminfo: memFree=27046792/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2031716 memory=733156 CPUtime=12.69 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 2150 0 0 0 1258 11 0 0 20 0 1 0 411309338 2080477184 183289 33554432000 4194304 5870510 140721549124032 140721549123336 4530828 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 507929 183289 872 410 0 503402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 733156 KiB
[startup+25.5005 s]
/proc/loadavg: 1.35 1.25 1.61 3/200 2979
/proc/meminfo: memFree=23461760/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2847320 memory=2457480 CPUtime=25.49 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 5726 0 0 0 2510 39 0 0 20 0 1 0 411309338 2915655680 614370 33554432000 4194304 5870510 140721549124032 140721549123336 5246145 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 711830 614370 912 410 0 707303 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2847320 KiB
Current children cumulated memory: 2457480 KiB
[startup+51.1101 s]
/proc/loadavg: 1.57 1.31 1.62 3/200 2979
/proc/meminfo: memFree=22402136/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2916324 memory=2772272 CPUtime=51.1 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 17849 0 0 0 4947 163 0 0 20 0 1 0 411309338 2986315776 693068 33554432000 4194304 5870510 140721549124032 140721549123000 5245088 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 729081 693068 912 410 0 724554 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2916324 KiB
Current children cumulated memory: 2772272 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.42 1.64 3/201 2985
/proc/meminfo: memFree=22863412/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=2981600 memory=2361200 CPUtime=102.29 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 47521 0 0 0 9763 466 0 0 20 0 1 0 411309338 3053158400 590300 33554432000 4194304 5870510 140721549124032 140721549123000 5245088 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 745400 590300 912 410 0 740873 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2981600 KiB
Current children cumulated memory: 2361200 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.52 1.67 3/199 2990
/proc/meminfo: memFree=22469828/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=3009612 memory=2800552 CPUtime=162.29 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 87660 0 0 0 15416 813 0 0 20 0 1 0 411309338 3081842688 700138 33554432000 4194304 5870510 140721549124032 140721549123352 5246754 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 752403 700138 912 410 0 747876 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 3009612 KiB
Current children cumulated memory: 2800552 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.61 1.69 3/198 2994
/proc/meminfo: memFree=22416316/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=3026876 memory=2858004 CPUtime=222.3 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 122317 0 0 0 21123 1107 0 0 20 0 1 0 411309338 3099521024 714501 33554432000 4194304 5870510 140721549124032 140721549123000 5245088 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 756719 714501 912 410 0 752192 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 3026876 KiB
Current children cumulated memory: 2858004 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.68 1.71 3/200 3001
/proc/meminfo: memFree=22659352/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=3037252 memory=2563472 CPUtime=282.3 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 154623 0 0 0 26824 1406 0 0 20 0 1 0 411309338 3110146048 640868 33554432000 4194304 5870510 140721549124032 140721549123000 5245088 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 759313 640868 912 410 0 754786 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 3037252 KiB
Current children cumulated memory: 2563472 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.74 1.72 3/199 3006
/proc/meminfo: memFree=22266440/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=3045400 memory=2967468 CPUtime=342.3 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 186306 0 0 0 32543 1687 0 0 20 0 1 0 411309338 3118489600 741867 33554432000 4194304 5870510 140721549124032 140721549123000 5355029 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 761350 741867 912 410 0 756823 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 3045400 KiB
Current children cumulated memory: 2967468 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.74 3/199 3010
/proc/meminfo: memFree=20199544/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=7041836 memory=5013988 CPUtime=402.29 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 217705 0 0 0 38232 1997 0 0 20 0 1 0 411309338 7210840064 1253497 33554432000 4194304 5870510 140721549124032 140721549123320 5245041 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 1760459 1253497 915 410 0 1755932 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 7041836 KiB
Current children cumulated memory: 5013988 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.82 1.76 3/201 3024
/proc/meminfo: memFree=17018200/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9087940 memory=8084544 CPUtime=462.3 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 362664 0 0 0 44128 2102 0 0 20 0 1 0 411309338 9306050560 2021136 33554432000 4194304 5870510 140721549124032 140721549123288 5307553 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2271985 2021136 988 410 0 2267458 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 9087940 KiB
Current children cumulated memory: 8084544 KiB
################
# More data... #
################
/proc/2975/statm: 2282047 2044717 996 410 0 2277520 0
Current children cumulated CPU time: 1602.31 s
Current children cumulated vsize: 9128188 KiB
Current children cumulated memory: 8178868 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/201 3179
/proc/meminfo: memFree=16894684/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9128188 memory=8189756 CPUtime=1662.31 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 873667 0 0 0 164088 2143 0 0 20 0 1 0 411309338 9347264512 2047439 33554432000 4194304 5870510 140721549124032 140721549122424 5261287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282047 2047439 996 410 0 2277520 0
Current children cumulated CPU time: 1662.31 s
Current children cumulated vsize: 9128188 KiB
Current children cumulated memory: 8189756 KiB
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/201 3185
/proc/meminfo: memFree=16889568/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9128188 memory=8192860 CPUtime=1722.31 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 874589 0 0 0 170087 2144 0 0 20 0 1 0 411309338 9347264512 2048215 33554432000 4194304 5870510 140721549124032 140721549122424 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282047 2048215 996 410 0 2277520 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 9128188 KiB
Current children cumulated memory: 8192860 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/200 3189
/proc/meminfo: memFree=16889916/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9128188 memory=8192992 CPUtime=1782.32 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 875389 0 0 0 176088 2144 0 0 20 0 1 0 411309338 9347264512 2048248 33554432000 4194304 5870510 140721549124032 140721549122424 5261297 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282047 2048248 996 410 0 2277520 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 9128188 KiB
Current children cumulated memory: 8192992 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/200 3193
/proc/meminfo: memFree=16888868/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9128188 memory=8193068 CPUtime=1842.31 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 876256 0 0 0 182087 2144 0 0 20 0 1 0 411309338 9347264512 2048267 33554432000 4194304 5870510 140721549124032 140721549122424 5261279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282047 2048267 996 410 0 2277520 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 9128188 KiB
Current children cumulated memory: 8193068 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/201 3199
/proc/meminfo: memFree=16886364/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9128344 memory=8193216 CPUtime=1902.32 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 877074 0 0 0 188087 2145 0 0 20 0 1 0 411309338 9347424256 2048304 33554432000 4194304 5870510 140721549124032 140721549122360 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282086 2048304 996 410 0 2277559 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 9128344 KiB
Current children cumulated memory: 8193216 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 3204
/proc/meminfo: memFree=16885580/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194368 CPUtime=1962.32 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 878497 0 0 0 194087 2145 0 0 20 0 1 0 411309338 9349165056 2048592 33554432000 4194304 5870510 140721549124032 140721549122424 5321680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048592 996 410 0 2277984 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194368 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 3208
/proc/meminfo: memFree=16884160/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194416 CPUtime=2022.32 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 879338 0 0 0 200087 2145 0 0 20 0 1 0 411309338 9349165056 2048604 33554432000 4194304 5870510 140721549124032 140721549122424 5261287 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048604 996 410 0 2277984 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194416 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 3214
/proc/meminfo: memFree=16882756/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194456 CPUtime=2082.32 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 880151 0 0 0 206086 2146 0 0 20 0 1 0 411309338 9349165056 2048614 33554432000 4194304 5870510 140721549124032 140721549122424 5261279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048614 996 410 0 2277984 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194456 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 3219
/proc/meminfo: memFree=16901808/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194504 CPUtime=2142.32 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 881008 0 0 0 212086 2146 0 0 20 0 1 0 411309338 9349165056 2048626 33554432000 4194304 5870510 140721549124032 140721549122424 5261279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048626 996 410 0 2277984 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194504 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/199 3223
/proc/meminfo: memFree=16900596/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194540 CPUtime=2202.32 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 881822 0 0 0 218086 2146 0 0 20 0 1 0 411309338 9349165056 2048635 33554432000 4194304 5870510 140721549124032 140721549122424 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048635 996 410 0 2277984 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194540 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/200 3236
/proc/meminfo: memFree=16899296/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194584 CPUtime=2262.32 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 882664 0 0 0 224086 2146 0 0 20 0 1 0 411309338 9349165056 2048646 33554432000 4194304 5870510 140721549124032 140721549122424 5321686 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048646 996 410 0 2277984 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194584 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/199 3240
/proc/meminfo: memFree=16898264/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194644 CPUtime=2322.33 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 883563 0 0 0 230086 2147 0 0 20 0 1 0 411309338 9349165056 2048661 33554432000 4194304 5870510 140721549124032 140721549122424 5261210 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048661 996 410 0 2277984 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194644 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 3244
/proc/meminfo: memFree=16897308/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194688 CPUtime=2382.33 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 884353 0 0 0 236086 2147 0 0 20 0 1 0 411309338 9349165056 2048672 33554432000 4194304 5870510 140721549124032 140721549122424 5261213 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048672 996 410 0 2277984 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.01 1.97 2/197 3246
/proc/meminfo: memFree=20240892/32770624 swapFree=67004752/67108860
[pid=2975] ppid=2972 vsize=9130044 memory=8194696 CPUtime=2400.04 cores=0,2,4,6
/proc/2975/stat : 2975 (xcsp_picat) R 2972 2975 2914 0 -1 4202496 884600 0 0 0 237857 2147 0 0 20 0 1 0 411309338 9349165056 2048674 33554432000 4194304 5870510 140721549124032 140721549122424 5261279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 46342144 140721549132831 140721549132909 140721549132909 140721549135818 0
/proc/2975/statm: 2282511 2048674 996 410 0 2277984 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 9130044 KiB
Current children cumulated memory: 8194696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.07 s]
# the end of solver process 2975 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2378.57 s, system=21.5364 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): 2400.07
CPU time (s): 2400.11
CPU user time (s): 2378.57
CPU system time (s): 21.5364
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 9130044
Max. memory (cumulated for all children) (KiB): 8194696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2378.57
system time used= 21.5364
maximum resident set size= 8194700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884600
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= 13
involuntary context switches= 993
# summary of solver processes directly reported to runsolver:
# pid: 2975
# total CPU time (s): 2400.11
# total CPU user time (s): 2378.57
# total CPU system time (s): 21.5364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0821 second user time and 17.0522 second system time
The end