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 (1463 MiB free)
memory of node 1: 16384 MiB (223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303098-1533996006/watcher-4303098-1533996006 -o /tmp/evaluation-result-4303098-1533996006/solver-4303098-1533996006 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303098-1533996006.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
solver pid=21917, runsolver pid=21914
Current StackSize limit: 8192 KiB
[startup+0.100399 s]*
/proc/loadavg: 2.36 2.20 2.03 3/188 21918
/proc/meminfo: memFree=1702916/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2025744 memory=26440 CPUtime=0.09 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 1679 0 0 0 9 0 0 0 20 0 1 0 217163798 2074361856 6610 33554432000 4194304 5849708 140727423788544 140727423787848 4550746 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 506436 6610 616 405 0 503381 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 26440 KiB
[startup+0.20955 s]*
/proc/loadavg: 2.36 2.20 2.03 3/188 21918
/proc/meminfo: memFree=1685992/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2028456 memory=44012 CPUtime=0.21 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 2512 0 0 0 20 1 0 0 20 0 1 0 217163798 2077138944 11003 33554432000 4194304 5849708 140727423788544 140727423787848 4454696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 507114 11003 663 405 0 504059 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028456 KiB
Current children cumulated memory: 44012 KiB
[startup+0.309552 s]*
/proc/loadavg: 2.36 2.20 2.03 3/188 21918
/proc/meminfo: memFree=1674708/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2036524 memory=52100 CPUtime=0.3 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 4561 0 0 0 29 1 0 0 20 0 1 0 217163798 2085400576 13025 33554432000 4194304 5849708 140727423788544 140727423787848 139715293405063 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 509131 13025 694 405 0 506076 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2036524 KiB
Current children cumulated memory: 52100 KiB
[startup+0.700336 s]
/proc/loadavg: 2.36 2.20 2.03 3/188 21918
/proc/meminfo: memFree=1674584/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2037160 memory=52836 CPUtime=0.69 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 6665 0 0 0 64 5 0 0 20 0 1 0 217163798 2086051840 13209 33554432000 4194304 5849708 140727423788544 140727423787624 5303780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 509290 13209 711 405 0 506235 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037160 KiB
Current children cumulated memory: 52836 KiB
[startup+1.50034 s]
/proc/loadavg: 2.36 2.20 2.03 3/188 21918
/proc/meminfo: memFree=1670088/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2043436 memory=58020 CPUtime=1.49 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 7690 0 0 0 144 5 0 0 20 0 1 0 217163798 2092478464 14505 33554432000 4194304 5849708 140727423788544 140727423786792 5375966 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 510859 14505 719 405 0 507804 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2043436 KiB
Current children cumulated memory: 58020 KiB
[startup+3.10925 s]
/proc/loadavg: 2.25 2.18 2.03 3/188 21918
/proc/meminfo: memFree=1667484/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2044780 memory=59648 CPUtime=3.09 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 10458 0 0 0 304 5 0 0 20 0 1 0 217163798 2093854720 14912 33554432000 4194304 5849708 140727423788544 140727423786088 5310088 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 511195 14912 723 405 0 508140 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2044780 KiB
Current children cumulated memory: 59648 KiB
[startup+6.30025 s]
/proc/loadavg: 2.25 2.18 2.03 3/188 21918
/proc/meminfo: memFree=1667484/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2044760 memory=59644 CPUtime=6.28 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 13051 0 0 0 622 6 0 0 20 0 1 0 217163798 2093834240 14911 33554432000 4194304 5849708 140727423788544 140727423787544 139715293405063 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 511190 14911 727 405 0 508135 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2044760 KiB
Current children cumulated memory: 59644 KiB
[startup+12.7003 s]
/proc/loadavg: 2.21 2.17 2.03 3/188 21918
/proc/meminfo: memFree=1664592/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2044756 memory=60148 CPUtime=12.68 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 17321 0 0 0 1260 8 0 0 20 0 1 0 217163798 2093830144 15037 33554432000 4194304 5849708 140727423788544 140727423787032 5307664 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 511189 15037 727 405 0 508134 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2044756 KiB
Current children cumulated memory: 60148 KiB
[startup+25.5002 s]
/proc/loadavg: 2.18 2.17 2.03 3/188 21918
/proc/meminfo: memFree=1659564/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2046628 memory=62096 CPUtime=25.48 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 25839 0 0 0 2532 16 0 0 20 0 1 0 217163798 2095747072 15524 33554432000 4194304 5849708 140727423788544 140727423787032 5307126 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 511657 15524 738 405 0 508602 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2046628 KiB
Current children cumulated memory: 62096 KiB
[startup+51.1094 s]
/proc/loadavg: 2.12 2.15 2.03 3/188 21918
/proc/meminfo: memFree=1658044/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2048452 memory=63788 CPUtime=51.09 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 29094 0 0 0 5075 34 0 0 20 0 1 0 217163798 2097614848 15947 33554432000 4194304 5849708 140727423788544 140727423787544 139715293405063 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 512113 15947 738 405 0 509058 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2048452 KiB
Current children cumulated memory: 63788 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.13 2.03 3/189 21942
/proc/meminfo: memFree=1639064/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2064840 memory=80240 CPUtime=102.27 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 32906 0 0 0 10155 72 0 0 20 0 1 0 217163798 2114396160 20060 33554432000 4194304 5849708 140727423788544 140727423787544 5437835 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 516210 20060 738 405 0 513155 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2064840 KiB
Current children cumulated memory: 80240 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.10 2.03 3/189 21943
/proc/meminfo: memFree=1618500/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2070148 memory=85988 CPUtime=162.26 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 38599 0 0 0 16102 124 0 0 20 0 1 0 217163798 2119831552 21497 33554432000 4194304 5849708 140727423788544 140727423787704 5339648 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 517537 21497 738 405 0 514482 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2070148 KiB
Current children cumulated memory: 85988 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.09 2.03 3/189 21944
/proc/meminfo: memFree=1611756/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2077288 memory=92900 CPUtime=222.26 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 40561 0 0 0 22061 165 0 0 20 0 1 0 217163798 2127142912 23225 33554432000 4194304 5849708 140727423788544 140727423787544 5438122 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 519322 23225 738 405 0 516267 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2077288 KiB
Current children cumulated memory: 92900 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.07 2.03 3/189 21945
/proc/meminfo: memFree=1611000/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2077288 memory=93152 CPUtime=282.26 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 50247 0 0 0 28016 210 0 0 20 0 1 0 217163798 2127142912 23288 33554432000 4194304 5849708 140727423788544 140727423787544 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 519322 23288 738 405 0 516267 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2077288 KiB
Current children cumulated memory: 93152 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.03 3/188 21946
/proc/meminfo: memFree=1589960/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2101336 memory=115552 CPUtime=342.25 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 64068 0 0 0 33971 254 0 0 20 0 1 0 217163798 2151768064 28888 33554432000 4194304 5849708 140727423788544 140727423787544 139715293405063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 525334 28888 738 405 0 522279 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2101336 KiB
Current children cumulated memory: 115552 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.03 3/187 21947
/proc/meminfo: memFree=1575876/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2112368 memory=128228 CPUtime=402.24 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 75019 0 0 0 39932 292 0 0 20 0 1 0 217163798 2163064832 32057 33554432000 4194304 5849708 140727423788544 140727423787544 5438122 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 528092 32057 738 405 0 525037 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 2112368 KiB
Current children cumulated memory: 128228 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/187 21948
/proc/meminfo: memFree=1556368/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2128696 memory=144308 CPUtime=462.23 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 79582 0 0 0 45890 333 0 0 20 0 1 0 217163798 2179784704 36077 33554432000 4194304 5849708 140727423788544 140727423787416 5438176 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 532174 36077 738 405 0 529119 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2128696 KiB
Current children cumulated memory: 144308 KiB
################
# More data... #
################
/proc/21917/statm: 547963 52712 738 405 0 544908 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 2191852 KiB
Current children cumulated memory: 210848 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21988
/proc/meminfo: memFree=1406276/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2215560 memory=234464 CPUtime=1782.13 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 223802 0 0 0 176964 1249 0 0 20 0 1 0 217163798 2268733440 58616 33554432000 4194304 5849708 140727423788544 140727423787704 139715293405063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 553890 58616 738 405 0 550835 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 2215560 KiB
Current children cumulated memory: 234464 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21997
/proc/meminfo: memFree=1398708/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2222616 memory=241656 CPUtime=1842.13 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 236393 0 0 0 182933 1280 0 0 20 0 1 0 217163798 2275958784 60414 33554432000 4194304 5849708 140727423788544 140727423787544 5438278 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 555654 60414 738 405 0 552599 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 2222616 KiB
Current children cumulated memory: 241656 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21998
/proc/meminfo: memFree=1364672/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2224796 memory=243744 CPUtime=1902.12 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 241617 0 0 0 188909 1303 0 0 20 0 1 0 217163798 2278191104 60936 33554432000 4194304 5849708 140727423788544 140727423787704 139715293405063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 556199 60936 738 405 0 553144 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 2224796 KiB
Current children cumulated memory: 243744 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21999
/proc/meminfo: memFree=1376828/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2244528 memory=263568 CPUtime=1962.11 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 258982 0 0 0 194882 1329 0 0 20 0 1 0 217163798 2298396672 65892 33554432000 4194304 5849708 140727423788544 140727423787416 5400181 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 561132 65892 738 405 0 558077 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 2244528 KiB
Current children cumulated memory: 263568 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22000
/proc/meminfo: memFree=1392480/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2223348 memory=242256 CPUtime=2022.11 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 264210 0 0 0 200860 1351 0 0 20 0 1 0 217163798 2276708352 60564 33554432000 4194304 5849708 140727423788544 140727423787544 5437824 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 555837 60564 738 405 0 552782 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 2223348 KiB
Current children cumulated memory: 242256 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22001
/proc/meminfo: memFree=1352760/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2263960 memory=282836 CPUtime=2082.11 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 281138 0 0 0 206825 1386 0 0 20 0 1 0 217163798 2318295040 70709 33554432000 4194304 5849708 140727423788544 140727423787544 5335584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 565990 70709 738 405 0 562935 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 2263960 KiB
Current children cumulated memory: 282836 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 22002
/proc/meminfo: memFree=1384976/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2233056 memory=252068 CPUtime=2142.1 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 302168 0 0 0 212797 1413 0 0 20 0 1 0 217163798 2286649344 63017 33554432000 4194304 5849708 140727423788544 140727423787544 139715293405063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 558264 63017 738 405 0 555209 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 2233056 KiB
Current children cumulated memory: 252068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22004
/proc/meminfo: memFree=1356168/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2256272 memory=275312 CPUtime=2202.1 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 318580 0 0 0 218772 1438 0 0 20 0 1 0 217163798 2310422528 68828 33554432000 4194304 5849708 140727423788544 140727423787704 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 564068 68828 738 405 0 561013 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 2256272 KiB
Current children cumulated memory: 275312 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22005
/proc/meminfo: memFree=1370540/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2234220 memory=253100 CPUtime=2262.1 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 324568 0 0 0 224742 1468 0 0 20 0 1 0 217163798 2287841280 63275 33554432000 4194304 5849708 140727423788544 140727423787544 5437616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 558555 63275 738 405 0 555500 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 2234220 KiB
Current children cumulated memory: 253100 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 22006
/proc/meminfo: memFree=1295488/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2281552 memory=300592 CPUtime=2322.1 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 345505 0 0 0 230711 1499 0 0 20 0 1 0 217163798 2336309248 75148 33554432000 4194304 5849708 140727423788544 140727423787544 5437828 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 570388 75148 738 405 0 567333 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 2281552 KiB
Current children cumulated memory: 300592 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 22007
/proc/meminfo: memFree=1343848/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2232864 memory=251664 CPUtime=2382.09 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 349200 0 0 0 236684 1525 0 0 20 0 1 0 217163798 2286452736 62916 33554432000 4194304 5849708 140727423788544 140727423787544 139715293405063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 558216 62916 738 405 0 555161 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 2232864 KiB
Current children cumulated memory: 251664 KiB
[startup+2442.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 22016
/proc/meminfo: memFree=1373080/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2235560 memory=254600 CPUtime=2442.09 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 369182 0 0 0 242640 1569 0 0 20 0 1 0 217163798 2289213440 63650 33554432000 4194304 5849708 140727423788544 140727423787544 5307527 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 558890 63650 738 405 0 555835 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 2235560 KiB
Current children cumulated memory: 254600 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 22017
/proc/meminfo: memFree=1312256/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2264192 memory=283232 CPUtime=2502.08 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 372852 0 0 0 248615 1593 0 0 20 0 1 0 217163798 2318532608 70808 33554432000 4194304 5849708 140727423788544 140727423787544 139715293405063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 566048 70808 738 405 0 562993 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 2264192 KiB
Current children cumulated memory: 283232 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.94 2.01 2.04 3/188 22078
/proc/meminfo: memFree=1519692/32770624 swapFree=67108796/67108860
[pid=21917] ppid=21914 vsize=2264192 memory=283232 CPUtime=2519.79 cores=0,2,4,6
/proc/21917/stat : 21917 (xcsp_picat) R 21914 21917 21527 0 -1 4202496 372852 0 0 0 250379 1600 0 0 20 0 1 0 217163798 2318532608 70808 33554432000 4194304 5849708 140727423788544 140727423787544 139715293405063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 28946432 140727423792310 140727423792388 140727423792388 140727423795146 0
/proc/21917/statm: 566048 70808 738 405 0 562993 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 2264192 KiB
Current children cumulated memory: 283232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 21917 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2503.8 s, system=16.0098 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.81
CPU user time (s): 2503.8
CPU system time (s): 16.0098
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 2337992
Max. memory (cumulated for all children) (KiB): 357032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.8
system time used= 16.0098
maximum resident set size= 357032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372852
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= 25
involuntary context switches= 3166
# summary of solver processes directly reported to runsolver:
# pid: 21917
# total CPU time (s): 2519.81
# total CPU user time (s): 2503.8
# total CPU system time (s): 16.0098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.4311 second user time and 18.7707 second system time
The end