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 (6008 MiB free)
memory of node 1: 16384 MiB (9107 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309809-1534299123/watcher-4309809-1534299123 -o /tmp/evaluation-result-4309809-1534299123/solver-4309809-1534299123 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534294082-5448 --watchdog 2580 xcsp_picat HOME/instance-4309809-1534299123.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=5989, runsolver pid=5986
Current StackSize limit: 8192 KiB
[startup+0.100188 s]*
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15454936/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2025744 memory=28216 CPUtime=0.1 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 1612 0 0 0 10 0 0 0 20 0 1 0 247475430 2074361856 7054 33554432000 4194304 5849940 140729997626000 140729997626000 4504238 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 506436 7054 641 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28216 KiB
[startup+0.210136 s]*
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15444324/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2025876 memory=36916 CPUtime=0.21 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 1725 0 0 0 20 1 0 0 20 0 1 0 247475430 2074497024 9229 33554432000 4194304 5849940 140729997626000 140729997626000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 506469 9229 698 405 0 503413 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025876 KiB
Current children cumulated memory: 36916 KiB
[startup+0.309958 s]*
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15444324/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2025876 memory=36916 CPUtime=0.31 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 1725 0 0 0 30 1 0 0 20 0 1 0 247475430 2074497024 9229 33554432000 4194304 5849940 140729997626000 140729997626000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 506469 9229 698 405 0 503413 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025876 KiB
Current children cumulated memory: 36916 KiB
[startup+0.700293 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15443572/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2026068 memory=37236 CPUtime=0.69 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 1792 0 0 0 68 1 0 0 20 0 1 0 247475430 2074693632 9309 33554432000 4194304 5849940 140729997626000 140729997626000 5521670 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 506517 9309 716 405 0 503461 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026068 KiB
Current children cumulated memory: 37236 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15443572/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2026068 memory=37236 CPUtime=1.49 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 1792 0 0 0 148 1 0 0 20 0 1 0 247475430 2074693632 9309 33554432000 4194304 5849940 140729997626000 140729997625240 5606405 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 506517 9309 716 405 0 503461 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2026068 KiB
Current children cumulated memory: 37236 KiB
[startup+3.10892 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15443684/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2026068 memory=37236 CPUtime=3.1 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 1864 0 0 0 309 1 0 0 20 0 1 0 247475430 2074693632 9309 33554432000 4194304 5849940 140729997626000 140729997625096 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 506517 9309 716 405 0 503461 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026068 KiB
Current children cumulated memory: 37236 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15442940/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2026912 memory=37968 CPUtime=6.29 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 2252 0 0 0 627 2 0 0 20 0 1 0 247475430 2075557888 9492 33554432000 4194304 5849940 140729997626000 140729997625096 5618781 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 506728 9492 720 405 0 503672 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2026912 KiB
Current children cumulated memory: 37968 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15437376/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2032500 memory=43688 CPUtime=12.69 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 4144 0 0 0 1263 6 0 0 20 0 1 0 247475430 2081280000 10922 33554432000 4194304 5849940 140729997626000 140729997625240 5472038 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 508125 10922 721 405 0 505069 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2032500 KiB
Current children cumulated memory: 43688 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5990
/proc/meminfo: memFree=15401960/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2067096 memory=78272 CPUtime=25.49 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 22062 0 0 0 2540 9 0 0 20 0 1 0 247475430 2116706304 19568 33554432000 4194304 5849940 140729997626000 140729997623544 5317724 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 516774 19568 749 405 0 513718 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2067096 KiB
Current children cumulated memory: 78272 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6051
/proc/meminfo: memFree=15566232/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2060344 memory=71304 CPUtime=51.1 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 31706 0 0 0 5096 14 0 0 20 0 1 0 247475430 2109792256 17826 33554432000 4194304 5849940 140729997626000 140729997625000 5438029 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 515086 17826 753 405 0 512030 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2060344 KiB
Current children cumulated memory: 71304 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6051
/proc/meminfo: memFree=15479320/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2061876 memory=75476 CPUtime=102.3 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 34315 0 0 0 10204 26 0 0 20 0 1 0 247475430 2111361024 18869 33554432000 4194304 5849940 140729997626000 140729997625000 5438264 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 515469 18869 753 405 0 512413 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2061876 KiB
Current children cumulated memory: 75476 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6052
/proc/meminfo: memFree=15492496/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2061876 memory=75476 CPUtime=162.3 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 36183 0 0 0 16193 37 0 0 20 0 1 0 247475430 2111361024 18869 33554432000 4194304 5849940 140729997626000 140729997625000 5438039 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 515469 18869 753 405 0 512413 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2061876 KiB
Current children cumulated memory: 75476 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6053
/proc/meminfo: memFree=15491572/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2061744 memory=76728 CPUtime=222.31 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 36925 0 0 0 22185 46 0 0 20 0 1 0 247475430 2111225856 19182 33554432000 4194304 5849940 140729997626000 140729997625160 5353927 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 515436 19182 753 405 0 512380 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 2061744 KiB
Current children cumulated memory: 76728 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6054
/proc/meminfo: memFree=15479496/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2072276 memory=87480 CPUtime=282.31 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 38682 0 0 0 28171 60 0 0 20 0 1 0 247475430 2122010624 21870 33554432000 4194304 5849940 140729997626000 140729997624488 4211639 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 518069 21870 762 405 0 515013 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2072276 KiB
Current children cumulated memory: 87480 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6055
/proc/meminfo: memFree=15479532/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2072276 memory=87480 CPUtime=342.32 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 38695 0 0 0 34154 78 0 0 20 0 1 0 247475430 2122010624 21870 33554432000 4194304 5849940 140729997626000 140729997624488 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 518069 21870 762 405 0 515013 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2072276 KiB
Current children cumulated memory: 87480 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6056
/proc/meminfo: memFree=15447092/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2105048 memory=120252 CPUtime=402.33 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 39228 0 0 0 40114 119 0 0 20 0 1 0 247475430 2155569152 30063 33554432000 4194304 5849940 140729997626000 140729997625000 5392220 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 526262 30063 762 405 0 523206 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 2105048 KiB
Current children cumulated memory: 120252 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6057
/proc/meminfo: memFree=15447144/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2105048 memory=120252 CPUtime=462.34 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 39233 0 0 0 46081 153 0 0 20 0 1 0 247475430 2155569152 30063 33554432000 4194304 5849940 140729997626000 140729997625000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 526262 30063 762 405 0 523206 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 2105048 KiB
Current children cumulated memory: 120252 KiB
################
# More data... #
################
/proc/5989/statm: 542184 45938 762 405 0 539128 0
Current children cumulated CPU time: 1722.48 s
Current children cumulated vsize: 2168736 KiB
Current children cumulated memory: 183752 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6105
/proc/meminfo: memFree=15377708/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2168736 memory=183872 CPUtime=1782.5 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 102491 0 0 0 177366 884 0 0 20 0 1 0 247475430 2220785664 45968 33554432000 4194304 5849940 140729997626000 140729997625000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 542184 45968 762 405 0 539128 0
Current children cumulated CPU time: 1782.5 s
Current children cumulated vsize: 2168736 KiB
Current children cumulated memory: 183872 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6106
/proc/meminfo: memFree=15377784/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2168736 memory=183728 CPUtime=1842.5 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 104118 0 0 0 183339 911 0 0 20 0 1 0 247475430 2220785664 45932 33554432000 4194304 5849940 140729997626000 140729997625000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 542184 45932 762 405 0 539128 0
Current children cumulated CPU time: 1842.5 s
Current children cumulated vsize: 2168736 KiB
Current children cumulated memory: 183728 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6107
/proc/meminfo: memFree=15398956/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2135968 memory=151104 CPUtime=1902.51 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 104653 0 0 0 189313 938 0 0 20 0 1 0 247475430 2187231232 37776 33554432000 4194304 5849940 140729997626000 140729997625000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 533992 37776 762 405 0 530936 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 2135968 KiB
Current children cumulated memory: 151104 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6108
/proc/meminfo: memFree=15399024/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2135968 memory=151104 CPUtime=1962.52 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 115999 0 0 0 195288 964 0 0 20 0 1 0 247475430 2187231232 37776 33554432000 4194304 5849940 140729997626000 140729997625000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 533992 37776 762 405 0 530936 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 2135968 KiB
Current children cumulated memory: 151104 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6110
/proc/meminfo: memFree=15350792/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2168736 memory=183872 CPUtime=2022.53 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 117467 0 0 0 201257 996 0 0 20 0 1 0 247475430 2220785664 45968 33554432000 4194304 5849940 140729997626000 140729997625000 5438033 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 542184 45968 762 405 0 539128 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 2168736 KiB
Current children cumulated memory: 183872 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6111
/proc/meminfo: memFree=15350596/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2168736 memory=183624 CPUtime=2082.53 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 119318 0 0 0 207231 1022 0 0 20 0 1 0 247475430 2220785664 45906 33554432000 4194304 5849940 140729997626000 140729997625000 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 542184 45906 762 405 0 539128 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 2168736 KiB
Current children cumulated memory: 183624 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6112
/proc/meminfo: memFree=15383104/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2135968 memory=151104 CPUtime=2142.54 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 120039 0 0 0 213203 1051 0 0 20 0 1 0 247475430 2187231232 37776 33554432000 4194304 5849940 140729997626000 140729997625000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 533992 37776 762 405 0 530936 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 2135968 KiB
Current children cumulated memory: 151104 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6113
/proc/meminfo: memFree=15350452/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2168736 memory=183872 CPUtime=2202.55 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 129027 0 0 0 219176 1079 0 0 20 0 1 0 247475430 2220785664 45968 33554432000 4194304 5849940 140729997626000 140729997624264 5309808 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 542184 45968 762 405 0 539128 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 2168736 KiB
Current children cumulated memory: 183872 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/188 6114
/proc/meminfo: memFree=15382564/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2135968 memory=151104 CPUtime=2262.55 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 133055 0 0 0 225148 1107 0 0 20 0 1 0 247475430 2187231232 37776 33554432000 4194304 5849940 140729997626000 140729997625000 5438404 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 533992 37776 762 405 0 530936 0
Current children cumulated CPU time: 2262.55 s
Current children cumulated vsize: 2135968 KiB
Current children cumulated memory: 151104 KiB
[startup+2322.3 s]
/proc/loadavg: 2.45 2.13 2.01 3/188 6123
/proc/meminfo: memFree=15382408/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2135968 memory=151104 CPUtime=2322.56 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 133934 0 0 0 231122 1134 0 0 20 0 1 0 247475430 2187231232 37776 33554432000 4194304 5849940 140729997626000 140729997625000 5339651 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 533992 37776 762 405 0 530936 0
Current children cumulated CPU time: 2322.56 s
Current children cumulated vsize: 2135968 KiB
Current children cumulated memory: 151104 KiB
[startup+2382.3 s]
/proc/loadavg: 2.16 2.11 2.01 3/188 6124
/proc/meminfo: memFree=15317696/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2168736 memory=183852 CPUtime=2382.57 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 134500 0 0 0 237098 1159 0 0 20 0 1 0 247475430 2220785664 45963 33554432000 4194304 5849940 140729997626000 140729997625160 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 542184 45963 762 405 0 539128 0
Current children cumulated CPU time: 2382.57 s
Current children cumulated vsize: 2168736 KiB
Current children cumulated memory: 183852 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 2.09 2.01 3/188 6125
/proc/meminfo: memFree=15329864/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2171796 memory=171452 CPUtime=2442.57 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 145863 0 0 0 243069 1188 0 0 20 0 1 0 247475430 2223919104 42863 33554432000 4194304 5849940 140729997626000 140729997625000 140588387019760 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 542949 42863 762 405 0 539893 0
Current children cumulated CPU time: 2442.57 s
Current children cumulated vsize: 2171796 KiB
Current children cumulated memory: 171452 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.07 2.01 3/188 6126
/proc/meminfo: memFree=15339176/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2147592 memory=162656 CPUtime=2502.59 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 151843 0 0 0 249038 1221 0 0 20 0 1 0 247475430 2199134208 40664 33554432000 4194304 5849940 140729997626000 140729997625000 140588387409799 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 536898 40664 762 405 0 533842 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 2147592 KiB
Current children cumulated memory: 162656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.02 2.07 2.01 3/188 6127
/proc/meminfo: memFree=15338804/32770624 swapFree=67108504/67108860
[pid=5989] ppid=5986 vsize=2147592 memory=162656 CPUtime=2520.08 cores=1,3,5,7
/proc/5989/stat : 5989 (xcsp_picat) R 5986 5989 5416 0 -1 4202496 151843 0 0 0 250779 1229 0 0 20 0 1 0 247475430 2199134208 40664 33554432000 4194304 5849940 140729997626000 140729997625000 5438053 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 42299392 140729997632694 140729997632772 140729997632772 140729997635530 0
/proc/5989/statm: 536898 40664 762 405 0 533842 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2147592 KiB
Current children cumulated memory: 162656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 5989 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.8 s, system=12.3025 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): 2519.81
CPU time (s): 2520.1
CPU user time (s): 2507.8
CPU system time (s): 12.3025
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2200836
Max. memory (cumulated for all children) (KiB): 215972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.8
system time used= 12.3025
maximum resident set size= 215972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151843
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= 10
involuntary context switches= 797
# summary of solver processes directly reported to runsolver:
# pid: 5989
# total CPU time (s): 2520.1
# total CPU user time (s): 2507.8
# total CPU system time (s): 12.3025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.368 second user time and 18.1821 second system time
The end