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 (14161 MiB free)
memory of node 1: 16384 MiB (15694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395023-1568329473/watcher-4395023-1568329473 -o /tmp/evaluation-result-4395023-1568329473/solver-4395023-1568329473 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18696 --watchdog 2580 xcsp_picat HOME/instance-4395023-1568329473.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=20625, runsolver pid=20622
Current StackSize limit: 8192 KiB
[startup+0.100475 s]*
/proc/loadavg: 2.00 1.99 2.02 3/201 20626
/proc/meminfo: memFree=30558580/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=2031716 memory=17628 CPUtime=0.1 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 2068 0 0 0 10 0 0 0 20 0 1 0 409210018 2080477184 4407 33554432000 4194304 5870510 140731240075952 140731240075256 140434760567808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 507929 4407 835 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 17628 KiB
[startup+0.209851 s]*
/proc/loadavg: 2.00 1.99 2.02 3/201 20626
/proc/meminfo: memFree=30552336/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=2031716 memory=24028 CPUtime=0.21 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 2071 0 0 0 21 0 0 0 20 0 1 0 409210018 2080477184 6007 33554432000 4194304 5870510 140731240075952 140731240075256 140434760567808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 507929 6007 835 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24028 KiB
[startup+0.309631 s]*
/proc/loadavg: 2.00 1.99 2.02 3/201 20626
/proc/meminfo: memFree=30546192/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=2031716 memory=30172 CPUtime=0.31 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 2074 0 0 0 31 0 0 0 20 0 1 0 409210018 2080477184 7543 33554432000 4194304 5870510 140731240075952 140731240075256 140434760567808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 507929 7543 835 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30172 KiB
[startup+0.700414 s]
/proc/loadavg: 2.00 1.99 2.02 3/201 20626
/proc/meminfo: memFree=30537628/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=2031716 memory=38364 CPUtime=0.69 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 2083 0 0 0 69 0 0 0 20 0 1 0 409210018 2080477184 9591 33554432000 4194304 5870510 140731240075952 140731240075256 4694940 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 507929 9591 835 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38364 KiB
[startup+1.50044 s]
/proc/loadavg: 2.00 1.99 2.02 3/201 20626
/proc/meminfo: memFree=30537860/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=2031716 memory=38364 CPUtime=1.49 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 2085 0 0 0 149 0 0 0 20 0 1 0 409210018 2080477184 9591 33554432000 4194304 5870510 140731240075952 140731240075256 4849379 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 507929 9591 835 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38364 KiB
[startup+3.10962 s]
/proc/loadavg: 2.00 1.99 2.02 3/201 20626
/proc/meminfo: memFree=30458508/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=2092756 memory=117788 CPUtime=3.09 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 2778 0 0 0 307 2 0 0 20 0 1 0 409210018 2142982144 29447 33554432000 4194304 5870510 140731240075952 140731240075064 140434760589191 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 523189 29447 900 410 0 518662 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2092756 KiB
Current children cumulated memory: 117788 KiB
[startup+6.30042 s]
/proc/loadavg: 2.00 1.99 2.02 3/201 20626
/proc/meminfo: memFree=30438036/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=2092756 memory=142464 CPUtime=6.29 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 3865 0 0 0 625 4 0 0 20 0 1 0 409210018 2142982144 35616 33554432000 4194304 5870510 140731240075952 140731240075128 4524368 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 523189 35616 919 410 0 518662 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2092756 KiB
Current children cumulated memory: 142464 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 2.02 3/201 20628
/proc/meminfo: memFree=30386176/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=2298644 memory=284540 CPUtime=12.69 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 31424 0 0 0 1261 8 0 0 20 0 1 0 409210018 2353811456 71135 33554432000 4194304 5870510 140731240075952 140731240074536 4461006 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 574661 71135 928 410 0 570134 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2298644 KiB
Current children cumulated memory: 284540 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 1.99 2.02 3/201 20629
/proc/meminfo: memFree=29489540/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=25.49 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 83424 0 0 0 2524 25 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+51.1101 s]
/proc/loadavg: 2.00 1.99 2.02 3/201 20629
/proc/meminfo: memFree=29489108/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=51.1 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 190089 0 0 0 5081 29 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/201 20636
/proc/meminfo: memFree=29489532/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=102.28 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 327533 0 0 0 10195 33 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+162.3 s]
/proc/loadavg: 2.45 2.12 2.07 3/200 20640
/proc/meminfo: memFree=29489828/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=162.29 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 452924 0 0 0 16191 38 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337395 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+222.3 s]
/proc/loadavg: 2.24 2.12 2.07 3/200 20644
/proc/meminfo: memFree=29489492/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=222.28 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 573209 0 0 0 22186 42 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5261297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 2.10 2.06 3/200 20650
/proc/meminfo: memFree=29489520/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=282.27 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 698319 0 0 0 28180 47 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/200 20654
/proc/meminfo: memFree=29489584/32770624 swapFree=66979784/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=342.28 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 819593 0 0 0 34176 52 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/200 20666
/proc/meminfo: memFree=29489668/32770624 swapFree=66979796/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=402.27 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 944269 0 0 0 40171 56 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 20672
/proc/meminfo: memFree=29489796/32770624 swapFree=66979796/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=462.27 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 1069782 0 0 0 46166 61 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5321686 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
################
# More data... #
################
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 20791
/proc/meminfo: memFree=29479524/32770624 swapFree=66979816/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=1782.23 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 3784352 0 0 0 178054 169 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5261103 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20795
/proc/meminfo: memFree=29479920/32770624 swapFree=66979816/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=1842.23 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 3906931 0 0 0 184049 174 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20801
/proc/meminfo: memFree=29480252/32770624 swapFree=66979816/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=1902.23 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4017673 0 0 0 190045 178 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20805
/proc/meminfo: memFree=29479860/32770624 swapFree=66979816/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=1962.23 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4138013 0 0 0 196041 182 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20809
/proc/meminfo: memFree=29479760/32770624 swapFree=66979816/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=2022.23 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4258361 0 0 0 202036 187 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337507 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20815
/proc/meminfo: memFree=29479756/32770624 swapFree=66979816/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=2082.22 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4376934 0 0 0 208032 190 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337336 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20819
/proc/meminfo: memFree=29479076/32770624 swapFree=66979816/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1083796 CPUtime=2142.22 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4485572 0 0 0 214027 195 0 0 20 0 1 0 409210018 3344056320 270949 33554432000 4194304 5870510 140731240075952 140731240075288 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 270949 935 410 0 811893 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1083796 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 20831
/proc/meminfo: memFree=29477764/32770624 swapFree=66979832/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1085776 CPUtime=2202.21 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4589470 0 0 0 220023 198 0 0 20 0 1 0 409210018 3344056320 271444 33554432000 4194304 5870510 140731240075952 140731240075288 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 271444 935 410 0 811893 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1085776 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/200 20837
/proc/meminfo: memFree=29477696/32770624 swapFree=66979832/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1085776 CPUtime=2262.22 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4670540 0 0 0 226020 202 0 0 20 0 1 0 409210018 3344056320 271444 33554432000 4194304 5870510 140731240075952 140731240075288 5321680 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 271444 935 410 0 811893 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1085776 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 20841
/proc/meminfo: memFree=29477672/32770624 swapFree=66979832/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1085776 CPUtime=2322.21 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4728435 0 0 0 232018 203 0 0 20 0 1 0 409210018 3344056320 271444 33554432000 4194304 5870510 140731240075952 140731240075288 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 271444 935 410 0 811893 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1085776 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 20845
/proc/meminfo: memFree=29477164/32770624 swapFree=66979832/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1085776 CPUtime=2382.21 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4757035 0 0 0 238016 205 0 0 20 0 1 0 409210018 3344056320 271444 33554432000 4194304 5870510 140731240075952 140731240075288 5337516 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 271444 935 410 0 811893 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1085776 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 20851
/proc/meminfo: memFree=29477796/32770624 swapFree=66979832/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1085776 CPUtime=2442.21 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4774903 0 0 0 244015 206 0 0 20 0 1 0 409210018 3344056320 271444 33554432000 4194304 5870510 140731240075952 140731240075288 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 271444 935 410 0 811893 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1085776 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 20916
/proc/meminfo: memFree=28686704/32770624 swapFree=66979832/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1085776 CPUtime=2502.21 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4792771 0 0 0 250014 207 0 0 20 0 1 0 409210018 3344056320 271444 33554432000 4194304 5870510 140731240075952 140731240075288 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 271444 935 410 0 811893 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1085776 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 20916
/proc/meminfo: memFree=27553672/32770624 swapFree=66979832/67108860
[pid=20625] ppid=20622 vsize=3265680 memory=1085776 CPUtime=2519.92 cores=1,3,5,7
/proc/20625/stat : 20625 (xcsp_picat) R 20622 20625 18664 0 -1 4202496 4792865 0 0 0 251785 207 0 0 20 0 1 0 409210018 3344056320 271444 33554432000 4194304 5870510 140731240075952 140731240075288 5352861 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 34684928 140731240080415 140731240080493 140731240080493 140731240083402 0
/proc/20625/statm: 816420 271444 935 410 0 811893 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 3265680 KiB
Current children cumulated memory: 1085776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 20625 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.85 s, system=2.08093 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.94
CPU user time (s): 2517.85
CPU system time (s): 2.08093
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 3265680
Max. memory (cumulated for all children) (KiB): 1085776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.85
system time used= 2.08093
maximum resident set size= 1099408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4792866
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= 12
involuntary context switches= 675
# summary of solver processes directly reported to runsolver:
# pid: 20625
# total CPU time (s): 2519.94
# total CPU user time (s): 2517.85
# total CPU system time (s): 2.08093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4142 second user time and 15.7384 second system time
The end