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 (10907 MiB free)
memory of node 1: 16384 MiB (6770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303520-1533998291/watcher-4303520-1533998291 -o /tmp/evaluation-result-4303520-1533998291/solver-4303520-1533998291 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25512 --watchdog 2580 xcsp_picat HOME/instance-4303520-1533998291.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=26561, runsolver pid=26558
[startup+0.100216 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18077676/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2025744 memory=33648 CPUtime=0.1 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 1971 0 0 0 10 0 0 0 20 0 1 0 217392284 2074361856 8412 33554432000 4194304 5849708 140727803664416 140727803664416 4931180 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 506436 8412 626 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 33648 KiB
[startup+0.209873 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18069360/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2025744 memory=36212 CPUtime=0.21 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 2060 0 0 0 21 0 0 0 20 0 1 0 217392284 2074361856 9053 33554432000 4194304 5849708 140727803664416 140727803664416 139722257510279 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 506436 9053 712 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 36212 KiB
[startup+0.309758 s]*
/proc/loadavg: 2.00 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18069360/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2025744 memory=36212 CPUtime=0.31 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 2065 0 0 0 31 0 0 0 20 0 1 0 217392284 2074361856 9053 33554432000 4194304 5849708 140727803664416 140727803664416 5606224 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 506436 9053 712 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 36212 KiB
[startup+0.700332 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18069360/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2025880 memory=36212 CPUtime=0.69 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 2086 0 0 0 69 0 0 0 20 0 1 0 217392284 2074501120 9053 33554432000 4194304 5849708 140727803664416 140727803664416 5605130 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 506470 9053 712 405 0 503415 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 36212 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18069392/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2025880 memory=36212 CPUtime=1.49 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 2086 0 0 0 149 0 0 0 20 0 1 0 217392284 2074501120 9053 33554432000 4194304 5849708 140727803664416 140727803663512 5606224 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 506470 9053 712 405 0 503415 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 36212 KiB
[startup+3.10915 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18068992/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2025976 memory=36464 CPUtime=3.1 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 2247 0 0 0 310 0 0 0 20 0 1 0 217392284 2074599424 9116 33554432000 4194304 5849708 140727803664416 140727803663512 5472577 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 506494 9116 713 405 0 503439 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 36464 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18068012/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2025976 memory=36908 CPUtime=6.29 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 2356 0 0 0 629 0 0 0 20 0 1 0 217392284 2074599424 9227 33554432000 4194304 5849708 140727803664416 140727803663512 5521468 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 506494 9227 713 405 0 503439 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 36908 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18068392/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2025976 memory=36908 CPUtime=12.69 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 2497 0 0 0 1269 0 0 0 20 0 1 0 217392284 2074599424 9227 33554432000 4194304 5849708 140727803664416 140727803663512 5472531 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 506494 9227 713 405 0 503439 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 36908 KiB
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 26562
/proc/meminfo: memFree=18031152/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2062536 memory=75324 CPUtime=25.49 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 21203 0 0 0 2544 5 0 0 20 0 1 0 217392284 2112036864 18831 33554432000 4194304 5849708 140727803664416 140727803663416 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 515634 18831 748 405 0 512579 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2062536 KiB
Current children cumulated memory: 75324 KiB
[startup+51.1097 s]
/proc/loadavg: 2.01 2.01 2.05 3/190 26562
/proc/meminfo: memFree=18027164/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2068356 memory=79116 CPUtime=51.09 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 32001 0 0 0 5095 14 0 0 20 0 1 0 217392284 2117996544 19779 33554432000 4194304 5849708 140727803664416 140727803663416 139722257510279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 517089 19779 748 405 0 514034 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2068356 KiB
Current children cumulated memory: 79116 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 26563
/proc/meminfo: memFree=17972004/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2098840 memory=109640 CPUtime=102.29 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 44834 0 0 0 10200 29 0 0 20 0 1 0 217392284 2149212160 27410 33554432000 4194304 5849708 140727803664416 140727803663416 5339726 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 524710 27410 748 405 0 521655 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2098840 KiB
Current children cumulated memory: 109640 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 26572
/proc/meminfo: memFree=18025260/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2098668 memory=109468 CPUtime=162.28 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 55029 0 0 0 16182 46 0 0 20 0 1 0 217392284 2149036032 27367 33554432000 4194304 5849708 140727803664416 140727803663416 5437828 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 524667 27367 748 405 0 521612 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2098668 KiB
Current children cumulated memory: 109468 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/192 26574
/proc/meminfo: memFree=17990276/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2131300 memory=144148 CPUtime=222.28 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 65977 0 0 0 22165 63 0 0 20 0 1 0 217392284 2182451200 36037 33554432000 4194304 5849708 140727803664416 140727803663416 5437647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 532825 36037 748 405 0 529770 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2131300 KiB
Current children cumulated memory: 144148 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 26575
/proc/meminfo: memFree=17990368/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2131300 memory=144148 CPUtime=282.28 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 77273 0 0 0 28150 78 0 0 20 0 1 0 217392284 2182451200 36037 33554432000 4194304 5849708 140727803664416 140727803663416 139722257510279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 532825 36037 748 405 0 529770 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2131300 KiB
Current children cumulated memory: 144148 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 26576
/proc/meminfo: memFree=17909328/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2153628 memory=160448 CPUtime=342.27 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 80015 0 0 0 34136 91 0 0 20 0 1 0 217392284 2205315072 40112 33554432000 4194304 5849708 140727803664416 140727803663064 139722257098690 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 538407 40112 748 405 0 535352 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2153628 KiB
Current children cumulated memory: 160448 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26577
/proc/meminfo: memFree=17909496/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2153752 memory=160572 CPUtime=402.27 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 89159 0 0 0 40123 104 0 0 20 0 1 0 217392284 2205442048 40143 33554432000 4194304 5849708 140727803664416 140727803663416 139722257510279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 538438 40143 748 405 0 535383 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2153752 KiB
Current children cumulated memory: 160572 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26578
/proc/meminfo: memFree=17909592/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2153628 memory=160448 CPUtime=462.26 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 92033 0 0 0 46108 118 0 0 20 0 1 0 217392284 2205315072 40112 33554432000 4194304 5849708 140727803664416 140727803663416 5339709 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 538407 40112 748 405 0 535352 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2153628 KiB
Current children cumulated memory: 160448 KiB
################
# More data... #
################
/proc/26561/statm: 544963 48211 748 405 0 541908 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 2179852 KiB
Current children cumulated memory: 192844 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26703
/proc/meminfo: memFree=17979264/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2179852 memory=192844 CPUtime=1782.2 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 253385 0 0 0 177809 411 0 0 20 0 1 0 217392284 2232168448 48211 33554432000 4194304 5849708 140727803664416 140727803663416 5437625 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 544963 48211 748 405 0 541908 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2179852 KiB
Current children cumulated memory: 192844 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26704
/proc/meminfo: memFree=17937108/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2185544 memory=198536 CPUtime=1842.19 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 267992 0 0 0 183798 421 0 0 20 0 1 0 217392284 2237997056 49634 33554432000 4194304 5849708 140727803664416 140727803663416 5339504 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 546386 49634 748 405 0 543331 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 2185544 KiB
Current children cumulated memory: 198536 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26705
/proc/meminfo: memFree=17910756/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2247528 memory=260496 CPUtime=1902.19 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 271501 0 0 0 189789 430 0 0 20 0 1 0 217392284 2301468672 65124 33554432000 4194304 5849708 140727803664416 140727803663416 139722257510279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 561882 65124 748 405 0 558827 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 2247528 KiB
Current children cumulated memory: 260496 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26714
/proc/meminfo: memFree=17922760/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2204156 memory=217148 CPUtime=1962.18 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 291079 0 0 0 195777 441 0 0 20 0 1 0 217392284 2257055744 54287 33554432000 4194304 5849708 140727803664416 140727803663416 139722257510279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 551039 54287 748 405 0 547984 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 2204156 KiB
Current children cumulated memory: 217148 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26715
/proc/meminfo: memFree=17893392/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2213480 memory=226296 CPUtime=2022.18 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 291913 0 0 0 201764 454 0 0 20 0 1 0 217392284 2266603520 56574 33554432000 4194304 5849708 140727803664416 140727803663416 5438082 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 553370 56574 748 405 0 550315 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 2213480 KiB
Current children cumulated memory: 226296 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/191 26716
/proc/meminfo: memFree=17818092/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2230536 memory=243528 CPUtime=2082.18 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 307798 0 0 0 207751 467 0 0 20 0 1 0 217392284 2284068864 60882 33554432000 4194304 5849708 140727803664416 140727803663416 5437607 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 557634 60882 748 405 0 554579 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 2230536 KiB
Current children cumulated memory: 243528 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 26717
/proc/meminfo: memFree=17892972/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2241520 memory=254512 CPUtime=2142.17 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 309003 0 0 0 213742 475 0 0 20 0 1 0 217392284 2295316480 63628 33554432000 4194304 5849708 140727803664416 140727803663416 5437690 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 560380 63628 748 405 0 557325 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2241520 KiB
Current children cumulated memory: 254512 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 26718
/proc/meminfo: memFree=17829984/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2241520 memory=254512 CPUtime=2202.17 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 326524 0 0 0 219733 484 0 0 20 0 1 0 217392284 2295316480 63628 33554432000 4194304 5849708 140727803664416 140727803663416 5438096 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 560380 63628 748 405 0 557325 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 2241520 KiB
Current children cumulated memory: 254512 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26720
/proc/meminfo: memFree=17823152/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2277628 memory=290620 CPUtime=2262.16 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 328485 0 0 0 225724 492 0 0 20 0 1 0 217392284 2332291072 72655 33554432000 4194304 5849708 140727803664416 140727803663416 5438269 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 569407 72655 748 405 0 566352 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 2277628 KiB
Current children cumulated memory: 290620 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26721
/proc/meminfo: memFree=17785608/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2296420 memory=309412 CPUtime=2322.16 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 350311 0 0 0 231716 500 0 0 20 0 1 0 217392284 2351534080 77353 33554432000 4194304 5849708 140727803664416 140727803663416 5438176 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 574105 77353 748 405 0 571050 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2296420 KiB
Current children cumulated memory: 309412 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26722
/proc/meminfo: memFree=17788772/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2339240 memory=352232 CPUtime=2382.17 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 385212 0 0 0 237707 510 0 0 20 0 1 0 217392284 2395381760 88058 33554432000 4194304 5849708 140727803664416 140727803663416 5438246 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 584810 88058 748 405 0 581755 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 2339240 KiB
Current children cumulated memory: 352232 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26723
/proc/meminfo: memFree=17786508/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2310944 memory=323936 CPUtime=2442.15 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 418174 0 0 0 243698 517 0 0 20 0 1 0 217392284 2366406656 80984 33554432000 4194304 5849708 140727803664416 140727803663416 5437636 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 577736 80984 748 405 0 574681 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 2310944 KiB
Current children cumulated memory: 323936 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26724
/proc/meminfo: memFree=17904856/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2222668 memory=235660 CPUtime=2502.15 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 445862 0 0 0 249685 530 0 0 20 0 1 0 217392284 2276012032 58915 33554432000 4194304 5849708 140727803664416 140727803663576 5335568 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 555667 58915 748 405 0 552612 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 2222668 KiB
Current children cumulated memory: 235660 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 26733
/proc/meminfo: memFree=17897376/32770624 swapFree=67108688/67108860
[pid=26561] ppid=26558 vsize=2222668 memory=235660 CPUtime=2519.86 cores=0,2,4,6
/proc/26561/stat : 26561 (xcsp_picat) R 26558 26561 25480 0 -1 4202496 445884 0 0 0 251453 533 0 0 20 0 1 0 217392284 2276012032 58915 33554432000 4194304 5849708 140727803664416 140727803663416 139722257510279 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 22282240 140727803667638 140727803667716 140727803667716 140727803670474 0
/proc/26561/statm: 555667 58915 748 405 0 552612 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 2222668 KiB
Current children cumulated memory: 235660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 26561 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.54 s, system=5.34471 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.02
CPU time (s): 2519.88
CPU user time (s): 2514.54
CPU system time (s): 5.34471
CPU usage (%): 99.9947
Max. virtual memory (cumulated for all children) (KiB): 2339240
Max. memory (cumulated for all children) (KiB): 352232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.54
system time used= 5.34471
maximum resident set size= 352232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445884
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= 2
involuntary context switches= 3161
# summary of solver processes directly reported to runsolver:
# pid: 26561
# total CPU time (s): 2519.88
# total CPU user time (s): 2514.54
# total CPU system time (s): 5.34471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2397 second user time and 18.6339 second system time
The end