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 (5950 MiB free)
memory of node 1: 16384 MiB (9992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309685-1534307641/watcher-4309685-1534307641 -o /tmp/evaluation-result-4309685-1534307641/solver-4309685-1534307641 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16589 --watchdog 2580 xcsp_picat HOME/instance-4309685-1534307641.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18283, runsolver pid=18280
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16303388/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2025744 memory=26920 CPUtime=0.1 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 1273 0 0 0 10 0 0 0 20 0 1 0 248327302 2074361856 6730 33554432000 4194304 5849940 140733160953904 140733160953208 140252135652352 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 506436 6730 607 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 26920 KiB
[startup+0.209617 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16289052/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2025744 memory=39208 CPUtime=0.21 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 1279 0 0 0 21 0 0 0 20 0 1 0 248327302 2074361856 9802 33554432000 4194304 5849940 140733160953904 140733160953208 4871920 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 506436 9802 607 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 39208 KiB
[startup+0.309496 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16276764/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2033560 memory=53544 CPUtime=0.31 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 1302 0 0 0 31 0 0 0 20 0 1 0 248327302 2082365440 13386 33554432000 4194304 5849940 140733160953904 140733160953208 4475392 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 508390 13386 607 405 0 505334 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 53544 KiB
[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16258272/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2035940 memory=72036 CPUtime=0.69 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 2450 0 0 0 67 2 0 0 20 0 1 0 248327302 2084802560 18009 33554432000 4194304 5849940 140733160953904 140733160953208 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 508985 18009 689 405 0 505929 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035940 KiB
Current children cumulated memory: 72036 KiB
[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16254948/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2037884 memory=74152 CPUtime=1.49 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 3329 0 0 0 144 5 0 0 20 0 1 0 248327302 2086793216 18538 33554432000 4194304 5849940 140733160953904 140733160952824 5310992 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 509471 18538 705 405 0 506415 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037884 KiB
Current children cumulated memory: 74152 KiB
[startup+3.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16253748/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2038088 memory=74360 CPUtime=3.1 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 4734 0 0 0 304 6 0 0 20 0 1 0 248327302 2087002112 18590 33554432000 4194304 5849940 140733160953904 140733160952904 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 509522 18590 721 405 0 506466 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038088 KiB
Current children cumulated memory: 74360 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16251204/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2040980 memory=77360 CPUtime=6.29 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 6344 0 0 0 618 11 0 0 20 0 1 0 248327302 2089963520 19340 33554432000 4194304 5849940 140733160953904 140733160952904 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 510245 19340 721 405 0 507189 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040980 KiB
Current children cumulated memory: 77360 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16248972/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2043020 memory=79404 CPUtime=12.69 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 10739 0 0 0 1250 19 0 0 20 0 1 0 248327302 2092052480 19851 33554432000 4194304 5849940 140733160953904 140733160952904 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 510755 19851 721 405 0 507699 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2043020 KiB
Current children cumulated memory: 79404 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16246452/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2045504 memory=81716 CPUtime=25.48 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 19269 0 0 0 2514 34 0 0 20 0 1 0 248327302 2094596096 20429 33554432000 4194304 5849940 140733160953904 140733160953064 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 511376 20429 721 405 0 508320 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2045504 KiB
Current children cumulated memory: 81716 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18284
/proc/meminfo: memFree=16216472/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2047044 memory=83276 CPUtime=51.09 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 33583 0 0 0 5051 58 0 0 20 0 1 0 248327302 2096173056 20819 33554432000 4194304 5849940 140733160953904 140733160952904 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 511761 20819 721 405 0 508705 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2047044 KiB
Current children cumulated memory: 83276 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18285
/proc/meminfo: memFree=16101320/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2053972 memory=90352 CPUtime=102.29 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 58659 0 0 0 10131 98 0 0 20 0 1 0 248327302 2103267328 22588 33554432000 4194304 5849940 140733160953904 140733160952904 5437815 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 513493 22588 721 405 0 510437 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2053972 KiB
Current children cumulated memory: 90352 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18286
/proc/meminfo: memFree=16040872/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2057376 memory=93640 CPUtime=162.28 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 87465 0 0 0 16091 137 0 0 20 0 1 0 248327302 2106753024 23410 33554432000 4194304 5849940 140733160953904 140733160952904 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 514344 23410 721 405 0 511288 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2057376 KiB
Current children cumulated memory: 93640 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18287
/proc/meminfo: memFree=15824656/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2052672 memory=89020 CPUtime=222.27 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 111079 0 0 0 22055 172 0 0 20 0 1 0 248327302 2101936128 22255 33554432000 4194304 5849940 140733160953904 140733160952632 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 513168 22255 721 405 0 510112 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2052672 KiB
Current children cumulated memory: 89020 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18288
/proc/meminfo: memFree=15740252/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2061528 memory=97620 CPUtime=282.28 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 133974 0 0 0 28024 204 0 0 20 0 1 0 248327302 2111004672 24405 33554432000 4194304 5849940 140733160953904 140733160952904 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 515382 24405 721 405 0 512326 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2061528 KiB
Current children cumulated memory: 97620 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 18289
/proc/meminfo: memFree=15785300/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2069112 memory=105244 CPUtime=342.27 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 158742 0 0 0 33993 234 0 0 20 0 1 0 248327302 2118770688 26311 33554432000 4194304 5849940 140733160953904 140733160952904 5438033 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 517278 26311 721 405 0 514222 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2069112 KiB
Current children cumulated memory: 105244 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 18297
/proc/meminfo: memFree=15784384/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2069804 memory=105928 CPUtime=402.26 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 181988 0 0 0 39966 260 0 0 20 0 1 0 248327302 2119479296 26482 33554432000 4194304 5849940 140733160953904 140733160952904 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 517451 26482 721 405 0 514395 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2069804 KiB
Current children cumulated memory: 105928 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 18298
/proc/meminfo: memFree=15745680/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2064072 memory=100396 CPUtime=462.26 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 206244 0 0 0 45940 286 0 0 20 0 1 0 248327302 2113609728 25099 33554432000 4194304 5849940 140733160953904 140733160952904 140252135673735 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 516018 25099 721 405 0 512962 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2064072 KiB
Current children cumulated memory: 100396 KiB
################
# More data... #
################
/proc/18283/statm: 559395 69903 721 405 0 556339 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2237580 KiB
Current children cumulated memory: 279612 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18419
/proc/meminfo: memFree=18762208/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2305908 memory=347940 CPUtime=1782.2 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 472094 0 0 0 177696 524 0 0 20 0 1 0 248327302 2361249792 86985 33554432000 4194304 5849940 140733160953904 140733160952904 5438020 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 576477 86985 721 405 0 573421 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2305908 KiB
Current children cumulated memory: 347940 KiB
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 18420
/proc/meminfo: memFree=18730204/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2305908 memory=347940 CPUtime=1842.2 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 493226 0 0 0 183689 531 0 0 20 0 1 0 248327302 2361249792 86985 33554432000 4194304 5849940 140733160953904 140733160952904 5437824 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 576477 86985 721 405 0 573421 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2305908 KiB
Current children cumulated memory: 347940 KiB
[startup+1902.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 18421
/proc/meminfo: memFree=18712004/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2323644 memory=365676 CPUtime=1902.2 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 516526 0 0 0 189679 541 0 0 20 0 1 0 248327302 2379411456 91419 33554432000 4194304 5849940 140733160953904 140733160952904 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 580911 91419 721 405 0 577855 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2323644 KiB
Current children cumulated memory: 365676 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 18422
/proc/meminfo: memFree=18786264/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2323644 memory=365676 CPUtime=1962.19 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 540233 0 0 0 195670 549 0 0 20 0 1 0 248327302 2379411456 91419 33554432000 4194304 5849940 140733160953904 140733160952904 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 580911 91419 721 405 0 577855 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 2323644 KiB
Current children cumulated memory: 365676 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 18423
/proc/meminfo: memFree=18750580/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2323644 memory=365676 CPUtime=2022.19 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 563211 0 0 0 201663 556 0 0 20 0 1 0 248327302 2379411456 91419 33554432000 4194304 5849940 140733160953904 140733160952904 5437815 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 580911 91419 721 405 0 577855 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 2323644 KiB
Current children cumulated memory: 365676 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18424
/proc/meminfo: memFree=18680636/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2393392 memory=435356 CPUtime=2082.19 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 601485 0 0 0 207654 565 0 0 20 0 1 0 248327302 2450833408 108839 33554432000 4194304 5849940 140733160953904 140733160953064 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 598348 108839 721 405 0 595292 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 2393392 KiB
Current children cumulated memory: 435356 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18425
/proc/meminfo: memFree=18804504/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2260492 memory=302524 CPUtime=2142.19 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 638696 0 0 0 213643 576 0 0 20 0 1 0 248327302 2314743808 75631 33554432000 4194304 5849940 140733160953904 140733160953064 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 565123 75631 721 405 0 562067 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 2260492 KiB
Current children cumulated memory: 302524 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 18434
/proc/meminfo: memFree=18804412/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2260492 memory=302524 CPUtime=2202.19 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 657305 0 0 0 219635 584 0 0 20 0 1 0 248327302 2314743808 75631 33554432000 4194304 5849940 140733160953904 140733160952904 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 565123 75631 721 405 0 562067 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 2260492 KiB
Current children cumulated memory: 302524 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 18435
/proc/meminfo: memFree=18798272/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2267048 memory=309080 CPUtime=2262.18 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 677761 0 0 0 225627 591 0 0 20 0 1 0 248327302 2321457152 77270 33554432000 4194304 5849940 140733160953904 140733160952904 5438016 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 566762 77270 721 405 0 563706 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 2267048 KiB
Current children cumulated memory: 309080 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 18436
/proc/meminfo: memFree=18732468/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2267048 memory=309080 CPUtime=2322.18 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 697956 0 0 0 231620 598 0 0 20 0 1 0 248327302 2321457152 77270 33554432000 4194304 5849940 140733160953904 140733160952904 5335720 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 566762 77270 721 405 0 563706 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 2267048 KiB
Current children cumulated memory: 309080 KiB
[startup+2382.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/188 18437
/proc/meminfo: memFree=18713356/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2267048 memory=309080 CPUtime=2382.18 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 718792 0 0 0 237613 605 0 0 20 0 1 0 248327302 2321457152 77270 33554432000 4194304 5849940 140733160953904 140733160952904 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 566762 77270 721 405 0 563706 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 2267048 KiB
Current children cumulated memory: 309080 KiB
[startup+2442.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/188 18438
/proc/meminfo: memFree=18732168/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2248748 memory=290720 CPUtime=2442.18 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 750347 0 0 0 243605 613 0 0 20 0 1 0 248327302 2302717952 72680 33554432000 4194304 5849940 140733160953904 140733160952904 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 562187 72680 721 405 0 559131 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 2248748 KiB
Current children cumulated memory: 290720 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/187 18439
/proc/meminfo: memFree=18706564/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2248748 memory=290780 CPUtime=2502.18 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 775186 0 0 0 249596 622 0 0 20 0 1 0 248327302 2302717952 72695 33554432000 4194304 5849940 140733160953904 140733160952904 5437796 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 562187 72695 721 405 0 559131 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 2248748 KiB
Current children cumulated memory: 290780 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.10 2.08 3/187 18440
/proc/meminfo: memFree=18705820/32770624 swapFree=67108860/67108860
[pid=18283] ppid=18280 vsize=2248748 memory=290780 CPUtime=2519.88 cores=1,3,5,7
/proc/18283/stat : 18283 (xcsp_picat) R 18280 18283 16557 0 -1 4202496 798652 0 0 0 251362 626 0 0 20 0 1 0 248327302 2302717952 72695 33554432000 4194304 5849940 140733160953904 140733160952904 5335727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 47058944 140733160957110 140733160957188 140733160957188 140733160959946 0
/proc/18283/statm: 562187 72695 721 405 0 559131 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 2248748 KiB
Current children cumulated memory: 290780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 18283 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.63 s, system=6.27875 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.91
CPU user time (s): 2513.63
CPU system time (s): 6.27875
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 2393392
Max. memory (cumulated for all children) (KiB): 435424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.63
system time used= 6.27875
maximum resident set size= 435424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 798653
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= 18
involuntary context switches= 1187
# summary of solver processes directly reported to runsolver:
# pid: 18283
# total CPU time (s): 2519.91
# total CPU user time (s): 2513.63
# total CPU system time (s): 6.27875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9038 second user time and 16.3276 second system time
The end