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 (13090 MiB free)
memory of node 1: 16384 MiB (13401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309465-1534293911/watcher-4309465-1534293911 -o /tmp/evaluation-result-4309465-1534293911/solver-4309465-1534293911 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23505 --watchdog 2580 xcsp_picat HOME/instance-4309465-1534293911.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
Current StackSize limit: 8192 KiB
solver pid=23530, runsolver pid=23526
[startup+0.100184 s]*
/proc/loadavg: 0.53 0.73 1.07 3/187 23535
/proc/meminfo: memFree=27066492/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2033560 memory=31848 CPUtime=0.1 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 2001 0 0 0 10 0 0 0 20 0 1 0 246954269 2082365440 7962 33554432000 4194304 5849940 140721543739088 140721543738392 4457022 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 508390 7962 635 405 0 505334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 31848 KiB
[startup+0.209816 s]*
/proc/loadavg: 0.53 0.73 1.07 3/187 23535
/proc/meminfo: memFree=27025532/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2033708 memory=44824 CPUtime=0.21 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 2158 0 0 0 20 1 0 0 20 0 1 0 246954269 2082516992 11206 33554432000 4194304 5849940 140721543739088 140721543738392 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 508427 11206 732 405 0 505371 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033708 KiB
Current children cumulated memory: 44824 KiB
[startup+0.309582 s]*
/proc/loadavg: 0.53 0.73 1.07 3/187 23535
/proc/meminfo: memFree=27000956/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2033708 memory=44824 CPUtime=0.31 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 2183 0 0 0 30 1 0 0 20 0 1 0 246954269 2082516992 11206 33554432000 4194304 5849940 140721543739088 140721543738392 5473380 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 508427 11206 732 405 0 505371 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033708 KiB
Current children cumulated memory: 44824 KiB
[startup+0.700351 s]
/proc/loadavg: 0.53 0.73 1.07 3/187 23535
/proc/meminfo: memFree=26952736/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2037316 memory=48320 CPUtime=0.69 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 3101 0 0 0 65 4 0 0 20 0 1 0 246954269 2086211584 12080 33554432000 4194304 5849940 140721543739088 140721543738392 139885075763000 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 509329 12080 735 405 0 506273 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037316 KiB
Current children cumulated memory: 48320 KiB
[startup+1.50028 s]
/proc/loadavg: 0.53 0.73 1.07 3/187 23535
/proc/meminfo: memFree=26881124/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2037316 memory=50364 CPUtime=1.49 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 3101 0 0 0 145 4 0 0 20 0 1 0 246954269 2086211584 12591 33554432000 4194304 5849940 140721543739088 140721543738184 5606430 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 509329 12591 735 405 0 506273 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2037316 KiB
Current children cumulated memory: 50364 KiB
[startup+3.10933 s]
/proc/loadavg: 0.65 0.75 1.07 3/187 23535
/proc/meminfo: memFree=26548944/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2037572 memory=50872 CPUtime=3.1 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 3280 0 0 0 306 4 0 0 20 0 1 0 246954269 2086473728 12718 33554432000 4194304 5849940 140721543739088 140721543738328 5606384 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 509393 12718 735 405 0 506337 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2037572 KiB
Current children cumulated memory: 50872 KiB
[startup+6.30035 s]
/proc/loadavg: 0.65 0.75 1.07 3/187 23535
/proc/meminfo: memFree=26442800/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2046756 memory=60024 CPUtime=6.29 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 11055 0 0 0 622 7 0 0 20 0 1 0 246954269 2095878144 15006 33554432000 4194304 5849940 140721543739088 140721543737480 5317773 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 511689 15006 759 405 0 508633 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2046756 KiB
Current children cumulated memory: 60024 KiB
[startup+12.7003 s]
/proc/loadavg: 0.85 0.79 1.08 3/187 23535
/proc/meminfo: memFree=26363828/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2043360 memory=57056 CPUtime=12.7 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 15388 0 0 0 1255 15 0 0 20 0 1 0 246954269 2092400640 14264 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 510840 14264 767 405 0 507784 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 2043360 KiB
Current children cumulated memory: 57056 KiB
[startup+25.5003 s]
/proc/loadavg: 1.03 0.83 1.09 3/187 23535
/proc/meminfo: memFree=26356872/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2048276 memory=64052 CPUtime=25.49 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 19135 0 0 0 2522 27 0 0 20 0 1 0 246954269 2097434624 16013 33554432000 4194304 5849940 140721543739088 140721543737576 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 512069 16013 776 405 0 509013 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2048276 KiB
Current children cumulated memory: 64052 KiB
[startup+51.1096 s]
/proc/loadavg: 1.36 0.93 1.11 3/187 23535
/proc/meminfo: memFree=26318824/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2053756 memory=69388 CPUtime=51.1 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 23266 0 0 0 5051 59 0 0 20 0 1 0 246954269 2103046144 17347 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 513439 17347 776 405 0 510383 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2053756 KiB
Current children cumulated memory: 69388 KiB
[startup+102.3 s]
/proc/loadavg: 1.74 1.11 1.16 3/187 23536
/proc/meminfo: memFree=26309228/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2062856 memory=78660 CPUtime=102.29 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 32986 0 0 0 10113 116 0 0 20 0 1 0 246954269 2112364544 19665 33554432000 4194304 5849940 140721543739088 140721543738248 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 515714 19665 776 405 0 512658 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2062856 KiB
Current children cumulated memory: 78660 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.27 1.22 3/187 23537
/proc/meminfo: memFree=26144020/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2078516 memory=94216 CPUtime=162.3 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 55198 0 0 0 16050 180 0 0 20 0 1 0 246954269 2128400384 23554 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 519629 23554 776 405 0 516573 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2078516 KiB
Current children cumulated memory: 94216 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.40 1.27 3/187 23538
/proc/meminfo: memFree=26132140/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2077332 memory=93104 CPUtime=222.3 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 81833 0 0 0 21991 239 0 0 20 0 1 0 246954269 2127187968 23276 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 519333 23276 776 405 0 516277 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2077332 KiB
Current children cumulated memory: 93104 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.51 1.31 3/187 23539
/proc/meminfo: memFree=26180376/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2067324 memory=83100 CPUtime=282.3 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 114482 0 0 0 27938 292 0 0 20 0 1 0 246954269 2116939776 20775 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 516831 20775 776 405 0 513775 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2067324 KiB
Current children cumulated memory: 83100 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.60 1.35 3/188 23548
/proc/meminfo: memFree=26125908/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2107896 memory=123644 CPUtime=342.31 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 124926 0 0 0 33891 340 0 0 20 0 1 0 246954269 2158485504 30911 33554432000 4194304 5849940 140721543739088 140721543738248 5438060 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 526974 30911 776 405 0 523918 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2107896 KiB
Current children cumulated memory: 123644 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.67 1.40 3/188 23549
/proc/meminfo: memFree=26144684/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2105440 memory=121112 CPUtime=402.31 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 141754 0 0 0 39849 382 0 0 20 0 1 0 246954269 2155970560 30278 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 526360 30278 776 405 0 523304 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2105440 KiB
Current children cumulated memory: 121112 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.73 1.43 3/188 23550
/proc/meminfo: memFree=26129928/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2103036 memory=118692 CPUtime=462.31 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 154021 0 0 0 45806 425 0 0 20 0 1 0 246954269 2153508864 29673 33554432000 4194304 5849940 140721543739088 140721543737960 5335776 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 525759 29673 776 405 0 522703 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2103036 KiB
Current children cumulated memory: 118692 KiB
################
# More data... #
################
/proc/23530/statm: 551400 55295 776 405 0 548344 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 2205600 KiB
Current children cumulated memory: 221180 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/188 23610
/proc/meminfo: memFree=25960508/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2253520 memory=269296 CPUtime=1842.38 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 424782 0 0 0 182906 1332 0 0 20 0 1 0 246954269 2307604480 67324 33554432000 4194304 5849940 140721543739088 140721543738088 5437784 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 563380 67324 776 405 0 560324 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 2253520 KiB
Current children cumulated memory: 269296 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/188 23611
/proc/meminfo: memFree=25968744/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2245552 memory=261304 CPUtime=1902.39 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 433544 0 0 0 188869 1370 0 0 20 0 1 0 246954269 2299445248 65326 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 561388 65326 776 405 0 558332 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 2245552 KiB
Current children cumulated memory: 261304 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/188 23612
/proc/meminfo: memFree=25931520/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2268528 memory=284076 CPUtime=1962.39 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 444010 0 0 0 194837 1402 0 0 20 0 1 0 246954269 2322972672 71019 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 567132 71019 776 405 0 564076 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 2268528 KiB
Current children cumulated memory: 284076 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/188 23613
/proc/meminfo: memFree=26045740/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2154136 memory=169964 CPUtime=2022.39 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 450449 0 0 0 200803 1436 0 0 20 0 1 0 246954269 2205835264 42491 33554432000 4194304 5849940 140721543739088 140721543738088 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 538534 42491 776 405 0 535478 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 2154136 KiB
Current children cumulated memory: 169964 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/188 23614
/proc/meminfo: memFree=26000860/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2199648 memory=215360 CPUtime=2082.4 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 466818 0 0 0 206768 1472 0 0 20 0 1 0 246954269 2252439552 53840 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 549912 53840 776 405 0 546856 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 2199648 KiB
Current children cumulated memory: 215360 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/188 23620
/proc/meminfo: memFree=26015476/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2198268 memory=213836 CPUtime=2142.4 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 471513 0 0 0 212737 1503 0 0 20 0 1 0 246954269 2251026432 53459 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 549567 53459 776 405 0 546511 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 2198268 KiB
Current children cumulated memory: 213836 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/188 23621
/proc/meminfo: memFree=26013800/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2199996 memory=215772 CPUtime=2202.41 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 473672 0 0 0 218704 1537 0 0 20 0 1 0 246954269 2252795904 53943 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 549999 53943 776 405 0 546943 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 2199996 KiB
Current children cumulated memory: 215772 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/188 23622
/proc/meminfo: memFree=26045748/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2166284 memory=181904 CPUtime=2262.41 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 478511 0 0 0 224671 1570 0 0 20 0 1 0 246954269 2218274816 45476 33554432000 4194304 5849940 140721543739088 140721543738248 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 541571 45476 776 405 0 538515 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 2166284 KiB
Current children cumulated memory: 181904 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/188 23623
/proc/meminfo: memFree=26044568/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2179252 memory=194792 CPUtime=2322.41 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 495213 0 0 0 230636 1605 0 0 20 0 1 0 246954269 2231554048 48698 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 544813 48698 776 405 0 541757 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 2179252 KiB
Current children cumulated memory: 194792 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 23624
/proc/meminfo: memFree=25961176/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2265840 memory=266520 CPUtime=2382.42 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 499345 0 0 0 236606 1636 0 0 20 0 1 0 246954269 2320220160 66630 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 566460 66630 776 405 0 563404 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 2265840 KiB
Current children cumulated memory: 266520 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/188 23626
/proc/meminfo: memFree=26059268/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2152688 memory=168232 CPUtime=2442.42 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 504434 0 0 0 242575 1667 0 0 20 0 1 0 246954269 2204352512 42058 33554432000 4194304 5849940 140721543739088 140721543738248 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 538172 42058 776 405 0 535116 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 2152688 KiB
Current children cumulated memory: 168232 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/188 23627
/proc/meminfo: memFree=26041720/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2169756 memory=185512 CPUtime=2502.42 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 506958 0 0 0 248542 1700 0 0 20 0 1 0 246954269 2221830144 46378 33554432000 4194304 5849940 140721543739088 140721543738088 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 542439 46378 776 405 0 539383 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 2169756 KiB
Current children cumulated memory: 185512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/188 23627
/proc/meminfo: memFree=26031544/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2180332 memory=196064 CPUtime=2520.02 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 507558 0 0 0 250295 1707 0 0 20 0 1 0 246954269 2232659968 49016 33554432000 4194304 5849940 140721543739088 140721543737960 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 545083 49016 776 405 0 542027 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2180332 KiB
Current children cumulated memory: 196064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 23530 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2502.95 s, system=17.0829 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/188 23627
/proc/meminfo: memFree=26031544/32770624 swapFree=67108804/67108860
[pid=23530] ppid=23526 vsize=2180332 memory=196064 CPUtime=2520.02 cores=1,3,5,7
/proc/23530/stat : 23530 (xcsp_picat) R 23526 23530 23473 0 -1 4202496 507558 0 0 0 250295 1707 0 0 20 0 1 0 246954269 2232659968 49016 33554432000 4194304 5849940 140721543739088 140721543737960 139885076230023 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 16805888 140721543746742 140721543746820 140721543746820 140721543749578 0
/proc/23530/statm: 545083 49016 776 405 0 542027 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 2180332 KiB
Current children cumulated memory: 196064 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.04
CPU user time (s): 2502.95
CPU system time (s): 17.0829
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2321508
Max. memory (cumulated for all children) (KiB): 337052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2502.95
system time used= 17.0829
maximum resident set size= 337052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507558
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= 2
involuntary context switches= 1651
# summary of solver processes directly reported to runsolver:
# pid: 23530
# total CPU time (s): 2520.04
# total CPU user time (s): 2502.95
# total CPU system time (s): 17.0829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.237 second user time and 18.4203 second system time
The end