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 (11754 MiB free)
memory of node 1: 16384 MiB (14321 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395607-1568338324/watcher-4395607-1568338324 -o /tmp/evaluation-result-4395607-1568338324/solver-4395607-1568338324 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22069 --watchdog 2560 xcsp_picat HOME/instance-4395607-1568338324.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
Current StackSize limit: 8192 KiB
solver pid=25956, runsolver pid=25953
[startup+0.100122 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 25957
/proc/meminfo: memFree=26669408/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2031716 memory=37504 CPUtime=0.1 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 1359 0 0 0 10 0 0 0 20 0 1 0 409746218 2080477184 9376 33554432000 4194304 5870510 140736874562384 140736874559528 4462388 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 507929 9376 858 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 37504 KiB
[startup+0.210004 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 25957
/proc/meminfo: memFree=26650108/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2031716 memory=54884 CPUtime=0.21 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 1631 0 0 0 21 0 0 0 20 0 1 0 409746218 2080477184 13721 33554432000 4194304 5870510 140736874562384 140736874559528 4907988 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 507929 13721 883 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 54884 KiB
[startup+0.309683 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 25957
/proc/meminfo: memFree=26634780/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2031716 memory=70256 CPUtime=0.31 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 1899 0 0 0 30 1 0 0 20 0 1 0 409746218 2080477184 17564 33554432000 4194304 5870510 140736874562384 140736874559528 4491049 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 507929 17564 890 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 70256 KiB
[startup+0.700317 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 25957
/proc/meminfo: memFree=26610080/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2054500 memory=108736 CPUtime=0.69 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 6101 0 0 0 68 1 0 0 20 0 1 0 409746218 2103808000 27184 33554432000 4194304 5870510 140736874562384 140736874561160 5477624 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 513625 27184 967 410 0 509098 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2054500 KiB
Current children cumulated memory: 108736 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25957
/proc/meminfo: memFree=26594036/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2054500 memory=108980 CPUtime=1.49 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 6133 0 0 0 148 1 0 0 20 0 1 0 409746218 2103808000 27245 33554432000 4194304 5870510 140736874562384 140736874561160 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 513625 27245 970 410 0 509098 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2054500 KiB
Current children cumulated memory: 108980 KiB
[startup+3.10956 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25957
/proc/meminfo: memFree=26591756/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2054900 memory=111412 CPUtime=3.1 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 6678 0 0 0 308 2 0 0 20 0 1 0 409746218 2104217600 27853 33554432000 4194304 5870510 140736874562384 140736874561480 5478363 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 513725 27853 970 410 0 509198 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2054900 KiB
Current children cumulated memory: 111412 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25958
/proc/meminfo: memFree=26590516/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2055868 memory=112472 CPUtime=6.29 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 7437 0 0 0 627 2 0 0 20 0 1 0 409746218 2105208832 28118 33554432000 4194304 5870510 140736874562384 140736874561480 140114808037255 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 513967 28118 970 410 0 509440 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2055868 KiB
Current children cumulated memory: 112472 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25958
/proc/meminfo: memFree=26543536/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2098600 memory=153200 CPUtime=12.68 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 18834 0 0 0 1263 5 0 0 20 0 1 0 409746218 2148966400 38300 33554432000 4194304 5870510 140736874562384 140736874561624 5562056 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 524650 38300 972 410 0 520123 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2098600 KiB
Current children cumulated memory: 153200 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25958
/proc/meminfo: memFree=26506244/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2201104 memory=234628 CPUtime=25.49 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 41269 0 0 0 2538 11 0 0 20 0 1 0 409746218 2253930496 58657 33554432000 4194304 5870510 140736874562384 140736874561560 5562064 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 550276 58657 972 410 0 545749 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2201104 KiB
Current children cumulated memory: 234628 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25960
/proc/meminfo: memFree=26428936/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2311756 memory=326556 CPUtime=51.09 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 107966 0 0 0 5084 25 0 0 20 0 1 0 409746218 2367238144 81639 33554432000 4194304 5870510 140736874562384 140736874561640 5308341 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577939 81639 1003 410 0 573412 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2311756 KiB
Current children cumulated memory: 326556 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25964
/proc/meminfo: memFree=26571196/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2059448 memory=120264 CPUtime=102.28 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 144358 0 0 0 10197 31 0 0 20 0 1 0 409746218 2108874752 30066 33554432000 4194304 5870510 140736874562384 140736874561480 5562064 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 514862 30066 1010 410 0 510335 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2059448 KiB
Current children cumulated memory: 120264 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25968
/proc/meminfo: memFree=26338392/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2340632 memory=364860 CPUtime=162.28 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 175340 0 0 0 16179 49 0 0 20 0 1 0 409746218 2396807168 91215 33554432000 4194304 5870510 140736874562384 140736874561496 5272734 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 585158 91215 1010 410 0 580631 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2340632 KiB
Current children cumulated memory: 364860 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25974
/proc/meminfo: memFree=26508588/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2213296 memory=254232 CPUtime=222.27 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 208421 0 0 0 22166 61 0 0 20 0 1 0 409746218 2266415104 63558 33554432000 4194304 5870510 140736874562384 140736874561480 5406887 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 553324 63558 1010 410 0 548797 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2213296 KiB
Current children cumulated memory: 254232 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25978
/proc/meminfo: memFree=26312604/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2339736 memory=364104 CPUtime=282.28 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 222684 0 0 0 28157 71 0 0 20 0 1 0 409746218 2395889664 91026 33554432000 4194304 5870510 140736874562384 140736874561496 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 584934 91026 1010 410 0 580407 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2339736 KiB
Current children cumulated memory: 364104 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26042
/proc/meminfo: memFree=26397768/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308916 memory=357576 CPUtime=342.26 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 236948 0 0 0 34153 73 0 0 20 0 1 0 409746218 2364329984 89394 33554432000 4194304 5870510 140736874562384 140736874561400 5308364 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577229 89394 1010 410 0 572702 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2308916 KiB
Current children cumulated memory: 357576 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26049
/proc/meminfo: memFree=26335900/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308916 memory=365216 CPUtime=402.24 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 238732 0 0 0 40151 73 0 0 20 0 1 0 409746218 2364329984 91304 33554432000 4194304 5870510 140736874562384 140736874561400 5272538 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577229 91304 1010 410 0 572702 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2308916 KiB
Current children cumulated memory: 365216 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 26114
/proc/meminfo: memFree=26480088/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2280944 memory=315928 CPUtime=462.24 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 259762 0 0 0 46138 86 0 0 20 0 1 0 409746218 2335686656 78982 33554432000 4194304 5870510 140736874562384 140736874560728 5321611 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 570236 78982 1010 410 0 565709 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2280944 KiB
Current children cumulated memory: 315928 KiB
################
# More data... #
################
Current children cumulated memory: 357044 KiB
[startup+882.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 26236
/proc/meminfo: memFree=26384764/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308308 memory=359092 CPUtime=882.24 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 375533 0 0 0 88106 118 0 0 20 0 1 0 409746218 2363707392 89773 33554432000 4194304 5870510 140736874562384 140736874561400 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577077 89773 1010 410 0 572550 0
Current children cumulated CPU time: 882.24 s
Current children cumulated vsize: 2308308 KiB
Current children cumulated memory: 359092 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 26242
/proc/meminfo: memFree=26385636/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308308 memory=363200 CPUtime=942.25 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 388524 0 0 0 94106 119 0 0 20 0 1 0 409746218 2363707392 90800 33554432000 4194304 5870510 140736874562384 140736874561400 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577077 90800 1010 410 0 572550 0
Current children cumulated CPU time: 942.25 s
Current children cumulated vsize: 2308308 KiB
Current children cumulated memory: 363200 KiB
[startup+1002.3 s]
/proc/loadavg: 2.07 2.00 2.04 3/199 26246
/proc/meminfo: memFree=26345356/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308308 memory=363572 CPUtime=1002.25 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 401792 0 0 0 100105 120 0 0 20 0 1 0 409746218 2363707392 90893 33554432000 4194304 5870510 140736874562384 140736874561400 5308315 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577077 90893 1010 410 0 572550 0
Current children cumulated CPU time: 1002.25 s
Current children cumulated vsize: 2308308 KiB
Current children cumulated memory: 363572 KiB
[startup+1062.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/199 26250
/proc/meminfo: memFree=26387040/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2059448 memory=123848 CPUtime=1062.25 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 407211 0 0 0 106103 122 0 0 20 0 1 0 409746218 2108874752 30962 33554432000 4194304 5870510 140736874562384 140736874561400 5562056 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 514862 30962 1010 410 0 510335 0
Current children cumulated CPU time: 1062.25 s
Current children cumulated vsize: 2059448 KiB
Current children cumulated memory: 123848 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/199 26263
/proc/meminfo: memFree=26375656/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=356792 CPUtime=1122.25 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 452738 0 0 0 112082 143 0 0 20 0 1 0 409746218 2364133376 89198 33554432000 4194304 5870510 140736874562384 140736874561496 5268151 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89198 1010 410 0 572654 0
Current children cumulated CPU time: 1122.25 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 356792 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26267
/proc/meminfo: memFree=26374628/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=360888 CPUtime=1182.25 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 464251 0 0 0 118081 144 0 0 20 0 1 0 409746218 2364133376 90222 33554432000 4194304 5870510 140736874562384 140736874561496 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 90222 1010 410 0 572654 0
Current children cumulated CPU time: 1182.25 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 360888 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26271
/proc/meminfo: memFree=26378648/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=354912 CPUtime=1242.25 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 465796 0 0 0 124080 145 0 0 20 0 1 0 409746218 2364133376 88728 33554432000 4194304 5870510 140736874562384 140736874561400 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 88728 1010 410 0 572654 0
Current children cumulated CPU time: 1242.25 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 354912 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26277
/proc/meminfo: memFree=26389332/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=356964 CPUtime=1302.25 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 478477 0 0 0 130079 146 0 0 20 0 1 0 409746218 2364133376 89241 33554432000 4194304 5870510 140736874562384 140736874561400 5272516 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89241 1010 410 0 572654 0
Current children cumulated CPU time: 1302.25 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 356964 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26281
/proc/meminfo: memFree=26374208/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=359024 CPUtime=1362.25 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 491141 0 0 0 136078 147 0 0 20 0 1 0 409746218 2364133376 89756 33554432000 4194304 5870510 140736874562384 140736874561400 5272880 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89756 1010 410 0 572654 0
Current children cumulated CPU time: 1362.25 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 359024 KiB
[startup+1380.21 s]
# the end of solver process 25956 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1378.69 s, system=1.48499 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1369.6 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26281
/proc/meminfo: memFree=26345508/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=359024 CPUtime=1369.55 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 491181 0 0 0 136808 147 0 0 20 0 1 0 409746218 2364133376 89756 33554432000 4194304 5870510 140736874562384 140736874561400 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89756 1010 410 0 572654 0
Current children cumulated CPU time: 1369.55 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 359024 KiB
[startup+1376 s]*
/proc/loadavg: 2.00 2.00 2.04 3/199 26281
/proc/meminfo: memFree=26392300/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=359024 CPUtime=1375.96 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 491219 0 0 0 137449 147 0 0 20 0 1 0 409746218 2364133376 89756 33554432000 4194304 5870510 140736874562384 140736874561400 5281839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89756 1010 410 0 572654 0
Current children cumulated CPU time: 1375.96 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 359024 KiB
[startup+1377.6 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 26281
/proc/meminfo: memFree=26391804/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=359024 CPUtime=1377.55 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 491224 0 0 0 137608 147 0 0 20 0 1 0 409746218 2364133376 89756 33554432000 4194304 5870510 140736874562384 140736874561400 5282464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89756 1010 410 0 572654 0
Current children cumulated CPU time: 1377.55 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 359024 KiB
[startup+1379.2 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 26283
/proc/meminfo: memFree=26391320/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=359024 CPUtime=1379.15 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 491234 0 0 0 137768 147 0 0 20 0 1 0 409746218 2364133376 89756 33554432000 4194304 5870510 140736874562384 140736874561400 5308315 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89756 1010 410 0 572654 0
Current children cumulated CPU time: 1379.15 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 359024 KiB
[startup+1380 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 26283
/proc/meminfo: memFree=26391288/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=359024 CPUtime=1379.96 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 491247 0 0 0 137849 147 0 0 20 0 1 0 409746218 2364133376 89756 33554432000 4194304 5870510 140736874562384 140736874561400 5282801 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89756 1010 410 0 572654 0
Current children cumulated CPU time: 1379.96 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 359024 KiB
[startup+1380.2 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 26283
/proc/meminfo: memFree=26391288/32770624 swapFree=66957012/67108860
[pid=25956] ppid=25953 vsize=2308724 memory=359028 CPUtime=1380.15 cores=0,2,4,6
/proc/25956/stat : 25956 (xcsp_picat) R 25953 25956 22038 0 -1 4202496 491421 0 0 0 137868 147 0 0 20 0 1 0 409746218 2364133376 89757 33554432000 4194304 5870510 140736874562384 140736874561400 5350509 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 26734592 140736874570783 140736874570861 140736874570861 140736874573770 0
/proc/25956/statm: 577181 89757 1010 410 0 572654 0
Current children cumulated CPU time: 1380.15 s
Current children cumulated vsize: 2308724 KiB
Current children cumulated memory: 359028 KiB
Child status: 0
Real time (s): 1380.21
CPU time (s): 1380.17
CPU user time (s): 1378.69
CPU system time (s): 1.48499
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 2459052
Max. memory (cumulated for all children) (KiB): 439728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1378.69
system time used= 1.48499
maximum resident set size= 439728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491773
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= 51
involuntary context switches= 734
# summary of solver processes directly reported to runsolver:
# pid: 25956
# total CPU time (s): 1380.17
# total CPU user time (s): 1378.69
# total CPU system time (s): 1.48499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18954 second user time and 10.4679 second system time
The end