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 (15295 MiB free)
memory of node 1: 16384 MiB (15264 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395097-1568337153/watcher-4395097-1568337153 -o /tmp/evaluation-result-4395097-1568337153/solver-4395097-1568337153 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568318150-27186 --watchdog 2580 xcsp_picat HOME/instance-4395097-1568337153.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=30701, runsolver pid=30698
Current StackSize limit: 8192 KiB
[startup+0.100501 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31266812/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2044968 memory=29872 CPUtime=0.09 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 4886 0 0 0 9 0 0 0 20 0 1 0 409971375 2094047232 7468 33554432000 4194304 5870510 140725588903920 140725588903096 139699042127751 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 511242 7468 937 410 0 506715 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2044968 KiB
Current children cumulated memory: 29872 KiB
[startup+0.209697 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31265216/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2046268 memory=31428 CPUtime=0.21 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 5392 0 0 0 20 1 0 0 20 0 1 0 409971375 2095378432 7857 33554432000 4194304 5870510 140725588903920 140725588903096 139699042127751 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 511567 7857 957 410 0 507040 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2046268 KiB
Current children cumulated memory: 31428 KiB
[startup+0.309342 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31265216/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2046428 memory=31676 CPUtime=0.31 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 5470 0 0 0 30 1 0 0 20 0 1 0 409971375 2095542272 7919 33554432000 4194304 5870510 140725588903920 140725588903096 5337497 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 511607 7919 966 410 0 507080 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2046428 KiB
Current children cumulated memory: 31676 KiB
[startup+0.700301 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31264532/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2045348 memory=31084 CPUtime=0.69 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 6134 0 0 0 68 1 0 0 20 0 1 0 409971375 2094436352 7771 33554432000 4194304 5870510 140725588903920 140725588903096 5258764 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 511337 7771 967 410 0 506810 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2045348 KiB
Current children cumulated memory: 31084 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31264532/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2048200 memory=34244 CPUtime=1.49 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 6411 0 0 0 148 1 0 0 20 0 1 0 409971375 2097356800 8561 33554432000 4194304 5870510 140725588903920 140725588903176 5258762 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 512050 8561 987 410 0 507523 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2048200 KiB
Current children cumulated memory: 34244 KiB
[startup+3.10975 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31253568/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2060900 memory=42576 CPUtime=3.1 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 12333 0 0 0 308 2 0 0 20 0 1 0 409971375 2110361600 10644 33554432000 4194304 5870510 140725588903920 140725588902872 5277491 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 515225 10644 989 410 0 510698 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2060900 KiB
Current children cumulated memory: 42576 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31219912/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2123104 memory=80408 CPUtime=6.28 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 22629 0 0 0 625 3 0 0 20 0 1 0 409971375 2174058496 20102 33554432000 4194304 5870510 140725588903920 140725588902280 5282767 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 530776 20102 989 410 0 526249 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2123104 KiB
Current children cumulated memory: 80408 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30702
/proc/meminfo: memFree=31174184/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2173604 memory=124076 CPUtime=12.68 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 28312 0 0 0 1263 5 0 0 20 0 1 0 409971375 2225770496 31019 33554432000 4194304 5870510 140725588903920 140725588902872 5282736 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 543401 31019 989 410 0 538874 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2173604 KiB
Current children cumulated memory: 124076 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30704
/proc/meminfo: memFree=31222692/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2089676 memory=71380 CPUtime=25.48 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 58961 0 0 0 2535 13 0 0 20 0 1 0 409971375 2139828224 17845 33554432000 4194304 5870510 140725588903920 140725588902360 5258673 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 522419 17845 989 410 0 517892 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2089676 KiB
Current children cumulated memory: 71380 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30705
/proc/meminfo: memFree=31198088/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2108532 memory=94496 CPUtime=51.09 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 70748 0 0 0 5094 15 0 0 20 0 1 0 409971375 2159136768 23624 33554432000 4194304 5870510 140725588903920 140725588902360 5282429 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 527133 23624 989 410 0 522606 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2108532 KiB
Current children cumulated memory: 94496 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30709
/proc/meminfo: memFree=31179232/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2138932 memory=116084 CPUtime=102.27 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 80124 0 0 0 10209 18 0 0 20 0 1 0 409971375 2190266368 29021 33554432000 4194304 5870510 140725588903920 140725588902360 5282364 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 534733 29021 989 410 0 530206 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2138932 KiB
Current children cumulated memory: 116084 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 30715
/proc/meminfo: memFree=31171632/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2138932 memory=120548 CPUtime=162.26 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 90833 0 0 0 16203 23 0 0 20 0 1 0 409971375 2190266368 30137 33554432000 4194304 5870510 140725588903920 140725588902360 5281974 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 534733 30137 989 410 0 530206 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2138932 KiB
Current children cumulated memory: 120548 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30719
/proc/meminfo: memFree=31163256/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2138932 memory=124904 CPUtime=222.26 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 91362 0 0 0 22202 24 0 0 20 0 1 0 409971375 2190266368 31226 33554432000 4194304 5870510 140725588903920 140725588902936 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 534733 31226 989 410 0 530206 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2138932 KiB
Current children cumulated memory: 124904 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 30723
/proc/meminfo: memFree=31167128/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2138932 memory=124904 CPUtime=282.26 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 101558 0 0 0 28197 29 0 0 20 0 1 0 409971375 2190266368 31226 33554432000 4194304 5870510 140725588903920 140725588902936 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 534733 31226 989 410 0 530206 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2138932 KiB
Current children cumulated memory: 124904 KiB
[startup+342.3 s]
/proc/loadavg: 2.62 2.16 2.09 3/199 30790
/proc/meminfo: memFree=30972524/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2150668 memory=134156 CPUtime=342.24 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 104059 0 0 0 34193 31 0 0 20 0 1 0 409971375 2202284032 33539 33554432000 4194304 5870510 140725588903920 140725588902360 5274812 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 537667 33539 989 410 0 533140 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2150668 KiB
Current children cumulated memory: 134156 KiB
[startup+402.3 s]
/proc/loadavg: 2.28 2.15 2.08 3/198 30857
/proc/meminfo: memFree=29284552/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2150668 memory=137152 CPUtime=402.23 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 108474 0 0 0 40189 34 0 0 20 0 1 0 409971375 2202284032 34288 33554432000 4194304 5870510 140725588903920 140725588902936 5258777 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 537667 34288 989 410 0 533140 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2150668 KiB
Current children cumulated memory: 137152 KiB
[startup+462.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/198 30861
/proc/meminfo: memFree=27014956/32770624 swapFree=66921148/67108860
[pid=30701] ppid=30698 vsize=2181016 memory=167564 CPUtime=462.23 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 114252 0 0 0 46184 39 0 0 20 0 1 0 409971375 2233360384 41891 33554432000 4194304 5870510 140725588903920 140725588902488 5262972 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 545254 41891 989 410 0 540727 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2181016 KiB
Current children cumulated memory: 167564 KiB
################
# More data... #
################
/proc/30701/statm: 549996 47192 989 410 0 545469 0
Current children cumulated CPU time: 1722.05 s
Current children cumulated vsize: 2199984 KiB
Current children cumulated memory: 188768 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 31300
/proc/meminfo: memFree=28417340/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2199984 memory=188768 CPUtime=1782.04 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 237989 0 0 0 178037 167 0 0 20 0 1 0 409971375 2252783616 47192 33554432000 4194304 5870510 140725588903920 140725588902936 5282617 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 549996 47192 989 410 0 545469 0
Current children cumulated CPU time: 1782.04 s
Current children cumulated vsize: 2199984 KiB
Current children cumulated memory: 188768 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31304
/proc/meminfo: memFree=27808176/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2249304 memory=229800 CPUtime=1842.04 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 247794 0 0 0 184027 177 0 0 20 0 1 0 409971375 2303287296 57450 33554432000 4194304 5870510 140725588903920 140725588902936 5262639 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562326 57450 989 410 0 557799 0
Current children cumulated CPU time: 1842.04 s
Current children cumulated vsize: 2249304 KiB
Current children cumulated memory: 229800 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 31308
/proc/meminfo: memFree=28531512/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2199984 memory=188768 CPUtime=1902.03 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 252891 0 0 0 190019 184 0 0 20 0 1 0 409971375 2252783616 47192 33554432000 4194304 5870510 140725588903920 140725588902936 5282590 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 549996 47192 989 410 0 545469 0
Current children cumulated CPU time: 1902.03 s
Current children cumulated vsize: 2199984 KiB
Current children cumulated memory: 188768 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 31314
/proc/meminfo: memFree=28089892/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2230588 memory=218592 CPUtime=1962.03 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 255664 0 0 0 196018 185 0 0 20 0 1 0 409971375 2284122112 54648 33554432000 4194304 5870510 140725588903920 140725588902488 5282280 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 557647 54648 989 410 0 553120 0
Current children cumulated CPU time: 1962.03 s
Current children cumulated vsize: 2230588 KiB
Current children cumulated memory: 218592 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 31318
/proc/meminfo: memFree=28843080/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2230588 memory=218600 CPUtime=2022.02 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 255782 0 0 0 202017 185 0 0 20 0 1 0 409971375 2284122112 54650 33554432000 4194304 5870510 140725588903920 140725588902488 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 557647 54650 989 410 0 553120 0
Current children cumulated CPU time: 2022.02 s
Current children cumulated vsize: 2230588 KiB
Current children cumulated memory: 218600 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31322
/proc/meminfo: memFree=28395752/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2249552 memory=233120 CPUtime=2082.02 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 258488 0 0 0 208017 185 0 0 20 0 1 0 409971375 2303541248 58280 33554432000 4194304 5870510 140725588903920 140725588902488 5282590 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562388 58280 989 410 0 557861 0
Current children cumulated CPU time: 2082.02 s
Current children cumulated vsize: 2249552 KiB
Current children cumulated memory: 233120 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31328
/proc/meminfo: memFree=28919124/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2249552 memory=238296 CPUtime=2142.01 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 258793 0 0 0 214016 185 0 0 20 0 1 0 409971375 2303541248 59574 33554432000 4194304 5870510 140725588903920 140725588902488 5305107 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562388 59574 989 410 0 557861 0
Current children cumulated CPU time: 2142.01 s
Current children cumulated vsize: 2249552 KiB
Current children cumulated memory: 238296 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31332
/proc/meminfo: memFree=27122784/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2249556 memory=211288 CPUtime=2202 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 271651 0 0 0 220004 196 0 0 20 0 1 0 409971375 2303545344 52822 33554432000 4194304 5870510 140725588903920 140725588902936 139699041737953 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562389 52822 989 410 0 557862 0
Current children cumulated CPU time: 2202 s
Current children cumulated vsize: 2249556 KiB
Current children cumulated memory: 211288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 31336
/proc/meminfo: memFree=27833884/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2249556 memory=224036 CPUtime=2261.98 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 282945 0 0 0 225987 211 0 0 20 0 1 0 409971375 2303545344 56009 33554432000 4194304 5870510 140725588903920 140725588902936 5308192 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562389 56009 989 410 0 557862 0
Current children cumulated CPU time: 2261.98 s
Current children cumulated vsize: 2249556 KiB
Current children cumulated memory: 224036 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31342
/proc/meminfo: memFree=28746904/32770624 swapFree=66921172/67108860
[pid=30701] ppid=30698 vsize=2230584 memory=219052 CPUtime=2321.97 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 293731 0 0 0 231974 223 0 0 20 0 1 0 409971375 2284118016 54763 33554432000 4194304 5870510 140725588903920 140725588902488 5262735 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 557646 54763 989 410 0 553119 0
Current children cumulated CPU time: 2321.97 s
Current children cumulated vsize: 2230584 KiB
Current children cumulated memory: 219052 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 31354
/proc/meminfo: memFree=26106268/32770624 swapFree=66921176/67108860
[pid=30701] ppid=30698 vsize=2249552 memory=238296 CPUtime=2381.96 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 294503 0 0 0 237972 224 0 0 20 0 1 0 409971375 2303541248 59574 33554432000 4194304 5870510 140725588903920 140725588902488 5282729 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562388 59574 989 410 0 557861 0
Current children cumulated CPU time: 2381.96 s
Current children cumulated vsize: 2249552 KiB
Current children cumulated memory: 238296 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 31358
/proc/meminfo: memFree=27032616/32770624 swapFree=66921176/67108860
[pid=30701] ppid=30698 vsize=2249552 memory=238296 CPUtime=2441.95 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 297013 0 0 0 243971 224 0 0 20 0 1 0 409971375 2303541248 59574 33554432000 4194304 5870510 140725588903920 140725588902488 5282767 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562388 59574 989 410 0 557861 0
Current children cumulated CPU time: 2441.95 s
Current children cumulated vsize: 2249552 KiB
Current children cumulated memory: 238296 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 31364
/proc/meminfo: memFree=25409912/32770624 swapFree=66921176/67108860
[pid=30701] ppid=30698 vsize=2249552 memory=238296 CPUtime=2501.93 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 297049 0 0 0 249969 224 0 0 20 0 1 0 409971375 2303541248 59574 33554432000 4194304 5870510 140725588903920 140725588902488 5276981 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562388 59574 989 410 0 557861 0
Current children cumulated CPU time: 2501.93 s
Current children cumulated vsize: 2249552 KiB
Current children cumulated memory: 238296 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 31365
/proc/meminfo: memFree=26140428/32770624 swapFree=66921176/67108860
[pid=30701] ppid=30698 vsize=2249552 memory=238296 CPUtime=2519.64 cores=0,2,4,6
/proc/30701/stat : 30701 (xcsp_picat) R 30698 30701 27155 0 -1 4202496 299301 0 0 0 251740 224 0 0 20 0 1 0 409971375 2303541248 59574 33554432000 4194304 5870510 140725588903920 140725588902488 5282578 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37666816 140725588907039 140725588907117 140725588907117 140725588910026 0
/proc/30701/statm: 562388 59574 989 410 0 557861 0
Current children cumulated CPU time: 2519.64 s
Current children cumulated vsize: 2249552 KiB
Current children cumulated memory: 238296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30701 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.4 s, system=2.2467 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.01
CPU time (s): 2519.65
CPU user time (s): 2517.4
CPU system time (s): 2.2467
CPU usage (%): 99.9856
Max. virtual memory (cumulated for all children) (KiB): 2335676
Max. memory (cumulated for all children) (KiB): 272412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.4
system time used= 2.2467
maximum resident set size= 285500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 3191
# summary of solver processes directly reported to runsolver:
# pid: 30701
# total CPU time (s): 2519.65
# total CPU user time (s): 2517.4
# total CPU system time (s): 2.2467
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1186 second user time and 20.3897 second system time
The end