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 (11109 MiB free)
memory of node 1: 16384 MiB (13813 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395126-1568322418/watcher-4395126-1568322418 -o /tmp/evaluation-result-4395126-1568322418/solver-4395126-1568322418 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568322189-24245 --watchdog 2580 xcsp_picat HOME/instance-4395126-1568322418.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25240, runsolver pid=25237
[startup+0.10021 s]*
/proc/loadavg: 2.25 3.47 5.56 3/199 25241
/proc/meminfo: memFree=25493700/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2031716 memory=32160 CPUtime=0.1 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 1607 0 0 0 10 0 0 0 20 0 1 0 408183784 2080477184 8040 33554432000 4194304 5870510 140733363650864 140733363648008 4534878 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 507929 8040 855 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 32160 KiB
[startup+0.20969 s]*
/proc/loadavg: 2.25 3.47 5.56 3/199 25241
/proc/meminfo: memFree=25478868/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2031716 memory=41360 CPUtime=0.2 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 1827 0 0 0 20 0 0 0 20 0 1 0 408183784 2080477184 10340 33554432000 4194304 5870510 140733363650864 140733363650232 4555765 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 507929 10340 870 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 41360 KiB
[startup+0.309724 s]*
/proc/loadavg: 2.25 3.47 5.56 3/199 25241
/proc/meminfo: memFree=25464036/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2031716 memory=54168 CPUtime=0.31 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 1959 0 0 0 30 1 0 0 20 0 1 0 408183784 2080477184 13542 33554432000 4194304 5870510 140733363650864 140733363650232 4520559 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 507929 13542 876 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 54168 KiB
[startup+0.700435 s]
/proc/loadavg: 2.25 3.47 5.56 3/199 25241
/proc/meminfo: memFree=25401452/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2132172 memory=143880 CPUtime=0.69 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 21201 0 0 0 64 5 0 0 20 0 1 0 408183784 2183344128 35970 33554432000 4194304 5870510 140733363650864 140733363650232 5317972 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 533043 35970 902 410 0 528516 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2132172 KiB
Current children cumulated memory: 143880 KiB
[startup+1.50043 s]
/proc/loadavg: 2.25 3.47 5.56 3/199 25241
/proc/meminfo: memFree=25250596/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2151436 memory=163368 CPUtime=1.49 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 25644 0 0 0 144 5 0 0 20 0 1 0 408183784 2203070464 40842 33554432000 4194304 5870510 140733363650864 140733363649368 140346091461605 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 537859 40842 964 410 0 533332 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2151436 KiB
Current children cumulated memory: 163368 KiB
[startup+3.10952 s]
/proc/loadavg: 2.25 3.47 5.56 3/199 25241
/proc/meminfo: memFree=25109296/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2238244 memory=224608 CPUtime=3.1 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 56633 0 0 0 302 8 0 0 20 0 1 0 408183784 2291961856 56152 33554432000 4194304 5870510 140733363650864 140733363649016 5346408 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 559561 56152 966 410 0 555034 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2238244 KiB
Current children cumulated memory: 224608 KiB
[startup+6.30041 s]
/proc/loadavg: 2.31 3.46 5.55 3/199 25241
/proc/meminfo: memFree=24977104/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2179844 memory=192804 CPUtime=6.29 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 76846 0 0 0 618 11 0 0 20 0 1 0 408183784 2232160256 48201 33554432000 4194304 5870510 140733363650864 140733363650120 5272512 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 544961 48201 988 410 0 540434 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2179844 KiB
Current children cumulated memory: 192804 KiB
[startup+12.7004 s]
/proc/loadavg: 2.37 3.45 5.54 3/199 25241
/proc/meminfo: memFree=24974936/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2179844 memory=194860 CPUtime=12.69 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 94856 0 0 0 1258 11 0 0 20 0 1 0 408183784 2232160256 48715 33554432000 4194304 5870510 140733363650864 140733363650120 5289014 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 544961 48715 990 410 0 540434 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2179844 KiB
Current children cumulated memory: 194860 KiB
[startup+25.5005 s]
/proc/loadavg: 2.43 3.41 5.49 3/200 25243
/proc/meminfo: memFree=24972104/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2179844 memory=196908 CPUtime=25.49 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 114904 0 0 0 2536 13 0 0 20 0 1 0 408183784 2232160256 49227 33554432000 4194304 5870510 140733363650864 140733363649976 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 544961 49227 990 410 0 540434 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2179844 KiB
Current children cumulated memory: 196908 KiB
[startup+51.1099 s]
/proc/loadavg: 2.28 3.30 5.40 3/199 25244
/proc/meminfo: memFree=24968888/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2198812 memory=201020 CPUtime=51.09 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 139907 0 0 0 5092 17 0 0 20 0 1 0 408183784 2251583488 50255 33554432000 4194304 5870510 140733363650864 140733363649816 5289307 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 549703 50255 990 410 0 545176 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2198812 KiB
Current children cumulated memory: 201020 KiB
[startup+102.3 s]
/proc/loadavg: 2.12 3.10 5.22 3/199 25247
/proc/meminfo: memFree=24966848/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2198812 memory=203232 CPUtime=102.28 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 197761 0 0 0 10201 27 0 0 20 0 1 0 408183784 2251583488 50808 33554432000 4194304 5870510 140733363650864 140733363649816 5272962 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 549703 50808 990 410 0 545176 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2198812 KiB
Current children cumulated memory: 203232 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.89 5.01 3/200 25253
/proc/meminfo: memFree=24959924/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2191868 memory=209264 CPUtime=162.27 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 236390 0 0 0 16192 35 0 0 20 0 1 0 408183784 2244472832 52316 33554432000 4194304 5870510 140733363650864 140733363649880 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 547967 52316 990 410 0 543440 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2191868 KiB
Current children cumulated memory: 209264 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.72 4.82 3/199 25257
/proc/meminfo: memFree=24954204/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2210836 memory=215332 CPUtime=222.28 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 242472 0 0 0 22188 40 0 0 20 0 1 0 408183784 2263896064 53833 33554432000 4194304 5870510 140733363650864 140733363649816 5294975 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 552709 53833 990 410 0 548182 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2210836 KiB
Current children cumulated memory: 215332 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.59 4.65 3/200 25269
/proc/meminfo: memFree=24946760/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2216504 memory=219388 CPUtime=282.28 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 272876 0 0 0 28182 46 0 0 20 0 1 0 408183784 2269700096 54847 33554432000 4194304 5870510 140733363650864 140733363649880 5281896 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 554126 54847 990 410 0 549599 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2216504 KiB
Current children cumulated memory: 219388 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.48 4.48 3/201 25275
/proc/meminfo: memFree=24942100/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2216504 memory=223652 CPUtime=342.27 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 275896 0 0 0 34179 48 0 0 20 0 1 0 408183784 2269700096 55913 33554432000 4194304 5870510 140733363650864 140733363649880 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 554126 55913 990 410 0 549599 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2216504 KiB
Current children cumulated memory: 223652 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.40 4.33 3/200 25279
/proc/meminfo: memFree=24949252/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2212260 memory=217060 CPUtime=402.27 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 305775 0 0 0 40173 54 0 0 20 0 1 0 408183784 2265354240 54265 33554432000 4194304 5870510 140733363650864 140733363649880 5298343 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 553065 54265 990 410 0 548538 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2212260 KiB
Current children cumulated memory: 217060 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.33 4.18 3/200 25283
/proc/meminfo: memFree=24925548/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2212260 memory=229212 CPUtime=462.26 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 311483 0 0 0 46165 61 0 0 20 0 1 0 408183784 2265354240 57303 33554432000 4194304 5870510 140733363650864 140733363649880 5288765 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 553065 57303 990 410 0 548538 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2212260 KiB
Current children cumulated memory: 229212 KiB
################
# More data... #
################
/proc/25240/statm: 560723 65454 990 410 0 556196 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 2242892 KiB
Current children cumulated memory: 261816 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.53 3/200 25530
/proc/meminfo: memFree=25331616/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2245044 memory=266352 CPUtime=1782.14 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 597658 0 0 0 178006 208 0 0 20 0 1 0 408183784 2298925056 66588 33554432000 4194304 5870510 140733363650864 140733363649880 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 561261 66588 990 410 0 556734 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 2245044 KiB
Current children cumulated memory: 266352 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.49 3/199 25534
/proc/meminfo: memFree=25311452/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2245044 memory=266372 CPUtime=1842.14 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 603363 0 0 0 183999 215 0 0 20 0 1 0 408183784 2298925056 66593 33554432000 4194304 5870510 140733363650864 140733363649880 5282609 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 561261 66593 990 410 0 556734 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 2245044 KiB
Current children cumulated memory: 266372 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.47 3/199 25538
/proc/meminfo: memFree=25316392/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2245044 memory=262296 CPUtime=1902.14 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 615700 0 0 0 189991 223 0 0 20 0 1 0 408183784 2298925056 65574 33554432000 4194304 5870510 140733363650864 140733363649880 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 561261 65574 990 410 0 556734 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 2245044 KiB
Current children cumulated memory: 262296 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.44 3/200 25544
/proc/meminfo: memFree=25313656/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2245044 memory=264368 CPUtime=1962.13 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 639073 0 0 0 195983 230 0 0 20 0 1 0 408183784 2298925056 66092 33554432000 4194304 5870510 140733363650864 140733363649880 5282578 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 561261 66092 990 410 0 556734 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 2245044 KiB
Current children cumulated memory: 264368 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.41 3/199 25548
/proc/meminfo: memFree=25304588/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2275864 memory=269396 CPUtime=2022.13 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 649868 0 0 0 201977 236 0 0 20 0 1 0 408183784 2330484736 67349 33554432000 4194304 5870510 140733363650864 140733363649816 5295196 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 568966 67349 990 410 0 564439 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 2275864 KiB
Current children cumulated memory: 269396 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.38 3/200 25560
/proc/meminfo: memFree=25303212/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2286028 memory=305136 CPUtime=2082.13 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 668113 0 0 0 207968 245 0 0 20 0 1 0 408183784 2340892672 76284 33554432000 4194304 5870510 140733363650864 140733363649352 5312435 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 571507 76284 990 410 0 566980 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 2286028 KiB
Current children cumulated memory: 305136 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.36 5/201 25566
/proc/meminfo: memFree=25289376/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2251472 memory=275156 CPUtime=2142.13 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 690753 0 0 0 213961 252 0 0 20 0 1 0 408183784 2305507328 68789 33554432000 4194304 5870510 140733363650864 140733363649880 5282714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 562868 68789 990 410 0 558341 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 2251472 KiB
Current children cumulated memory: 275156 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.34 3/200 25570
/proc/meminfo: memFree=25305740/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2251472 memory=274996 CPUtime=2202.12 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 703625 0 0 0 219953 259 0 0 20 0 1 0 408183784 2305507328 68749 33554432000 4194304 5870510 140733363650864 140733363649880 5282729 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 562868 68749 990 410 0 558341 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 2251472 KiB
Current children cumulated memory: 274996 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/200 25574
/proc/meminfo: memFree=25293768/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2282292 memory=285472 CPUtime=2262.12 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 717638 0 0 0 225944 268 0 0 20 0 1 0 408183784 2337067008 71368 33554432000 4194304 5870510 140733363650864 140733363649816 5282251 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 570573 71368 990 410 0 566046 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 2282292 KiB
Current children cumulated memory: 285472 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.30 3/201 25580
/proc/meminfo: memFree=25259564/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2282292 memory=287372 CPUtime=2322.12 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 731087 0 0 0 231933 279 0 0 20 0 1 0 408183784 2337067008 71843 33554432000 4194304 5870510 140733363650864 140733363649816 140346097095616 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 570573 71843 990 410 0 566046 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 2282292 KiB
Current children cumulated memory: 287372 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.28 3/199 25584
/proc/meminfo: memFree=25283364/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2282292 memory=281720 CPUtime=2382.11 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 741245 0 0 0 237925 286 0 0 20 0 1 0 408183784 2337067008 70430 33554432000 4194304 5870510 140733363650864 140733363649880 5282588 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 570573 70430 990 410 0 566046 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 2282292 KiB
Current children cumulated memory: 281720 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.27 3/199 25588
/proc/meminfo: memFree=25282812/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2282292 memory=283424 CPUtime=2442.1 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 752243 0 0 0 243918 292 0 0 20 0 1 0 408183784 2337067008 70856 33554432000 4194304 5870510 140733363650864 140733363649816 5282606 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 570573 70856 990 410 0 566046 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 2282292 KiB
Current children cumulated memory: 283424 KiB
[startup+2502.3 s]
/proc/loadavg: 2.09 2.04 2.26 3/200 25594
/proc/meminfo: memFree=25235576/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2282292 memory=283444 CPUtime=2502.1 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 763223 0 0 0 249910 300 0 0 20 0 1 0 408183784 2337067008 70861 33554432000 4194304 5870510 140733363650864 140733363649816 5308341 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 570573 70861 990 410 0 566046 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 2282292 KiB
Current children cumulated memory: 283444 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.06 2.04 2.25 3/199 25595
/proc/meminfo: memFree=25247984/32770624 swapFree=66952812/67108860
[pid=25240] ppid=25237 vsize=2251472 memory=270964 CPUtime=2519.81 cores=0,2,4,6
/proc/25240/stat : 25240 (xcsp_picat) R 25237 25240 24214 0 -1 4202496 784953 0 0 0 251677 304 0 0 20 0 1 0 408183784 2305507328 67741 33554432000 4194304 5870510 140733363650864 140733363649880 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 29593600 140733363659807 140733363659885 140733363659885 140733363662794 0
/proc/25240/statm: 562868 67741 990 410 0 558341 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 2251472 KiB
Current children cumulated memory: 270964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 25240 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.78 s, system=3.05183 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.83
CPU user time (s): 2516.78
CPU system time (s): 3.05183
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 2412520
Max. memory (cumulated for all children) (KiB): 361164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.78
system time used= 3.05183
maximum resident set size= 373452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 784953
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= 55
involuntary context switches= 2218
# summary of solver processes directly reported to runsolver:
# pid: 25240
# total CPU time (s): 2519.83
# total CPU user time (s): 2516.78
# total CPU system time (s): 3.05183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.77935 second user time and 18.7322 second system time
The end