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 (1993 MiB free)
memory of node 1: 16384 MiB (3360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303289-1534025002/watcher-4303289-1534025002 -o /tmp/evaluation-result-4303289-1534025002/solver-4303289-1534025002 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534025002-24554 --watchdog 2580 xcsp_picat HOME/instance-4303289-1534025002.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=24580, runsolver pid=24576
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.24 1.75 1.94 3/188 24585
/proc/meminfo: memFree=5453468/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2025876 memory=17268 CPUtime=0.03 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1972 0 1 0 3 0 0 0 20 0 1 0 220063495 2074497024 4317 33554432000 4194304 5849708 140727986263552 140727986262920 140429303959431 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 506469 4317 653 405 0 503414 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 2025876 KiB
Current children cumulated memory: 17268 KiB
[startup+0.209743 s]*
/proc/loadavg: 1.24 1.75 1.94 4/188 24585
/proc/meminfo: memFree=5452724/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2026228 memory=17864 CPUtime=0.14 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 2113 0 1 0 14 0 0 0 20 0 1 0 220063495 2074857472 4466 33554432000 4194304 5849708 140727986263552 140727986262920 140429303959431 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 506557 4466 707 405 0 503502 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 2026228 KiB
Current children cumulated memory: 17864 KiB
[startup+0.309082 s]*
/proc/loadavg: 1.24 1.75 1.94 4/188 24585
/proc/meminfo: memFree=5444476/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2032064 memory=26024 CPUtime=0.24 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 3957 0 1 0 23 1 0 0 20 0 1 0 220063495 2080833536 6506 33554432000 4194304 5849708 140727986263552 140727986262920 5371262 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 508016 6506 720 405 0 504961 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 2032064 KiB
Current children cumulated memory: 26024 KiB
[startup+0.700236 s]
/proc/loadavg: 1.24 1.75 1.94 3/188 24585
/proc/meminfo: memFree=5435052/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2031696 memory=25672 CPUtime=0.63 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 6629 0 1 0 62 1 0 0 20 0 1 0 220063495 2080456704 6418 33554432000 4194304 5849708 140727986263552 140727986262920 5356686 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 507924 6418 724 405 0 504869 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 2031696 KiB
Current children cumulated memory: 25672 KiB
[startup+1.50024 s]
/proc/loadavg: 1.24 1.75 1.94 3/188 24585
/proc/meminfo: memFree=5430596/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2033280 memory=26676 CPUtime=1.42 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 7314 0 1 0 141 1 0 0 20 0 1 0 220063495 2082078720 6669 33554432000 4194304 5849708 140727986263552 140727986261800 5308400 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 508320 6669 734 405 0 505265 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 2033280 KiB
Current children cumulated memory: 26676 KiB
[startup+3.10933 s]
/proc/loadavg: 1.24 1.75 1.94 3/188 24585
/proc/meminfo: memFree=5429320/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2034136 memory=27848 CPUtime=3.03 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 9079 0 1 0 301 2 0 0 20 0 1 0 220063495 2082955264 6962 33554432000 4194304 5849708 140727986263552 140727986261960 5307749 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 508534 6962 742 405 0 505479 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 2034136 KiB
Current children cumulated memory: 27848 KiB
[startup+6.30025 s]
/proc/loadavg: 1.30 1.75 1.94 3/188 24585
/proc/meminfo: memFree=5427056/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2035640 memory=29564 CPUtime=6.22 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 11615 0 1 0 617 5 0 0 20 0 1 0 220063495 2084495360 7391 33554432000 4194304 5849708 140727986263552 140727986262552 5358900 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 508910 7391 742 405 0 505855 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 2035640 KiB
Current children cumulated memory: 29564 KiB
[startup+12.7002 s]
/proc/loadavg: 1.36 1.75 1.94 3/188 24585
/proc/meminfo: memFree=5416636/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2043960 memory=37792 CPUtime=12.62 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 17030 0 1 0 1250 12 0 0 20 0 1 0 220063495 2093015040 9448 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 510990 9448 742 405 0 507935 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2043960 KiB
Current children cumulated memory: 37792 KiB
[startup+25.5003 s]
/proc/loadavg: 1.38 1.75 1.93 3/188 24585
/proc/meminfo: memFree=5404624/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2043108 memory=39400 CPUtime=25.41 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 31167 0 1 0 2514 27 0 0 20 0 1 0 220063495 2092142592 9850 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 510777 9850 742 405 0 507722 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2043108 KiB
Current children cumulated memory: 39400 KiB
[startup+51.1096 s]
/proc/loadavg: 1.62 1.77 1.94 3/188 24585
/proc/meminfo: memFree=5398684/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2048196 memory=44708 CPUtime=51.02 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 52893 0 1 0 5048 54 0 0 20 0 1 0 220063495 2097352704 11177 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 512049 11177 742 405 0 508994 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 2048196 KiB
Current children cumulated memory: 44708 KiB
[startup+102.3 s]
/proc/loadavg: 1.84 1.81 1.94 3/187 24586
/proc/meminfo: memFree=5321268/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2101272 memory=97644 CPUtime=102.21 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 94163 0 1 0 10123 98 0 0 20 0 1 0 220063495 2151702528 24411 33554432000 4194304 5849708 140727986263552 140727986262712 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 525318 24411 742 405 0 522263 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 2101272 KiB
Current children cumulated memory: 97644 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.84 1.95 3/187 24587
/proc/meminfo: memFree=5331320/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2096708 memory=93248 CPUtime=162.2 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 123964 0 1 0 16076 144 0 0 20 0 1 0 220063495 2147028992 23312 33554432000 4194304 5849708 140727986263552 140727986262712 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 524177 23312 742 405 0 521122 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 2096708 KiB
Current children cumulated memory: 93248 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.87 1.95 3/187 24588
/proc/meminfo: memFree=5253548/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2105480 memory=102020 CPUtime=222.2 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 134546 0 1 0 22030 190 0 0 20 0 1 0 220063495 2156011520 25505 33554432000 4194304 5849708 140727986263552 140727986262424 5340621 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 526370 25505 742 405 0 523315 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 2105480 KiB
Current children cumulated memory: 102020 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.89 1.95 3/187 24590
/proc/meminfo: memFree=5287256/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2106176 memory=102716 CPUtime=282.19 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 145680 0 1 0 27984 235 0 0 20 0 1 0 220063495 2156724224 25679 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 526544 25679 742 405 0 523489 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 2106176 KiB
Current children cumulated memory: 102716 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 1.93 1.96 3/187 24591
/proc/meminfo: memFree=5161944/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2152908 memory=149316 CPUtime=342.19 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 168975 0 1 0 33938 281 0 0 20 0 1 0 220063495 2204577792 37329 33554432000 4194304 5849708 140727986263552 140727986262552 5437647 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 538227 37329 742 405 0 535172 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 2152908 KiB
Current children cumulated memory: 149316 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 1.94 1.96 3/188 24601
/proc/meminfo: memFree=5199040/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2136524 memory=133064 CPUtime=402.18 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 169502 0 1 0 39897 321 0 0 20 0 1 0 220063495 2187800576 33266 33554432000 4194304 5849708 140727986263552 140727986262712 5437782 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 534131 33266 742 405 0 531076 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 2136524 KiB
Current children cumulated memory: 133064 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 1.95 1.96 3/188 24602
/proc/meminfo: memFree=5190164/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2136524 memory=133064 CPUtime=462.18 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 181947 0 1 0 45856 362 0 0 20 0 1 0 220063495 2187800576 33266 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 534131 33266 742 405 0 531076 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 2136524 KiB
Current children cumulated memory: 133064 KiB
################
# More data... #
################
/proc/24580/statm: 574734 73901 742 405 0 571679 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 2298936 KiB
Current children cumulated memory: 295604 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/188 24641
/proc/meminfo: memFree=4565660/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2417084 memory=413624 CPUtime=1782.06 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 865616 0 1 0 177262 944 0 0 20 0 1 0 220063495 2475094016 103406 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 604271 103406 742 405 0 601216 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 2417084 KiB
Current children cumulated memory: 413624 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/188 24642
/proc/meminfo: memFree=4386992/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2412928 memory=409468 CPUtime=1842.05 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 901991 0 1 0 183246 959 0 0 20 0 1 0 220063495 2470838272 102367 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 603232 102367 742 405 0 600177 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 2412928 KiB
Current children cumulated memory: 409468 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/187 24643
/proc/meminfo: memFree=4265048/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2534916 memory=531456 CPUtime=1902.05 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 912133 0 1 0 189233 972 0 0 20 0 1 0 220063495 2595753984 132864 33554432000 4194304 5849708 140727986263552 140727986262552 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 633729 132864 742 405 0 630674 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 2534916 KiB
Current children cumulated memory: 531456 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/187 24644
/proc/meminfo: memFree=4240996/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2558052 memory=554592 CPUtime=1962.04 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 950862 0 1 0 195216 988 0 0 20 0 1 0 220063495 2619445248 138648 33554432000 4194304 5849708 140727986263552 140727986262552 5335584 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 639513 138648 742 405 0 636458 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 2558052 KiB
Current children cumulated memory: 554592 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/187 24645
/proc/meminfo: memFree=4142196/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2667348 memory=653724 CPUtime=2022.04 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 981345 0 1 0 201197 1007 0 0 20 0 1 0 220063495 2731364352 163431 33554432000 4194304 5849708 140727986263552 140727986262552 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 666837 163431 742 405 0 663782 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 2667348 KiB
Current children cumulated memory: 653724 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/187 24646
/proc/meminfo: memFree=3878240/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2732884 memory=719260 CPUtime=2082.04 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1020604 0 1 0 207180 1024 0 0 20 0 1 0 220063495 2798473216 179815 33554432000 4194304 5849708 140727986263552 140727986262552 5335614 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 683221 179815 742 405 0 680166 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 2732884 KiB
Current children cumulated memory: 719260 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/187 24647
/proc/meminfo: memFree=3846280/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2732884 memory=719260 CPUtime=2142.03 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1071115 0 1 0 213165 1038 0 0 20 0 1 0 220063495 2798473216 179815 33554432000 4194304 5849708 140727986263552 140727986262552 5340254 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 683221 179815 742 405 0 680166 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 2732884 KiB
Current children cumulated memory: 719260 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/188 24656
/proc/meminfo: memFree=3742868/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2793576 memory=779952 CPUtime=2202.02 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1108974 0 1 0 219147 1055 0 0 20 0 1 0 220063495 2860621824 194988 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 698394 194988 742 405 0 695339 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 2793576 KiB
Current children cumulated memory: 779952 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/188 24657
/proc/meminfo: memFree=3407512/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=3118984 memory=1115600 CPUtime=2262.02 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1131482 0 1 0 225124 1078 0 0 20 0 1 0 220063495 3193839616 278900 33554432000 4194304 5849708 140727986263552 140727986262424 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 779746 278900 742 405 0 776691 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 3118984 KiB
Current children cumulated memory: 1115600 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/188 24658
/proc/meminfo: memFree=3339356/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=3187064 memory=1183680 CPUtime=2322.01 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1184048 0 1 0 231103 1098 0 0 20 0 1 0 220063495 3263553536 295920 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 796766 295920 742 405 0 793711 0
Current children cumulated CPU time: 2322.01 s
Current children cumulated vsize: 3187064 KiB
Current children cumulated memory: 1183680 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/188 24659
/proc/meminfo: memFree=3338984/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=3187064 memory=1183680 CPUtime=2382.01 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1259044 0 1 0 237089 1112 0 0 20 0 1 0 220063495 3263553536 295920 33554432000 4194304 5849708 140727986263552 140727986262552 5437714 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 796766 295920 742 405 0 793711 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 3187064 KiB
Current children cumulated memory: 1183680 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/188 24660
/proc/meminfo: memFree=3533592/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=2991168 memory=987784 CPUtime=2442 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1316226 0 1 0 243076 1124 0 0 20 0 1 0 220063495 3062956032 246946 33554432000 4194304 5849708 140727986263552 140727986262424 5340942 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 747792 246946 742 405 0 744737 0
Current children cumulated CPU time: 2442 s
Current children cumulated vsize: 2991168 KiB
Current children cumulated memory: 987784 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/187 24661
/proc/meminfo: memFree=2493988/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=3684424 memory=1681040 CPUtime=2502 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1426980 0 1 0 249045 1155 0 0 20 0 1 0 220063495 3772850176 420260 33554432000 4194304 5849708 140727986263552 140727986262552 5335568 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 921106 420260 742 405 0 918051 0
Current children cumulated CPU time: 2502 s
Current children cumulated vsize: 3684424 KiB
Current children cumulated memory: 1681040 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 1.96 3/187 24661
/proc/meminfo: memFree=2493864/32770624 swapFree=67108792/67108860
[pid=24580] ppid=24576 vsize=3684424 memory=1681040 CPUtime=2519.71 cores=0,2,4,6
/proc/24580/stat : 24580 (xcsp_picat) R 24576 24580 20051 0 -1 4202496 1480702 0 1 0 250810 1161 0 0 20 0 1 0 220063495 3772850176 420260 33554432000 4194304 5849708 140727986263552 140727986262552 140429303959431 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 44908544 140727986271414 140727986271492 140727986271492 140727986274250 0
/proc/24580/statm: 921106 420260 742 405 0 918051 0
Current children cumulated CPU time: 2519.71 s
Current children cumulated vsize: 3684424 KiB
Current children cumulated memory: 1681040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 24580 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.1 s, system=11.6569 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.05
CPU time (s): 2519.76
CPU user time (s): 2508.1
CPU system time (s): 11.6569
CPU usage (%): 99.9882
Max. virtual memory (cumulated for all children) (KiB): 3684424
Max. memory (cumulated for all children) (KiB): 1681040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.1
system time used= 11.6569
maximum resident set size= 1681040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1480703
page faults= 1
swaps= 0
block input operations= 72
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 3162
# summary of solver processes directly reported to runsolver:
# pid: 24580
# total CPU time (s): 2519.76
# total CPU user time (s): 2508.1
# total CPU system time (s): 11.6569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.003 second user time and 18.4408 second system time
The end