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 (11133 MiB free)
memory of node 1: 16384 MiB (12976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309828-1534299080/watcher-4309828-1534299080 -o /tmp/evaluation-result-4309828-1534299080/solver-4309828-1534299080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534293327-696 --watchdog 2580 xcsp_picat HOME/instance-4309828-1534299080.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=1998, runsolver pid=1995
Current StackSize limit: 8192 KiB
[startup+0.100645 s]*
/proc/loadavg: 2.54 2.18 2.09 3/192 1999
/proc/meminfo: memFree=24659016/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2025744 memory=31604 CPUtime=0.09 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 1941 0 0 0 9 0 0 0 20 0 1 0 247471214 2074361856 7901 33554432000 4194304 5849940 140737062402784 140737062402088 4511139 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 506436 7901 608 405 0 503380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31604 KiB
[startup+0.209942 s]*
/proc/loadavg: 2.54 2.18 2.09 3/192 1999
/proc/meminfo: memFree=24615884/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2025744 memory=76660 CPUtime=0.21 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 1963 0 0 0 20 1 0 0 20 0 1 0 247471214 2074361856 19165 33554432000 4194304 5849940 140737062402784 140737062402088 4878069 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 506436 19165 608 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 76660 KiB
[startup+0.309899 s]*
/proc/loadavg: 2.54 2.18 2.09 3/192 1999
/proc/meminfo: memFree=24576972/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2025744 memory=117720 CPUtime=0.3 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 1983 0 0 0 29 1 0 0 20 0 1 0 247471214 2074361856 29430 33554432000 4194304 5849940 140737062402784 140737062402088 4467893 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 506436 29430 616 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 117720 KiB
[startup+0.700312 s]
/proc/loadavg: 2.54 2.18 2.09 3/192 1999
/proc/meminfo: memFree=24494928/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2025744 memory=255180 CPUtime=0.68 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 2165 0 0 0 65 3 0 0 20 0 1 0 247471214 2074361856 63795 33554432000 4194304 5849940 140737062402784 140737062402088 4486388 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 506436 63795 637 405 0 503380 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 255180 KiB
[startup+1.50023 s]
/proc/loadavg: 2.54 2.18 2.09 3/192 1999
/proc/meminfo: memFree=24420588/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2025888 memory=270244 CPUtime=1.49 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 2308 0 0 0 145 4 0 0 20 0 1 0 247471214 2074509312 67561 33554432000 4194304 5849940 140737062402784 140737062402088 5606384 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 506472 67561 718 405 0 503416 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025888 KiB
Current children cumulated memory: 270244 KiB
[startup+3.10918 s]
/proc/loadavg: 2.66 2.21 2.10 3/192 1999
/proc/meminfo: memFree=24419844/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2026380 memory=270760 CPUtime=3.09 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 2532 0 0 0 305 4 0 0 20 0 1 0 247471214 2075013120 67690 33554432000 4194304 5849940 140737062402784 140737062401784 5472936 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 506595 67690 718 405 0 503539 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2026380 KiB
Current children cumulated memory: 270760 KiB
[startup+6.30022 s]
/proc/loadavg: 2.66 2.21 2.10 3/192 1999
/proc/meminfo: memFree=24419232/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2027444 memory=271684 CPUtime=6.28 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 3022 0 0 0 623 5 0 0 20 0 1 0 247471214 2076102656 67921 33554432000 4194304 5849940 140737062402784 140737062401896 5521670 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 506861 67921 718 405 0 503805 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2027444 KiB
Current children cumulated memory: 271684 KiB
[startup+12.7002 s]
/proc/loadavg: 2.60 2.21 2.10 3/192 1999
/proc/meminfo: memFree=24416640/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2029236 memory=273620 CPUtime=12.69 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 3905 0 0 0 1260 9 0 0 20 0 1 0 247471214 2077937664 68405 33554432000 4194304 5849940 140737062402784 140737062402024 140305296378437 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 507309 68405 718 405 0 504253 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2029236 KiB
Current children cumulated memory: 273620 KiB
[startup+25.5002 s]
/proc/loadavg: 2.47 2.20 2.10 3/192 1999
/proc/meminfo: memFree=24412332/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2034552 memory=278936 CPUtime=25.49 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 6289 0 0 0 2536 13 0 0 20 0 1 0 247471214 2083381248 69734 33554432000 4194304 5849940 140737062402784 140737062401960 140305296656343 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 508638 69734 718 405 0 505582 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2034552 KiB
Current children cumulated memory: 278936 KiB
[startup+51.1098 s]
/proc/loadavg: 2.31 2.18 2.10 3/192 1999
/proc/meminfo: memFree=24281172/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2168316 memory=405704 CPUtime=51.09 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 37067 0 0 0 5092 17 0 0 20 0 1 0 247471214 2220355584 101426 33554432000 4194304 5849940 140737062402784 140737062400328 4209033 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 542079 101426 746 405 0 539023 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2168316 KiB
Current children cumulated memory: 405704 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.15 2.10 3/191 2061
/proc/meminfo: memFree=24427308/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2145584 memory=389336 CPUtime=102.26 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 70976 0 0 0 10201 25 0 0 20 0 1 0 247471214 2197078016 97334 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 536396 97334 750 405 0 533340 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2145584 KiB
Current children cumulated memory: 389336 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.13 2.09 3/191 2062
/proc/meminfo: memFree=24422840/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2145560 memory=389360 CPUtime=162.25 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 76533 0 0 0 16185 40 0 0 20 0 1 0 247471214 2197053440 97340 33554432000 4194304 5849940 140737062402784 140737062401784 140305296713713 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 536390 97340 750 405 0 533334 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2145560 KiB
Current children cumulated memory: 389360 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/191 2064
/proc/meminfo: memFree=24421944/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2152664 memory=395460 CPUtime=222.24 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 77893 0 0 0 22167 57 0 0 20 0 1 0 247471214 2204327936 98865 33554432000 4194304 5849940 140737062402784 140737062401784 5307791 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 538166 98865 750 405 0 535110 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2152664 KiB
Current children cumulated memory: 395460 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.08 4/191 2065
/proc/meminfo: memFree=24418200/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2152572 memory=395368 CPUtime=282.24 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 79917 0 0 0 28149 75 0 0 20 0 1 0 247471214 2204233728 98842 33554432000 4194304 5849940 140737062402784 140737062401784 5313115 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 538143 98842 750 405 0 535087 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 2152572 KiB
Current children cumulated memory: 395368 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/191 2127
/proc/meminfo: memFree=24272792/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2152432 memory=397276 CPUtime=342.23 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 81302 0 0 0 34133 90 0 0 20 0 1 0 247471214 2204090368 99319 33554432000 4194304 5849940 140737062402784 140737062401784 5438033 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 538108 99319 750 405 0 535052 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2152432 KiB
Current children cumulated memory: 397276 KiB
[startup+402.3 s]
/proc/loadavg: 1.97 2.04 2.06 3/191 2128
/proc/meminfo: memFree=23995440/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2156584 memory=401160 CPUtime=402.22 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 84816 0 0 0 40114 108 0 0 20 0 1 0 247471214 2208342016 100290 33554432000 4194304 5849940 140737062402784 140737062401272 4208991 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 539146 100290 750 405 0 536090 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2156584 KiB
Current children cumulated memory: 401160 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 2.04 2.05 3/191 2129
/proc/meminfo: memFree=23995532/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2156584 memory=401160 CPUtime=462.21 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 86896 0 0 0 46095 126 0 0 20 0 1 0 247471214 2208342016 100290 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 539146 100290 750 405 0 536090 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 2156584 KiB
Current children cumulated memory: 401160 KiB
################
# More data... #
################
/proc/1998/statm: 548771 110446 750 405 0 545715 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 2195084 KiB
Current children cumulated memory: 441784 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/191 2180
/proc/meminfo: memFree=23746608/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2294812 memory=541512 CPUtime=1782.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 332453 0 0 0 177730 487 0 0 20 0 1 0 247471214 2349887488 135378 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 573703 135378 750 405 0 570647 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 2294812 KiB
Current children cumulated memory: 541512 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/191 2181
/proc/meminfo: memFree=24001080/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2040068 memory=286932 CPUtime=1842.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 333342 0 0 0 183719 498 0 0 20 0 1 0 247471214 2089029632 71733 33554432000 4194304 5849940 140737062402784 140737062401880 5521670 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 510017 71733 759 405 0 506961 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 2040068 KiB
Current children cumulated memory: 286932 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/191 2182
/proc/meminfo: memFree=23865560/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2175988 memory=422644 CPUtime=1902.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 338037 0 0 0 189712 505 0 0 20 0 1 0 247471214 2228211712 105661 33554432000 4194304 5849940 140737062402784 140737062401272 4211654 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 543997 105661 759 405 0 540941 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 2175988 KiB
Current children cumulated memory: 422644 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 2183
/proc/meminfo: memFree=23886972/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2153236 memory=399972 CPUtime=1962.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 349905 0 0 0 195695 522 0 0 20 0 1 0 247471214 2204913664 99993 33554432000 4194304 5849940 140737062402784 140737062401272 4211654 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 538309 99993 759 405 0 535253 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 2153236 KiB
Current children cumulated memory: 399972 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 2184
/proc/meminfo: memFree=23868368/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2175440 memory=419472 CPUtime=2022.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 363597 0 0 0 201680 537 0 0 20 0 1 0 247471214 2227650560 104868 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 543860 104868 759 405 0 540804 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 2175440 KiB
Current children cumulated memory: 419472 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 2185
/proc/meminfo: memFree=23860888/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2180500 memory=427236 CPUtime=2082.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 378151 0 0 0 207660 557 0 0 20 0 1 0 247471214 2232832000 106809 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 545125 106809 759 405 0 542069 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 2180500 KiB
Current children cumulated memory: 427236 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 2186
/proc/meminfo: memFree=23849860/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2191500 memory=438236 CPUtime=2142.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 390850 0 0 0 213647 570 0 0 20 0 1 0 247471214 2244096000 109559 33554432000 4194304 5849940 140737062402784 140737062401784 5437811 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 547875 109559 759 405 0 544819 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2191500 KiB
Current children cumulated memory: 438236 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 2187
/proc/meminfo: memFree=23843348/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2197380 memory=444116 CPUtime=2202.16 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 405648 0 0 0 219631 585 0 0 20 0 1 0 247471214 2250117120 111029 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 549345 111029 759 405 0 546289 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 2197380 KiB
Current children cumulated memory: 444116 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 2189
/proc/meminfo: memFree=23824768/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2216288 memory=463024 CPUtime=2262.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 420054 0 0 0 225620 597 0 0 20 0 1 0 247471214 2269478912 115756 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 554072 115756 759 405 0 551016 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 2216288 KiB
Current children cumulated memory: 463024 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 2198
/proc/meminfo: memFree=23741384/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2306232 memory=544592 CPUtime=2322.17 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 439639 0 0 0 231606 611 0 0 20 0 1 0 247471214 2361581568 136148 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 576558 136148 759 405 0 573502 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 2306232 KiB
Current children cumulated memory: 544592 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 2199
/proc/meminfo: memFree=23742344/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2305724 memory=544252 CPUtime=2382.16 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 457065 0 0 0 237591 625 0 0 20 0 1 0 247471214 2361061376 136063 33554432000 4194304 5849940 140737062402784 140737062401272 4211621 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 576431 136063 759 405 0 573375 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 2305724 KiB
Current children cumulated memory: 544252 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 2200
/proc/meminfo: memFree=23798116/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2250432 memory=488960 CPUtime=2442.16 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 480996 0 0 0 243579 637 0 0 20 0 1 0 247471214 2304442368 122240 33554432000 4194304 5849940 140737062402784 140737062401784 5312848 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 562608 122240 759 405 0 559552 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 2250432 KiB
Current children cumulated memory: 488960 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 2201
/proc/meminfo: memFree=23787960/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2258336 memory=498912 CPUtime=2502.16 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 506357 0 0 0 249565 651 0 0 20 0 1 0 247471214 2312536064 124728 33554432000 4194304 5849940 140737062402784 140737062401784 140305297125255 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 564584 124728 759 405 0 561528 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 2258336 KiB
Current children cumulated memory: 498912 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 2202
/proc/meminfo: memFree=23787236/32770624 swapFree=67108856/67108860
[pid=1998] ppid=1995 vsize=2258336 memory=498912 CPUtime=2519.87 cores=0,2,4,6
/proc/1998/stat : 1998 (xcsp_picat) R 1995 1998 665 0 -1 4202496 507752 0 0 0 251334 653 0 0 20 0 1 0 247471214 2312536064 124728 33554432000 4194304 5849940 140737062402784 140737062401784 5335891 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30461952 140737062405302 140737062405380 140737062405380 140737062408138 0
/proc/1998/statm: 564584 124728 759 405 0 561528 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 2258336 KiB
Current children cumulated memory: 498912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 1998 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.35 s, system=6.54471 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.89
CPU user time (s): 2513.35
CPU system time (s): 6.54471
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 2328436
Max. memory (cumulated for all children) (KiB): 566964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.35
system time used= 6.54472
maximum resident set size= 566964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 1441
# summary of solver processes directly reported to runsolver:
# pid: 1998
# total CPU time (s): 2519.89
# total CPU user time (s): 2513.35
# total CPU system time (s): 6.54471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3318 second user time and 16.5739 second system time
The end