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 (10919 MiB free)
memory of node 1: 16384 MiB (14109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395117-1568337422/watcher-4395117-1568337422 -o /tmp/evaluation-result-4395117-1568337422/solver-4395117-1568337422 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568322189-24246 --watchdog 2580 xcsp_picat HOME/instance-4395117-1568337422.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=28465, runsolver pid=28462
[startup+0.100171 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 28466
/proc/meminfo: memFree=25605516/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2039532 memory=30952 CPUtime=0.1 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 2309 0 0 0 10 0 0 0 20 0 1 0 409684116 2088480768 7738 33554432000 4194304 5870510 140733957786240 140733957783384 4475153 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 509883 7738 856 410 0 505356 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 30952 KiB
[startup+0.209946 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 28466
/proc/meminfo: memFree=25582676/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2039532 memory=51432 CPUtime=0.21 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 2319 0 0 0 20 1 0 0 20 0 1 0 409684116 2088480768 12858 33554432000 4194304 5870510 140733957786240 140733957783384 4491118 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 509883 12858 856 410 0 505356 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 51432 KiB
[startup+0.30975 s]*
/proc/loadavg: 2.00 2.04 2.05 3/200 28466
/proc/meminfo: memFree=25569520/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2045320 memory=63976 CPUtime=0.31 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 2913 0 0 0 30 1 0 0 20 0 1 0 409684116 2094407680 15994 33554432000 4194304 5870510 140733957786240 140733957783384 5287596 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 511330 15994 880 410 0 506803 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2045320 KiB
Current children cumulated memory: 63976 KiB
[startup+0.700392 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 28466
/proc/meminfo: memFree=25535724/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2110900 memory=125204 CPUtime=0.69 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 15938 0 0 0 67 2 0 0 20 0 1 0 409684116 2161561600 31301 33554432000 4194304 5870510 140733957786240 140733957784792 140152349387749 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 527725 31301 881 410 0 523198 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2110900 KiB
Current children cumulated memory: 125204 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 28466
/proc/meminfo: memFree=25461104/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2235172 memory=242364 CPUtime=1.49 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 35232 0 0 0 143 6 0 0 20 0 1 0 409684116 2288816128 60591 33554432000 4194304 5870510 140733957786240 140733957784792 5307553 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 558793 60591 881 410 0 554266 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2235172 KiB
Current children cumulated memory: 242364 KiB
[startup+3.10968 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 28466
/proc/meminfo: memFree=25174100/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2511856 memory=463224 CPUtime=3.1 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 95863 0 0 0 295 15 0 0 20 0 1 0 409684116 2572140544 115806 33554432000 4194304 5870510 140733957786240 140733957784792 140152349847431 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 627964 115806 916 410 0 623437 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2511856 KiB
Current children cumulated memory: 463224 KiB
[startup+6.3004 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 28466
/proc/meminfo: memFree=25166872/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2513592 memory=464432 CPUtime=6.29 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 127861 0 0 0 611 18 0 0 20 0 1 0 409684116 2573918208 116108 33554432000 4194304 5870510 140733957786240 140733957784792 5337288 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 628398 116108 923 410 0 623871 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2513592 KiB
Current children cumulated memory: 464432 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 28468
/proc/meminfo: memFree=25163968/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2515836 memory=467308 CPUtime=12.69 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 201701 0 0 0 1247 22 0 0 20 0 1 0 409684116 2576216064 116827 33554432000 4194304 5870510 140733957786240 140733957784568 5343854 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 628959 116827 924 410 0 624432 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2515836 KiB
Current children cumulated memory: 467308 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 28469
/proc/meminfo: memFree=25208024/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2495072 memory=422776 CPUtime=25.49 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 303346 0 0 0 2519 30 0 0 20 0 1 0 409684116 2554953728 105694 33554432000 4194304 5870510 140733957786240 140733957785496 140152355084898 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 623768 105694 949 410 0 619241 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2495072 KiB
Current children cumulated memory: 422776 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 28469
/proc/meminfo: memFree=25187336/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2495072 memory=443256 CPUtime=51.1 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 351207 0 0 0 5076 34 0 0 20 0 1 0 409684116 2554953728 110814 33554432000 4194304 5870510 140733957786240 140733957785352 5282242 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 623768 110814 949 410 0 619241 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2495072 KiB
Current children cumulated memory: 443256 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 28475
/proc/meminfo: memFree=25188732/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2495072 memory=439000 CPUtime=102.29 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 407440 0 0 0 10185 44 0 0 20 0 1 0 409684116 2554953728 109750 33554432000 4194304 5870510 140733957786240 140733957785192 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 623768 109750 949 410 0 619241 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2495072 KiB
Current children cumulated memory: 439000 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 28479
/proc/meminfo: memFree=25187216/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2495072 memory=439000 CPUtime=162.28 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 496516 0 0 0 16174 54 0 0 20 0 1 0 409684116 2554953728 109750 33554432000 4194304 5870510 140733957786240 140733957785192 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 623768 109750 949 410 0 619241 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2495072 KiB
Current children cumulated memory: 439000 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 28488
/proc/meminfo: memFree=25183056/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2502872 memory=442916 CPUtime=222.28 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 559459 0 0 0 22165 63 0 0 20 0 1 0 409684116 2562940928 110729 33554432000 4194304 5870510 140733957786240 140733957785192 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 625718 110729 949 410 0 621191 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2502872 KiB
Current children cumulated memory: 442916 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 28494
/proc/meminfo: memFree=25175148/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2502872 memory=451120 CPUtime=282.28 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 623239 0 0 0 28156 72 0 0 20 0 1 0 409684116 2562940928 112780 33554432000 4194304 5870510 140733957786240 140733957785192 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 625718 112780 949 410 0 621191 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2502872 KiB
Current children cumulated memory: 451120 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28498
/proc/meminfo: memFree=25165360/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2517232 memory=461340 CPUtime=342.27 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 656613 0 0 0 34149 78 0 0 20 0 1 0 409684116 2577645568 115335 33554432000 4194304 5870510 140733957786240 140733957785192 140152355084545 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 629308 115335 949 410 0 624781 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2517232 KiB
Current children cumulated memory: 461340 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28502
/proc/meminfo: memFree=25167064/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2517232 memory=459312 CPUtime=402.27 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 743585 0 0 0 40140 87 0 0 20 0 1 0 409684116 2577645568 114828 33554432000 4194304 5870510 140733957786240 140733957785192 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 629308 114828 949 410 0 624781 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2517232 KiB
Current children cumulated memory: 459312 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28508
/proc/meminfo: memFree=25122960/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2517232 memory=472272 CPUtime=462.27 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 801374 0 0 0 46133 94 0 0 20 0 1 0 409684116 2577645568 118068 33554432000 4194304 5870510 140733957786240 140733957785256 5282400 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 629308 118068 949 410 0 624781 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2517232 KiB
Current children cumulated memory: 472272 KiB
################
# More data... #
################
/proc/28465/statm: 644725 131646 949 410 0 640198 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 2578900 KiB
Current children cumulated memory: 526584 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 28912
/proc/meminfo: memFree=25185440/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2578900 memory=523864 CPUtime=1782.14 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1063706 0 0 0 178030 184 0 0 20 0 1 0 409684116 2640793600 130966 33554432000 4194304 5870510 140733957786240 140733957785256 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 644725 130966 949 410 0 640198 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 2578900 KiB
Current children cumulated memory: 523864 KiB
[startup+1842.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/199 28916
/proc/meminfo: memFree=25148044/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2586804 memory=560728 CPUtime=1842.13 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1070195 0 0 0 184028 185 0 0 20 0 1 0 409684116 2648887296 140182 33554432000 4194304 5870510 140733957786240 140733957784728 5282412 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 646701 140182 949 410 0 642174 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 2586804 KiB
Current children cumulated memory: 560728 KiB
[startup+1902.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/199 28983
/proc/meminfo: memFree=25110376/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2586804 memory=559352 CPUtime=1902.13 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1075237 0 0 0 190024 189 0 0 20 0 1 0 409684116 2648887296 139838 33554432000 4194304 5870510 140733957786240 140733957785256 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 646701 139838 949 410 0 642174 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 2586804 KiB
Current children cumulated memory: 559352 KiB
[startup+1962.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 28987
/proc/meminfo: memFree=25103076/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2586804 memory=560728 CPUtime=1962.13 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1079875 0 0 0 196021 192 0 0 20 0 1 0 409684116 2648887296 140182 33554432000 4194304 5870510 140733957786240 140733957785256 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 646701 140182 949 410 0 642174 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 2586804 KiB
Current children cumulated memory: 560728 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 28998
/proc/meminfo: memFree=25094948/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2586804 memory=534104 CPUtime=2022.13 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1085712 0 0 0 202014 199 0 0 20 0 1 0 409684116 2648887296 133526 33554432000 4194304 5870510 140733957786240 140733957785256 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 646701 133526 949 410 0 642174 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 2586804 KiB
Current children cumulated memory: 534104 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 29004
/proc/meminfo: memFree=25100036/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2586804 memory=530680 CPUtime=2082.12 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1090939 0 0 0 208010 202 0 0 20 0 1 0 409684116 2648887296 132670 33554432000 4194304 5870510 140733957786240 140733957785256 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 646701 132670 949 410 0 642174 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 2586804 KiB
Current children cumulated memory: 530680 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 29008
/proc/meminfo: memFree=25065148/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2586804 memory=561400 CPUtime=2142.12 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1096383 0 0 0 214009 203 0 0 20 0 1 0 409684116 2648887296 140350 33554432000 4194304 5870510 140733957786240 140733957785256 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 646701 140350 949 410 0 642174 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 2586804 KiB
Current children cumulated memory: 561400 KiB
[startup+2202.3 s]
/proc/loadavg: 1.90 1.97 2.03 3/199 29012
/proc/meminfo: memFree=25066680/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2596028 memory=564824 CPUtime=2202.12 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1103761 0 0 0 220005 207 0 0 20 0 1 0 409684116 2658332672 141206 33554432000 4194304 5870510 140733957786240 140733957784728 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 649007 141206 949 410 0 644480 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 2596028 KiB
Current children cumulated memory: 564824 KiB
[startup+2262.3 s]
/proc/loadavg: 1.96 1.98 2.03 3/199 29018
/proc/meminfo: memFree=25019688/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2596028 memory=557304 CPUtime=2262.12 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1109930 0 0 0 226002 210 0 0 20 0 1 0 409684116 2658332672 139326 33554432000 4194304 5870510 140733957786240 140733957785256 5282752 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 649007 139326 949 410 0 644480 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 2596028 KiB
Current children cumulated memory: 557304 KiB
[startup+2322.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 29023
/proc/meminfo: memFree=25034612/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2596028 memory=554584 CPUtime=2322.12 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1116352 0 0 0 231998 214 0 0 20 0 1 0 409684116 2658332672 138646 33554432000 4194304 5870510 140733957786240 140733957785256 5288905 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 649007 138646 949 410 0 644480 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 2596028 KiB
Current children cumulated memory: 554584 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29027
/proc/meminfo: memFree=25029616/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2596028 memory=551160 CPUtime=2382.11 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1122545 0 0 0 237995 216 0 0 20 0 1 0 409684116 2658332672 137790 33554432000 4194304 5870510 140733957786240 140733957785256 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 649007 137790 949 410 0 644480 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2596028 KiB
Current children cumulated memory: 551160 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29033
/proc/meminfo: memFree=25049688/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2596028 memory=544344 CPUtime=2442.11 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1128607 0 0 0 243992 219 0 0 20 0 1 0 409684116 2658332672 136086 33554432000 4194304 5870510 140733957786240 140733957785256 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 649007 136086 949 410 0 644480 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 2596028 KiB
Current children cumulated memory: 544344 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29038
/proc/meminfo: memFree=25007400/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2596028 memory=575064 CPUtime=2502.1 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1129827 0 0 0 249991 219 0 0 20 0 1 0 409684116 2658332672 143766 33554432000 4194304 5870510 140733957786240 140733957785256 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 649007 143766 949 410 0 644480 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 2596028 KiB
Current children cumulated memory: 575064 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 29038
/proc/meminfo: memFree=25030136/32770624 swapFree=66952812/67108860
[pid=28465] ppid=28462 vsize=2596028 memory=547064 CPUtime=2519.82 cores=1,3,5,7
/proc/28465/stat : 28465 (xcsp_picat) R 28462 28465 24214 0 -1 4202496 1134865 0 0 0 251760 222 0 0 20 0 1 0 409684116 2658332672 136766 33554432000 4194304 5870510 140733957786240 140733957785256 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 17993728 140733957792799 140733957792877 140733957792877 140733957795786 0
/proc/28465/statm: 649007 136766 949 410 0 644480 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 2596028 KiB
Current children cumulated memory: 547064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28465 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.6 s, system=2.2299 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.01
CPU time (s): 2519.83
CPU user time (s): 2517.6
CPU system time (s): 2.2299
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 2807644
Max. memory (cumulated for all children) (KiB): 718336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.6
system time used= 2.22989
maximum resident set size= 724480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1134865
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= 112
involuntary context switches= 1483
# summary of solver processes directly reported to runsolver:
# pid: 28465
# total CPU time (s): 2519.83
# total CPU user time (s): 2517.6
# total CPU system time (s): 2.2299
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0255 second user time and 18.9309 second system time
The end