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 (15283 MiB free)
memory of node 1: 16384 MiB (15699 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395365-1568321705/watcher-4395365-1568321705 -o /tmp/evaluation-result-4395365-1568321705/solver-4395365-1568321705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18696 --watchdog 2580 xcsp_picat HOME/instance-4395365-1568321705.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=18719, runsolver pid=18716
[startup+0.100135 s]*
/proc/loadavg: 4.87 7.30 8.03 3/200 18726
/proc/meminfo: memFree=31688696/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=2031716 memory=29844 CPUtime=0.1 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 1499 0 0 0 10 0 0 0 20 0 1 0 408433172 2080477184 7461 33554432000 4194304 5870510 140721335396640 140721335393784 4632699 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 507929 7461 864 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 29844 KiB
[startup+0.209696 s]*
/proc/loadavg: 4.87 7.30 8.03 3/200 18726
/proc/meminfo: memFree=31669500/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=2031716 memory=48276 CPUtime=0.21 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 1508 0 0 0 21 0 0 0 20 0 1 0 408433172 2080477184 12069 33554432000 4194304 5870510 140721335396640 140721335393784 4509763 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 507929 12069 864 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 48276 KiB
[startup+0.309421 s]*
/proc/loadavg: 4.87 7.30 8.03 3/200 18726
/proc/meminfo: memFree=31652868/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=2031716 memory=62612 CPUtime=0.3 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 1515 0 0 0 30 0 0 0 20 0 1 0 408433172 2080477184 15653 33554432000 4194304 5870510 140721335396640 140721335393784 4520559 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 507929 15653 864 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 62612 KiB
[startup+0.700352 s]
/proc/loadavg: 4.87 7.30 8.03 3/200 18726
/proc/meminfo: memFree=31621020/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=2031716 memory=124124 CPUtime=0.69 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 1545 0 0 0 68 1 0 0 20 0 1 0 408433172 2080477184 31031 33554432000 4194304 5870510 140721335396640 140721335395944 4429500 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 507929 31031 866 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 124124 KiB
[startup+1.50039 s]
/proc/loadavg: 4.87 7.30 8.03 3/200 18726
/proc/meminfo: memFree=31540368/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=2031716 memory=251100 CPUtime=1.49 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 1607 0 0 0 146 3 0 0 20 0 1 0 408433172 2080477184 62775 33554432000 4194304 5870510 140721335396640 140721335395944 4815839 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 507929 62775 866 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 251100 KiB
[startup+3.10953 s]
/proc/loadavg: 4.87 7.30 8.03 5/213 18755
/proc/meminfo: memFree=31303320/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=2031716 memory=401840 CPUtime=3.1 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 2366 0 0 0 305 5 0 0 20 0 1 0 408433172 2080477184 100460 33554432000 4194304 5870510 140721335396640 140721335395944 4459007 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 507929 100460 875 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 401840 KiB
[startup+6.30037 s]
/proc/loadavg: 4.64 7.21 8.00 3/200 18787
/proc/meminfo: memFree=30540752/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=2453312 memory=870060 CPUtime=6.29 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 5027 0 0 0 613 16 0 0 20 0 1 0 408433172 2512191488 217515 33554432000 4194304 5870510 140721335396640 140721335395960 5355029 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 613328 217515 895 410 0 608801 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2453312 KiB
Current children cumulated memory: 870060 KiB
[startup+12.7004 s]
/proc/loadavg: 4.43 7.13 7.97 3/200 18787
/proc/meminfo: memFree=29001776/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=4323032 memory=2481996 CPUtime=12.69 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 101301 0 0 0 1220 49 0 0 20 0 1 0 408433172 4426784768 620499 33554432000 4194304 5870510 140721335396640 140721335395416 140190581603301 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1080758 620499 909 410 0 1076231 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4323032 KiB
Current children cumulated memory: 2481996 KiB
[startup+25.5004 s]
/proc/loadavg: 3.89 6.88 7.87 3/200 18788
/proc/meminfo: memFree=26797796/32770624 swapFree=66979560/67108860
[pid=18719] ppid=18716 vsize=6815292 memory=4547148 CPUtime=25.48 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 293982 0 0 0 2449 99 0 0 20 0 1 0 408433172 6978859008 1136787 33554432000 4194304 5870510 140721335396640 140721335395144 5261111 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1703823 1136787 917 410 0 1699296 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 6815292 KiB
Current children cumulated memory: 4547148 KiB
[startup+51.1096 s]
/proc/loadavg: 3.25 6.48 7.72 3/199 18791
/proc/meminfo: memFree=26611340/32770624 swapFree=66979572/67108860
[pid=18719] ppid=18716 vsize=6911256 memory=4650484 CPUtime=51.09 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 432699 0 0 0 4996 113 0 0 20 0 1 0 408433172 7077126144 1162621 33554432000 4194304 5870510 140721335396640 140721335395128 5337257 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1727814 1162621 917 410 0 1723287 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 6911256 KiB
Current children cumulated memory: 4650484 KiB
[startup+102.3 s]
/proc/loadavg: 2.67 5.83 7.43 3/199 18795
/proc/meminfo: memFree=26489560/32770624 swapFree=66979572/67108860
[pid=18719] ppid=18716 vsize=6684992 memory=4759384 CPUtime=102.27 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 1192276 0 0 0 10050 177 0 0 20 0 1 0 408433172 6845431808 1189846 33554432000 4194304 5870510 140721335396640 140721335395800 5337395 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1671248 1189846 920 410 0 1666721 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 6684992 KiB
Current children cumulated memory: 4759384 KiB
[startup+162.3 s]
/proc/loadavg: 2.83 5.33 7.16 3/199 18799
/proc/meminfo: memFree=25647032/32770624 swapFree=66979572/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5664620 CPUtime=162.26 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 1837585 0 0 0 15933 293 0 0 20 0 1 0 408433172 8252858368 1416155 33554432000 4194304 5870510 140721335396640 140721335395896 5283102 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1416155 940 410 0 2010331 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5664620 KiB
[startup+222.3 s]
/proc/loadavg: 2.30 4.73 6.84 3/199 18806
/proc/meminfo: memFree=25535392/32770624 swapFree=66979576/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5666724 CPUtime=222.26 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 2213876 0 0 0 21907 319 0 0 20 0 1 0 408433172 8252858368 1416681 33554432000 4194304 5870510 140721335396640 140721335395752 5281854 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1416681 942 410 0 2010331 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5666724 KiB
[startup+282.3 s]
/proc/loadavg: 2.11 4.23 6.53 3/199 18810
/proc/meminfo: memFree=25505120/32770624 swapFree=66979576/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5683108 CPUtime=282.26 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 2529098 0 0 0 27887 339 0 0 20 0 1 0 408433172 8252858368 1420777 33554432000 4194304 5870510 140721335396640 140721335395752 140190581602981 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1420777 942 410 0 2010331 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5683108 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 3.83 6.25 3/200 18822
/proc/meminfo: memFree=25495720/32770624 swapFree=66979588/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5701540 CPUtime=342.24 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 2823896 0 0 0 33866 358 0 0 20 0 1 0 408433172 8252858368 1425385 33554432000 4194304 5870510 140721335396640 140721335395752 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1425385 942 410 0 2010331 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5701540 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 3.49 5.98 3/201 18851
/proc/meminfo: memFree=25462544/32770624 swapFree=66979596/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5717924 CPUtime=402.24 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 3171299 0 0 0 39843 381 0 0 20 0 1 0 408433172 8252858368 1429481 33554432000 4194304 5870510 140721335396640 140721335395752 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1429481 942 410 0 2010331 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5717924 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 3.22 5.73 3/201 18855
/proc/meminfo: memFree=25452228/32770624 swapFree=66979596/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5734360 CPUtime=462.23 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 3499001 0 0 0 45821 402 0 0 20 0 1 0 408433172 8252858368 1433590 33554432000 4194304 5870510 140721335396640 140721335395752 5282721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1433590 942 410 0 2010331 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5734360 KiB
################
# More data... #
################
/proc/18719/statm: 2014858 1474834 942 410 0 2010331 0
Current children cumulated CPU time: 1721.99 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5899336 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.90 3/200 18973
/proc/meminfo: memFree=25441396/32770624 swapFree=66979620/67108860
[pid=18719] ppid=18716 vsize=7491904 memory=5707068 CPUtime=1781.98 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 9089332 0 0 0 177397 801 0 0 20 0 1 0 408433172 7671709696 1426767 33554432000 4194304 5870510 140721335396640 140721335395656 5282429 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1872976 1426767 942 410 0 1868449 0
Current children cumulated CPU time: 1781.98 s
Current children cumulated vsize: 7491904 KiB
Current children cumulated memory: 5707068 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.84 3/199 18980
/proc/meminfo: memFree=25403848/32770624 swapFree=66979620/67108860
[pid=18719] ppid=18716 vsize=7491904 memory=5734592 CPUtime=1841.97 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 9148202 0 0 0 183393 804 0 0 20 0 1 0 408433172 7671709696 1433648 33554432000 4194304 5870510 140721335396640 140721335395656 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1872976 1433648 942 410 0 1868449 0
Current children cumulated CPU time: 1841.97 s
Current children cumulated vsize: 7491904 KiB
Current children cumulated memory: 5734592 KiB
[startup+1902.3 s]
/proc/loadavg: 2.16 2.05 2.80 3/199 18984
/proc/meminfo: memFree=25370192/32770624 swapFree=66979620/67108860
[pid=18719] ppid=18716 vsize=7491904 memory=5750976 CPUtime=1901.97 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 9211531 0 0 0 189388 809 0 0 20 0 1 0 408433172 7671709696 1437744 33554432000 4194304 5870510 140721335396640 140721335395656 5282429 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1872976 1437744 942 410 0 1868449 0
Current children cumulated CPU time: 1901.97 s
Current children cumulated vsize: 7491904 KiB
Current children cumulated memory: 5750976 KiB
[startup+1962.3 s]
/proc/loadavg: 2.46 2.17 2.80 3/199 18988
/proc/meminfo: memFree=25334780/32770624 swapFree=66979620/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5772472 CPUtime=1961.97 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 9311825 0 0 0 195381 816 0 0 20 0 1 0 408433172 8252858368 1443118 33554432000 4194304 5870510 140721335396640 140721335395592 5282759 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1443118 942 410 0 2010331 0
Current children cumulated CPU time: 1961.97 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5772472 KiB
[startup+2022.3 s]
/proc/loadavg: 2.23 2.16 2.75 3/199 18995
/proc/meminfo: memFree=25318188/32770624 swapFree=66979620/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5801144 CPUtime=2021.96 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 9606128 0 0 0 201363 833 0 0 20 0 1 0 408433172 8252858368 1450286 33554432000 4194304 5870510 140721335396640 140721335395592 5308227 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1450286 942 410 0 2010331 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5801144 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.13 2.71 3/199 18999
/proc/meminfo: memFree=25281120/32770624 swapFree=66979620/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5848248 CPUtime=2081.96 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 9834415 0 0 0 207349 847 0 0 20 0 1 0 408433172 8252858368 1462062 33554432000 4194304 5870510 140721335396640 140721335395592 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1462062 942 410 0 2010331 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5848248 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.10 2.66 3/199 19010
/proc/meminfo: memFree=25242008/32770624 swapFree=66979628/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5883064 CPUtime=2141.95 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 10075417 0 0 0 213335 860 0 0 20 0 1 0 408433172 8252858368 1470766 33554432000 4194304 5870510 140721335396640 140721335395592 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1470766 942 410 0 2010331 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5883064 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.09 2.62 3/199 19016
/proc/meminfo: memFree=25211536/32770624 swapFree=66979628/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5901496 CPUtime=2201.95 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 10287578 0 0 0 219324 871 0 0 20 0 1 0 408433172 8252858368 1475374 33554432000 4194304 5870510 140721335396640 140721335395592 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1475374 942 410 0 2010331 0
Current children cumulated CPU time: 2201.95 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5901496 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.07 2.58 3/199 19020
/proc/meminfo: memFree=24571272/32770624 swapFree=66979628/67108860
[pid=18719] ppid=18716 vsize=8967480 memory=6632696 CPUtime=2261.92 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 10557291 0 0 0 225297 895 0 0 20 0 1 0 408433172 9182699520 1658174 33554432000 4194304 5870510 140721335396640 140721335395208 5271067 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2241870 1658174 942 410 0 2237343 0
Current children cumulated CPU time: 2261.92 s
Current children cumulated vsize: 8967480 KiB
Current children cumulated memory: 6632696 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.55 3/199 19024
/proc/meminfo: memFree=25372124/32770624 swapFree=66979628/67108860
[pid=18719] ppid=18716 vsize=7491904 memory=5722304 CPUtime=2321.92 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 10606259 0 0 0 231287 905 0 0 20 0 1 0 408433172 7671709696 1430576 33554432000 4194304 5870510 140721335396640 140721335395656 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1872976 1430576 942 410 0 1868449 0
Current children cumulated CPU time: 2321.92 s
Current children cumulated vsize: 7491904 KiB
Current children cumulated memory: 5722304 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.51 3/199 19030
/proc/meminfo: memFree=25380072/32770624 swapFree=66979628/67108860
[pid=18719] ppid=18716 vsize=7491904 memory=5738688 CPUtime=2381.91 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 10631905 0 0 0 237284 907 0 0 20 0 1 0 408433172 7671709696 1434672 33554432000 4194304 5870510 140721335396640 140721335395656 5282627 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1872976 1434672 942 410 0 1868449 0
Current children cumulated CPU time: 2381.91 s
Current children cumulated vsize: 7491904 KiB
Current children cumulated memory: 5738688 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.48 3/199 19034
/proc/meminfo: memFree=25359196/32770624 swapFree=66979628/67108860
[pid=18719] ppid=18716 vsize=7491904 memory=5755072 CPUtime=2441.91 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 10656842 0 0 0 243282 909 0 0 20 0 1 0 408433172 7671709696 1438768 33554432000 4194304 5870510 140721335396640 140721335395656 5308341 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 1872976 1438768 942 410 0 1868449 0
Current children cumulated CPU time: 2441.91 s
Current children cumulated vsize: 7491904 KiB
Current children cumulated memory: 5755072 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.45 3/199 19038
/proc/meminfo: memFree=25327248/32770624 swapFree=66979628/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5770424 CPUtime=2501.91 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 10671037 0 0 0 249279 912 0 0 20 0 1 0 408433172 8252858368 1442606 33554432000 4194304 5870510 140721335396640 140721335395592 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1442606 942 410 0 2010331 0
Current children cumulated CPU time: 2501.91 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5770424 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.44 3/199 19040
/proc/meminfo: memFree=25341516/32770624 swapFree=66979628/67108860
[pid=18719] ppid=18716 vsize=8059432 memory=5774520 CPUtime=2519.61 cores=1,3,5,7
/proc/18719/stat : 18719 (xcsp_picat) R 18716 18719 18664 0 -1 4202496 10739871 0 0 0 251046 915 0 0 20 0 1 0 408433172 8252858368 1443630 33554432000 4194304 5870510 140721335396640 140721335395592 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 43388928 140721335403551 140721335403629 140721335403629 140721335406538 0
/proc/18719/statm: 2014858 1443630 942 410 0 2010331 0
Current children cumulated CPU time: 2519.61 s
Current children cumulated vsize: 8059432 KiB
Current children cumulated memory: 5774520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.08 s]
# the end of solver process 18719 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.47 s, system=9.22146 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.08
CPU time (s): 2519.69
CPU user time (s): 2510.47
CPU system time (s): 9.22146
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 10746868
Max. memory (cumulated for all children) (KiB): 7553428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.47
system time used= 9.22146
maximum resident set size= 7553428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10739871
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= 618
involuntary context switches= 1493
# summary of solver processes directly reported to runsolver:
# pid: 18719
# total CPU time (s): 2519.69
# total CPU user time (s): 2510.47
# total CPU system time (s): 9.22146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.87872 second user time and 18.852 second system time
The end