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 (5052 MiB free)
memory of node 1: 16384 MiB (1688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303527-1534010032/watcher-4303527-1534010032 -o /tmp/evaluation-result-4303527-1534010032/solver-4303527-1534010032 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1533993477-10115 --watchdog 2580 xcsp_picat HOME/instance-4303527-1534010032.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
Current StackSize limit: 8192 KiB
solver pid=11724, runsolver pid=11721
[startup+0.10015 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=6885480/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2025744 memory=21840 CPUtime=0.1 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1564 0 0 0 10 0 0 0 20 0 1 0 218566432 2074361856 5460 33554432000 4194304 5849708 140723187880816 140723187880816 4548541 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 506436 5460 596 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 21840 KiB
[startup+0.209802 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=6877288/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2025744 memory=27984 CPUtime=0.21 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1567 0 0 0 21 0 0 0 20 0 1 0 218566432 2074361856 6996 33554432000 4194304 5849708 140723187880816 140723187880816 4475468 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 506436 6996 596 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 27984 KiB
[startup+0.309662 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=6873192/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2025744 memory=34128 CPUtime=0.31 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1570 0 0 0 31 0 0 0 20 0 1 0 218566432 2074361856 8532 33554432000 4194304 5849708 140723187880816 140723187880816 139650929863680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 506436 8532 596 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 34128 KiB
[startup+0.700301 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=6861016/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2025744 memory=56840 CPUtime=0.69 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1581 0 0 0 69 0 0 0 20 0 1 0 218566432 2074361856 14210 33554432000 4194304 5849708 140723187880816 140723187880120 139650929863680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 506436 14210 628 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 56840 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=6830296/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2025744 memory=103944 CPUtime=1.49 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1604 0 0 0 148 1 0 0 20 0 1 0 218566432 2074361856 25986 33554432000 4194304 5849708 140723187880816 140723187880120 139650929863680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 506436 25986 628 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 103944 KiB
[startup+3.10956 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=6711520/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2025744 memory=200200 CPUtime=3.09 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1797 0 0 0 307 2 0 0 20 0 1 0 218566432 2074361856 50050 33554432000 4194304 5849708 140723187880816 140723187880120 139650929863680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 506436 50050 628 405 0 503381 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 200200 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=6530484/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2025744 memory=390664 CPUtime=6.29 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 2059 0 0 0 623 6 0 0 20 0 1 0 218566432 2074361856 97666 33554432000 4194304 5849708 140723187880816 140723187880120 139650929863680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 506436 97666 628 405 0 503381 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 390664 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=6171332/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2025744 memory=773640 CPUtime=12.69 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 2331 0 0 0 1256 13 0 0 20 0 1 0 218566432 2074361856 193410 33554432000 4194304 5849708 140723187880816 140723187880120 139650929863680 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 506436 193410 628 405 0 503381 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 773640 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=4619960/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2444248 memory=2288848 CPUtime=25.5 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 64856 0 0 0 2488 62 0 0 20 0 1 0 218566432 2502909952 572212 33554432000 4194304 5849708 140723187880816 140723187880104 5606203 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 611062 572212 716 405 0 608007 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2444248 KiB
Current children cumulated memory: 2288848 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11725
/proc/meminfo: memFree=4401492/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2662396 memory=2507096 CPUtime=51.1 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 88440 0 0 0 5025 85 0 0 20 0 1 0 218566432 2726293504 626774 33554432000 4194304 5849708 140723187880816 140723187879080 5319753 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 665599 626774 755 405 0 662544 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2662396 KiB
Current children cumulated memory: 2507096 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11727
/proc/meminfo: memFree=4398292/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2662396 memory=2507156 CPUtime=102.3 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 117383 0 0 0 10143 87 0 0 20 0 1 0 218566432 2726293504 626789 33554432000 4194304 5849708 140723187880816 140723187879304 5319730 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 665599 626789 756 405 0 662544 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2662396 KiB
Current children cumulated memory: 2507156 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11729
/proc/meminfo: memFree=4462092/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2596860 memory=2441644 CPUtime=162.3 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 218532 0 0 0 16134 96 0 0 20 0 1 0 218566432 2659184640 610411 33554432000 4194304 5849708 140723187880816 140723187879304 5319740 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 649215 610411 762 405 0 646160 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2596860 KiB
Current children cumulated memory: 2441644 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11730
/proc/meminfo: memFree=4485088/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2573996 memory=2418780 CPUtime=222.3 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 319860 0 0 0 22116 114 0 0 20 0 1 0 218566432 2635771904 604695 33554432000 4194304 5849708 140723187880816 140723187879304 5313175 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 643499 604695 762 405 0 640444 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2573996 KiB
Current children cumulated memory: 2418780 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 11732
/proc/meminfo: memFree=4485264/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2573244 memory=2418028 CPUtime=282.3 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 431101 0 0 0 28088 142 0 0 20 0 1 0 218566432 2635001856 604507 33554432000 4194304 5849708 140723187880816 140723187879304 5311441 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 643311 604507 762 405 0 640256 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2573244 KiB
Current children cumulated memory: 2418028 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 11733
/proc/meminfo: memFree=4421264/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2638232 memory=2483016 CPUtime=342.3 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 539834 0 0 0 34053 177 0 0 20 0 1 0 218566432 2701549568 620754 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 659558 620754 762 405 0 656503 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2638232 KiB
Current children cumulated memory: 2483016 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 11743
/proc/meminfo: memFree=4398796/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2660216 memory=2505000 CPUtime=402.3 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 649924 0 0 0 40016 214 0 0 20 0 1 0 218566432 2724061184 626250 33554432000 4194304 5849708 140723187880816 140723187879816 5311441 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 665054 626250 762 405 0 661999 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2660216 KiB
Current children cumulated memory: 2505000 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11766
/proc/meminfo: memFree=4416232/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2637552 memory=2482336 CPUtime=462.31 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 757801 0 0 0 45984 247 0 0 20 0 1 0 218566432 2700853248 620584 33554432000 4194304 5849708 140723187880816 140723187879464 5416947 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 659388 620584 762 405 0 656333 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2637552 KiB
Current children cumulated memory: 2482336 KiB
################
# More data... #
################
/proc/11724/statm: 642212 603408 762 405 0 639157 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 2568848 KiB
Current children cumulated memory: 2413632 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 11863
/proc/meminfo: memFree=2194856/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2568712 memory=2413496 CPUtime=1782.31 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1764484 0 0 0 177269 962 0 0 20 0 1 0 218566432 2630361088 603374 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 642178 603374 762 405 0 639123 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2568712 KiB
Current children cumulated memory: 2413496 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 11864
/proc/meminfo: memFree=2264824/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2568712 memory=2413496 CPUtime=1842.32 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1769026 0 0 0 183242 990 0 0 20 0 1 0 218566432 2630361088 603374 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 642178 603374 762 405 0 639123 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 2568712 KiB
Current children cumulated memory: 2413496 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 11866
/proc/meminfo: memFree=2266996/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2568712 memory=2413496 CPUtime=1902.32 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1773511 0 0 0 189213 1019 0 0 20 0 1 0 218566432 2630361088 603374 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 642178 603374 762 405 0 639123 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2568712 KiB
Current children cumulated memory: 2413496 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 11867
/proc/meminfo: memFree=2267404/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2568572 memory=2413356 CPUtime=1962.32 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1777694 0 0 0 195188 1044 0 0 20 0 1 0 218566432 2630217728 603339 33554432000 4194304 5849708 140723187880816 140723187879816 5437711 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 642143 603339 762 405 0 639088 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2568572 KiB
Current children cumulated memory: 2413356 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 11868
/proc/meminfo: memFree=2267300/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2568572 memory=2413356 CPUtime=2022.33 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1782178 0 0 0 201160 1073 0 0 20 0 1 0 218566432 2630217728 603339 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 642143 603339 762 405 0 639088 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 2568572 KiB
Current children cumulated memory: 2413356 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11870
/proc/meminfo: memFree=2201208/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2570732 memory=2415516 CPUtime=2082.32 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1786272 0 0 0 207130 1102 0 0 20 0 1 0 218566432 2632429568 603879 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 642683 603879 762 405 0 639628 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2570732 KiB
Current children cumulated memory: 2415516 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11871
/proc/meminfo: memFree=2201696/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2570732 memory=2415516 CPUtime=2142.33 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1790426 0 0 0 213106 1127 0 0 20 0 1 0 218566432 2632429568 603879 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 642683 603879 762 405 0 639628 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 2570732 KiB
Current children cumulated memory: 2415516 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11879
/proc/meminfo: memFree=2266480/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2570568 memory=2415352 CPUtime=2202.33 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1794370 0 0 0 219074 1159 0 0 20 0 1 0 218566432 2632261632 603838 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 642642 603838 762 405 0 639587 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 2570568 KiB
Current children cumulated memory: 2415352 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11880
/proc/meminfo: memFree=2257184/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2580708 memory=2425492 CPUtime=2262.33 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1801519 0 0 0 225045 1188 0 0 20 0 1 0 218566432 2642644992 606373 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 645177 606373 762 405 0 642122 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 2580708 KiB
Current children cumulated memory: 2425492 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11881
/proc/meminfo: memFree=2257932/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2580708 memory=2425492 CPUtime=2322.33 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1810425 0 0 0 231025 1208 0 0 20 0 1 0 218566432 2642644992 606373 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 645177 606373 762 405 0 642122 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 2580708 KiB
Current children cumulated memory: 2425492 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11882
/proc/meminfo: memFree=2258308/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2580556 memory=2425340 CPUtime=2382.34 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1819045 0 0 0 236998 1236 0 0 20 0 1 0 218566432 2642489344 606335 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 645139 606335 762 405 0 642084 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 2580556 KiB
Current children cumulated memory: 2425340 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11883
/proc/meminfo: memFree=2194624/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2580556 memory=2425340 CPUtime=2442.33 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1828221 0 0 0 242970 1263 0 0 20 0 1 0 218566432 2642489344 606335 33554432000 4194304 5849708 140723187880816 140723187879816 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 645139 606335 762 405 0 642084 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 2580556 KiB
Current children cumulated memory: 2425340 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11884
/proc/meminfo: memFree=2258544/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2580556 memory=2425340 CPUtime=2502.33 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1837174 0 0 0 248947 1286 0 0 20 0 1 0 218566432 2642489344 606335 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 645139 606335 762 405 0 642084 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 2580556 KiB
Current children cumulated memory: 2425340 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11884
/proc/meminfo: memFree=2258264/32770624 swapFree=67108496/67108860
[pid=11724] ppid=11721 vsize=2580556 memory=2425340 CPUtime=2520.04 cores=0,2,4,6
/proc/11724/stat : 11724 (xcsp_picat) R 11721 11724 10084 0 -1 4202496 1838686 0 0 0 250709 1295 0 0 20 0 1 0 218566432 2642489344 606335 33554432000 4194304 5849708 140723187880816 140723187879816 139650929885063 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 21921792 140723187889334 140723187889412 140723187889412 140723187892170 0
/proc/11724/statm: 645139 606335 762 405 0 642084 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2580556 KiB
Current children cumulated memory: 2425340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 11724 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.1 s, system=12.9624 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): 2520.06
CPU user time (s): 2507.1
CPU system time (s): 12.9624
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2702748
Max. memory (cumulated for all children) (KiB): 2547532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.1
system time used= 12.9624
maximum resident set size= 2547532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1838687
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= 39
involuntary context switches= 666
# summary of solver processes directly reported to runsolver:
# pid: 11724
# total CPU time (s): 2520.06
# total CPU user time (s): 2507.1
# total CPU system time (s): 12.9624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7711 second user time and 17.4121 second system time
The end