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 (8881 MiB free)
memory of node 1: 16384 MiB (8371 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309363-1534313281/watcher-4309363-1534313281 -o /tmp/evaluation-result-4309363-1534313281/solver-4309363-1534313281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16588 --watchdog 2580 xcsp_picat HOME/instance-4309363-1534313281.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
Starting watchdog threadCurrent StackSize limit: 8192 KiB
solver pid=18884, runsolver pid=18881
[startup+0.100212 s]*
/proc/loadavg: 1.92 2.04 2.06 3/187 18885
/proc/meminfo: memFree=17643476/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2033560 memory=30264 CPUtime=0.1 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 1583 0 0 0 10 0 0 0 20 0 1 0 248891316 2082365440 7566 33554432000 4194304 5849940 140731159062496 140731159062496 4819867 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 508390 7566 655 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 30264 KiB
[startup+0.209855 s]*
/proc/loadavg: 1.92 2.04 2.06 3/187 18885
/proc/meminfo: memFree=17637396/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2034916 memory=31844 CPUtime=0.21 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 2008 0 0 0 19 2 0 0 20 0 1 0 248891316 2083753984 7961 33554432000 4194304 5849940 140731159062496 140731159062496 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 508729 7961 704 405 0 505673 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2034916 KiB
Current children cumulated memory: 31844 KiB
[startup+0.309642 s]*
/proc/loadavg: 1.92 2.04 2.06 3/187 18885
/proc/meminfo: memFree=17637396/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2034916 memory=32040 CPUtime=0.3 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 2026 0 0 0 28 2 0 0 20 0 1 0 248891316 2083753984 8010 33554432000 4194304 5849940 140731159062496 140731159062496 5606384 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 508729 8010 721 405 0 505673 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2034916 KiB
Current children cumulated memory: 32040 KiB
[startup+0.70036 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 18885
/proc/meminfo: memFree=17637024/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2036944 memory=33768 CPUtime=0.69 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 2665 0 0 0 66 3 0 0 20 0 1 0 248891316 2085830656 8442 33554432000 4194304 5849940 140731159062496 140731159061720 5368943 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 509236 8442 738 405 0 506180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2036944 KiB
Current children cumulated memory: 33768 KiB
[startup+1.50035 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 18885
/proc/meminfo: memFree=17635768/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2037896 memory=34828 CPUtime=1.49 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 3029 0 0 0 146 3 0 0 20 0 1 0 248891316 2086805504 8707 33554432000 4194304 5849940 140731159062496 140731159061720 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 509474 8707 746 405 0 506418 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037896 KiB
Current children cumulated memory: 34828 KiB
[startup+3.10934 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 18885
/proc/meminfo: memFree=17634456/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2038336 memory=35260 CPUtime=3.1 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 4560 0 0 0 304 6 0 0 20 0 1 0 248891316 2087256064 8815 33554432000 4194304 5849940 140731159062496 140731159061656 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 509584 8815 763 405 0 506528 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038336 KiB
Current children cumulated memory: 35260 KiB
[startup+6.30033 s]
/proc/loadavg: 1.85 2.02 2.05 3/187 18885
/proc/meminfo: memFree=17632376/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2040656 memory=37840 CPUtime=6.29 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 6419 0 0 0 619 10 0 0 20 0 1 0 248891316 2089631744 9460 33554432000 4194304 5849940 140731159062496 140731159060984 5356025 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 510164 9460 763 405 0 507108 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040656 KiB
Current children cumulated memory: 37840 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.02 2.05 3/187 18885
/proc/meminfo: memFree=17632500/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2042368 memory=39404 CPUtime=12.69 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 10037 0 0 0 1250 19 0 0 20 0 1 0 248891316 2091384832 9851 33554432000 4194304 5849940 140731159062496 140731159061496 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 510592 9851 763 405 0 507536 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2042368 KiB
Current children cumulated memory: 39404 KiB
[startup+25.5004 s]
/proc/loadavg: 1.89 2.02 2.05 3/187 18885
/proc/meminfo: memFree=17618508/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2052612 memory=49796 CPUtime=25.49 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 16443 0 0 0 2523 26 0 0 20 0 1 0 248891316 2101874688 12449 33554432000 4194304 5849940 140731159062496 140731159061496 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 513153 12449 763 405 0 510097 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2052612 KiB
Current children cumulated memory: 49796 KiB
[startup+51.1095 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 18885
/proc/meminfo: memFree=17608508/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2056560 memory=53744 CPUtime=51.09 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 29526 0 0 0 5071 38 0 0 20 0 1 0 248891316 2105917440 13436 33554432000 4194304 5849940 140731159062496 140731159061496 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 514140 13436 763 405 0 511084 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2056560 KiB
Current children cumulated memory: 53744 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.06 2.06 3/187 18886
/proc/meminfo: memFree=17601740/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2063168 memory=60368 CPUtime=102.28 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 58248 0 0 0 10167 61 0 0 20 0 1 0 248891316 2112684032 15092 33554432000 4194304 5849940 140731159062496 140731159061656 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 515792 15092 763 405 0 512736 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2063168 KiB
Current children cumulated memory: 60368 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/188 18895
/proc/meminfo: memFree=17604600/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2059404 memory=56644 CPUtime=162.28 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 90913 0 0 0 16137 91 0 0 20 0 1 0 248891316 2108829696 14161 33554432000 4194304 5849940 140731159062496 140731159061496 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 514851 14161 763 405 0 511795 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2059404 KiB
Current children cumulated memory: 56644 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 18896
/proc/meminfo: memFree=17611888/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2052124 memory=48268 CPUtime=222.27 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 119185 0 0 0 22112 115 0 0 20 0 1 0 248891316 2101374976 12067 33554432000 4194304 5849940 140731159062496 140731159061496 5359273 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 513031 12067 763 405 0 509975 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2052124 KiB
Current children cumulated memory: 48268 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/188 18897
/proc/meminfo: memFree=17602504/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2062576 memory=59100 CPUtime=282.27 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 142029 0 0 0 28089 138 0 0 20 0 1 0 248891316 2112077824 14775 33554432000 4194304 5849940 140731159062496 140731159061496 5437839 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 515644 14775 763 405 0 512588 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2062576 KiB
Current children cumulated memory: 59100 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 18898
/proc/meminfo: memFree=17535396/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2068904 memory=65680 CPUtime=342.26 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 166839 0 0 0 34065 161 0 0 20 0 1 0 248891316 2118557696 16420 33554432000 4194304 5849940 140731159062496 140731159061496 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 517226 16420 763 405 0 514170 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2068904 KiB
Current children cumulated memory: 65680 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 18899
/proc/meminfo: memFree=17511172/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2090952 memory=88024 CPUtime=402.26 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 186679 0 0 0 40038 188 0 0 20 0 1 0 248891316 2141134848 22006 33554432000 4194304 5849940 140731159062496 140731159061496 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 522738 22006 763 405 0 519682 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2090952 KiB
Current children cumulated memory: 88024 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18900
/proc/meminfo: memFree=17492384/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2109176 memory=106464 CPUtime=462.26 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 199110 0 0 0 46023 203 0 0 20 0 1 0 248891316 2159796224 26616 33554432000 4194304 5849940 140731159062496 140731159061496 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 527294 26616 763 405 0 524238 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2109176 KiB
Current children cumulated memory: 106464 KiB
################
# More data... #
################
/proc/18884/statm: 558498 57768 763 405 0 555442 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 2233992 KiB
Current children cumulated memory: 231072 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18940
/proc/meminfo: memFree=17328492/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2233992 memory=231072 CPUtime=1782.14 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 341916 0 0 0 177663 551 0 0 20 0 1 0 248891316 2287607808 57768 33554432000 4194304 5849940 140731159062496 140731159061496 5335818 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 558498 57768 763 405 0 555442 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 2233992 KiB
Current children cumulated memory: 231072 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18941
/proc/meminfo: memFree=17264096/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2272288 memory=275452 CPUtime=1842.13 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 343716 0 0 0 183654 559 0 0 20 0 1 0 248891316 2326822912 68863 33554432000 4194304 5849940 140731159062496 140731159061496 5335741 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 568072 68863 763 405 0 565016 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 2272288 KiB
Current children cumulated memory: 275452 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18942
/proc/meminfo: memFree=17264228/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2272288 memory=275640 CPUtime=1902.14 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 343859 0 0 0 189646 568 0 0 20 0 1 0 248891316 2326822912 68910 33554432000 4194304 5849940 140731159062496 140731159061368 5399875 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 568072 68910 763 405 0 565016 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 2272288 KiB
Current children cumulated memory: 275640 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19011
/proc/meminfo: memFree=18970460/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2322852 memory=326072 CPUtime=1962.13 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 356530 0 0 0 195635 578 0 0 20 0 1 0 248891316 2378600448 81518 33554432000 4194304 5849940 140731159062496 140731159061496 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 580713 81518 763 405 0 577657 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 2322852 KiB
Current children cumulated memory: 326072 KiB
[startup+2022.3 s]
/proc/loadavg: 2.17 2.06 2.06 3/188 19076
/proc/meminfo: memFree=19015400/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2252748 memory=255880 CPUtime=2022.12 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 365453 0 0 0 201621 591 0 0 20 0 1 0 248891316 2306813952 63970 33554432000 4194304 5849940 140731159062496 140731159061368 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 563187 63970 763 405 0 560131 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 2252748 KiB
Current children cumulated memory: 255880 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 19077
/proc/meminfo: memFree=18986220/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2269132 memory=272356 CPUtime=2082.12 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 373263 0 0 0 207611 601 0 0 20 0 1 0 248891316 2323591168 68089 33554432000 4194304 5849940 140731159062496 140731159061496 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 567283 68089 763 405 0 564227 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 2269132 KiB
Current children cumulated memory: 272356 KiB
[startup+2142.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 19078
/proc/meminfo: memFree=18945740/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2303688 memory=306900 CPUtime=2142.11 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 374425 0 0 0 213602 609 0 0 20 0 1 0 248891316 2358976512 76725 33554432000 4194304 5849940 140731159062496 140731159061496 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 575922 76725 763 405 0 572866 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 2303688 KiB
Current children cumulated memory: 306900 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 19079
/proc/meminfo: memFree=18900976/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2345428 memory=348652 CPUtime=2202.11 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 381468 0 0 0 219592 619 0 0 20 0 1 0 248891316 2401718272 87163 33554432000 4194304 5849940 140731159062496 140731159061496 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 586357 87163 763 405 0 583301 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 2345428 KiB
Current children cumulated memory: 348652 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 19080
/proc/meminfo: memFree=18861304/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2375704 memory=378928 CPUtime=2262.11 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 394873 0 0 0 225585 626 0 0 20 0 1 0 248891316 2432720896 94732 33554432000 4194304 5849940 140731159062496 140731159061496 5336193 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 593926 94732 763 405 0 590870 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 2375704 KiB
Current children cumulated memory: 378928 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 19081
/proc/meminfo: memFree=18859664/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2375704 memory=378928 CPUtime=2322.11 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 396384 0 0 0 231579 632 0 0 20 0 1 0 248891316 2432720896 94732 33554432000 4194304 5849940 140731159062496 140731159061496 5438470 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 593926 94732 763 405 0 590870 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 2375704 KiB
Current children cumulated memory: 378928 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 19082
/proc/meminfo: memFree=18861340/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2375704 memory=378928 CPUtime=2382.1 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 410200 0 0 0 237570 640 0 0 20 0 1 0 248891316 2432720896 94732 33554432000 4194304 5849940 140731159062496 140731159061656 140241714909063 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 593926 94732 763 405 0 590870 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 2375704 KiB
Current children cumulated memory: 378928 KiB
[startup+2442.3 s]
/proc/loadavg: 2.40 2.12 2.08 3/187 19083
/proc/meminfo: memFree=18755500/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2477072 memory=480296 CPUtime=2442.1 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 437819 0 0 0 243558 652 0 0 20 0 1 0 248891316 2536521728 120074 33554432000 4194304 5849940 140731159062496 140731159061496 5438492 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 619268 120074 763 405 0 616212 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 2477072 KiB
Current children cumulated memory: 480296 KiB
[startup+2502.3 s]
/proc/loadavg: 2.25 2.14 2.09 3/187 19084
/proc/meminfo: memFree=18746108/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2477072 memory=480296 CPUtime=2502.09 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 477293 0 0 0 249549 660 0 0 20 0 1 0 248891316 2536521728 120074 33554432000 4194304 5849940 140731159062496 140731159061496 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 619268 120074 763 405 0 616212 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 2477072 KiB
Current children cumulated memory: 480296 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.19 2.13 2.08 3/188 19092
/proc/meminfo: memFree=18756660/32770624 swapFree=67108860/67108860
[pid=18884] ppid=18881 vsize=2477072 memory=480236 CPUtime=2519.8 cores=0,2,4,6
/proc/18884/stat : 18884 (xcsp_picat) R 18881 18884 16557 0 -1 4202496 477899 0 0 0 251318 662 0 0 20 0 1 0 248891316 2536521728 120059 33554432000 4194304 5849940 140731159062496 140731159061496 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 39751680 140731159069878 140731159069956 140731159069956 140731159072714 0
/proc/18884/statm: 619268 120059 763 405 0 616212 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 2477072 KiB
Current children cumulated memory: 480236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 18884 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.18 s, system=6.63751 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.82
CPU user time (s): 2513.18
CPU system time (s): 6.63751
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 2477072
Max. memory (cumulated for all children) (KiB): 480296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.18
system time used= 6.63751
maximum resident set size= 480296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477900
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= 22
involuntary context switches= 3156
# summary of solver processes directly reported to runsolver:
# pid: 18884
# total CPU time (s): 2519.82
# total CPU user time (s): 2513.18
# total CPU system time (s): 6.63751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0088 second user time and 18.3417 second system time
The end