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 (14979 MiB free)
memory of node 1: 16384 MiB (15607 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394926-1568329355/watcher-4394926-1568329355 -o /tmp/evaluation-result-4394926-1568329355/solver-4394926-1568329355 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4394926-1568329355.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
Current StackSize limit: 8192 KiB
solver pid=18005, runsolver pid=18002
[startup+0.100108 s]*
/proc/loadavg: 2.00 2.02 2.05 3/202 18006
/proc/meminfo: memFree=31303516/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2031716 memory=19148 CPUtime=0.1 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 1884 0 0 0 10 0 0 0 20 0 1 0 409186967 2080477184 4787 33554432000 4194304 5870510 140730986318608 140730986317912 4456161 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 507929 4787 834 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 19148 KiB
[startup+0.209746 s]*
/proc/loadavg: 2.00 2.02 2.05 3/202 18006
/proc/meminfo: memFree=31291228/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2031716 memory=23244 CPUtime=0.21 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 1890 0 0 0 21 0 0 0 20 0 1 0 409186967 2080477184 5811 33554432000 4194304 5870510 140730986318608 140730986317912 4459487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 507929 5811 834 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23244 KiB
[startup+0.309685 s]*
/proc/loadavg: 2.00 2.02 2.05 3/202 18006
/proc/meminfo: memFree=31278940/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2031716 memory=29388 CPUtime=0.3 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 1894 0 0 0 30 0 0 0 20 0 1 0 409186967 2080477184 7347 33554432000 4194304 5870510 140730986318608 140730986317912 4461503 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 507929 7347 834 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 29388 KiB
[startup+0.700305 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 18006
/proc/meminfo: memFree=31258460/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2031716 memory=49868 CPUtime=0.69 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 1904 0 0 0 68 1 0 0 20 0 1 0 409186967 2080477184 12467 33554432000 4194304 5870510 140730986318608 140730986317912 4479718 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 507929 12467 834 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 49868 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 18006
/proc/meminfo: memFree=31205088/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2031716 memory=94924 CPUtime=1.49 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 1926 0 0 0 148 1 0 0 20 0 1 0 409186967 2080477184 23731 33554432000 4194304 5870510 140730986318608 140730986317912 140583363038208 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 507929 23731 834 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 94924 KiB
[startup+3.10971 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 18006
/proc/meminfo: memFree=30878320/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2031716 memory=181000 CPUtime=3.1 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 2020 0 0 0 308 2 0 0 20 0 1 0 409186967 2080477184 45250 33554432000 4194304 5870510 140730986318608 140730986317912 140583363038208 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 507929 45250 839 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 181000 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 18007
/proc/meminfo: memFree=30307784/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2031716 memory=357128 CPUtime=6.29 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 2150 0 0 0 624 5 0 0 20 0 1 0 409186967 2080477184 89282 33554432000 4194304 5870510 140730986318608 140730986317912 4479929 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 507929 89282 839 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 357128 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 18007
/proc/meminfo: memFree=29151288/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2031716 memory=1057612 CPUtime=12.69 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 3678 0 0 0 1254 15 0 0 20 0 1 0 409186967 2080477184 264403 33554432000 4194304 5870510 140730986318608 140730986317976 4460170 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 507929 264403 856 410 0 503402 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1057612 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/202 18009
/proc/meminfo: memFree=28573508/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2757432 memory=1555776 CPUtime=25.49 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 21125 0 0 0 2526 23 0 0 20 0 1 0 409186967 2823610368 388944 33554432000 4194304 5870510 140730986318608 140730986317160 5337288 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 689358 388944 871 410 0 684831 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2757432 KiB
Current children cumulated memory: 1555776 KiB
[startup+51.1096 s]
/proc/loadavg: 1.94 2.00 2.04 3/202 18009
/proc/meminfo: memFree=28573452/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2757432 memory=1555880 CPUtime=51.09 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 25768 0 0 0 5086 23 0 0 20 0 1 0 409186967 2823610368 388970 33554432000 4194304 5870510 140730986318608 140730986317160 5337327 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 689358 388970 876 410 0 684831 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2757432 KiB
Current children cumulated memory: 1555880 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/202 18013
/proc/meminfo: memFree=28573496/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2757432 memory=1555880 CPUtime=102.29 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 35637 0 0 0 10205 24 0 0 20 0 1 0 409186967 2823610368 388970 33554432000 4194304 5870510 140730986318608 140730986317160 5337504 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 689358 388970 876 410 0 684831 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2757432 KiB
Current children cumulated memory: 1555880 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/203 18019
/proc/meminfo: memFree=28573220/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2757432 memory=1555880 CPUtime=162.28 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 47693 0 0 0 16204 24 0 0 20 0 1 0 409186967 2823610368 388970 33554432000 4194304 5870510 140730986318608 140730986317160 5337550 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 689358 388970 876 410 0 684831 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2757432 KiB
Current children cumulated memory: 1555880 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18023
/proc/meminfo: memFree=28573248/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2757432 memory=1555880 CPUtime=222.27 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 62722 0 0 0 22203 24 0 0 20 0 1 0 409186967 2823610368 388970 33554432000 4194304 5870510 140730986318608 140730986317160 5337550 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 689358 388970 876 410 0 684831 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2757432 KiB
Current children cumulated memory: 1555880 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18027
/proc/meminfo: memFree=28523816/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2802360 memory=1576756 CPUtime=282.27 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 94940 0 0 0 28201 26 0 0 20 0 1 0 409186967 2869616640 394189 33554432000 4194304 5870510 140730986318608 140730986316936 5337297 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 700590 394189 880 410 0 696063 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2802360 KiB
Current children cumulated memory: 1576756 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18033
/proc/meminfo: memFree=28494816/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2812628 memory=1594772 CPUtime=342.27 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 153609 0 0 0 34197 30 0 0 20 0 1 0 409186967 2880131072 398693 33554432000 4194304 5870510 140730986318608 140730986316936 5337529 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 703157 398693 880 410 0 698630 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2812628 KiB
Current children cumulated memory: 1594772 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18037
/proc/meminfo: memFree=28473628/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2816948 memory=1605448 CPUtime=402.27 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 226338 0 0 0 40195 32 0 0 20 0 1 0 409186967 2884554752 401362 33554432000 4194304 5870510 140730986318608 140730986316936 5321600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 704237 401362 880 410 0 699710 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2816948 KiB
Current children cumulated memory: 1605448 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18041
/proc/meminfo: memFree=28459012/32770624 swapFree=66993752/67108860
[pid=18005] ppid=18002 vsize=2822628 memory=1612264 CPUtime=462.27 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 286482 0 0 0 46191 36 0 0 20 0 1 0 409186967 2890371072 403066 33554432000 4194304 5870510 140730986318608 140730986316936 5337357 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 705657 403066 880 410 0 701130 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2822628 KiB
Current children cumulated memory: 1612264 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 18055
/proc/meminfo: memFree=28444256/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2823268 memory=1622924 CPUtime=522.27 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 352082 0 0 0 52188 39 0 0 20 0 1 0 409186967 2891026432 405731 33554432000 4194304 5870510 140730986318608 140730986316760 5321611 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 705817 405731 880 410 0 701290 0
Current children cumulated CPU time: 522.27 s
Current children cumulated vsize: 2823268 KiB
Current children cumulated memory: 1622924 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18059
/proc/meminfo: memFree=28432440/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2833632 memory=1634844 CPUtime=582.27 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 408673 0 0 0 58186 41 0 0 20 0 1 0 409186967 2901639168 408711 33554432000 4194304 5870510 140730986318608 140730986316792 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 708408 408711 880 410 0 703881 0
Current children cumulated CPU time: 582.27 s
Current children cumulated vsize: 2833632 KiB
Current children cumulated memory: 1634844 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18063
/proc/meminfo: memFree=28432588/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2833632 memory=1634844 CPUtime=642.28 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 466256 0 0 0 64184 44 0 0 20 0 1 0 409186967 2901639168 408711 33554432000 4194304 5870510 140730986318608 140730986316792 5321611 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 708408 408711 880 410 0 703881 0
Current children cumulated CPU time: 642.28 s
Current children cumulated vsize: 2833632 KiB
Current children cumulated memory: 1634844 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 18069
/proc/meminfo: memFree=28432484/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2833632 memory=1634848 CPUtime=702.28 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 527315 0 0 0 70182 46 0 0 20 0 1 0 409186967 2901639168 408712 33554432000 4194304 5870510 140730986318608 140730986316792 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 708408 408712 880 410 0 703881 0
Current children cumulated CPU time: 702.28 s
Current children cumulated vsize: 2833632 KiB
Current children cumulated memory: 1634848 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18073
/proc/meminfo: memFree=28432444/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2833632 memory=1634860 CPUtime=762.28 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 573489 0 0 0 76180 48 0 0 20 0 1 0 409186967 2901639168 408715 33554432000 4194304 5870510 140730986318608 140730986316792 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 708408 408715 880 410 0 703881 0
Current children cumulated CPU time: 762.28 s
Current children cumulated vsize: 2833632 KiB
Current children cumulated memory: 1634860 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18077
/proc/meminfo: memFree=28432372/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2833632 memory=1634864 CPUtime=822.29 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 627818 0 0 0 82178 51 0 0 20 0 1 0 409186967 2901639168 408716 33554432000 4194304 5870510 140730986318608 140730986316792 5337288 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 708408 408716 880 410 0 703881 0
Current children cumulated CPU time: 822.29 s
Current children cumulated vsize: 2833632 KiB
Current children cumulated memory: 1634864 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18083
/proc/meminfo: memFree=28431456/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2833632 memory=1634868 CPUtime=882.3 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 663657 0 0 0 88177 53 0 0 20 0 1 0 409186967 2901639168 408717 33554432000 4194304 5870510 140730986318608 140730986316792 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 708408 408717 880 410 0 703881 0
Current children cumulated CPU time: 882.3 s
Current children cumulated vsize: 2833632 KiB
Current children cumulated memory: 1634868 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18087
/proc/meminfo: memFree=28431932/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2833632 memory=1634868 CPUtime=942.31 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 709806 0 0 0 94176 55 0 0 20 0 1 0 409186967 2901639168 408717 33554432000 4194304 5870510 140730986318608 140730986316792 5337306 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 708408 408717 880 410 0 703881 0
Current children cumulated CPU time: 942.31 s
Current children cumulated vsize: 2833632 KiB
Current children cumulated memory: 1634868 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 18091
/proc/meminfo: memFree=28481924/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2833632 memory=1634868 CPUtime=1002.31 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 745444 0 0 0 100175 56 0 0 20 0 1 0 409186967 2901639168 408717 33554432000 4194304 5870510 140730986318608 140730986316792 5261200 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 708408 408717 880 410 0 703881 0
Current children cumulated CPU time: 1002.31 s
Current children cumulated vsize: 2833632 KiB
Current children cumulated memory: 1634868 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18097
/proc/meminfo: memFree=28506796/32770624 swapFree=66993768/67108860
[pid=18005] ppid=18002 vsize=2812028 memory=1608976 CPUtime=1062.31 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 783799 0 0 0 106170 61 0 0 20 0 1 0 409186967 2879516672 402244 33554432000 4194304 5870510 140730986318608 140730986317176 5272547 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 703007 402244 900 410 0 698480 0
Current children cumulated CPU time: 1062.31 s
Current children cumulated vsize: 2812028 KiB
Current children cumulated memory: 1608976 KiB
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/200 18170
/proc/meminfo: memFree=29677656/32770624 swapFree=66993776/67108860
[pid=18005] ppid=18002 vsize=2812028 memory=1609296 CPUtime=1122.31 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 799908 0 0 0 112168 63 0 0 20 0 1 0 409186967 2879516672 402324 33554432000 4194304 5870510 140730986318608 140730986317176 5272433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 703007 402324 900 410 0 698480 0
Current children cumulated CPU time: 1122.31 s
Current children cumulated vsize: 2812028 KiB
Current children cumulated memory: 1609296 KiB
[startup+1125.83 s]
# the end of solver process 18005 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1125.2 s, system=0.648017 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1123.2 s]
/proc/loadavg: 2.08 2.02 2.05 3/200 18170
/proc/meminfo: memFree=29628380/32770624 swapFree=66993776/67108860
[pid=18005] ppid=18002 vsize=2812028 memory=1609296 CPUtime=1123.21 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 799943 0 0 0 112258 63 0 0 20 0 1 0 409186967 2879516672 402324 33554432000 4194304 5870510 140730986318608 140730986317176 5283102 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 703007 402324 900 410 0 698480 0
Current children cumulated CPU time: 1123.21 s
Current children cumulated vsize: 2812028 KiB
Current children cumulated memory: 1609296 KiB
[startup+1124.8 s]
/proc/loadavg: 2.07 2.01 2.05 3/200 18170
/proc/meminfo: memFree=29492964/32770624 swapFree=66993776/67108860
[pid=18005] ppid=18002 vsize=2812028 memory=1609300 CPUtime=1124.81 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 800037 0 0 0 112418 63 0 0 20 0 1 0 409186967 2879516672 402325 33554432000 4194304 5870510 140730986318608 140730986317176 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 703007 402325 900 410 0 698480 0
Current children cumulated CPU time: 1124.81 s
Current children cumulated vsize: 2812028 KiB
Current children cumulated memory: 1609300 KiB
[startup+1125.6 s]
/proc/loadavg: 2.07 2.01 2.05 3/200 18170
/proc/meminfo: memFree=29357548/32770624 swapFree=66993776/67108860
[pid=18005] ppid=18002 vsize=2812028 memory=1609300 CPUtime=1125.61 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 800089 0 0 0 112498 63 0 0 20 0 1 0 409186967 2879516672 402325 33554432000 4194304 5870510 140730986318608 140730986317176 5282717 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 703007 402325 900 410 0 698480 0
Current children cumulated CPU time: 1125.61 s
Current children cumulated vsize: 2812028 KiB
Current children cumulated memory: 1609300 KiB
[startup+1125.8 s]
/proc/loadavg: 2.07 2.01 2.05 3/200 18170
/proc/meminfo: memFree=29357548/32770624 swapFree=66993776/67108860
[pid=18005] ppid=18002 vsize=2812028 memory=1609304 CPUtime=1125.81 cores=1,3,5,7
/proc/18005/stat : 18005 (xcsp_picat) R 18002 18005 15976 0 -1 4202496 800106 0 0 0 112518 63 0 0 20 0 1 0 409186967 2879516672 402326 33554432000 4194304 5870510 140730986318608 140730986317176 5282475 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 16310272 140730986325023 140730986325101 140730986325101 140730986328010 0
/proc/18005/statm: 703007 402326 900 410 0 698480 0
Current children cumulated CPU time: 1125.81 s
Current children cumulated vsize: 2812028 KiB
Current children cumulated memory: 1609304 KiB
Child status: 0
Real time (s): 1125.83
CPU time (s): 1125.85
CPU user time (s): 1125.2
CPU system time (s): 0.648017
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2863984
Max. memory (cumulated for all children) (KiB): 1639824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1125.2
system time used= 0.648017
maximum resident set size= 1656388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 800170
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= 15
involuntary context switches= 851
# summary of solver processes directly reported to runsolver:
# pid: 18005
# total CPU time (s): 1125.85
# total CPU user time (s): 1125.2
# total CPU system time (s): 0.648017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.59818 second user time and 8.45124 second system time
The end