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 (13914 MiB free)
memory of node 1: 16384 MiB (15345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395130-1568329135/watcher-4395130-1568329135 -o /tmp/evaluation-result-4395130-1568329135/solver-4395130-1568329135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25672 --watchdog 2580 xcsp_picat HOME/instance-4395130-1568329135.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=27925, runsolver pid=27922
Current StackSize limit: 8192 KiB
[startup+0.100276 s]*
/proc/loadavg: 2.49 2.14 2.08 3/199 27926
/proc/meminfo: memFree=29951320/32770624 swapFree=66996464/67108860
[pid=27925] ppid=27922 vsize=2043972 memory=14836 CPUtime=0.1 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 1835 0 0 0 10 0 0 0 20 0 1 0 409168177 2093027328 3709 33554432000 4194304 5870510 140731302987392 140731302986488 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 510993 3709 933 410 0 506466 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2043972 KiB
Current children cumulated memory: 14836 KiB
[startup+0.209583 s]*
/proc/loadavg: 2.49 2.14 2.08 3/199 27926
/proc/meminfo: memFree=29950948/32770624 swapFree=66996464/67108860
[pid=27925] ppid=27922 vsize=2043972 memory=14836 CPUtime=0.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 1839 0 0 0 21 0 0 0 20 0 1 0 409168177 2093027328 3709 33554432000 4194304 5870510 140731302987392 140731302986488 5478360 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 510993 3709 933 410 0 506466 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2043972 KiB
Current children cumulated memory: 14836 KiB
[startup+0.308772 s]*
/proc/loadavg: 2.49 2.14 2.08 3/199 27926
/proc/meminfo: memFree=29950948/32770624 swapFree=66996464/67108860
[pid=27925] ppid=27922 vsize=2043972 memory=14836 CPUtime=0.3 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 1839 0 0 0 30 0 0 0 20 0 1 0 409168177 2093027328 3709 33554432000 4194304 5870510 140731302987392 140731302986488 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 510993 3709 933 410 0 506466 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2043972 KiB
Current children cumulated memory: 14836 KiB
[startup+0.700273 s]
/proc/loadavg: 2.49 2.14 2.08 3/199 27926
/proc/meminfo: memFree=29950948/32770624 swapFree=66996464/67108860
[pid=27925] ppid=27922 vsize=2044080 memory=14992 CPUtime=0.69 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 1880 0 0 0 69 0 0 0 20 0 1 0 409168177 2093137920 3748 33554432000 4194304 5870510 140731302987392 140731302986488 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 511020 3748 947 410 0 506493 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2044080 KiB
Current children cumulated memory: 14992 KiB
[startup+1.50029 s]
/proc/loadavg: 2.49 2.14 2.08 3/199 27926
/proc/meminfo: memFree=29950948/32770624 swapFree=66996464/67108860
[pid=27925] ppid=27922 vsize=2044088 memory=15008 CPUtime=1.49 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 1961 0 0 0 149 0 0 0 20 0 1 0 409168177 2093146112 3752 33554432000 4194304 5870510 140731302987392 140731302986488 5478381 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 511022 3752 948 410 0 506495 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2044088 KiB
Current children cumulated memory: 15008 KiB
[startup+3.10895 s]
/proc/loadavg: 2.53 2.15 2.09 3/199 27926
/proc/meminfo: memFree=29949848/32770624 swapFree=66996464/67108860
[pid=27925] ppid=27922 vsize=2042052 memory=17036 CPUtime=3.09 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 2918 0 0 0 309 0 0 0 20 0 1 0 409168177 2091061248 4259 33554432000 4194304 5870510 140731302987392 140731302986632 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 510513 4259 979 410 0 505986 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2042052 KiB
Current children cumulated memory: 17036 KiB
[startup+6.30031 s]
/proc/loadavg: 2.53 2.15 2.09 3/199 27926
/proc/meminfo: memFree=29928892/32770624 swapFree=66996464/67108860
[pid=27925] ppid=27922 vsize=2062028 memory=37212 CPUtime=6.29 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 9145 0 0 0 627 2 0 0 20 0 1 0 409168177 2111516672 9303 33554432000 4194304 5870510 140731302987392 140731302986632 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 515507 9303 980 410 0 510980 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2062028 KiB
Current children cumulated memory: 37212 KiB
[startup+12.7003 s]
/proc/loadavg: 2.60 2.18 2.10 3/199 27926
/proc/meminfo: memFree=29927532/32770624 swapFree=66996464/67108860
[pid=27925] ppid=27922 vsize=2067568 memory=41928 CPUtime=12.69 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 11907 0 0 0 1267 2 0 0 20 0 1 0 409168177 2117189632 10482 33554432000 4194304 5870510 140731302987392 140731302985832 5282396 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 516892 10482 980 410 0 512365 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2067568 KiB
Current children cumulated memory: 41928 KiB
[startup+25.5003 s]
/proc/loadavg: 2.50 2.17 2.10 3/198 27930
/proc/meminfo: memFree=29906176/32770624 swapFree=66996468/67108860
[pid=27925] ppid=27922 vsize=2089176 memory=57696 CPUtime=25.49 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 19051 0 0 0 2546 3 0 0 20 0 1 0 409168177 2139316224 14424 33554432000 4194304 5870510 140731302987392 140731302985832 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 522294 14424 980 410 0 517767 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2089176 KiB
Current children cumulated memory: 57696 KiB
[startup+51.1095 s]
/proc/loadavg: 2.39 2.18 2.10 3/198 27930
/proc/meminfo: memFree=29933328/32770624 swapFree=66996468/67108860
[pid=27925] ppid=27922 vsize=2089176 memory=63860 CPUtime=51.09 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 25211 0 0 0 5106 3 0 0 20 0 1 0 409168177 2139316224 15965 33554432000 4194304 5870510 140731302987392 140731302986504 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 522294 15965 980 410 0 517767 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2089176 KiB
Current children cumulated memory: 63860 KiB
[startup+102.3 s]
/proc/loadavg: 2.15 2.15 2.10 3/198 27934
/proc/meminfo: memFree=29919028/32770624 swapFree=66996468/67108860
[pid=27925] ppid=27922 vsize=2093964 memory=68464 CPUtime=102.28 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 31421 0 0 0 10224 4 0 0 20 0 1 0 409168177 2144219136 17116 33554432000 4194304 5870510 140731302987392 140731302985960 5283064 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 523491 17116 980 410 0 518964 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2093964 KiB
Current children cumulated memory: 68464 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/199 27948
/proc/meminfo: memFree=29909300/32770624 swapFree=66996472/67108860
[pid=27925] ppid=27922 vsize=2105456 memory=80236 CPUtime=162.28 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 36769 0 0 0 16223 5 0 0 20 0 1 0 409168177 2155986944 20059 33554432000 4194304 5870510 140731302987392 140731302985960 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 526364 20059 980 410 0 521837 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2105456 KiB
Current children cumulated memory: 80236 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/200 27978
/proc/meminfo: memFree=29899116/32770624 swapFree=66996476/67108860
[pid=27925] ppid=27922 vsize=2124132 memory=92536 CPUtime=222.28 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 42208 0 0 0 22222 6 0 0 20 0 1 0 409168177 2175111168 23134 33554432000 4194304 5870510 140731302987392 140731302985832 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 531033 23134 980 410 0 526506 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2124132 KiB
Current children cumulated memory: 92536 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/200 27982
/proc/meminfo: memFree=29890892/32770624 swapFree=66996476/67108860
[pid=27925] ppid=27922 vsize=2124132 memory=99572 CPUtime=282.27 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 47960 0 0 0 28221 6 0 0 20 0 1 0 409168177 2175111168 24893 33554432000 4194304 5870510 140731302987392 140731302985832 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 531033 24893 980 410 0 526506 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2124132 KiB
Current children cumulated memory: 99572 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/200 27988
/proc/meminfo: memFree=29880180/32770624 swapFree=66996476/67108860
[pid=27925] ppid=27922 vsize=2131032 memory=100476 CPUtime=342.27 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 48259 0 0 0 34221 6 0 0 20 0 1 0 409168177 2182176768 25119 33554432000 4194304 5870510 140731302987392 140731302985880 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 532758 25119 980 410 0 528231 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2131032 KiB
Current children cumulated memory: 100476 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/200 27992
/proc/meminfo: memFree=29879788/32770624 swapFree=66996476/67108860
[pid=27925] ppid=27922 vsize=2134444 memory=104836 CPUtime=402.28 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 52340 0 0 0 40220 8 0 0 20 0 1 0 409168177 2185670656 26209 33554432000 4194304 5870510 140731302987392 140731302985880 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 533611 26209 980 410 0 529084 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2134444 KiB
Current children cumulated memory: 104836 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 27996
/proc/meminfo: memFree=29877504/32770624 swapFree=66996476/67108860
[pid=27925] ppid=27922 vsize=2134444 memory=104836 CPUtime=462.27 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 54014 0 0 0 46219 8 0 0 20 0 1 0 409168177 2185670656 26209 33554432000 4194304 5870510 140731302987392 140731302985880 5283067 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 533611 26209 980 410 0 529084 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2134444 KiB
Current children cumulated memory: 104836 KiB
################
# More data... #
################
/proc/27925/statm: 541676 34933 980 410 0 537149 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2166704 KiB
Current children cumulated memory: 139732 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28119
/proc/meminfo: memFree=29802152/32770624 swapFree=66996496/67108860
[pid=27925] ppid=27922 vsize=2185380 memory=160212 CPUtime=1782.22 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 150158 0 0 0 178199 23 0 0 20 0 1 0 409168177 2237829120 40053 33554432000 4194304 5870510 140731302987392 140731302985960 5282617 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 546345 40053 980 410 0 541818 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2185380 KiB
Current children cumulated memory: 160212 KiB
[startup+1842.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/198 28184
/proc/meminfo: memFree=30614676/32770624 swapFree=66996496/67108860
[pid=27925] ppid=27922 vsize=2185380 memory=166120 CPUtime=1842.22 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 150226 0 0 0 184199 23 0 0 20 0 1 0 409168177 2237829120 41530 33554432000 4194304 5870510 140731302987392 140731302985960 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 546345 41530 980 410 0 541818 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2185380 KiB
Current children cumulated memory: 166120 KiB
[startup+1902.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/198 28188
/proc/meminfo: memFree=30606704/32770624 swapFree=66996496/67108860
[pid=27925] ppid=27922 vsize=2185380 memory=166120 CPUtime=1902.22 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 150237 0 0 0 190199 23 0 0 20 0 1 0 409168177 2237829120 41530 33554432000 4194304 5870510 140731302987392 140731302985960 5272433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 546345 41530 980 410 0 541818 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2185380 KiB
Current children cumulated memory: 166120 KiB
[startup+1962.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/198 28201
/proc/meminfo: memFree=30615256/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2185380 memory=166120 CPUtime=1962.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 150308 0 0 0 196198 23 0 0 20 0 1 0 409168177 2237829120 41530 33554432000 4194304 5870510 140731302987392 140731302985960 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 546345 41530 980 410 0 541818 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2185380 KiB
Current children cumulated memory: 166120 KiB
[startup+2022.3 s]
/proc/loadavg: 1.95 1.98 2.03 3/198 28327
/proc/meminfo: memFree=30558164/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2227232 memory=198752 CPUtime=2022.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 152894 0 0 0 202197 24 0 0 20 0 1 0 409168177 2280685568 49688 33554432000 4194304 5870510 140731302987392 140731302985880 5312640 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 556808 49688 980 410 0 552281 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2227232 KiB
Current children cumulated memory: 198752 KiB
[startup+2082.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/198 28452
/proc/meminfo: memFree=30135684/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2227232 memory=198888 CPUtime=2082.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 152965 0 0 0 208197 24 0 0 20 0 1 0 409168177 2280685568 49722 33554432000 4194304 5870510 140731302987392 140731302985880 5282738 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 556808 49722 980 410 0 552281 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2227232 KiB
Current children cumulated memory: 198888 KiB
[startup+2142.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/198 28519
/proc/meminfo: memFree=30498732/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2227232 memory=198888 CPUtime=2142.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 152975 0 0 0 214197 24 0 0 20 0 1 0 409168177 2280685568 49722 33554432000 4194304 5870510 140731302987392 140731302985880 5282509 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 556808 49722 980 410 0 552281 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2227232 KiB
Current children cumulated memory: 198888 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 28523
/proc/meminfo: memFree=30484936/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2227232 memory=198888 CPUtime=2202.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 153046 0 0 0 220197 24 0 0 20 0 1 0 409168177 2280685568 49722 33554432000 4194304 5870510 140731302987392 140731302985880 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 556808 49722 980 410 0 552281 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2227232 KiB
Current children cumulated memory: 198888 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 28527
/proc/meminfo: memFree=30484372/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2227232 memory=198888 CPUtime=2262.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 155422 0 0 0 226196 25 0 0 20 0 1 0 409168177 2280685568 49722 33554432000 4194304 5870510 140731302987392 140731302985880 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 556808 49722 980 410 0 552281 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 2227232 KiB
Current children cumulated memory: 198888 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 28533
/proc/meminfo: memFree=30510684/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2192184 memory=172264 CPUtime=2322.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 156181 0 0 0 232195 26 0 0 20 0 1 0 409168177 2244796416 43066 33554432000 4194304 5870510 140731302987392 140731302985960 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 548046 43066 980 410 0 543519 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 2192184 KiB
Current children cumulated memory: 172264 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 28537
/proc/meminfo: memFree=30510560/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2192184 memory=172264 CPUtime=2382.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 156193 0 0 0 238195 26 0 0 20 0 1 0 409168177 2244796416 43066 33554432000 4194304 5870510 140731302987392 140731302985960 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 548046 43066 980 410 0 543519 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 2192184 KiB
Current children cumulated memory: 172264 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 28541
/proc/meminfo: memFree=30491856/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2222532 memory=190696 CPUtime=2442.21 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 158082 0 0 0 244195 26 0 0 20 0 1 0 409168177 2275872768 47674 33554432000 4194304 5870510 140731302987392 140731302985832 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 555633 47674 980 410 0 551106 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 2222532 KiB
Current children cumulated memory: 190696 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 28547
/proc/meminfo: memFree=30478940/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2222532 memory=190696 CPUtime=2502.2 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 158092 0 0 0 250194 26 0 0 20 0 1 0 409168177 2275872768 47674 33554432000 4194304 5870510 140731302987392 140731302985832 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 555633 47674 980 410 0 551106 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 2222532 KiB
Current children cumulated memory: 190696 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 2.03 3/198 28548
/proc/meminfo: memFree=30462132/32770624 swapFree=66996504/67108860
[pid=27925] ppid=27922 vsize=2222532 memory=190696 CPUtime=2519.91 cores=1,3,5,7
/proc/27925/stat : 27925 (xcsp_picat) R 27922 27925 25640 0 -1 4202496 158092 0 0 0 251965 26 0 0 20 0 1 0 409168177 2275872768 47674 33554432000 4194304 5870510 140731302987392 140731302985832 5258119 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 46092288 140731302994975 140731302995053 140731302995053 140731302997962 0
/proc/27925/statm: 555633 47674 980 410 0 551106 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 2222532 KiB
Current children cumulated memory: 190696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27925 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.66 s, system=0.266992 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.01
CPU time (s): 2519.92
CPU user time (s): 2519.66
CPU system time (s): 0.266992
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 2235684
Max. memory (cumulated for all children) (KiB): 207080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.266992
maximum resident set size= 207080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158092
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= 19
involuntary context switches= 791
# summary of solver processes directly reported to runsolver:
# pid: 27925
# total CPU time (s): 2519.92
# total CPU user time (s): 2519.66
# total CPU system time (s): 0.266992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.74057 second user time and 18.6357 second system time
The end